September 2002 Hartnäckiger ZustandcService: PSDL-Syntax und -semantik 3-9 3 < abstract_storagetype_ref_type>::=["strong-"]" Hinweis "" <" < abstract_storagetype_name > ">" < abstract_storagetype_name > muß eine vorher erklärte abstrakte Ablage bezeichnen Art. Der Default-Wert von Bezugsmitgliedsstaat ist- UNGÜLTIG. Das wahlweise freigestellte starke Schlüsselwort zeigt an, daß der bezogene Speichergegenstand zerstört wird wenn der Speichergegenstand, der diesen Hinweis hält, zerstört wird. 3,2,5,4 Lokale Betriebe Die Syntax eines lokalen Betriebes auf einem (Auszug oder Beton) Speicherhaus ist-: < local_op_dcl > ::= < op_type_spec> < Bezeichner > < parameter_dcls > [ < raises_expr > ] Die Syntax eines lokalen Betriebes auf einer (Auszug oder Beton) Speicherart ist-: < storagetype_local_op_dcl > ::= < op_type_spec> < Bezeichner > < parameter_dcls > [ < raises_expr > ] [ "const" ] Ein "const "Betrieb aktualisiert kein Mitgliedsstaat des Zielspeichergegenstandes. In einer PSDL-Spezifikation kann jeder Parameter eines lokalen Betriebes von einem gültigen IDL sein Parameterart oder einer abstrakten PSDL-Art. 3,2,5,5 StorageObject Das CosPersistentState Modul definiert das abstrakte storagetype StorageObject wie folgt: abstraktes storagetype StorageObject { leeres destroy_object(); Boolesches object_exists(); Get_pid() Pid; Get_short_pid() ShortPid; Get_storage_home() StorageHomeBase; }; Wenn Sie um einer Inkarnation, dem destroy_object ersucht werden Betrieb zerstört das dazugehörige Speichergegenstand (aber nicht zerstören Sie irgendwelche seiner Inkarnation). Wenn Sie um einer Inkarnation, den object_exists ersucht werden BetriebsreturnsTRUE wenn das Ziel Inkarnation stellt einen Gegenstand des physischen Speichers dar, FALSCH, wenn sie nicht.