46a0b812e7334485a6d22b1add42c62b4eca787a
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 }
49 }
50 }
51 // PROCEDURE (VAR rd: Reader) ReadStore* (OUT x: Store), NEW;
52 // VAR a: Alien; t: Kernel.Type;
53 // len, pos, pos1, id, comment, next, down, downPos, nextTypeId, nextElemId, nextStoreId: INTEGER;
54 // kind: SHORTCHAR; path: TypePath; type: TypeName;
55 // save: ReaderState;
58 }
59 // IF kind = nil THEN
60 // rd.ReadInt(comment); rd.ReadInt(next);
61 // rd.st.end := rd.Pos();
62 // IF (next > 0) OR ((next = 0) & ODD(comment)) THEN rd.st.next := rd.st.end + next ELSE rd.st.next := 0 END;
63 // x := NIL
66 }
67 // ELSIF kind = link THEN
68 // rd.ReadInt(id); rd.ReadInt(comment); rd.ReadInt(next);
69 // rd.st.end := rd.Pos();
70 // IF (next > 0) OR ((next = 0) & ODD(comment)) THEN rd.st.next := rd.st.end + next ELSE rd.st.next := 0 END;
71 // x := ThisStore(rd.eDict, id)
74 }
75 // ELSIF kind = newlink THEN
76 // rd.ReadInt(id); rd.ReadInt(comment); rd.ReadInt(next);
77 // rd.st.end := rd.Pos();
78 // IF (next > 0) OR ((next = 0) & ODD(comment)) THEN rd.st.next := rd.st.end + next ELSE rd.st.next := 0 END;
79 // x := ThisStore(rd.sDict, id)
87 }
99 }
103 }
106 // FIXME: insert whole bunch of checks here
107 // ASSERT(len >= 0, 101);
108 // IF next # 0 THEN
109 // ASSERT(rd.st.next > pos1, 102);
110 // IF down # 0 THEN
111 // ASSERT(downPos < rd.st.next, 103)
112 // END
113 // END;
114 // IF down # 0 THEN
115 // ASSERT(downPos > pos1, 104);
116 // ASSERT(downPos < rd.st.end, 105)
117 // END;
121 // x := NewStore(t); x.isElem := kind = elem
123 // rd.cause := thisTypeRes; AlienTypeReport(rd.cause, type);
124 // x := NIL
125 }
130 // rd.SetPos(pos);
131 // ASSERT(rd.cause # 0, 107);
136 // join(d_store, alien)
138 }
143 }
145 // rd.nextTypeId := nextTypeId; rd.nextElemId := nextElemId; rd.nextStoreId := nextStoreId;
148 // ASSERT(rd.Pos() = rd.st.end, 108);
149 // rd.cause := 0; rd.cancelled := FALSE; rd.readAlien := TRUE
151 }
154 }
155 // t := ThisType(type);
156 // IF t # NIL THEN
157 // x := NewStore(t); x.isElem := kind = elem
158 // ELSE
159 // rd.cause := thisTypeRes; AlienTypeReport(rd.cause, type);
160 // x := NIL
161 // END;
162 // IF x # NIL THEN
163 // IF SamePath(t, path) THEN
164 // IF kind = elem THEN
165 // x.id := id; AddStore(rd.eDict, rd.eHead, x)
166 // ELSE
167 // x.id := id; AddStore(rd.sDict, rd.sHead, x)
168 // END;
169 // save := rd.st; rd.cause := 0; rd.cancelled := FALSE;
170 // x.Internalize(rd);
171 // rd.st := save;
172 // IF rd.cause # 0 THEN x := NIL
173 // ELSIF (rd.Pos() # rd.st.end) OR rd.rider.eof THEN
174 // rd.cause := inconsistentVersion; AlienReport(rd.cause);
175 // x := NIL
176 // END
177 // ELSE
178 // rd.cause := inconsistentType; AlienTypeReport(rd.cause, type);
179 // x := NIL
180 // END
181 // END;
182 //
183 // IF x # NIL THEN
184 // IF rd.noDomain THEN
185 // rd.store := x;
186 // rd.noDomain := FALSE
187 // ELSE
188 // Join(rd.store, x)
189 // END
190 // ELSE (* x is an alien *)
191 // rd.SetPos(pos);
192 // ASSERT(rd.cause # 0, 107);
193 // NEW(a); a.path := path; a.cause := rd.cause; a.file := rd.rider.Base();
194 // IF rd.noDomain THEN
195 // rd.store := a;
196 // rd.noDomain := FALSE
197 // ELSE
198 // Join(rd.store, a)
199 // END;
200 // IF kind = elem THEN
201 // a.id := id; AddStore(rd.eDict, rd.eHead, a)
202 // ELSE
203 // a.id := id; AddStore(rd.sDict, rd.sHead, a)
204 // END;
205 // save := rd.st;
206 // rd.nextTypeId := nextTypeId; rd.nextElemId := nextElemId; rd.nextStoreId := nextStoreId;
207 // InternalizeAlien(rd, a.comps, downPos, pos, len);
208 // rd.st := save;
209 // x := a;
210 // ASSERT(rd.Pos() = rd.st.end, 108);
211 // rd.cause := 0; rd.cancelled := FALSE; rd.readAlien := TRUE
212 // END
231 }
232 }
233 }
241 // IF path[i] # elemTName THEN INC(i) END;
243 }
252 // REPEAT
253 // GetThisType(rd.tDict, id, path[i]); id := ThisBaseId(rd.tDict, id);
254 // IF path[i] # elemTName THEN INC(i) END
255 // UNTIL id = -1
258 }
260 }
261 // PROCEDURE ReadPath (VAR rd: Reader; VAR path: TypePath);
262 // VAR h: TypeDict; id, extId: INTEGER; i: INTEGER; kind: SHORTCHAR;
263 //
264 // PROCEDURE AddPathComp (VAR rd: Reader);
265 // BEGIN
266 // IF h # NIL THEN AddBaseId(h, extId, rd.nextTypeId) END;
267 // AddType(rd.tDict, rd.tHead, rd.nextTypeId, path[i]);
268 // h := rd.tHead; extId := rd.nextTypeId
269 // END AddPathComp;
270 //
271 // BEGIN
272 // h := NIL; i := 0; rd.ReadSChar(kind);
273 // WHILE kind = newExt DO
274 // rd.ReadXString(path[i]);
275 // AddPathComp(rd); INC(rd.nextTypeId);
276 // IF path[i] # elemTName THEN INC(i) END;
277 // rd.ReadSChar(kind)
278 // END;
279 // IF kind = newBase THEN
280 // rd.ReadXString(path[i]);
281 // AddPathComp(rd); INC(rd.nextTypeId); INC(i)
282 // ELSE
283 // ASSERT(kind = oldType, 100);
284 // rd.ReadInt(id);
285 // IF h # NIL THEN AddBaseId(h, extId, id) END;
286 // REPEAT
287 // GetThisType(rd.tDict, id, path[i]); id := ThisBaseId(rd.tDict, id);
288 // IF path[i] # elemTName THEN INC(i) END
289 // UNTIL id = -1
290 // END;
291 // path[i] := ""
292 // END ReadPath;
299 }
301 }