index ad566426064087187b09af61640a33f812b72d5a..78eaa4e004aafb20da4f18afaa96796374b20b86 100644 (file)
--- a/fold.h
+++ b/fold.h
static const std::string TYPENAME;
static const TypeProxy<Fold> PROXY;
+ Store *d_hidden;
+ SHORTCHAR *d_label;
+
public:
Fold(INTEGER id);
static const std::string &getType();
static const std::string *getSuper();
virtual const std::string &getTypeName() const;
virtual void internalize(Reader &reader);
+
+ virtual std::string toString();
};
}