Completely convert .odc to .txt using Visitor

[odcread.git] / store.h

diff --git a/store.h b/store.h
index be351b70ea70092709155aa9b1c2e750d95e7ceb..4e7360e782170315dafd917c53816b6ae5d141c4 100644 (file)
--- a/store.h
+++ b/store.h
@@ -3,10 +3,19 @@
 
 #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:
+               std::string toString() const;
+       };
 
        /**
         * TYPE Store
@@ -17,6 +26,9 @@ namespace odc {
         */
        class Store {
        private:
+               static const std::string TYPENAME;
+               static const TypeProxy<Store> PROXY;
+
                INTEGER d_id;
 
        public: 
@@ -33,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
@@ -40,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)
@@ -66,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
@@ -99,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_