--- parser3/src/include/Attic/pa_value.h	2001/02/15 14:18:49	1.8
+++ parser3/src/include/Attic/pa_value.h	2001/03/06 12:22:57	1.37
@@ -1,5 +1,5 @@
 /*
-  $Id: pa_value.h,v 1.8 2001/02/15 14:18:49 paf Exp $
+  $Id: pa_value.h,v 1.37 2001/03/06 12:22:57 paf Exp $
 */
 
 /*
@@ -9,58 +9,144 @@
 #ifndef PA_VALUE_H
 #define PA_VALUE_H
 
+#include "pa_pool.h"
 #include "pa_string.h"
+#include "pa_array.h"
+//#include "pa_voperator.h"
 
-class Method {
+#define NAME_NAME "NAME"
+
+class Value;
+class VClass;
+//class VOperator;
+class Junction;
+class WContext;
+class VAliased;
+
+class Method : public Pooled {
 public:
-	Array param_names;
-	Array local_names;
-	String code;
+	const String& name;
+	Array& params_names;
+	Array& locals_names;
+	const Array& code;
+
+	Method(
+		Pool& apool,
+		const String& aname,
+		Array& aparams_names,
+		Array& alocals_names,
+		const Array& acode) : 
+
+		Pooled(apool),
+		name(aname),
+		params_names(aparams_names),
+		locals_names(alocals_names),
+		code(acode) {
+	}
 };
 
+/*
 class Operator : public Method {
 	// operator module static vars stored in there
-	Operator_class *self;
+	VOperator_class *self;
 };
+*/
 
-class Method_ref {
+class Junction : public Pooled {
 public:
-	Value *self;
-	Method& method;
-};
 
-class Junction {
-	Value *self;
-	String code;
+	Junction(Pool& apool,
+		Value& aself,
+		VClass *avclass, Method *amethod,
+		Value *aroot,
+		Value *arcontext,
+		WContext *awcontext,
+		const Array *acode) : Pooled(apool),
+		
+		self(aself),
+		vclass(avclass), method(amethod),
+		root(aroot),
+		rcontext(arcontext),
+		wcontext(awcontext),
+		code(acode) {
+	}
+
+	Value& self;
+	VClass *vclass;  Method *method;
+	Value *root;
+	Value *rcontext;
+	WContext *wcontext;
+	const Array *code;
 };
 
-class Value {
-public:
-	// text: value
-	virtual String *get_string() const =0;
-	virtual String *put_string(const String *astring)=0;
+class Value : public Pooled {
+public: // Value
 
-	// method_ref: self, method
-	virtual Method_ref *get_method_ref() const =0;
+	// all: for error reporting after fail(), etc
+	virtual const char *type() const =0;
+	/*const*/ String& name() const { return *fname; }
+
+	// string: value
+	// unknown: ""
+	// others: 0
+	virtual String *get_string() { return 0; }
+	
+	// string: value
+	virtual void put_string(String *astring) { failed("storing string to '%s'"); }
+
+	// string: value
+	// double: value
+	virtual double get_double() { failed("getting numerical value of '%s'"); return 0; }
 
-	// junction: self, code
-	virtual Junction *get_junction() const =0;
+	// junction: auto_calc,root,self,rcontext,wcontext, code
+	virtual Junction *get_junction() { return 0; }
 
 	// hash: (key)=value
 	// object_class: (field)=STATIC.value;(STATIC)=hash;(method)=method_ref with self=object_class
-	// object_instance: (field)=value;(STATIC)=hash;(method)=method_ref
+	// object_instance: (field)=value;(CLASS)=vclass;(method)=method_ref
 	// operator_class: (field)=value - static values only
-	virtual Value *get_element(const String& name) const =0;
-	virtual Value *put_element(const String& name, const Value *avalue)=0;
-
-	// object_instance, object_class: method
-	virtual Method *get_method(const String& name) const =0;
+	// codeframe: wcontext_transparent
+	// methodframe: my or self_transparent
+	virtual Value *get_element(const String& name) { failed("type is '%s', can not get element from it"); return 0; }
+	
+	// hash: (key)=value
+	// object_class, operator_class: (field)=value - static values only
+	// object_instance: (field)=value
+	// codeframe: wcontext_transparent
+	// methodframe: my or self_transparent
+	virtual void put_element(const String& name, Value *value) { failed("type is '%s', can not put element to it"); }
 
 	// object_class, object_instance: object_class
-	virtual Class *get_class() const =0;
+	// wcontext: none yet | transparent
+	virtual VClass *get_class() { return 0; }
+
+	// valiased: this
+	// wcontext: transparent
+	// methodframe: self_transparent
+	virtual VAliased *get_aliased() { return 0; }
+
+public: // usage
+
+	Value(Pool& apool) : Pooled(apool), fname(new(apool) String(apool)) {
+		fname->APPEND_CONST("unnamed");
+	}
+
+	void set_name(String& aname) { fname=&aname; }
+
+	String& as_string() {
+		String *result=get_string(); 
+		if(!result)
+			failed("getting string of '%s'");
+		return *result;
+	}
+
+private:
+
+	String *fname;
+
+private: 
 
-	// object_class: true when this class is derived from 'parent'
-	virtual bool has_parent(Class *aparent) const =0;
+	void failed(char *action);
 };
 
 /*