b88d24b66a303e2b0602e755cfd01c6cbcdff707
1 #include <fold.h>
2 #include <reader.h>
13 }
19 }
28 }
35 // rd.ReadXInt(xint);fold.leftSide := xint = 0;
37 // rd.ReadXInt(xint); fold.collapsed := xint = 0;
40 // rd.ReadXString(fold.label);
43 // rd.ReadStore(store);
45 // IF store # NIL THEN fold.hidden := store(TextModels.Model); Stores.Join(fold.hidden, fold)
46 // ELSE fold.hidden := NIL
47 // END;
48 // fold.leftSide := store # NIL
49 }
54 }
55 return std::string("Fold(left) \"") + std::string(d_label) + std::string("\" { ") + d_hidden->toString() + std::string(" }");
56 }
64 }
65 }