Completely convert .odc to .txt using Visitor

[odcread.git] / store.h

diff --git a/store.h b/store.h
index 039354d5b5c120737498795f9267a65babea13ca..4e7360e782170315dafd917c53816b6ae5d141c4 100644 (file)
--- a/store.h
+++ b/store.h
@@ -3,11 +3,14 @@
 
 #include <oberon.h>
 #include <domain.h>
+#include <typeregister.h>
+#include <visitor.h>
 
 #include <string>
 #include <vector>
 
 namespace odc {
+       class Reader; // forward decl
 
        class TypePath : public std::vector<std::string> {
                public:
@@ -23,6 +26,9 @@ namespace odc {
         */
        class Store {
        private:
+               static const std::string TYPENAME;
+               static const TypeProxy<Store> PROXY;
+
                INTEGER d_id;
 
        public: 
@@ -39,6 +45,25 @@ namespace odc {
 
                INTEGER getId();
                
+               /**
+                * Get the TypeName of this object.
+                * @see TypeRegister
+                */
+               static const std::string &getType();
+               /**
+                * Get the TypeName of the supertype of this object. Return 0 pointer if no supertype.
+                * @see TypeRegister
+                */
+               static const std::string *getSuper();
+               /**
+                * Get the TypeName for this object.
+                */
+               virtual const std::string &getTypeName() const;
+               /**
+                * Get the TypePath to this object's type.
+                * @see TypePath
+                */
+               void getTypePath(TypePath *path) const;
 
                /**
                 * PROCEDURE (s: Store) Domain (): Domain
@@ -46,7 +71,7 @@ namespace odc {
                 * A store may be associated with a domain. This is done by the procedure InitDomain, which assigns a domain to the store.
                 * Domain may be called by arbitrary clients.
                 */
-               Domain* getDomain();
+               //Domain* getDomain();
 
                /**
                 * PROCEDURE (s: Store) CopyFrom- (source: Store)
@@ -72,7 +97,7 @@ namespace odc {
                 * source.Domain() = NIL        guaranteed
                 * source is not yet initialized        guaranteed
                 */
-//              void internalize(Reader &reader) {
+                virtual void internalize(Reader &reader);
 //     PROCEDURE (s: Store) Internalize- (VAR rd: Reader), NEW, EXTENSIBLE;
 //             VAR thisVersion: INTEGER;
 //     BEGIN
@@ -105,9 +130,81 @@ namespace odc {
                 */
                // FIXME
 
-               virtual std::string toString() = 0;
+               virtual std::string toString();
+
+               /**
+                * Receiving end of the Visitor pattern.
+                */
+               virtual void accept(Visitor &visitor) const;
+
+               private:
+               void calcTypePath(TypePath * out, const std::string &name) const;
+       };
+
+       class Elem : public Store {
+               private:
+               static const std::string TYPENAME;
+               static const TypeProxy<Elem> PROXY;
+
+               public:
+               Elem(INTEGER id);
+               
+               /**
+                * Get the TypeName of this object.
+                * @see TypeRegister
+                */
+               static const std::string &getType();
+               /**
+                * Get the TypeName of the supertype of this object. Return 0 pointer if no supertype.
+                * @see TypeRegister
+                */
+               static const std::string *getSuper();
+               /**
+                * Get the TypeName for this object.
+                */
+               virtual const std::string &getTypeName() const;
+
+               virtual void internalize(Reader &reader);
+       };
+
+       class Model : public Elem {
+               private:
+               static const std::string TYPENAME;
+               static const TypeProxy<Model> PROXY;
+
+               public:
+               Model(INTEGER id);
+               
+               /**
+                * Get the TypeName of this object.
+                * @see TypeRegister
+                */
+               static const std::string &getType();
+               /**
+                * Get the TypeName of the supertype of this object. Return 0 pointer if no supertype.
+                * @see TypeRegister
+                */
+               static const std::string *getSuper();
+               /**
+                * Get the TypeName for this object.
+                */
+               virtual const std::string &getTypeName() const;
+
+               virtual void internalize(Reader &reader);
        };
 
+       class ContainerModel : public Model {
+               private:
+               static const std::string TYPENAME;
+               static const TypeProxy<ContainerModel> PROXY;
+
+               public:
+               ContainerModel(INTEGER id);
+               static const std::string &getType();
+               static const std::string *getSuper();
+               virtual const std::string &getTypeName() const;
+               virtual void internalize(Reader &reader);
+       };
 }
 
 #endif // _STORE_H_