bc76a32798a9feff7848e7014bc6ca5ece906244
1 #include <textmodel.h>
2 #include <reader.h>
4 #include <vector>
15 }
19 }
23 }
29 }
38 }
42 }
46 }
48 /*
49 * This is my current theory of how the StdTextModel storage format works:
50 * byte 0: version
51 * byte 1-5: len (length of piece descriptions)
52 * byte 6-5+len: piece descriptions
53 * byte 6+len-end: pieces (length of each defined in piece descriptions)
54 */
69 }
73 // NEW(sp); sp.len := len; sp.attr := attr;
74 // sp.file := rd.rider.Base(); sp.org := org; un := sp;
75 // INC(org, len) -- increment org by len ?
78 // len := -len; ASSERT(~ODD(len), 100);
79 // NEW(lp); lp.len := len DIV 2; lp.attr := attr;
80 // lp.file := rd.rider.Base(); lp.org := org; un := lp;
81 // INC(org, len) -- increment org by len ?
85 // NEW(v); v.len := 1; v.attr := attr;
86 // rd.ReadInt(v.w); rd.ReadInt(v.h); Views.ReadView(rd, v.view);
87 // v.view.InitContext(NewContext(v, t));
88 // un := v; INC(org) -- increment org by one?? WTH?
89 }
91 }
92 // rd.SetPos(org);
93 }
94 // PROCEDURE (t: StdModel) Internalize (VAR rd: Stores.Reader);
95 // VAR u, un: Run; sp: Piece; lp: LPiece; v: ViewRef;
96 // org, len: INTEGER; ano: BYTE; thisVersion: INTEGER;
97 // attr: Attributes; dict: AttrDict;
98 // BEGIN
99 // ASSERT(t.Domain() = NIL, 20); ASSERT(t.len = 0, 21);
100 // t.Internalize^(rd); IF rd.cancelled THEN RETURN END;
101 // rd.ReadVersion(minVersion, maxStdModelVersion, thisVersion);
102 // IF rd.cancelled THEN RETURN END;
103 // StdInit(t);
104 // dict.len := 0; u := t.trailer;
105 // rd.ReadInt(len); org := rd.Pos() + len;
106 // rd.ReadByte(ano);
107 // WHILE ano # -1 DO
108 // IF ano = dict.len THEN
109 // ReadAttr(rd, attr); Stores.Join(t, attr);
110 // IF dict.len < dictSize THEN dict.attr[dict.len] := attr; INC(dict.len) END
111 // ELSE
112 // attr := dict.attr[ano]
113 // END;
114 // rd.ReadInt(len);
115 // IF len > 0 THEN (* piece *)
116 // NEW(sp); sp.len := len; sp.attr := attr;
117 // sp.file := rd.rider.Base(); sp.org := org; un := sp;
118 // INC(org, len)
119 // ELSIF len < 0 THEN (* longchar piece *)
120 // len := -len; ASSERT(~ODD(len), 100);
121 // NEW(lp); lp.len := len DIV 2; lp.attr := attr;
122 // lp.file := rd.rider.Base(); lp.org := org; un := lp;
123 // INC(org, len)
124 // ELSE (* len = 0 => embedded view *)
125 // NEW(v); v.len := 1; v.attr := attr;
126 // rd.ReadInt(v.w); rd.ReadInt(v.h); Views.ReadView(rd, v.view);
127 // v.view.InitContext(NewContext(v, t));
128 // un := v; INC(org)
129 // END;
130 // INC(t.len, un.len); u.next := un; un.prev := u; u := un;
131 // rd.ReadByte(ano)
132 // END;
133 // rd.SetPos(org);
134 // u.next := t.trailer; t.trailer.prev := u
135 // END Internalize;
136 //