assignment:


               assignment
                        ::= variableReference '=' valueReference

no references

expression:


               expression
                        ::= orExpr

referenced by:

atom

orExpr:


               orExpr   ::= andExpr ( '||' andExpr )*

referenced by:

expression

andExpr:


               andExpr  ::= notExpr ( '&&' notExpr )*

referenced by:

orExpr

notExpr:


               notExpr  ::= '!'* atom

referenced by:

andExpr

atom:


               atom     ::= comparison
                          | '(' expression ')'
                          | quantifierExpression
                          | timeoutExpression

referenced by:

notExpr

timeoutExpression:


               timeoutExpression
                        ::= 'now' '>=' variableReference ( '+' valueReference )?

referenced by:

atom

quantifierExpression:


               quantifierExpression
                        ::= ( 'Any' | 'All' ) '(' quantifierVariableName 'in' propertyName '|' variableReference compOp valueReference ')'

referenced by:

atom

comparison:


               comparison
                        ::= variableReference compOp valueReference

referenced by:

atom

compOp:


               compOp   ::= '=='
                          | '!='

referenced by:

comparison
quantifierExpression

propertyName:


               propertyName
                        ::= '@' ( NAME_LOWER_SNAKE_CASE | NAME_ALL_LOWERCASE )

referenced by:

quantifierExpression
valueReference
variableReference

graphOrInterfaceName:


               graphOrInterfaceName
                        ::= NAME_PASCAL_CASE
                          | NAME_ALL_UPPERCASE

referenced by:

variableReference

variableName:


               variableName
                        ::= NAME_PASCAL_CASE
                          | NAME_ALL_UPPERCASE

referenced by:

variableReference

quantifierVariableName:


               quantifierVariableName
                        ::= NAME_CAMEL_CASE
                          | NAME_ALL_LOWERCASE

referenced by:

quantifierExpression
variableReference

variableReference:


               variableReference
                        ::= ( graphOrInterfaceName ( '[' ( propertyName | quantifierVariableName ) ']' )? '.' )? variableName

referenced by:

assignment
comparison
quantifierExpression
timeoutExpression

valueReference:


               valueReference
                        ::= qualifiedName
                          | durationLiteral
                          | propertyName
                          | booleanLiteral
                          | 'None'

referenced by:

assignment
comparison
quantifierExpression
timeoutExpression

qualifiedName:


               qualifiedName
                        ::= enumerationTypeName '::' enumerationLiteralName

referenced by:

valueReference

durationLiteral:


               durationLiteral
                        ::= NUMBER 'ms'
                          | 'now'

referenced by:

valueReference

booleanLiteral:


               booleanLiteral
                        ::= 'true'
                          | 'false'

referenced by:

valueReference

enumerationTypeName:


               enumerationTypeName
                        ::= NAME_PASCAL_CASE
                          | NAME_ALL_UPPERCASE

referenced by:

qualifiedName

enumerationLiteralName:


               enumerationLiteralName
                        ::= NAME_UPPER_SNAKE_CASE
                          | NAME_ALL_UPPERCASE

referenced by:

qualifiedName


               _        ::= '\n'
                          | WS
                         /* ws: definition */

no references

NAME_ALL_LOWERCASE:


               NAME_ALL_LOWERCASE
                        ::= [a-z] [a-z0-9]*

referenced by:

propertyName
quantifierVariableName

NAME_ALL_UPPERCASE:


               NAME_ALL_UPPERCASE
                        ::= [A-Z] [A-Z0-9]*

referenced by:

enumerationLiteralName
enumerationTypeName
graphOrInterfaceName
variableName

NAME_LOWER_SNAKE_CASE:


               NAME_LOWER_SNAKE_CASE
                        ::= [a-z] [a-z0-9_]*

referenced by:

propertyName

NAME_CAMEL_CASE:


               NAME_CAMEL_CASE
                        ::= [a-z] [A-Za-z0-9]*

referenced by:

quantifierVariableName

NAME_UPPER_SNAKE_CASE:


               NAME_UPPER_SNAKE_CASE
                        ::= [A-Z] [A-Z0-9_]*

referenced by:

enumerationLiteralName

NAME_PASCAL_CASE:


               NAME_PASCAL_CASE
                        ::= [A-Z] [A-Za-z0-9]*

referenced by:

enumerationTypeName
graphOrInterfaceName
variableName

NUMBER:


               NUMBER   ::= [0-9]+

referenced by:

durationLiteral

WS:


               WS       ::= [ #x9#xd#xa]+

referenced by:

... generated by RR - Railroad Diagram Generator