6 const std::string
View::TYPENAME("Views.View^");
7 const TypeProxy
<View
> View::PROXY
;
9 View::View(INTEGER id
) : Store(id
) {}
11 const std::string
&View::getType() {
15 const std::string
*View::getSuper() {
16 return &Store::getType();
19 const std::string
&View::getTypeName() const {
23 void View::internalize(Reader
&reader
) {
24 Store::internalize(reader
);
25 if (reader
.isCancelled()) return;
26 reader
.readVersion(0, 0);
29 const std::string
Fold::TYPENAME("StdFolds.Fold^");
30 const TypeProxy
<Fold
> Fold::PROXY
;
32 Fold::Fold(INTEGER id
) : View(id
) {}
34 const std::string
&Fold::getType() {
38 const std::string
*Fold::getSuper() {
39 return &View::getType();
42 const std::string
&Fold::getTypeName() const {
46 void Fold::internalize(Reader
&reader
) {
47 View::internalize(reader
);
48 if (reader
.isCancelled()) return;
49 reader
.readVersion(0, 0);
50 if (reader
.isCancelled()) return;
51 // rd.ReadXInt(xint);fold.leftSide := xint = 0;
53 // rd.ReadXInt(xint); fold.collapsed := xint = 0;
55 // rd.ReadXString(fold.label);
57 reader
.readSString(label
); // the label
58 // rd.ReadStore(store);
59 reader
.readStore(); // the hidden part
60 // IF store # NIL THEN fold.hidden := store(TextModels.Model); Stores.Join(fold.hidden, fold)
61 // ELSE fold.hidden := NIL
63 // fold.leftSide := store # NIL