diff --git a/grammar/dgdl.ebnf b/grammar/dgdl.ebnf index 1644de2..a984fad 100644 --- a/grammar/dgdl.ebnf +++ b/grammar/dgdl.ebnf @@ -5,11 +5,11 @@ Turns ::= turns:{magnitude:Magnitude, ordering:Ordering[, max:Number]? Magnitude ::= single | multiple Ordering ::= strict | liberal Participants ::= players:{min:Number, max:Number|undefined} -Player ::= player:{id:ID [, roles:{ID[, ID]*}]? } +Player ::= player:{id:ID [, roleList]? } Store ::= store:{id:ID, owner:{ID[, ID]*}, structure:Structure, visibility:Visibility} Structure ::= set | queue | stack Visibility ::= public | private -RoleList ::= roles:{, {ID[, ID]*}} +RoleList ::= roles:{ID[, ID]*} Regulation ::= rule:{id:ID, scope:Scope, RuleExpr} Scope ::= initial | turnwise | movewise Interaction ::= move:{id:ID, content:{Content}, RuleExpr}