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_label) + std::string("\" { ") + d_hidden->toString() + std::string(" }");
71 }
76 }
78 }