Angenommene Spezifikation UML Ocl 2,0 77 VariableDeclarationCS.ast.type = wenn typeCS->notEmpty() dann typeCS.ast sonst OclUndefined endif Übernommene Attribute O clExpressionCS.env = VariableDeclarationCS.env typeCS.env = VariableDeclarationCS.env Disambiguierende Richtlinien -- keine TypeCS Ein typename ist entweder ein Klassifikator oder eine Ansammlung von etwas Art. [ A ] typeCS::= pathNameCS [ B ] typeCS::= collectionTypeCS [ C ] typeCS::= tupleTypeCS Abstract syntax Diagramm typeCS.ast: Klassifikator Synthetisierte Attribute [ A ] typeCS.ast = typeCS.env.lookupPathName(pathNameCS.ast).referredElement.oclAsType(Classifier) [ B ] typeCS.ast = CollectionTypeCS.ast [ C ] typeCS.ast = tupleTypeCS.ast Übernommene Attribute [ B ] collectionTypeCS.env = typeCS.env [ C ] tupleTypeCS.env = typeCS.env Disambiguierende Richtlinien [ 1 ] Name [ A ] muß ein Name eines Klassifikators im gegenwärtigen Klima sein. typeCS.env.lookupPathName(pathNameCS.ast).referredElement.oclIsKindOf (Klassifikator) collectionTypeCS Ein typename ist entweder ein Klassifikator oder eine Ansammlung von etwas Art. collectionTypeCS::= collectionTypeIdentifierCS ' (' typeCS ') ' Abstract syntax Diagramm typeCS.ast: CollectionType Synthetisierte Attribute collectionTypeCS.ast.elementType = typeCS.ast -- wir wissen, daß das ' ast ' ein collectiontype ist, alle, die wir jetzt angeben müssen sind, welche -- spezifische Ansammlungsart ist es.