3-10 Hartnäckiger ZustandcService, v2.0 September 2002 3 Wenn Sie um einer Inkarnation, dem get_pid ersucht werden und get_short_pid Betriebe bringen zurück pid, resp. das kurze pid, vom dazugehörigen Speichergegenstand. Die Standardausnahme PERSIST_STORE wird wenn destroy_object angehoben , get_pid oder get_short_pid wird um dem Fall eines eingebetteten Speichergegenstandes ersucht. Das get_storage_home Betrieb bringt den Speicherhauptfall zurück, der handhat der Zielspeicher-Gegenstandfall. 3,2,5,6 Abstraktes Storagehome Eine abstrakte storagehomedefinition erfüllt die folgende Syntax: < abstract_storagehome >: : = < abstract_storagehome_dcl > | < abstract_storagehome_fwd_dcl > < abstract_storagehome_fwd_dcl >:: = "abstract_storagehome" < Bezeichner > < abstract_storagehome_dcl >::= < abstract_storagehome_header > "{" < abstract_storagehome_body > "}" < abstract_storagehome_header >:: = "abstract""storagehome" < Bezeichner > "" < vom abstract_storagetype_name > [ < abstraktes storagehome_inh_spec > ] < abstract_storagehome_body >:: = < storagehome_member > ^* < storagehome_member ::= < local_op_dcl > ";", | < key_dcl > ";", | < psdl_factory_dcl > ";", < abstract_storagetype_name > in < abstract_storagehome_header > muß ein vorher definiertes abstraktes storagetype bezeichnen. Eine Vorwärtserklärung des abstrakten storagehome erklärt den Namen eines Auszuges storagehome, ohne es zu definieren. Dieses ermöglicht die Definition der abstrakten storagetypes und abstrakte storagehomes, die auf sich beziehen. Die tatsächliche Definition muß folgen später in der PSDL-Spezifikation. Mehrfache Vorwärtserklärungen des gleichen Auszuges storagehomename sind zugelassen. 3,2,5,7 Schlüssel Ein Schlüssel ist eine genannte Liste von einem von mehr Mitgliedsstaat, der erfüllt die folgende Syntax: < key_dcl > ::=-"Schlüssel" < Bezeichner > [ "("< simple_declarator > { ", "< simple_declarator > } *") "] "Schlüssel "< Bezeichner > ist eine Kürzungdarstellung für gerade "Schlüssel "< Bezeichner > "("< Bezeichner >") ". Jedes < simple_declarator > sein muß der Name von Mitgliedsstaat des Auszuges abstraktes storagetype der storagehomes (einschließlich übernommene Mitgliedsstaat). Für Schlüssel definiert auf Speicherhäusern, jedes < simple_declarator > sein muß der Name eines Zustandes Mitglied des storagetype der storagehomes (einschließlich übernommene Mitgliedsstaat).