b416401ede108ab39c71e3c7ab11c64de0560a00
1 #include <fold.h>
2 #include <reader.h>
13 }
17 }
21 }
27 }
36 }
40 }
44 }
51 // rd.ReadXInt(xint);fold.leftSide := xint = 0;
53 // rd.ReadXInt(xint); fold.collapsed := xint = 0;
55 // rd.ReadXString(fold.label);
58 // rd.ReadStore(store);
60 // IF store # NIL THEN fold.hidden := store(TextModels.Model); Stores.Join(fold.hidden, fold)
61 // ELSE fold.hidden := NIL
62 // END;
63 // fold.leftSide := store # NIL
64 }
69 }
70 return std::string("Fold(left)") + std::string(" { ") + d_hidden->toString() + std::string(" }");
71 }