Angenommene Spezifikation UML Ocl 2,0 71 StringLiteralExpCS::= ' ' ' < Zeichenkette > ' ' ' Abstract syntax Diagramm StringLiteralExpCS.ast: StringLiteralExp Synthetisierte Attribute StringLiteralExpCS.ast.symbol = < Zeichenkette > Übernommene Attribute -- keine Disambiguierende Richtlinien -- keine BooleanLiteralExpCS Diese Richtlinie stellt Boolesche wörtliche Ausdrücke dar. [ A ] BooleanLiteralExpCS::= ' richten ' aus [ B ] BooleanLiteralExpCS::= ' falsch ' Abstract syntax Diagramm BooleanLiteralExpCS.ast: BooleanLiteralExp Synthetisierte Attribute [ A ] BooleanLiteralExpCS.ast.booleanSymbol = richten aus [ B ] BooleanLiteralExpCS.ast.booleanSymbol = falsch Übernommene Attribute -- keine Disambiguierende Richtlinien -- keine PropertyCallExpCS Diese Richtlinie stellt Eigenschaftsanrufausdrücke dar. [ A ] PropertyCallExpCS::= ModelPropertyCallExpCS [ B ] PropertyCallExpCS::= LoopExpCS Abstract syntax Diagramm PropertyCallExpCS.ast: PropertyCallExp Synthetisierte Attribute [ A ] PropertyCallExpCS.ast = ModelPropertyCallCS.ast [ B ] PropertyCallExpCS.ast = LoopExpCS.ast Übernommene Attribute [ A ] ModelPropertyCallCS.env = PropertyCallExpCS.env