Annotation of parser3/src/include/pa_value.h, revision 1.44
1.1 paf 1: /*
1.44 ! paf 2: $Id: pa_value.h,v 1.43 2001/03/08 12:13:35 paf Exp $
1.1 paf 3: */
4:
5: /*
6: data core
7: */
8:
9: #ifndef PA_VALUE_H
10: #define PA_VALUE_H
11:
1.9 paf 12: #include "pa_pool.h"
1.1 paf 13: #include "pa_string.h"
1.9 paf 14: #include "pa_array.h"
1.1 paf 15:
1.27 paf 16: #define NAME_NAME "NAME"
17:
1.9 paf 18: class Value;
19: class VClass;
20: class Junction;
21: class WContext;
1.33 paf 22: class VAliased;
1.43 paf 23: class Request;
24:
1.44 ! paf 25: typedef void (*Native_code_ptr)(Request& request, Array& params);
1.9 paf 26:
27: class Method : public Pooled {
1.1 paf 28: public:
1.11 paf 29: const String& name;
1.44 ! paf 30: // either numbered params // for native-code methods = operators
! 31: int numbered_params_count;
! 32: // or named params&locals // for parser-code methods
! 33: Array *params_names; Array *locals_names;
! 34: // the Code
1.43 paf 35: const Array *parser_code;/*OR*/Native_code_ptr native_code;
1.9 paf 36:
37: Method(
38: Pool& apool,
1.11 paf 39: const String& aname,
1.44 ! paf 40: int anumbered_params_count,
! 41: Array *aparams_names, Array *alocals_names,
1.43 paf 42: const Array *aparser_code, Native_code_ptr anative_code) :
1.19 paf 43:
1.9 paf 44: Pooled(apool),
45: name(aname),
1.44 ! paf 46: numbered_params_count(anumbered_params_count),
! 47: params_names(aparams_names), locals_names(alocals_names),
1.43 paf 48: parser_code(aparser_code), native_code(anative_code) {
1.9 paf 49: }
1.1 paf 50: };
51:
1.21 paf 52: class Junction : public Pooled {
1.2 paf 53: public:
54:
1.20 paf 55: Junction(Pool& apool,
1.34 paf 56: Value& aself,
1.33 paf 57: VClass *avclass, Method *amethod,
1.20 paf 58: Value *aroot,
59: Value *arcontext,
1.24 paf 60: WContext *awcontext,
1.23 paf 61: const Array *acode) : Pooled(apool),
1.20 paf 62:
1.24 paf 63: self(aself),
1.33 paf 64: vclass(avclass), method(amethod),
1.20 paf 65: root(aroot),
66: rcontext(arcontext),
1.24 paf 67: wcontext(awcontext),
1.20 paf 68: code(acode) {
69: }
70:
1.43 paf 71: // always present
1.34 paf 72: Value& self;
1.43 paf 73: // either these // so called 'method-junction'
1.33 paf 74: VClass *vclass; Method *method;
1.43 paf 75: // or these are present // so called 'code-junction'
1.21 paf 76: Value *root;
77: Value *rcontext;
1.24 paf 78: WContext *wcontext;
1.23 paf 79: const Array *code;
1.8 paf 80: };
81:
1.9 paf 82: class Value : public Pooled {
1.17 paf 83: public: // Value
1.9 paf 84:
85: // all: for error reporting after fail(), etc
1.13 paf 86: virtual const char *type() const =0;
1.43 paf 87: String& name() const { return *fname; }
1.9 paf 88:
1.40 paf 89: // unknown: false
90: // others: true
91: virtual bool get_defined() { return true; }
92:
1.13 paf 93: // string: value
1.16 paf 94: // unknown: ""
1.38 paf 95: // double: value
1.16 paf 96: // others: 0
1.13 paf 97: virtual String *get_string() { return 0; }
1.9 paf 98:
1.13 paf 99: // string: value
1.37 paf 100: // double: value
1.39 paf 101: // bool: value
1.37 paf 102: virtual double get_double() { failed("getting numerical value of '%s'"); return 0; }
1.39 paf 103:
104: // unknown: false
105: // bool: value
106: // double: 0 or !0
107: // string: empty or not
1.40 paf 108: // hash: size!=0
109: // TODO table: count!=0
110: // others: true
1.39 paf 111: virtual bool get_bool() { return true; }
1.1 paf 112:
1.9 paf 113: // junction: auto_calc,root,self,rcontext,wcontext, code
1.23 paf 114: virtual Junction *get_junction() { return 0; }
1.8 paf 115:
1.1 paf 116: // hash: (key)=value
1.2 paf 117: // object_class: (field)=STATIC.value;(STATIC)=hash;(method)=method_ref with self=object_class
1.29 paf 118: // object_instance: (field)=value;(CLASS)=vclass;(method)=method_ref
1.7 paf 119: // operator_class: (field)=value - static values only
1.24 paf 120: // codeframe: wcontext_transparent
1.30 paf 121: // methodframe: my or self_transparent
1.42 paf 122: virtual Value *get_element(const String& name) { failed("type is '%s', can not get element from it"); return 0; }
1.13 paf 123:
1.15 paf 124: // hash: (key)=value
1.9 paf 125: // object_class, operator_class: (field)=value - static values only
1.26 paf 126: // object_instance: (field)=value
1.24 paf 127: // codeframe: wcontext_transparent
1.30 paf 128: // methodframe: my or self_transparent
1.29 paf 129: virtual void put_element(const String& name, Value *value) { failed("type is '%s', can not put element to it"); }
1.5 paf 130:
131: // object_class, object_instance: object_class
1.32 paf 132: // wcontext: none yet | transparent
1.9 paf 133: virtual VClass *get_class() { return 0; }
1.34 paf 134:
135: // valiased: this
136: // wcontext: transparent
1.35 paf 137: // methodframe: self_transparent
1.36 paf 138: virtual VAliased *get_aliased() { return 0; }
1.9 paf 139:
1.17 paf 140: public: // usage
141:
1.28 paf 142: Value(Pool& apool) : Pooled(apool), fname(new(apool) String(apool)) {
143: fname->APPEND_CONST("unnamed");
144: }
1.17 paf 145:
1.27 paf 146: void set_name(String& aname) { fname=&aname; }
1.18 paf 147:
148: String& as_string() {
1.17 paf 149: String *result=get_string();
150: if(!result)
1.25 paf 151: failed("getting string of '%s'");
1.17 paf 152: return *result;
153: }
1.9 paf 154:
1.18 paf 155: private:
156:
1.27 paf 157: String *fname;
1.18 paf 158:
1.9 paf 159: private:
1.6 paf 160:
1.18 paf 161: void failed(char *action);
1.1 paf 162: };
163:
164: #endif
E-mail: