parser3/src/main/execute.C - diff

Return to execute.C CVS log

Up to [parser3project] / parser3 / src / main

Diff for /parser3/src/main/execute.C between versions 1.253 and 1.275

version 1.253, 2002/08/14 14:18:28	version 1.275, 2002/09/20 09:26:32
Line 44 char *opcode_name[]={	Line 44 char *opcode_name[]={
"GET_CLASS",	"GET_CLASS",
"CONSTRUCT_VALUE", "CONSTRUCT_EXPR", "CURLY_CODE__CONSTRUCT",	"CONSTRUCT_VALUE", "CONSTRUCT_EXPR", "CURLY_CODE__CONSTRUCT",
"WRITE_VALUE", "WRITE_EXPR_RESULT", "STRING__WRITE",	"WRITE_VALUE", "WRITE_EXPR_RESULT", "STRING__WRITE",
"GET_ELEMENT_OR_OPERATOR", "GET_ELEMENT", "GET_ELEMENT__WRITE",	"GET_ELEMENT_OR_OPERATOR", "OP_GET_ELEMENT_OR_JUNCTION_EXPAND",
	"GET_ELEMENT", "GET_ELEMENT__WRITE",
"OBJECT_POOL", "STRING_POOL",	"OBJECT_POOL", "STRING_POOL",
"STORE_PARAM",	"STORE_PARAM",
"PREPARE_TO_CONSTRUCT_OBJECT", "PREPARE_TO_EXPRESSION",	"PREPARE_TO_CONSTRUCT_OBJECT", "PREPARE_TO_EXPRESSION",
Line 54 char *opcode_name[]={	Line 55 char *opcode_name[]={
"NEG", "INV", "NOT", "DEF", "IN", "FEXISTS", "DEXISTS",	"NEG", "INV", "NOT", "DEF", "IN", "FEXISTS", "DEXISTS",
// expression ops: binary	// expression ops: binary
"SUB", "ADD", "MUL", "DIV", "MOD", "INTDIV",	"SUB", "ADD", "MUL", "DIV", "MOD", "INTDIV",
	"BIN_SL", "BIN_SR",
"BIN_AND", "BIN_OR", "BIN_XOR",	"BIN_AND", "BIN_OR", "BIN_XOR",
"LOG_AND", "LOG_OR", "LOG_XOR",	"LOG_AND", "LOG_OR", "LOG_XOR",
"NUM_LT", "NUM_GT", "NUM_LE", "NUM_GE", "NUM_EQ", "NUM_NE",	"NUM_LT", "NUM_GT", "NUM_LE", "NUM_GE", "NUM_EQ", "NUM_NE",
Line 111 void debug_dump(Pool& pool, int level, c	Line 113 void debug_dump(Pool& pool, int level, c
#define POP_NAME() static_cast<Value *>(stack.pop())->as_string()	#define POP_NAME() static_cast<Value *>(stack.pop())->as_string()
#define POP_CODE() static_cast<Array *>(stack.pop())	#define POP_CODE() static_cast<Array *>(stack.pop())

/**
Helps preventing evaluation of junctions in outdated context

To stop situations like this:
@code
@main[]
^method1[]
^method2[]

@method1[]
$junction{
some code
}

@method2[]
^junction[]
@endcode

All Junctions, generated by OP_CURLY_CODE__CONSTRUCT are registered here,
and on scope exit got cleaned - there Junction::root becomes 0,
which later in Request::process triggers exception
*/
class Auto_junction_cleaner {
public:
Auto_junction_cleaner () : junctions(0) {}
~Auto_junction_cleaner () {
if(junctions) {
Array_iter i(*junctions);
while(i.has_next())
static_cast<Junction *>(i.next())->change_context(0);
// someday free junctions
}
}
void register_junction(Pool& apool, Junction& ajunction) {
if(!junctions)
junctions=new(apool) Array(apool);
if(junctions)
*junctions+=&ajunction;
}
private:
Array *junctions;
};

void Request::execute(const Array& ops) {	void Request::execute(const Array& ops) {
// _asm int 3;	// _asm int 3;
#ifdef DEBUG_EXECUTE	#ifdef DEBUG_EXECUTE
Line 161 void Request::execute(const Array& ops)	Line 120 void Request::execute(const Array& ops)
debug_dump(pool(), 0, ops);	debug_dump(pool(), 0, ops);
debug_printf(pool(), "execution-------------------------\n");	debug_printf(pool(), "execution-------------------------\n");
#endif	#endif

Auto_junction_cleaner junction_cleaner;
const String *last_get_element_name=0;	const String *last_get_element_name=0;

Array_iter i(ops);	Array_iter i(ops);
Line 206 void Request::execute(const Array& ops)	Line 163 void Request::execute(const Array& ops)
// OP_WITH	// OP_WITH
case OP_WITH_ROOT:	case OP_WITH_ROOT:
{	{
PUSH(root);	PUSH(method_frame);
break;	break;
}	}
case OP_WITH_SELF:	case OP_WITH_SELF:
Line 253 void Request::execute(const Array& ops)	Line 210 void Request::execute(const Array& ops)
debug_dump(pool(), 1, *local_ops);	debug_dump(pool(), 1, *local_ops);
#endif	#endif
Junction& j=*NEW Junction(pool(),	Junction& j=*NEW Junction(pool(),
*self, 0, 0,	*self, 0,
root,	method_frame,
rcontext,	rcontext,
wcontext,	wcontext,
local_ops);	local_ops);
junction_cleaner.register_junction(pool(), j);

value=NEW VJunction(j);	value=NEW VJunction(j);
const String& name=POP_NAME();	const String& name=POP_NAME();
Line 304 void Request::execute(const Array& ops)	Line 260 void Request::execute(const Array& ops)

case OP_GET_ELEMENT_OR_OPERATOR:	case OP_GET_ELEMENT_OR_OPERATOR:
{	{
//_asm int 3;
value=get_element(last_get_element_name, true);	value=get_element(last_get_element_name, true);
PUSH(value);	PUSH(value);
break;	break;
}	}
	case OP_GET_ELEMENT_OR_JUNCTION_EXPAND:
	{
	value=get_element(last_get_element_name, false, true/* the only user */);
	PUSH(value);
	break;
	}
case OP_GET_ELEMENT:	case OP_GET_ELEMENT:
{	{
//_asm int 3;
value=get_element(last_get_element_name, false);	value=get_element(last_get_element_name, false);
PUSH(value);	PUSH(value);
break;	break;
Line 329 void Request::execute(const Array& ops)	Line 289 void Request::execute(const Array& ops)
{	{
const Array local_ops=reinterpret_cast<const Array >(i.next());	const Array local_ops=reinterpret_cast<const Array >(i.next());

PUSH(wcontext);	WContext *saved_wcontext=wcontext;
PUSH((void *)flang);	uchar saved_lang= flang;
flang=String::UL_PASS_APPENDED;	flang=String::UL_PASS_APPENDED;
WWrapper local(pool(), 0 /empty/);	WWrapper local(pool(), 0 /empty/, wcontext);
wcontext=&local;	wcontext=&local;

execute(*local_ops);	execute(*local_ops);

value=&wcontext->result().as_value();	value=&wcontext->result().as_value();
flang=static_cast<String::Untaint_lang>(reinterpret_cast<int>(POP()));	flang=saved_lang;
wcontext=static_cast<WContext *>(POP());	wcontext=saved_wcontext;
PUSH(value);	PUSH(value);
break;	break;
}	}
Line 348 void Request::execute(const Array& ops)	Line 308 void Request::execute(const Array& ops)
{	{
const Array local_ops=reinterpret_cast<const Array >(i.next());	const Array local_ops=reinterpret_cast<const Array >(i.next());

PUSH(wcontext);	WContext *saved_wcontext=wcontext;
WWrapper local(pool(), 0 /empty/);	WWrapper local(pool(), 0 /empty/, wcontext);
wcontext=&local;	wcontext=&local;

execute(*local_ops);	execute(*local_ops);
Line 362 void Request::execute(const Array& ops)	Line 322 void Request::execute(const Array& ops)
value=NEW VString(*string);	value=NEW VString(*string);
else	else
NEW VVoid(pool());	NEW VVoid(pool());
wcontext=static_cast<WContext *>(POP());	wcontext=saved_wcontext;
PUSH(value);	PUSH(value);
break;	break;
}	}
Line 394 void Request::execute(const Array& ops)	Line 354 void Request::execute(const Array& ops)
// in .process we would test that field	// in .process we would test that field
// in decision "which wwrapper to use"	// in decision "which wwrapper to use"
Junction& j=*NEW Junction(pool(),	Junction& j=*NEW Junction(pool(),
*self, 0, 0,	*self, 0,
root,	method_frame,
rcontext,	rcontext,
op.code==OP_EXPR_CODE__STORE_PARAM?0:wcontext,	op.code==OP_EXPR_CODE__STORE_PARAM?0:wcontext,
local_ops);	local_ops);
Line 449 void Request::execute(const Array& ops)	Line 409 void Request::execute(const Array& ops)
POP();	POP();
}	}
frame.fill_unspecified_params();	frame.fill_unspecified_params();
PUSH(self);	Value *saved_self=self;
PUSH(root);	VMethodFrame *saved_method_frame=method_frame;
PUSH(rcontext);	Value *saved_rcontext=rcontext;
PUSH(wcontext);	WContext *saved_wcontext=wcontext;

VStateless_class *called_class=frame.junction.self.get_class();	VStateless_class *called_class=frame.junction.self.get_class();
if(wcontext->get_constructing()) {	if(wcontext->get_constructing()) {
Line 494 void Request::execute(const Array& ops)	Line 454 void Request::execute(const Array& ops)
method.call_type==call_type) { // allowed call type?	method.call_type==call_type) { // allowed call type?
try {	try {
if(method.native_code) { // native code?	if(method.native_code) { // native code?
// root unchanged, so that ^for ^foreach & co may write to locals	// method_frame unchanged, so that ^for ^foreach & co may write to locals
method.check_actual_numbered_params(	method.check_actual_numbered_params(
frame.junction.self,	frame.junction.self,
frame.name(), frame.numbered_params());	frame.name(), frame.numbered_params());
Line 502 void Request::execute(const Array& ops)	Line 462 void Request::execute(const Array& ops)
*this,	*this,
frame.name(), frame.numbered_params()); // execute it	frame.name(), frame.numbered_params()); // execute it
} else { // parser code	} else { // parser code
root=&frame;	method_frame=&frame;
// execute it	// execute it
recoursion_checked_execute(&frame.name(), *method.parser_code);	recoursion_checked_execute(&frame.name(), *method.parser_code);
}	}
Line 520 void Request::execute(const Array& ops)	Line 480 void Request::execute(const Array& ops)
}	}
StringOrValue result=wcontext->result();	StringOrValue result=wcontext->result();

wcontext=static_cast<WContext *>(POP());	wcontext=saved_wcontext;
rcontext=POP();	rcontext=saved_rcontext;
root=POP();	method_frame=saved_method_frame;
self=static_cast<Value *>(POP());	self=saved_self;

#ifdef DEBUG_STRING_APPENDS_VS_EXPANDS	#ifdef DEBUG_STRING_APPENDS_VS_EXPANDS
if(const String *s=value->get_string())	if(const String *s=value->get_string())
Line 674 void Request::execute(const Array& ops)	Line 634 void Request::execute(const Array& ops)
PUSH(value);	PUSH(value);
break;	break;
}	}
	case OP_BIN_SL:
	{
	b=POP(); a=POP();
	value=NEW VInt(pool(),
	a->as_int() <<
	b->as_int());
	PUSH(value);
	break;
	}
	case OP_BIN_SR:
	{
	b=POP(); a=POP();
	value=NEW VInt(pool(),
	a->as_int() >>
	b->as_int());
	PUSH(value);
	break;
	}
case OP_BIN_AND:	case OP_BIN_AND:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
value=NEW VDouble(pool(),	value=NEW VInt(pool(),
a->as_int() &	a->as_int() &
b->as_int());	b->as_int());
PUSH(value);	PUSH(value);
Line 686 void Request::execute(const Array& ops)	Line 664 void Request::execute(const Array& ops)
case OP_BIN_OR:	case OP_BIN_OR:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
value=NEW VDouble(pool(),	value=NEW VInt(pool(),
a->as_int() \|	a->as_int() \|
b->as_int());	b->as_int());
PUSH(value);	PUSH(value);
Line 695 void Request::execute(const Array& ops)	Line 673 void Request::execute(const Array& ops)
case OP_BIN_XOR:	case OP_BIN_XOR:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
value=NEW VDouble(pool(),	value=NEW VInt(pool(),
a->as_int() ^	a->as_int() ^
b->as_int());	b->as_int());
PUSH(value);	PUSH(value);
Line 740 void Request::execute(const Array& ops)	Line 718 void Request::execute(const Array& ops)
case OP_NUM_LT:	case OP_NUM_LT:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
value=NEW VBool(pool(), a->as_double() < b->as_double());	double result=a->as_double() - b->as_double();
	value=NEW VBool(pool(), result < 0.0);
PUSH(value);	PUSH(value);
break;	break;
}	}
case OP_NUM_GT:	case OP_NUM_GT:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
value=NEW VBool(pool(), a->as_double() > b->as_double());	double result=a->as_double() - b->as_double();
	value=NEW VBool(pool(), result > 0.0);
PUSH(value);	PUSH(value);
break;	break;
}	}
case OP_NUM_LE:	case OP_NUM_LE:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
value=NEW VBool(pool(), a->as_double() <= b->as_double());	double result=a->as_double() - b->as_double();
	value=NEW VBool(pool(), result <= 0.0);
PUSH(value);	PUSH(value);
break;	break;
}	}
case OP_NUM_GE:	case OP_NUM_GE:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
value=NEW VBool(pool(), a->as_double() >= b->as_double());	double result=a->as_double() - b->as_double();
	value=NEW VBool(pool(), result >= 0.0);
PUSH(value);	PUSH(value);
break;	break;
}	}
case OP_NUM_EQ:	case OP_NUM_EQ:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
value=NEW VBool(pool(), a->as_double() == b->as_double());	double result=a->as_double() - b->as_double();
	value=NEW VBool(pool(), result == 0.0);
PUSH(value);	PUSH(value);
break;	break;
}	}
case OP_NUM_NE:	case OP_NUM_NE:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
value=NEW VBool(pool(), a->as_double() != b->as_double());	double result=a->as_double() - b->as_double();
	value=NEW VBool(pool(), result != 0.0);
PUSH(value);	PUSH(value);
break;	break;
}	}
Line 824 void Request::execute(const Array& ops)	Line 808 void Request::execute(const Array& ops)
case OP_IS:	case OP_IS:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
value=NEW VBool(pool(), a->is(b->as_string().cstr(), false));	value=NEW VBool(pool(), a->is(b->as_string().cstr()));
PUSH(value);	PUSH(value);
break;	break;
}	}
Line 838 void Request::execute(const Array& ops)	Line 822 void Request::execute(const Array& ops)
}	}

/// @test cache\|prepare junctions	/// @test cache\|prepare junctions
Value Request::get_element(const String & remember_name, bool can_call_operator) {	Value Request::get_element(const String & remember_name,
	bool can_call_operator, bool sould_explode_junction) {
const String& name=POP_NAME(); remember_name=&name;	const String& name=POP_NAME(); remember_name=&name;
Value *ncontext=POP();	Value *ncontext=POP();
Value *value=0;	Value *value=0;
Line 846 Value *Request::get_element(const String	Line 831 Value *Request::get_element(const String
if(Method* method=OP.get_method(name)) { // looking operator of that name FIRST	if(Method* method=OP.get_method(name)) { // looking operator of that name FIRST
// as if that method were in self and we have normal dynamic method here	// as if that method were in self and we have normal dynamic method here
Junction& junction=*NEW Junction(pool(),	Junction& junction=*NEW Junction(pool(),
*root, self->get_class(), method, 0,0,0,0);	*method_frame, method, 0,0,0,0);
value=NEW VJunction(junction);	value=NEW VJunction(junction);
}	}
}	}
Line 857 Value *Request::get_element(const String	Line 842 Value *Request::get_element(const String
if(VStateless_class *read_class=rcontext->get_class())	if(VStateless_class *read_class=rcontext->get_class())
if(read_class->derived_from(*called_class)) // current derived from called	if(read_class->derived_from(*called_class)) // current derived from called
if(Value *base_object=self->base_object()) { // doing DYNAMIC call	if(Value *base_object=self->base_object()) { // doing DYNAMIC call
Temp_derived(*base_object, 0); // temporarily prevent go-back-down virtual calls	Temp_derived temp_derived(*base_object, 0); // temporarily prevent go-back-down virtual calls
value=base_object->get_element(name, base_object, false); // virtual-up lookup starting from parent	value=base_object->get_element(name, base_object, false); // virtual-up lookup starting from parent
goto _void;	goto _void;
}	}
Line 866 Value *Request::get_element(const String	Line 851 Value *Request::get_element(const String
value=ncontext->get_element(name, ncontext, false);	value=ncontext->get_element(name, ncontext, false);

_void:	_void:
if(value)	if(value) {
value=&process_to_value(*value); // process possible code-junction	if(sould_explode_junction) // process $junction, but leave $junction.xxx as is
else	value=&process_to_value(*value); // process possible code-junction
	} else
value=NEW VVoid(pool());	value=NEW VVoid(pool());

return value;	return value;
Line 894 StringOrValue Request::process(Value& in	Line 880 StringOrValue Request::process(Value& in
debug_printf(pool(), "ja->\n");	debug_printf(pool(), "ja->\n");
#endif	#endif

if(!junction->root)	if(!junction->method_frame)
throw Exception("parser.runtime",	throw Exception("parser.runtime",
0,	0,
"junction used outside of context");	"junction used outside of context");

PUSH(self);	Value *saved_self=self;
PUSH(root);	VMethodFrame *saved_method_frame=method_frame;
PUSH(rcontext);	Value *saved_rcontext=rcontext;
PUSH(wcontext);	WContext *saved_wcontext=wcontext;

self=&junction->self;	self=&junction->self;
root=junction->root;	method_frame=junction->method_frame;
rcontext=junction->rcontext;	rcontext=junction->rcontext;

// for expression method params	// for expression method params
Line 915 StringOrValue Request::process(Value& in	Line 901 StringOrValue Request::process(Value& in
if(using_code_frame) {	if(using_code_frame) {
// almost plain wwrapper about junction wcontext,	// almost plain wwrapper about junction wcontext,
// BUT intercepts string writes	// BUT intercepts string writes
VCodeFrame local(pool(), *junction->wcontext);	VCodeFrame local(pool(), *junction->wcontext, junction->wcontext);
wcontext=&local;	wcontext=&local;

// execute it	// execute it
Line 927 StringOrValue Request::process(Value& in	Line 913 StringOrValue Request::process(Value& in
result.set_string(*wcontext->get_string());	result.set_string(*wcontext->get_string());
} else {	} else {
// plain wwrapper	// plain wwrapper
WWrapper local(pool(), 0/empty/);	WWrapper local(pool(), 0/empty/, wcontext);
wcontext=&local;	wcontext=&local;

// execute it	// execute it
Line 936 StringOrValue Request::process(Value& in	Line 922 StringOrValue Request::process(Value& in
result=wcontext->result();	result=wcontext->result();
}	}

wcontext=static_cast<WContext *>(POP());	wcontext=saved_wcontext;
rcontext=POP();	rcontext=saved_rcontext;
root=POP();	method_frame=saved_method_frame;
self=static_cast<Value *>(POP());	self=saved_self;

#ifdef DEBUG_EXECUTE	#ifdef DEBUG_EXECUTE
debug_printf(pool(), "<-ja returned");	debug_printf(pool(), "<-ja returned");
Line 950 StringOrValue Request::process(Value& in	Line 936 StringOrValue Request::process(Value& in
return result;	return result;
}	}

const String& Request::execute_method(VMethodFrame& amethodFrame, const Method& method) {	const String& Request::execute_method(VMethodFrame& amethod_frame, const Method& method) {
PUSH(self);	Value *saved_self=self;
PUSH(root);	VMethodFrame *saved_method_frame=method_frame;
PUSH(rcontext);	Value *saved_rcontext=rcontext;
PUSH(wcontext);	WContext *saved_wcontext=wcontext;

// initialize contexts	// initialize contexts
root=rcontext=self=&amethodFrame;	self=rcontext=wcontext=method_frame=&amethod_frame;
wcontext=&amethodFrame;

// execute!	// execute!
execute(*method.parser_code);	execute(*method.parser_code);
Line 966 const String& Request::execute_method(VM	Line 951 const String& Request::execute_method(VM
// result	// result
const String& result=wcontext->result().as_string();	const String& result=wcontext->result().as_string();

wcontext=static_cast<WContext *>(POP());	wcontext=saved_wcontext;
rcontext=POP();	rcontext=saved_rcontext;
root=POP();	method_frame=saved_method_frame;
self=static_cast<Value *>(POP());	self=saved_self;

// return	// return
return result;	return result;
Line 978 const String& Request::execute_method(VM	Line 963 const String& Request::execute_method(VM
void Request::execute_method(Value& aself,	void Request::execute_method(Value& aself,
const Method& method, VString *optional_param,	const Method& method, VString *optional_param,
const String **return_string) {	const String **return_string) {
PUSH(self);	Value *saved_self=self;
PUSH(root);	VMethodFrame *saved_method_frame=method_frame;
PUSH(rcontext);	Value *saved_rcontext=rcontext;
PUSH(wcontext);	WContext *saved_wcontext=wcontext;

// initialize contexts	// initialize contexts
//root=rcontext=self=&aself;	//method_frame=rcontext=self=&aself;
self=&aself;	self=&aself;
// WWrapper local(pool(), &aself);	// WWrapper local(pool(), &aself, wcontext);
// wcontext=&local;	// wcontext=&local;
Junction local_junction(pool(), *self, self->get_class(), &method, 0,0,0,0);	Junction local_junction(pool(), *self, &method, 0,0,0,0);
VMethodFrame local_frame(pool(), method.name, local_junction);	VMethodFrame local_frame(pool(), method.name, local_junction);
if(optional_param && local_frame.can_store_param()) {	if(optional_param && local_frame.can_store_param()) {
local_frame.store_param(optional_param);	local_frame.store_param(optional_param);
local_frame.fill_unspecified_params();	local_frame.fill_unspecified_params();
}	}
local_frame.set_self(*self);	local_frame.set_self(*self);
root=rcontext=wcontext=&local_frame;	rcontext=wcontext=method_frame=&local_frame;

// prevent non-string writes for better error reporting	// prevent non-string writes for better error reporting
if(return_string)	if(return_string)
Line 1009 void Request::execute_method(Value& asel	Line 994 void Request::execute_method(Value& asel
if(return_string)	if(return_string)
*return_string=&wcontext->result().as_string();	*return_string=&wcontext->result().as_string();

wcontext=static_cast<WContext *>(POP());	wcontext=saved_wcontext;
rcontext=POP();	rcontext=saved_rcontext;
root=POP();	method_frame=saved_method_frame;
self=static_cast<Value *>(POP());	self=saved_self;
}	}

void Request::execute_nonvirtual_method(VStateless_class& aclass,	void Request::execute_nonvirtual_method(VStateless_class& aclass,
Line 1042 const String *Request::execute_virtual_m	Line 1027 const String *Request::execute_virtual_m

return 0;	return 0;
}	}

E-mail:

Removed from v.1.253
changed lines
	Added in v.1.275