3-8 Hartnäckiger ZustandcService, v2.0 September 2002 3 gestützt. Irgendein abstraktes storagetype ohne ein niedriges abstraktes storagetype, ausgenommen CosPersistentState::StorageObject , übernimmt implizit von CosPersistentState::StorageObject . Eine Vorwärtserklärung des abstrakten storagetype erklärt den Namen eines Auszuges storagetype, ohne es zu definieren. Dieses ermöglicht die Definition der abstrakten storagetypes und abstrakte storagehomes, die auf sich beziehen. Die tatsächliche Definition muß später folgen in der PSDL-Spezifikation. Mehrfache Vorwärtserklärungen des gleichen Auszuges storagetypename sind zugelassen. 3,2,5,2 Abstrakte Mitgliedsstaat Storagetype Der abstrakte Zustand eines Speichergegenstandes wird mit Mitgliedsstaat beschrieben. Die Syntax ist: < psdl_state_dcl > ::= [ "schreibgeschützt" ] "Zustand" < psdl_state_type_spec > < simple_declarator > { ", "< simple_declarator > } * < psdl_state_type_spec > ::= < base_type_spec > | < string_type > | < wide_string_type > | < abstract_storagetype_ref_type > | < scoped_name > Für jeden Mitgliedsstaat muß ein Sprachdiagramm eine Weise zur Verfügung stellen, den Zustand zurückzuholen Wert und eine Weise des Mitgliedes, den wert Mitgliedsstaateinzustellen. Das wahlweise freigestellte schreibgeschützte Schlüsselwort zeigt an, daß der wert Mitgliedsstaatnur gelesen werden kann. < scoped_name > muß eine vorher erklärte [ Auszug oder lokales ] Schnittstelle bezeichnen, struct, Anschluß, Art, [ abstraktes ] valuetype oder ein vorher definiertes abstraktes storagetype. < psdl_state_type_spec > seien Sie nicht, enthält oder bezieht sich eine auf gebürtige Art. Bewerten Sie Mitgliedsstaat, anders als Wertdatenmitglieder von structs, oder valuetypes, nicht Unterstützung, die Semantik teilt: wenn Sie Mitgliedsstaat einstellen dessen Art ein valuetype ist oder ein abstraktes valuetype, ist es wirklich eine Kopie des Wertes, der zum formalen Zustand beschnitten wird Mitgliedsart, die gespeichert wird. 3,2,5,3 Eingebettete Speichergegenstände und -hinweise Wie ein struct andere structs enthalten, kann ein Speichergegenstand kann andere Ablage enthalten Gegenstände: solche enthaltene Speichergegenstände sollen eingebettet. Die Lebenszeit von eingebetteter Speichergegenstand ist- derselbe wie die Lebenszeit des enthaltenen Gegenstandes; eingebetteter Gegenstand hat nicht eine Identität und kann nicht direkt bezogen werden. Wie ein Wert Hinweise auf anderen Werten enthalten, kann ein Speichergegenstand kann enthalten Hinweise auf anderen Speichergegenständen. Diese Hinweise, wie Werthinweise, Unterstützung UNGÜLTIG und Semantik teilend. Die Syntax als Referenz auf einem abstrakten storagetype ist das folgende: