CAD : Cadena Assembly Description
CAD : BNF for Scenario
NON-TERMINALS
| CompilationUnit | ::= | <SYSTEM> <IDENTIFIER> <LBRACE> ( importLibDeclaration )+ ( importCPSDeclaration )* ( <RATES> <INTEGER_LITERAL> ( "," <INTEGER_LITERAL> )* ";" )? ( locationsDeclaration )* ( instanceDeclaration )+ <RBRACE> <EOF> |
| importLibDeclaration | ::= | <IMPORTLIB> libName ( "." "*" )? ";" |
| importCPSDeclaration | ::= | <IMPORTCPS> <IDENTIFIER> ";" |
| locationsDeclaration | ::= | <LOCATIONS> locationDecl ( "," locationDecl )* ";" |
| locationDecl | ::= | <IDENTIFIER> |
| instanceDeclaration | ::= | <INSTANCE> <IDENTIFIER> <IMPLEMENTS> libName ( <ON> <IDENTIFIER> )? <LBRACE> ( connectionDeclaration )* <RBRACE> |
| connectionDeclaration | ::= | <CONNECT> name ( correlatedEvent )? <TO> name ( <RUNRATE> <INTEGER_LITERAL> )? ( <SYNCHRONOUSLY> )? ";" |
| name | ::= | <IDENTIFIER> ( "." <IDENTIFIER> )* |
| libName | ::= | <IDENTIFIER> ( "." <IDENTIFIER> )* |
| nameList | ::= | name ( "," name )* |