Codel declaration
- (34) codel ::=
-
identifier "(" codel-parameters ")"
- (35) fsm-codel ::=
-
"<" event-list ">" identifier "(" codel-parameters ")" "yields" event-list
- (38) codel-parameters ::=
-
[ { codel-parameter "," } codel-parameter ]
- (39) codel-parameter ::=
-
opt-parameter-src parameter-dir ( parameter-variable
| parameter-variable "::" identifier
| "::" identifier )
- (36) opt-async ::=
-
[ "async" ]
- (41) opt-parameter-src ::=
-
[ "ids"
| "local"
| "port"
| "remote" ]
- (42) parameter-dir ::=
-
"in"
| "out"
| "inout"
- (43) parameter-variable ::=
-
identifier
| parameter-variable "." identifier
| parameter-variable "[" positive-int-const "]"
- (37) event-list ::=
-
{ scoped-name "," } scoped-name