68 Angenommene Spezifikation UML Ocl 2,0 Disambiguierende Richtlinien -- keine CollectionLiteralPartsCS Diese Produktionsrichtlinie beschreibt eine Reihenfolge der Einzelteile, die der Inhalt eines Ansammlungsdruckfehlers sind. CollectionLiteralPartsCS[1 ] = CollectionLiteralPartCS (', ' CollectionLiteralPartsCS[2 ])? Abstract syntax Diagramm CollectionLiteralPartsCS[1].ast: Sequence(CollectionLiteralPart) Synthetisierte Attribute CollectionLiteralPartsCS[1].ast = Sequence{CollectionLiteralPartCS.ast}->union(CollectionLiteralPartsCS[2].ast) Übernommene Attribute CollectionLiteralPartCS.env = CollectionLiteralPartsCS[1].env CollectionLiteralPartSCS[2].env = CollectionLiteralPartsCS[1].env Disambiguierende Richtlinien -- keine CollectionLiteralPartCS [ A ] CollectionLiteralPartCS::= CollectionRangeCS [ B ] CollectionLiteralPartCS::= OclExpressionCS Abstract syntax Diagramm CollectionLiteralPartCS.ast: CollectionLiteralPart Synthetisierte Attribute [ A ] CollectionLiteralPartCS.ast = CollectionRange.ast [ B ] CollectionLiteralPartCS.ast.oclIsKindOf(CollectionItem) und CollectionLiteralPartCS.ast.oclAsType(CollectionItem).OclExpression = OclExpressionCS.ast Übernommene Attribute [ A ] CollectionRangeCS.env = CollectionLiteralPartCS.env [ B ] OclExpressionCS.env = CollectionLiteralPartCS.env Disambiguierende Richtlinien -- keine CollectionRangeCS CollectionRangeCS::= OclExpressionCS[1 ] ' . ' OclExpressionCS[2 ]