4e7360e782170315dafd917c53816b6ae5d141c4
1 #ifndef _STORE_H_
2 #define _STORE_H_
4 #include <oberon.h>
5 #include <domain.h>
6 #include <typeregister.h>
7 #include <visitor.h>
9 #include <string>
10 #include <vector>
18 };
20 /**
21 * TYPE Store
22 * ABSTRACT
23 * Storable extensible data types like Views.View or TextModels.Text are derived from Store.
24 * Stores are typically allocated by suitable directories, e.g., Views.Directory or TextModels.Directory.
25 * Stores are used as base types for all objects that must be both extensible and persistent.
26 */
32 INTEGER d_id;
36 static const SHORTCHAR NEWEXT = 0xF1; // (* new extension type (level = 1), i.e. not yet in dict *)
48 /**
49 * Get the TypeName of this object.
50 * @see TypeRegister
51 */
53 /**
54 * Get the TypeName of the supertype of this object. Return 0 pointer if no supertype.
55 * @see TypeRegister
56 */
58 /**
59 * Get the TypeName for this object.
60 */
62 /**
63 * Get the TypePath to this object's type.
64 * @see TypePath
65 */
68 /**
69 * PROCEDURE (s: Store) Domain (): Domain
70 * NEW
71 * A store may be associated with a domain. This is done by the procedure InitDomain, which assigns a domain to the store.
72 * Domain may be called by arbitrary clients.
73 */
74 //Domain* getDomain();
76 /**
77 * PROCEDURE (s: Store) CopyFrom- (source: Store)
78 * NEW, EMPTY
79 * Copy the contents of source to s. Copying is a deep copy.
80 *
81 * Pre
82 * source # NIL guaranteed
83 * TYP(source) = TYP(s) guaranteed
84 * s.Domain() = NIL guaranteed
85 * s is not yet initialized guaranteed
86 */
87 // FIXME
88 /**
89 * PROCEDURE (s: Store) Internalize- (VAR rd: Reader)
90 * NEW, EMPTY
91 * (For backward compatibility, this method is actually still EXTENSIBLE. This may change in the future.)
92 * Reads the contents of s from reader rd. Internalize must read the same (amount of) data as is written by the corresponding Externalize procedure.
93 * Internalize is called locally.
94 * Internalize is extended by various persistent object types, e.g., models, views, and controllers.
95 *
96 * Pre
97 * source.Domain() = NIL guaranteed
98 * source is not yet initialized guaranteed
99 */
101 // PROCEDURE (s: Store) Internalize- (VAR rd: Reader), NEW, EXTENSIBLE;
102 // VAR thisVersion: INTEGER;
103 // BEGIN
104 // rd.ReadVersion(minVersion, maxStoreVersion, thisVersion);
105 // IF ~rd.cancelled & s.isElem THEN
106 // rd.ReadVersion(minVersion, maxStoreVersion, thisVersion)
107 // (* works since maxStoreVersion = maxElemVersion = 0 in pre-1.3 *)
108 // END
109 // END Internalize;
110 // }
112 /**
113 * PROCEDURE (s: Store) Externalize- (VAR wr: Writer)
114 * NEW, EMPTY
115 * (For backward compatibility, this method is actually still EXTENSIBLE. This may change in the future.)
116 * Write the contents of s to writer wr. Externalize must write the same (amount of) data as is read by the corresponding Internalize procedure.
117 * Externalize ist called locally.
118 * Externalize is extended by various persistent object types, e.g., models, views, and controllers.
119 */
120 // FIXME
122 /**
123 * PROCEDURE (s: Store) ExternalizeAs- (VAR s1: Store)
124 * NEW, EMPTY
125 * Before a store's Externalize procedure is called, its ExternalizeAs procedure is called, which gives the store the opportunity to denote another store that should be externalized in its place (a "proxy"). It is also possible to set s1 to NIL, which means that the store should not be externalized at all. This is used e.g. for compiler error markers, which are never stored.
126 * ExternalizeAs ist called locally.
127 *
128 * Pre
129 * s1 = s guaranteed
130 */
131 // FIXME
135 /**
136 * Receiving end of the Visitor pattern.
137 */
142 };
152 /**
153 * Get the TypeName of this object.
154 * @see TypeRegister
155 */
157 /**
158 * Get the TypeName of the supertype of this object. Return 0 pointer if no supertype.
159 * @see TypeRegister
160 */
162 /**
163 * Get the TypeName for this object.
164 */
168 };
178 /**
179 * Get the TypeName of this object.
180 * @see TypeRegister
181 */
183 /**
184 * Get the TypeName of the supertype of this object. Return 0 pointer if no supertype.
185 * @see TypeRegister
186 */
188 /**
189 * Get the TypeName for this object.
190 */
194 };
207 };
208 }