1 #include <textmodel.h>
2 #include <reader.h>
4 #include <vector>
5 #include <assert.h>
7 //#include <fstream>
8 //#include <iostream>
19 }
23 }
27 }
33 }
42 }
46 }
50 }
52 /*
53 * This is my current theory of how the StdTextModel storage format works:
54 * byte 0: version
55 * byte 1-5: len (length of piece descriptions)
56 * byte 6-5+len: piece descriptions
57 * byte 6+len-end: pieces (length of each defined in piece descriptions)
58 */
68 //std::cout << "len " << len << " ano " << (int)ano << std::endl;
74 }
77 //std::cout << "Found SChar piece" << std::endl;
79 // NEW(sp); sp.len := len; sp.attr := attr;
80 // sp.file := rd.rider.Base(); sp.org := org; un := sp;
81 // INC(org, len) -- increment org by len ?
83 //std::cout << "Found LChar piece" << std::endl;
86 // len := -len; ASSERT(~ODD(len), 100);
87 // NEW(lp); lp.len := len DIV 2; lp.attr := attr;
88 // lp.file := rd.rider.Base(); lp.org := org; un := lp;
89 // INC(org, len) -- increment org by len ?
91 //std::cout << "Found View piece" << std::endl;
94 // NEW(v); v.len := 1; v.attr := attr;
95 // rd.ReadInt(v.w); rd.ReadInt(v.h); Views.ReadView(rd, v.view);
96 // v.view.InitContext(NewContext(v, t));
97 // un := v; INC(org) -- increment org by one?? WTH?
100 }
102 }
105 }
106 // rd.SetPos(org);
107 }
108 // PROCEDURE (t: StdModel) Internalize (VAR rd: Stores.Reader);
109 // VAR u, un: Run; sp: Piece; lp: LPiece; v: ViewRef;
110 // org, len: INTEGER; ano: BYTE; thisVersion: INTEGER;
111 // attr: Attributes; dict: AttrDict;
112 // BEGIN
113 // ASSERT(t.Domain() = NIL, 20); ASSERT(t.len = 0, 21);
114 // t.Internalize^(rd); IF rd.cancelled THEN RETURN END;
115 // rd.ReadVersion(minVersion, maxStdModelVersion, thisVersion);
116 // IF rd.cancelled THEN RETURN END;
117 // StdInit(t);
118 // dict.len := 0; u := t.trailer;
119 // rd.ReadInt(len); org := rd.Pos() + len;
120 // rd.ReadByte(ano);
121 // WHILE ano # -1 DO
122 // IF ano = dict.len THEN
123 // ReadAttr(rd, attr); Stores.Join(t, attr);
124 // IF dict.len < dictSize THEN dict.attr[dict.len] := attr; INC(dict.len) END
125 // ELSE
126 // attr := dict.attr[ano]
127 // END;
128 // rd.ReadInt(len);
129 // IF len > 0 THEN (* piece *)
130 // NEW(sp); sp.len := len; sp.attr := attr;
131 // sp.file := rd.rider.Base(); sp.org := org; un := sp;
132 // INC(org, len)
133 // ELSIF len < 0 THEN (* longchar piece *)
134 // len := -len; ASSERT(~ODD(len), 100);
135 // NEW(lp); lp.len := len DIV 2; lp.attr := attr;
136 // lp.file := rd.rider.Base(); lp.org := org; un := lp;
137 // INC(org, len)
138 // ELSE (* len = 0 => embedded view *)
139 // NEW(v); v.len := 1; v.attr := attr;
140 // rd.ReadInt(v.w); rd.ReadInt(v.h); Views.ReadView(rd, v.view);
141 // v.view.InitContext(NewContext(v, t));
142 // un := v; INC(org)
143 // END;
144 // INC(t.len, un.len); u.next := un; un.prev := u; u := un;
145 // rd.ReadByte(ano)
146 // END;
147 // rd.SetPos(org);
148 // u.next := t.trailer; t.trailer.prev := u
149 // END Internalize;
150 //
156 }
158 }
166 }
171 }
175 }
181 }
184 // static char piece[] = "pieceA";
188 // std::cout.write(buf, d_len);
189 // std::ofstream ofs(piece, std::ios::out);
190 // ofs.write(buf, d_len);
191 // ofs.close();
192 // ++piece[5];
193 // delete buf;
194 }
198 }
204 }
208 }