50 Angenommene Spezifikation UML Ocl 2,0 Attribute ? integerSymbol Die Ganzzahl das stellt den Wert des Druckfehlers dar. NumericLiteralExp Ein NumericLiteralExp bezeichnet einen Wert entweder der realen Artganzzahl oder der Art. PrimitiveLiteralExp Ein PrimitiveLiteralExp Druckfehler bezeichnet einen Wert einer ursprünglichen Art. Attribute ? Symbol Die Zeichenkette das stellt den Wert des Druckfehlers dar. RealLiteralExp Ein RealLiteralExp bezeichnet einen Wert der vorbestimmten realen Art. Attribute ? realSymbol Das Reale das stellt den Wert des Druckfehlers dar. StringLiteralExp Ein StringLiteralExp bezeichnet einen Wert der vorbestimmten Artzeichenkette. Attribute ? stringSymbol Die Zeichenkette das stellt den Wert des Druckfehlers dar. TupleLiteralExp Ein TupleLiteralExp bezeichnet einen Tuplewert. Er enthält einen Namen und einen Wert für jedes Teil der Tupleart. 8,3,6 Lassen Sie Ausdrücke Dieser Abschnitt definiert das abstract syntax metamodel für ließ Ausdrücke. Die einzige Hinzufügung zur abstract syntax ist metaclass LetExp wie in Tabelle 11 gezeigt . Die anderen metaclasses werden von den vorhergehenden Diagrammen wiederverwendet. Merken Sie das lassen Sie Ausdrücke, die Argumente werden nicht mehr gelassen in OCL 2,0 nehmen. Diese Eigenschaft ist überflüssig. Stattdessen a modeler kann einen zusätzlichen Betrieb im UML-Klassifikator, mit einem speziellen Stereotype definieren, um möglicherweise zu bezeichnen daß dieses Betrieb ist nur ment, als Helferbetrieb in den OCL-Ausdrücken verwendet zu werden. Das postcondition von solch einem zusätzlichem Betrieb kann seinen Resultatswert dann definieren. Abbau von ließ Funktionen folglich beeinflußt nicht das expressibility von modeler. Eine andere Weise, solche Helferbetriebe zu definieren ist durch < < Definition > > Begrenzung, die einiges von wiederverwendet die konkrete Syntax, die für definiert wurde, ließ Ausdrücke (sehen Sie Abschnitt 12,5, "Definition," auf Seite 157), aber ist nichts mehr als OCL-basedsyntax für das Definieren von von Helferattributen und -betrieben. LetExp Ein LetExp ist ein spezieller Ausdruck, der eine neue Variable mit einem Ausgangswert definierte. Eine Variable definiert durch ein LetExp können Sie nicht ändern Sie seinen Wert. Der Wert ist immer der ausgewertete Wert des Ausgangsausdruckes. Die Variable ist in in sichtbar Ausdruck.