3-90 OMG-OMG-MetacGegenstand-Service, v1.4 April 2002 3 [ C-4 ] FrozenDependenciesCannotBeChanged format1: FROZEN_DEPENDENCIES_CANNOT_BE_CHANGED format2: frozen_dependencies_cannot_be_changed Auswertungspolitik: sofortig Beschreibung: Die Bindeelementenmengen, die Abhängigkeiten eines frozen Elements auf anderem ausdrücken Elemente können nicht ausdrücklich geändert werden. Kontext ModelElement Pfosten : Selbst. isFrozen () deutet an gelassen myClasses = SelbstoclType() - > allSupertypes() - > includes(- Selbst oclType()) innen lassen Sie myRefs = Set(Reference) = SelbstRefBaseObject::refMetaObject() - > asOclType(Class) - > findElementsByTypeExtended(Reference) innen gelassen myDepRefs = myRefs - > select(r| Inhalt Set{, Begrenzungen, supertypes, Art, referencedEnd, Ausnahmen, importedNamespace, Elemente } - > includes(r.name)) innen myDepRefs - > forAll(r| SelbstRefObject::refValue @ vor (R) = SelbstRefObject::refValue(r)) [ C-5 ] ContentNamesMustNotCollide format1: CONTENT_NAMES_MUST_NOT_COLLIDE format2: content_names_must_not_collide Auswertungspolitik: sofortig Beschreibung: Die Namen des Inhalts eines namespace dürfen nicht zusammenstoßen. Kontext Namespace inv: Selbstcontents.forAll( e1, e2|e1.name = e2.name deutet an r1 = r2) [ C-6 ] SupertypeMustNotBeSelf format1: SUPERTYPE_MUST_NOT_BE_SELF format2: supertype_must_not_be_self Auswertungspolitik: sofortig Beschreibung: Ein Element Generalizable kann nicht sein eigenes direktes oder indirekt sein supertype.