Angenommene Spezifikation UML Ocl 2,0 83 NavigationCallExpCS Diese Produktionsrichtlinie stellt einen Navigationsanrufausdruck dar. [ A ] NavigationCallExpCS::= AssociationEndCallExpCS [ B ] NavigationCallExpCS::= AssociationClassCallExpCS Abstract syntax Diagramm NavigationCallExpCS.ast: NavigationCallExp Synthetisierte Attribute Der Wert dieser Produktion ist der Wert seiner Kindproduktion. [ A ] NavigationCallExpCS.ast = AssociationEndCallExpCS.ast [ B ] NavigationCallExpCS.ast = AssociationClassCallExpCS.ast Übernommene Attribute [ A ] AssociationEndCallExpCS.env = NavigationCallExpCS.env [ B ] AssociationClassCallExpCS.env = NavigationCallExpCS.env Disambiguierende Richtlinien Diese werden in den Kindern definiert. AssociationEndCallExpCS Diese Produktionsrichtlinie stellt eine Navigation durch ein Verbindungsende dar. Ordnen Sie A ist die Rückstellung, Richtlinie B wird verwendet mit an implizite Quelle, während Richtlinie C mit näheren Bestimmungen verwendet wird. [ A ] AssociationEndCallExpCS::= OclExpressionCS '.' simpleNameCS (' [ ' argumentsCS-']')? isMarkedPreCS? [ B ] AssociationEndCallExpCS::= simpleNameCS (' [ ' argumentsCS-']')? isMarkedPreCS? Abstract syntax Diagramm AssociationEndCallExpCS.ast: AssociationEndCallExp Synthetisierte Attribute [ A ] AssociationEndCallExpCS.ast.referredAssociationEnd = OclExpressionCS.ast.type.lookupAssociationEnd(simpleNameCS.ast) AssociationEndCallExpCS.ast.source = wenn isMarkedPreCS->isEmpty() dann OclExpressionCS.ast sonst OclExpressionCS.ast.withAtPre() endif [ A ] AssociationEndCallExpCS.ast.qualifiers = argumentsCS.ast [ B ] AssociationEndCallExpCS.ast.referredAssociationEnd = env.lookupImplicitAssociationEnd(simpleNameCS.ast) AssociationEndCallExpCS.ast.source = wenn isMarkedPreCS->isEmpty() dann env.findImplicitSourceForAssociationEnd(simpleNameCS.ast) sonst env.findImplicitSourceForAssociationEnd(simpleNameCS.ast).withAtPre() endif [ B ] AssociationEndCallExpCS.ast.qualifiers = argumentsCS.ast