64 Angenommene Spezifikation UML Ocl 2,0 Übernommene Attribute Das Klima des OCL-Ausdruckes muß definiert werden, aber was genau Notwendigkeiten, im Klima zu sein von abhängt Kontext des OCL-Ausdruckes. Die folgende Richtlinie ist folglich nicht komplett. Sie definiert das envattribut, indem sie den Selbst addieren Variable zu einem leeren Klima, sowie ein namespace, das alle Elemente sichtbar vom Selbst enthält. (In Abschnitt 12,2, "die Art ExpressionInOcl," auf Seite 155 das contextualClassifier für die verschiedenen Plätze in denen ein ocl definiert wird Ausdruck kann auftreten.), Im Kontext von vor oder von postcondition, die Resultatsvariable sowie variable Definitionen für irgendwelche genannte Betriebsparameter können in einer ähnlichen Weise hinzugefügt werden. OclExpressionCS.env = ExpressionInOclCS.contextualClassifier.namespace.getEnvironmentWithParents() addElement (' Selbst ', ExpressionInOclCS.contextualClassifier, richten aus) OclExpressionCS Ein OclExpression hat einige Produktionsrichtlinien, eine für jede Unterklasse von OclExpression. Merken Sie dieses UnspecifiedValueExp wird ausdrücklich in OclMessageArgCS angefaßt, weil der der einzige Platz ist, in dem es erlaubt wird. [ A ] OclExpressionCS::= PropertyCallExpCS [ B ] OclExpressionCS::= VariableExpCS [ C ] OclExpressionCS::= LiteralExpCS [ D ] OclExpressionCS::= LetExpCS [ E ] OclExpressionCS::= OclMessageExpCS [ F ] OclExpressionCS::= IfExpCS Abstract syntax Diagramm OclExpressionCS.ast: OclExpression Synthetisierte Attribute [ A ] OclExpressionCS.ast = PropertyCallExpCS.ast [ B ] OclExpressionCS.ast = VariableExpCS.ast [ C ] OclExpressionCS.ast = LiteralExpCS.ast [ D ] OclExpressionCS.ast = LetExpCS.ast [ E ] OclExpressionCS.ast = OclMessageExpCS.ast [ F ] OclExpressionCS.ast = IfExpCS.ast Übernommene Attribute [ A ] PropertyCallExpCS.env = OclExpressionCS.env [ B ] VariableExpCS.env = OclExpressionCS.env [ C ] LiteralExpCS.env = OclExpressionCS.env [ D ] LetExpCS.env = OclExpressionCS.env [ E ] OclMessageExpCS.env = OclExpressionCS.env [ F ] IfExpCS.env = OclExpressionCS.env Disambiguierende Richtlinien Die disambiguierenden Richtlinien werden in den Kindern definiert. VariableExpCS Ein variabler Ausdruck ist ein Name gerade, der auf eine Variable sich bezieht. VariableExpCS::= simpleNameCS