index 4be4081d8b3fd1d479b4c8fad85d7ab35be14138..5cdbbb46ec12e89c40c4d1be530c937f5505e7e8 100644 (file)
--- a/fold.cc
+++ b/fold.cc
reader.readVersion(0, 0);
}
-const std::string Fold::TYPENAME("Folds.Fold^");
+const std::string Fold::TYPENAME("StdFolds.Fold^");
const TypeProxy<Fold> Fold::PROXY;
Fold::Fold(INTEGER id) : View(id) {}
}
void Fold::internalize(Reader &reader) {
- Store::internalize(reader);
+ View::internalize(reader);
if (reader.isCancelled()) return;
reader.readVersion(0, 0);
if (reader.isCancelled()) return;
- reader.readSInt(); // FIXME IMPLEMENT
// rd.ReadXInt(xint);fold.leftSide := xint = 0;
+ reader.readSInt();
// rd.ReadXInt(xint); fold.collapsed := xint = 0;
+ reader.readSInt();
// rd.ReadXString(fold.label);
+ SHORTCHAR label[32];
+ reader.readSString(label); // the label
// rd.ReadStore(store);
+ reader.readStore(); // the hidden part
// IF store # NIL THEN fold.hidden := store(TextModels.Model); Stores.Join(fold.hidden, fold)
// ELSE fold.hidden := NIL
// END;