--- parser3/src/include/Attic/pa_vclass.h 2001/02/24 11:20:32 1.10 +++ parser3/src/include/Attic/pa_vclass.h 2001/03/07 13:54:46 1.21 @@ -1,88 +1,109 @@ /* - $Id: pa_vclass.h,v 1.10 2001/02/24 11:20:32 paf Exp $ + $Id: pa_vclass.h,v 1.21 2001/03/07 13:54:46 paf Exp $ */ #ifndef PA_VCLASS_H #define PA_VCLASS_H -#include "pa_value.h" +#include "pa_valiased.h" #include "pa_vhash.h" +#include "pa_vstring.h" #include "pa_vjunction.h" -class VClass : public Value { +#define CLASS_NAME "CLASS" +#define BASE_NAME "BASE" + +class VClass : public VAliased { public: // Value // all: for error reporting after fail(), etc - const char *type() const { return "Class"; } + const char *type() const { return "class"; } // object_class: (field)=STATIC.value;(STATIC)=hash;(method)=method_ref with self=object_class - Value *get_element(const String& name) { - // $STATIC=STATIC hash - if(name==STATIC_NAME) - return &STATIC; - - // $method=junction(this+method) - if(Method *method=static_cast(methods.get(name))) { - Junction& j=*NEW Junction(pool(), - *this, - method,0,0,0,0); - - return NEW VJunction(j); - } - - // $field=STATIC.field - return STATIC.get_element(name); + Value *get_element(String& aname) { + // $NAME=my name + if(aname==NAME_NAME) + return NEW VString(class_alias->name()); + // $CLASS=my class=myself + if(aname==CLASS_NAME) + return class_alias; + // $BASE=my parent + if(aname==BASE_NAME) + return class_alias->base(); + // $method=junction(self+class+method) + if(Junction *junction=get_junction(*this, aname)) + return NEW VJunction(*junction); + // $field=static field + return get_field(aname); } // object_class, operator_class: (field)=value - static values only void put_element(const String& name, Value *value) { - STATIC.put_element(name, value); + set_field(name, value); } // object_class, object_instance: object_class - VClass *get_class() { return this; /*TODO: think when?*/ } - - // object_class: true when this class is derived from 'ancestor' - bool is_or_derived_from(VClass& ancestor) { - if(this==&ancestor) - return true; // it's me - - return parents_hash.get(ancestor.name())!=0; - } + VClass *get_class() { return this; } public: // usage - - const String& name() const { return *fname; } -public: // creation - - VClass(Pool& apool, String& aname, const Array& immediate_parents) : - Value(apool), - fname(&aname), - STATIC(apool), - methods(apool), - parents(apool), - parents_hash(apool) { - // TODO: monkey immediate_parents - // fill parents & parents_hash + VClass(Pool& apool) : VAliased(apool, *this), + fields(apool), + fmethods(apool), + fbase(0) { } - - void rename(String *aname) { fname=aname; } void add_method(const String& name, Method& method) { - methods.put(name, &method); + fmethods.put(name, &method); } - void add_parent(VClass& parent) { - parents+=&parent; - parents_hash.put(parent.name(), &parent); +// Hash& methods() { return fmethods; } + + void set_base(VClass& abase) { + // remember the guy + fbase=&abase; + } + VClass *base() { return fbase; } + + bool is_or_derived_from(VClass& vclass) { + return + this==&vclass || + fbase && fbase->is_or_derived_from(vclass); + } + + Junction *get_junction(VAliased& self, const String& name) { + if(Method *method=static_cast(fmethods.get(name))) + return NEW Junction(pool(), self, this, method, 0,0,0,0); + if(fbase) + return fbase->get_junction(self, name); + return 0; } private: - String *fname; - VHash STATIC; - Hash methods; - Array parents; Hash parents_hash; + Value *get_field(const String& name) { + Value *result=static_cast(fields.get(name)); + if(!result && fbase) + result=fbase->get_field(name); + return result; + } + + void set_field(const String& name, Value *value) { + if(fbase && fbase->replace_field(name, value)) + return; + + fields.put(name, value); + } + bool replace_field(const String& name, Value *value) { + return + (fbase && fbase->replace_field(name, value)) || + fields.put_replace(name, value); + } + +private: + + VClass *fbase; + Hash fields; + Hash fmethods; }; #endif