Packages

elixirst

0.6.0
0.8.3 0.8.2 0.8.1 0.8.0 0.7.5 0.7.4 0.7.3 0.7.2 0.7.1 0.7.0 0.6.5 0.6.4 0.6.3 0.6.2 0.6.1 0.6.0

ElixirST: Session Types in Elixir

HexDocs

Current section

Files

Jump to
Readme
16 Versions
2 Dependencies
Dependants
Files
Activity
elixirst lib stex parser lexer.xrl
Raw

lib/stex/parser/lexer.xrl 

% Compiled - set in mix.exs: erlc_paths: ["lib/stex/parser"]



Definitions.



WHITESPACE  = [\s\t\n\r]

SEND        = send|\!

RECEIVE     = receive|\?

CHOICE      = choice|select|\+

BRANCH      = branch|\&

SEQUENCE    = \.

REC         = rec

LABEL       = [a-zA-Z0-9_/]+

END         = end|End



Rules.



{SEND}         : {token, {send, TokenLine}}.

{RECEIVE}      : {token, {recv, TokenLine}}.

{CHOICE}       : {token, {choice, TokenLine}}.

{BRANCH}       : {token, {branch, TokenLine}}.

{SEQUENCE}     : {token, {sequence, TokenLine}}.

{REC}          : {token, {recurse, TokenLine}}.

{END}          : {token, {terminate, TokenLine}}.

{LABEL}        : {token, {label,  TokenLine, list_to_atom(lists:sublist(TokenChars, 1, TokenLen))}}.

\=             : {token, {'=',  TokenLine}}.

\[             : {token, {'[',  TokenLine}}.

\]             : {token, {']',  TokenLine}}.

\{             : {token, {'{',  TokenLine}}.

\}             : {token, {'}',  TokenLine}}.

\:             : {token, {':',  TokenLine}}.

,              : {token, {',',  TokenLine}}.

\(             : {token, {'(',  TokenLine}}.

\)             : {token, {')',  TokenLine}}.

{WHITESPACE}+  : skip_token.



Erlang code.