summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ca3a2a1)
raw | patch | inline | side by side (parent: ca3a2a1)
author | Gert van Valkenhoef <g.h.m.van.valkenhoef@rug.nl> | |
Tue, 9 Aug 2011 08:46:06 +0000 (09:46 +0100) | ||
committer | Gert van Valkenhoef <g.h.m.van.valkenhoef@rug.nl> | |
Tue, 9 Aug 2011 08:46:06 +0000 (09:46 +0100) |
reader.cc | patch | blob | history |
diff --git a/reader.cc b/reader.cc
index 581917197f2c9bdbcbcbd3e6dc130193784e1263..051ddf555539dbc7440b12694dbe4f2ad7f62383 100644 (file)
--- a/reader.cc
+++ b/reader.cc
SHORTCHAR kind = readSChar();
int i;
for (i = 0; kind == Store::NEWEXT; ++i) {
- std::cout << i << std::endl;
readSString(path[i]);
addPathComponent(i == 0, path[i]);
// IF path[i] # elemTName THEN INC(i) END;
}
if (kind == Store::NEWBASE) {
- std::cout << i << std::endl;
readSString(path[i]);
addPathComponent(i == 0, path[i]);
++i;
} else if (kind == Store::OLDTYPE) {
int id = readInt();
- d_typeList[d_typeList.size() - 1]->baseId = id;
+ if (i > 0) {
+ d_typeList[d_typeList.size() - 1]->baseId = id;
+ }
while (id != -1) {
- std::cout << "old " << i << "id " << id << d_typeList[id]->name << std::endl;
path[i] = d_typeList[id]->name;
id = d_typeList[id]->baseId;
+// IF path[i] # elemTName THEN INC(i) END
++i;
}
-// REPEAT
-// GetThisType(rd.tDict, id, path[i]); id := ThisBaseId(rd.tDict, id);
-// IF path[i] # elemTName THEN INC(i) END
-// UNTIL id = -1
} else {
throw 100;
}
- std::cout << "term " << i << std::endl;
path[i] = 0;
}
-// PROCEDURE ReadPath (VAR rd: Reader; VAR path: TypePath);
-// VAR h: TypeDict; id, extId: INTEGER; i: INTEGER; kind: SHORTCHAR;
-//
-// PROCEDURE AddPathComp (VAR rd: Reader);
-// BEGIN
-// IF h # NIL THEN AddBaseId(h, extId, rd.nextTypeId) END;
-// AddType(rd.tDict, rd.tHead, rd.nextTypeId, path[i]);
-// h := rd.tHead; extId := rd.nextTypeId
-// END AddPathComp;
-//
-// BEGIN
-// h := NIL; i := 0; rd.ReadSChar(kind);
-// WHILE kind = newExt DO
-// rd.ReadXString(path[i]);
-// AddPathComp(rd); INC(rd.nextTypeId);
-// IF path[i] # elemTName THEN INC(i) END;
-// rd.ReadSChar(kind)
-// END;
-// IF kind = newBase THEN
-// rd.ReadXString(path[i]);
-// AddPathComp(rd); INC(rd.nextTypeId); INC(i)
-// ELSE
-// ASSERT(kind = oldType, 100);
-// rd.ReadInt(id);
-// IF h # NIL THEN AddBaseId(h, extId, id) END;
-// REPEAT
-// GetThisType(rd.tDict, id, path[i]); id := ThisBaseId(rd.tDict, id);
-// IF path[i] # elemTName THEN INC(i) END
-// UNTIL id = -1
-// END;
-// path[i] := ""
-// END ReadPath;
void Reader::addPathComponent(bool first, SHORTCHAR *typeName) {
int next = d_typeList.size();