<RoseGrammar.Tioga>> <> <<>> <> <> CompilationUnit: ModuleStatement ( ; ModuleStatement)* ModuleStatement: Reference | ChildrenCedar | CellDef <> Reference: (Directory | Open | Imports | Library) IDList IDList: ID ( , ID)* ChildrenCedar: CEDAR CedarDeclarationSeries CedarStatementSeries CellDef: IDList : CellConstructor CellConstructor: CELL CellInterface CellStatement* ENDCELL CellInterface: NULL | [ [Port ( , Port)*] ] Port: IDList DirectionFlag NodeTypeConstructor Switch* DirectionFlag: < | = | > Switch: - ID NodeTypeConstructor: ID [[ [ArgList] ]] ArgList: Arg ( , Arg)* Arg: ID | CedarRopeLiteral | CedarIntegerLiteral CellStatement: StateDef | InitDataDef | DefaultInitDef | Initializer | Expansion | Tester | Behavior StateDef: (State | InittableState) CedarVariantFieldList InitDataDef: InitData CedarVariantFieldList DefaultInitDef: (DefaultInitExpr CedarExpressionTerminatedWithVerticalBar) | (DefaultInitData CedarComponentList) CedarExpressionTerminatedWithVerticalBar: <> <> <<"This is a rope literal containing a single `||' (vertical bar)" |>> Initializer: Initializer CedarDeclarationSeries CedarStatementSeries Tester: (BlackBoxTest | TestStateToo) CedarDeclarationSeries CedarStatementSeries Behavior: EvalName CedarDeclarationSeries CedarStatementSeries EvalName: ValsChanged | InitQ | PropQ | InitUD | PropUD | FinalUD | EvalSimple | FindVicinity Expansion: Expand ExpansionStatement ( ; ExpansionStatement)* ExpansionStatement: NodeInstantiation | CellInstantiation | ChildrenCedar NodeInstantiation: IDList : NodeTypeConstructor [ _ RopeLiteral ] CellInstantiation: IDList : CellInstanceConstructor CellInstanceConstructor: ID [[ [ArgList] ]] [ InitDataConstructor ] InitDataConstructor: init CedarExpressionTerminatedWithVerticalBar