CompilationUnit: ModuleStatement ( ; ModuleStatement)*ModuleStatement: Reference | ChildrenCedar | CellDefReference: (Directory | Open | Imports | Library) IDListIDList: ID ( , ID)*ChildrenCedar: CEDAR <children:> 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) <children:> CedarVariantFieldListInitDataDef: InitData <children:> CedarVariantFieldListDefaultInitDef: (DefaultInitExpr CedarExpressionTerminatedWithVerticalBar) | (DefaultInitData <children:> CedarComponentList)CedarExpressionTerminatedWithVerticalBar:Initializer: Initializer <children:> CedarDeclarationSeries CedarStatementSeriesTester: (BlackBoxTest | TestStateToo) <children:> CedarDeclarationSeries CedarStatementSeriesBehavior: EvalName <children:> 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  è  Rosemary>RoseGrammar.TiogaLast Edited by: Spreitzer, March 14, 1984 10:50:38 am PSTTerminals are in bold face; syntactic categories and meta-characters are plain.Syntactic categories whose names begin with "Cedar" are from the Cedar language, unless otherwise noted.All of the References must come before any of the others.A Cedar expression, with vertical bars doubled, followed by a vertical bar.Example:"This is a rope literal containing a single `||' (vertical bar)" | Ê  –"cedar" style˜ Icode™J™9J™ JšœÏbœ:™OJ™hK˜ Kšœ#œ˜6K˜ šœ4˜4K™9—K˜ Kš	œ	œœœœ˜8K˜ Kšœœ˜K˜ Kšœœ8˜LK˜ Kšœœ˜!K˜ Kšœœ˜:K˜ Kšœœœ	œ	˜+K˜ Kšœ6˜6K˜ Kšœœœ˜K˜ Kšœœ˜K˜ Kšœœœ˜'K˜ Kšœœ˜K˜ K˜0K˜ K˜dK˜ Kšœœœ#˜DK˜ Kšœœ"˜7K˜ Kšœœ.œ ˜}K˜ šœ)˜)K™K™K™B——K˜ Kšœœ8˜PK˜ Kšœ	œœ9˜]K˜ KšœJ˜JK˜ Kšœ
œœœœœœ
œ˜]K˜ Kšœœœ˜=K˜ KšœI˜IK˜ Kšœœœ˜AK˜ Kšœœ˜3K˜ Kšœœœ˜CK˜ Kšœœ)˜BK˜ — …—    â  
è  