581917197f2c9bdbcbcbd3e6dc130193784e1263
1 #include <reader.h>
2 #include <alien.h>
4 #include <string>
8 Reader::Reader(std::istream &rider): d_rider(rider), d_cancelled(false), d_readAlien(false), d_typeList(),
12 SHORTCHAR out;
15 }
26 }
27 }
32 }
33 }
54 }
55 }
56 // PROCEDURE (VAR rd: Reader) ReadStore* (OUT x: Store), NEW;
57 // VAR a: Alien; t: Kernel.Type;
58 // len, pos, pos1, id, comment, next, down, downPos, nextTypeId, nextElemId, nextStoreId: INTEGER;
59 // kind: SHORTCHAR; path: TypePath; type: TypeName;
60 // save: ReaderState;
63 }
64 // IF kind = nil THEN
65 // rd.ReadInt(comment); rd.ReadInt(next);
66 // rd.st.end := rd.Pos();
67 // IF (next > 0) OR ((next = 0) & ODD(comment)) THEN rd.st.next := rd.st.end + next ELSE rd.st.next := 0 END;
68 // x := NIL
71 }
72 // ELSIF kind = link THEN
73 // rd.ReadInt(id); rd.ReadInt(comment); rd.ReadInt(next);
74 // rd.st.end := rd.Pos();
75 // IF (next > 0) OR ((next = 0) & ODD(comment)) THEN rd.st.next := rd.st.end + next ELSE rd.st.next := 0 END;
76 // x := ThisStore(rd.eDict, id)
79 }
80 // ELSIF kind = newlink THEN
81 // rd.ReadInt(id); rd.ReadInt(comment); rd.ReadInt(next);
82 // rd.st.end := rd.Pos();
83 // IF (next > 0) OR ((next = 0) & ODD(comment)) THEN rd.st.next := rd.st.end + next ELSE rd.st.next := 0 END;
84 // x := ThisStore(rd.sDict, id)
92 }
104 }
108 }
111 // FIXME: insert whole bunch of checks here
112 // ASSERT(len >= 0, 101);
113 // IF next # 0 THEN
114 // ASSERT(rd.st.next > pos1, 102);
115 // IF down # 0 THEN
116 // ASSERT(downPos < rd.st.next, 103)
117 // END
118 // END;
119 // IF down # 0 THEN
120 // ASSERT(downPos > pos1, 104);
121 // ASSERT(downPos < rd.st.end, 105)
122 // END;
126 // x := NewStore(t); x.isElem := kind = elem
128 // rd.cause := thisTypeRes; AlienTypeReport(rd.cause, type);
129 // x := NIL
130 }
135 // rd.SetPos(pos);
136 // ASSERT(rd.cause # 0, 107);
141 // join(d_store, alien)
143 }
148 }
150 // rd.nextTypeId := nextTypeId; rd.nextElemId := nextElemId; rd.nextStoreId := nextStoreId;
153 // ASSERT(rd.Pos() = rd.st.end, 108);
154 // rd.cause := 0; rd.cancelled := FALSE; rd.readAlien := TRUE
156 }
159 }
160 // t := ThisType(type);
161 // IF t # NIL THEN
162 // x := NewStore(t); x.isElem := kind = elem
163 // ELSE
164 // rd.cause := thisTypeRes; AlienTypeReport(rd.cause, type);
165 // x := NIL
166 // END;
167 // IF x # NIL THEN
168 // IF SamePath(t, path) THEN
169 // IF kind = elem THEN
170 // x.id := id; AddStore(rd.eDict, rd.eHead, x)
171 // ELSE
172 // x.id := id; AddStore(rd.sDict, rd.sHead, x)
173 // END;
174 // save := rd.st; rd.cause := 0; rd.cancelled := FALSE;
175 // x.Internalize(rd);
176 // rd.st := save;
177 // IF rd.cause # 0 THEN x := NIL
178 // ELSIF (rd.Pos() # rd.st.end) OR rd.rider.eof THEN
179 // rd.cause := inconsistentVersion; AlienReport(rd.cause);
180 // x := NIL
181 // END
182 // ELSE
183 // rd.cause := inconsistentType; AlienTypeReport(rd.cause, type);
184 // x := NIL
185 // END
186 // END;
187 //
188 // IF x # NIL THEN
189 // IF rd.noDomain THEN
190 // rd.store := x;
191 // rd.noDomain := FALSE
192 // ELSE
193 // Join(rd.store, x)
194 // END
195 // ELSE (* x is an alien *)
196 // rd.SetPos(pos);
197 // ASSERT(rd.cause # 0, 107);
198 // NEW(a); a.path := path; a.cause := rd.cause; a.file := rd.rider.Base();
199 // IF rd.noDomain THEN
200 // rd.store := a;
201 // rd.noDomain := FALSE
202 // ELSE
203 // Join(rd.store, a)
204 // END;
205 // IF kind = elem THEN
206 // a.id := id; AddStore(rd.eDict, rd.eHead, a)
207 // ELSE
208 // a.id := id; AddStore(rd.sDict, rd.sHead, a)
209 // END;
210 // save := rd.st;
211 // rd.nextTypeId := nextTypeId; rd.nextElemId := nextElemId; rd.nextStoreId := nextStoreId;
212 // InternalizeAlien(rd, a.comps, downPos, pos, len);
213 // rd.st := save;
214 // x := a;
215 // ASSERT(rd.Pos() = rd.st.end, 108);
216 // rd.cause := 0; rd.cancelled := FALSE; rd.readAlien := TRUE
217 // END
236 }
237 }
238 }
247 // IF path[i] # elemTName THEN INC(i) END;
249 }
264 }
265 // REPEAT
266 // GetThisType(rd.tDict, id, path[i]); id := ThisBaseId(rd.tDict, id);
267 // IF path[i] # elemTName THEN INC(i) END
268 // UNTIL id = -1
271 }
274 }
275 // PROCEDURE ReadPath (VAR rd: Reader; VAR path: TypePath);
276 // VAR h: TypeDict; id, extId: INTEGER; i: INTEGER; kind: SHORTCHAR;
277 //
278 // PROCEDURE AddPathComp (VAR rd: Reader);
279 // BEGIN
280 // IF h # NIL THEN AddBaseId(h, extId, rd.nextTypeId) END;
281 // AddType(rd.tDict, rd.tHead, rd.nextTypeId, path[i]);
282 // h := rd.tHead; extId := rd.nextTypeId
283 // END AddPathComp;
284 //
285 // BEGIN
286 // h := NIL; i := 0; rd.ReadSChar(kind);
287 // WHILE kind = newExt DO
288 // rd.ReadXString(path[i]);
289 // AddPathComp(rd); INC(rd.nextTypeId);
290 // IF path[i] # elemTName THEN INC(i) END;
291 // rd.ReadSChar(kind)
292 // END;
293 // IF kind = newBase THEN
294 // rd.ReadXString(path[i]);
295 // AddPathComp(rd); INC(rd.nextTypeId); INC(i)
296 // ELSE
297 // ASSERT(kind = oldType, 100);
298 // rd.ReadInt(id);
299 // IF h # NIL THEN AddBaseId(h, extId, id) END;
300 // REPEAT
301 // GetThisType(rd.tDict, id, path[i]); id := ThisBaseId(rd.tDict, id);
302 // IF path[i] # elemTName THEN INC(i) END
303 // UNTIL id = -1
304 // END;
305 // path[i] := ""
306 // END ReadPath;
313 }
315 }