70 Angenommene Spezifikation UML Ocl 2,0 Übernommene Attribute variableDeclarationListCS[1].env = TupleLiteralExpCS.env Disambiguierende Richtlinien [ 1 ] Das initExpression und die Art von allem VariableDeclarations müssen bestehen. TupleLiteralExpCS.tuplePart->forAll(varDecl| varDecl.initExpression->notEmpty() und nicht varDecl.type.oclIsUndefined()) IntegerLiteralExpCS Diese Richtlinie stellt Ganzzahlendruckfehlerausdrücke dar. IntegerLiteralExpCS::= < Zeichenkette > Abstract syntax Diagramm IntegerLiteralExpCS.ast: IntegerLiteralExp Synthetisierte Attribute IntegerLiteralExpCS.ast.integerSymbol = < String>.toInteger() Übernommene Attribute -- keine Disambiguierende Richtlinien -- keine RealLiteralExpCS Diese Richtlinie stellt reale wörtliche Ausdrücke dar. RealLiteralExpCS::= < Zeichenkette > Abstract syntax Diagramm RealLiteralExpCS.ast: RealLiteralExp Synthetisierte Attribute RealLiteralExpCS.ast.realSymbol = < String>.toReal() Übernommene Attribute -- keine Disambiguierende Richtlinien -- keine StringLiteralExpCS Diese Richtlinie stellt Zeichenkettedruckfehlerausdrücke dar.