Angenommene Spezifikation UML Ocl 2,0 69 Abstract syntax Diagramm CollectionRangeCS.ast: CollectionRange Synthetisierte Attribute CollectionRangeCS.ast.first = OclExpressionCS[1].ast CollectionRangeCS.ast.last = OclExpressionCS[2].ast Übernommene Attribute OclExpressionCS[1].env = CollectionRangeCS.env OclExpressionCS[2].env = CollectionRangeCS.env Disambiguierende Richtlinien -- keine PrimitiveLiteralExpCS Dieses umfaßt die reale, Boolesche, Ganzzahlen- und Zeichenkettedruckfehler. Zeichenkettedruckfehler Exprecially müssen internationalisation in nehmen erklären Sie und konnte in dieser Spezifikation unbestimmt bleiben müssen. [ A ] PrimitiveLiteralExpCS::= IntegerLiteralExpCS [ B ] PrimitiveLiteralExpCS::= RealLiteralExpCS [ C ] PrimitiveLiteralExpCS::= StringLiteralExpCS [ D ] PrimitiveLiteralExpCS::= BooleanLiteralExpCS Abstract syntax Diagramm PrimitiveLiteralExpCS.ast: PrimitiveLiteralExp Synthetisierte Attribute [ A ] PrimitiveLiteralExpCS.ast = IntegerLiteralExpCS.ast [ B ] PrimitiveLiteralExpCS.ast = RealLiteralExpCS.ast [ C ] PrimitiveLiteralExpCS.ast = StringLiteralExpCS.ast [ D ] PrimitiveLiteralExpCS.ast = BooleanLiteralExpCS.ast Übernommene Attribute -- keine Disambiguierende Richtlinien -- keine TupleLiteralExpCS Diese Richtlinie stellt Tupledruckfehlerausdrücke dar. TupleLiteralExpCS::= ' Tuple ' ' { ' variableDeclarationListCS ' } ' Abstract syntax Diagramm TupleLiteralExpCS.ast: TupleLiteralExp Synthetisierte Attribute TupleLiteralExpCS.tuplePart = variableDeclarationListCS.ast