5-76 OMG-OMG-MetacGegenstand-Service, v1.4 April 2002 5 Wenn das Attribut eine unterere Schranke von 0 hat, kann sein Wert leer erlaubterweise sein: ¥ im wahlweise freigestellt-bewerteten Fall, der Wert des Attributes s wird eingestellt, um sich zu leeren, indem man hervorruft unset_<attribute_name > Betrieb unten beschrieben. ¥ in [ 0.. N ] Fall (wo N nicht ist 1), der Wert des Attributes s wird eingestellt, um sich vorbei zu leeren set_<attribute_name > mit einer nulllängenreihenfolge als der Parameter hervorrufen. Aufbauschliessen und Aufbauzyklus sind wenn die Art von nur möglich das Attribut ist eine Kategorie, und das Attribut hat zusammengesetzte Anhäufungssemantik: ¥ Aufbauschliessen tritt wenn new_value oder eins seiner Mitglieder auf (in mehrfach bewerteter Fall) gehört einem anderen äußersten Paketumfang diesem Gegenstand. ¥ Aufbauzyklus tritt auf, als der Betrieb diesen Gegenstand ergeben würde, der hat selbst als direkter oder indirekter Bestandteil. Überlauf, Underflow und Duplikat können im Fall von einem mehrfach bewertetem nur auftreten Attribut: ¥ Überlauf tritt auf, wenn die Zahl Mitgliedern in der new_valueansammlung ist grösser als das obere Limit des Attributes s. ¥ Underflow tritt auf, wenn die Zahl Mitgliedern in der new_valueansammlung kleiner ist als die unterere Schranke des Attributes s. ¥ Duplikat tritt auf, wenn das Attribut das isUnique hat, das eingestellt werden, um auszurichten und das new_value Ansammlung enthält doppelte Werte. Unzulässiger Gegenstand und unzugänglicher Gegenstand treten auf, wenn etwas Fallgegenstand gefunden wird nicht vorhanden oder unzugänglich sein. Eine Implementierung sollte einem von diesen nur signalisieren Bedingungen, wenn sie andere Übereinstimmungsüberprüfung verhindert (z.B., auf Aufbau prüfen Zyklen). unset_<attribute_name > Das unset_<attribute_name > die Operationsvorräte der Wert eines wahlweise freigestellt-bewerteten Attributes sich leeren. Dieser Betrieb wird in den einzeln-bewerteten und mehrfach bewerteten Fällen unterdrückt. Das unset_<attribute_name > der Betrieb ist die einzige Weise, zu aktualisieren wahlweise freigestellt-bewertet Attribut zum leeren Zustand. Die Ausnahme MofError kann angehoben werden, um Metamodell definierten Begrenzungsstörungen zu signalisieren und spezifische semantische Störungen der Implementierung. Tabelle 5-15 reflektierende Entsprechung: ref_unset_value(<- attribute_designator >); (sehen Sie Abschnitt 6,2,3, Reflective::RefObject, an paginieren Sie 6-10) . bringen Sie Art zurück: keine Parameter: keine Ausnahmen: MofError