66 Angenommene Spezifikation UML Ocl 2,0 Disambiguierende Richtlinien -- keine LiteralExpCS Diese Richtlinie stellt wörtliche Ausdrücke dar. [ A ] LiteralExpCS::= EnumLiteralExpCS [ B ] LiteralExpCS::= CollectionLiteralExpCS [ C ] LiteralExpCS::= TupleLiteralExpCS [ D ] LiteralExpCS::= PrimitiveLiteralExpCS Abstract syntax Diagramm LiteralExpCS.ast: LiteralExp Synthetisierte Attribute [ A ] LiteralExpCS.ast = EnumLiteralExpCS.ast [ B ] LiteralExpCS.ast = CollectionLiteralExpCS.ast [ C ] LiteralExpCS.ast = TupleLiteralExpCS.ast [ D ] LiteralExpCS.ast = PrimitiveLiteralExpCS.ast Übernommene Attribute [ A ] EnumLiteralExpCS.env = LiteralExpCS.env [ B ] CollectionLiteralExpCS.env = LiteralExpCS.env [ C ] TupleLiteralExpCS.env = LiteralExpCS.env [ D ] PrimitiveLiteralExpCS.env = LiteralExpCS.env Disambiguierende Richtlinien -- keine EnumLiteralExpCS Die Richtlinie stellt Aufzählungdruckfehlerausdrücke dar. EnumLiteralExpCS::= pathNameCS ':: ', simpleNameCS Abstract syntax Diagramm EnumLiteralExpCS.ast: EnumLiteralExp Synthetisierte Attribute EnumLiteralExpCS.ast.type = env.lookupPathName (pathNameCS.ast).referredElement.oclAsType (Klassifikator) EnumLiteralExpCS.ast.referredEnumLiteral = EnumLiteralExpCS.ast.type.oclAsType (Enumeration).literal - > wählen Sie vor (L|l.name- = simpleNameCS.ast-)->any(true) Übernommene Attribute -- keine Disambiguierende Richtlinien [ 1 ] Der spezifizierte Name muß eine Aufzählung in der Tat beziehen: