Packages

elixirst

0.8.2
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
0 Dependencies
Dependants
Files
Activity
elixirst lib elixirst parser parser.yrl
Raw

lib/elixirst/parser/parser.yrl 

Nonterminals

root_session session choice_label_sessions branch_label_sessions types_list types diff_types sequences sessions. 



Terminals

send recv choice branch sequence label terminate recurse '{' '}' ':' ',' '(' ')' '[' ']' '='.



Rootsymbol root_session.



root_session -> session : '$1'.

root_session -> label '=' session : #recurse{label=unwrap('$1'), body='$3', outer_recurse=true}.



session -> terminate                                       : #terminate{}.

session -> send label '(' ')'                              : #send{label=unwrap('$2'), types=[], next=#terminate{}}.

session -> send label '(' types_list ')'                   : #send{label=unwrap('$2'), types='$4', next=#terminate{}}.

session -> send label '(' ')' sessions                     : #send{label=unwrap('$2'), types=[], next='$5'}.

session -> send label '(' types_list ')' sessions          : #send{label=unwrap('$2'), types='$4', next='$6'}.

session -> recv label '(' ')'                              : #recv{label=unwrap('$2'), types=[], next=#terminate{}}.

session -> recv label '(' types_list ')'                   : #recv{label=unwrap('$2'), types='$4', next=#terminate{}}.

session -> recv label '(' ')' sessions                     : #recv{label=unwrap('$2'), types=[], next='$5'}.

session -> recv label '(' types_list ')' sessions          : #recv{label=unwrap('$2'), types='$4', next='$6'}.

session -> choice '{' choice_label_sessions '}'            : #choice{choices='$3'}.

session -> branch '{' branch_label_sessions '}'            : #branch{branches='$3'}.

session -> recurse label sequences '(' session ')'         : #recurse{label=unwrap('$2'), body='$5', outer_recurse=false}.

session -> recurse label '(' session ')'                   : #recurse{label=unwrap('$2'), body='$4', outer_recurse=false}.

session -> label                                           : #call{label=unwrap('$1')}.



sequences -> sequence                                      : nil.

sequences -> sequences sequence                            : nil.



sessions -> session                                        : '$1'.

sessions -> sequences session                              : '$2'.



choice_label_sessions -> session ',' choice_label_sessions : ['$1' | '$3'].

choice_label_sessions -> session                           : ['$1'].



branch_label_sessions -> session ',' branch_label_sessions : ['$1' | '$3'].

branch_label_sessions -> session                           : ['$1'].



types_list -> diff_types                                   : ['$1'].

types_list -> label ':' diff_types                         : ['$3'].

types_list -> diff_types ',' types_list                    : ['$1' | '$3' ].

types_list -> label ':' diff_types ',' types_list          : ['$3' | '$5' ].



diff_types -> label                                        : lowercase_atom(unwrap('$1')).

diff_types -> '{' types '}'                                : {tuple, '$2'}.

diff_types -> '[' diff_types ']'                           : {list, '$2'}.



types -> diff_types                                        : ['$1'].

types -> diff_types ',' types                              : ['$1' | '$3'].



Erlang code.



-record(send, {label, types, next}).

-record(recv, {label, types, next}).

-record(choice, {choices}).

-record(branch, {branches}).

-record(recurse, {label, body, outer_recurse}).

-record(call, {label}).

-record(terminate, {}).



lowercase_atom(V) -> list_to_atom(string:lowercase(atom_to_list(V))).



unwrap({_, _, V}) -> V.