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.263 and 1.296

version 1.263, 2002/09/02 14:59:48	version 1.296, 2003/04/07 12:39:32
Line 1	Line 1
/** @file	/** @file
Parser: executor part of request class.	Parser: executor part of request class.

Copyright (c) 2001, 2002 ArtLebedev Group (http://www.artlebedev.com)	Copyright (c) 2001, 2003 ArtLebedev Group (http://www.artlebedev.com)
Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)	Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
*/	*/

Line 54 char *opcode_name[]={	Line 54 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 112 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())

void Request::execute(const Array& ops, bool clean_junctions) {	void Request::execute(const Array& ops) {
// _asm int 3;	// _asm int 3;
#ifdef DEBUG_EXECUTE	#ifdef DEBUG_EXECUTE
debug_printf(pool(), "source----------------------------\n");	debug_printf(pool(), "source----------------------------\n");
Line 122 void Request::execute(const Array& ops,	Line 123 void Request::execute(const Array& ops,

Array_iter i(ops);	Array_iter i(ops);
while(i.has_next()) {	while(i.has_next()) {
	if(interrupted())
	throw Exception("parser.interrupted",
	0,
	"execution stopped");

Operation op;	Operation op;
op.cast=i.next();	op.cast=i.next();
#ifdef DEBUG_EXECUTE	#ifdef DEBUG_EXECUTE
Line 166 void Request::execute(const Array& ops,	Line 172 void Request::execute(const Array& ops,
}	}
case OP_WITH_SELF:	case OP_WITH_SELF:
{	{
PUSH(self);	PUSH(get_self());
break;	break;
}	}
case OP_WITH_READ:	case OP_WITH_READ:
Line 176 void Request::execute(const Array& ops,	Line 182 void Request::execute(const Array& ops,
}	}
case OP_WITH_WRITE:	case OP_WITH_WRITE:
{	{
	if(wcontext==method_frame)
	throw Exception("parser.runtime",
	0,
	"$.name outside of $name[...]");

PUSH(wcontext);	PUSH(wcontext);
break;	break;
}	}
Line 208 void Request::execute(const Array& ops,	Line 219 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,	*get_self(), 0,
method_frame,	method_frame,
rcontext,	rcontext,
wcontext,	wcontext,
Line 258 void Request::execute(const Array& ops,	Line 269 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:	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 286 void Request::execute(const Array& ops,	Line 295 void Request::execute(const Array& ops,
WContext *saved_wcontext=wcontext;	WContext *saved_wcontext=wcontext;
uchar saved_lang= 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);
Line 303 void Request::execute(const Array& ops,	Line 312 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());

WContext *saved_wcontext=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 348 void Request::execute(const Array& ops,	Line 357 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,	*get_self(), 0,
method_frame,	method_frame,
rcontext,	rcontext,
op.code==OP_EXPR_CODE__STORE_PARAM?0:wcontext,	op.code==OP_EXPR_CODE__STORE_PARAM?0:wcontext,
Line 386 void Request::execute(const Array& ops,	Line 395 void Request::execute(const Array& ops,
#endif	#endif
value=POP();	value=POP();

// info:
// code compiled so that this one's always method-junction,
// not a code-junction
Junction *junction=value->get_junction();	Junction *junction=value->get_junction();
if(!junction)	if(!junction)
throw Exception("parser.runtime",	throw Exception("parser.runtime",
last_get_element_name,	last_get_element_name,
"(%s) not a method or junction, can not call it",	"(%s) not a method or junction, can not call it",
value->type());	value->type());
	/* no check needed, code compiled the way that that's impossible
	// check:
	// that this is method-junction, not a code-junction
	// [disabling these contstructions:]
	// $junction{code}
	// ^junction[]
	if(!junction->method)
	throw Exception("parser.runtime",
	last_get_element_name,
	"(%s) is code junction, can not call it",
	value->type());
	*/

VMethodFrame frame(pool(), last_get_element_name, junction);	VMethodFrame frame(pool(), last_get_element_name, junction, method_frame/caller/);
if(local_ops){ // store param code goes here	if(local_ops){ // store param code goes here
PUSH(&frame); // argument for *STORE_PARAM ops	PUSH(&frame); // argument for *STORE_PARAM ops
execute(*local_ops);	execute(*local_ops);
POP();	POP();
}	}
frame.fill_unspecified_params();	frame.fill_unspecified_params();
Value *saved_self=self;
VMethodFrame *saved_method_frame=method_frame;	VMethodFrame *saved_method_frame=method_frame;
Value *saved_rcontext=rcontext;	Value *saved_rcontext=rcontext;
WContext *saved_wcontext=wcontext;	WContext *saved_wcontext=wcontext;

VStateless_class *called_class=frame.junction.self.get_class();	VStateless_class *called_class=frame.junction.self.get_class();
	Value *new_self=get_self();
if(wcontext->get_constructing()) {	if(wcontext->get_constructing()) {
wcontext->set_constructing(false);	wcontext->set_constructing(false);
if(frame.junction.method->call_type!=Method::CT_STATIC) {	if(frame.junction.method->call_type!=Method::CT_STATIC) {
Line 416 void Request::execute(const Array& ops,	Line 434 void Request::execute(const Array& ops,

if(Value *value=called_class->create_new_value(pool())) {	if(Value *value=called_class->create_new_value(pool())) {
// some stateless_class creatable derivates	// some stateless_class creatable derivates
self=value;	new_self=value;
} else	} else
throw Exception("parser.runtime",	throw Exception("parser.runtime",
&frame.name(),	&frame.name(),
"is not a constructor, system class '%s' can be constructed only implicitly",	"is not a constructor, system class '%s' can be constructed only implicitly",
called_class->name().cstr());	called_class->name().cstr());

frame.write(*self,	frame.write(*new_self,
String::UL_CLEAN // not used, always an object, not string	String::UL_CLEAN // not used, always an object, not string
);	);
} else	} else
Line 431 void Request::execute(const Array& ops,	Line 449 void Request::execute(const Array& ops,
&frame.name(),	&frame.name(),
"method is static and can not be used as constructor");	"method is static and can not be used as constructor");
} else	} else
self=&frame.junction.self;	new_self=&frame.junction.self;

frame.set_self(*self);	frame.set_self(*new_self);

// see OP_PREPARE_TO_EXPRESSION	// see OP_PREPARE_TO_EXPRESSION
frame.set_in_expression(wcontext->get_in_expression());	frame.set_in_expression(wcontext->get_in_expression());
Line 442 void Request::execute(const Array& ops,	Line 460 void Request::execute(const Array& ops,
{	{
const Method& method=*frame.junction.method;	const Method& method=*frame.junction.method;
Method::Call_type call_type=	Method::Call_type call_type=
called_class==self ? Method::CT_STATIC : Method::CT_DYNAMIC;	called_class==new_self ? Method::CT_STATIC : Method::CT_DYNAMIC;
if(	if(
method.call_type==Method::CT_ANY \|\|	method.call_type==Method::CT_ANY \|\|
method.call_type==call_type) { // allowed call type?	method.call_type==call_type) { // allowed call type?
try {	try {
	method_frame=&frame;
if(method.native_code) { // native code?	if(method.native_code) { // native code?
// 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());
method.native_code(	method.native_code(
*this,	*this,
frame.name(), frame.numbered_params()); // execute it	frame.name(), frame.numbered_params()); // execute it
} else { // parser code	} else // parser code, execute it
method_frame=&frame;
// execute it
recoursion_checked_execute(&frame.name(), *method.parser_code);	recoursion_checked_execute(&frame.name(), *method.parser_code);
}
} catch(...) {	} catch(...) {
// record it to stack trace	// record it to stack trace
exception_trace.push((void *)&frame.name());	exception_trace.push((void *)&frame.name());
Line 477 void Request::execute(const Array& ops,	Line 492 void Request::execute(const Array& ops,
wcontext=saved_wcontext;	wcontext=saved_wcontext;
rcontext=saved_rcontext;	rcontext=saved_rcontext;
method_frame=saved_method_frame;	method_frame=saved_method_frame;
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 628 void Request::execute(const Array& ops,	Line 642 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 640 void Request::execute(const Array& ops,	Line 672 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 649 void Request::execute(const Array& ops,	Line 681 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 694 void Request::execute(const Array& ops,	Line 726 void Request::execute(const Array& ops,
case OP_NUM_LT:	case OP_NUM_LT:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
double result=a->as_double() - b->as_double();	volatile double a_double=a->as_double();
value=NEW VBool(pool(), result < 0.0);	volatile double b_double=b->as_double();
	value=NEW VBool(pool(), a_double<b_double);
PUSH(value);	PUSH(value);
break;	break;
}	}
case OP_NUM_GT:	case OP_NUM_GT:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
double result=a->as_double() - b->as_double();	volatile double a_double=a->as_double();
value=NEW VBool(pool(), result > 0.0);	volatile double b_double=b->as_double();
	value=NEW VBool(pool(), a_double>b_double);
PUSH(value);	PUSH(value);
break;	break;
}	}
case OP_NUM_LE:	case OP_NUM_LE:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
double result=a->as_double() - b->as_double();	volatile double a_double=a->as_double();
value=NEW VBool(pool(), result <= 0.0);	volatile double b_double=b->as_double();
	value=NEW VBool(pool(), a_double<=b_double);
PUSH(value);	PUSH(value);
break;	break;
}	}
case OP_NUM_GE:	case OP_NUM_GE:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
double result=a->as_double() - b->as_double();	volatile double a_double=a->as_double();
value=NEW VBool(pool(), result >= 0.0);	volatile double b_double=b->as_double();
	value=NEW VBool(pool(), a_double>=b_double);
PUSH(value);	PUSH(value);
break;	break;
}	}
case OP_NUM_EQ:	case OP_NUM_EQ:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
double result=a->as_double() - b->as_double();	volatile double a_double=a->as_double();
value=NEW VBool(pool(), result == 0.0);	volatile double b_double=b->as_double();
	value=NEW VBool(pool(), a_double==b_double);
PUSH(value);	PUSH(value);
break;	break;
}	}
case OP_NUM_NE:	case OP_NUM_NE:
{	{
b=POP(); a=POP();	b=POP(); a=POP();
double result=a->as_double() - b->as_double();	volatile double a_double=a->as_double();
value=NEW VBool(pool(), result != 0.0);	volatile double b_double=b->as_double();
	value=NEW VBool(pool(), a_double!=b_double);
PUSH(value);	PUSH(value);
break;	break;
}	}
Line 797 void Request::execute(const Array& ops,	Line 835 void Request::execute(const Array& ops,
}	}
}	}

/// @test cache\|prepare junctions	/**
	@todo cache\|prepare junctions
	@bug ^superbase:method would dynamically call ^base:method if there is any
	*/
Value Request::get_element(const String & remember_name, bool can_call_operator) {	Value Request::get_element(const String & remember_name, bool can_call_operator) {
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;
if(can_call_operator) {	if(can_call_operator) {
if(Method* method=OP.get_method(name)) { // looking operator of that name FIRST	if(Method* method=main_class.get_method(name)) { // looking operator of that name FIRST
// as if that method were in self and we have normal dynamic method here
Junction& junction=*NEW Junction(pool(),	Junction& junction=*NEW Junction(pool(),
*method_frame, self->get_class(), method, 0,0,0,0);	main_class, method, 0,0,0,0);
value=NEW VJunction(junction);	value=NEW VJunction(junction);
}	}
}	}
Line 816 Value *Request::get_element(const String	Line 856 Value *Request::get_element(const String
if(VStateless_class *called_class=ncontext->get_class())	if(VStateless_class *called_class=ncontext->get_class())
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=get_self()->base()) { // doing DYNAMIC call
Temp_derived temp_derived(*base_object, 0); // temporarily prevent go-back-down virtual calls	Temp_derived temp_derived(*base, 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->get_element(name, *base, false); // virtual-up lookup starting from parent
goto _void;	goto value_ready;
}	}
}	}
if(!value)	if(!value)
value=ncontext->get_element(name, ncontext, false);	value=ncontext->get_element(name, *ncontext, false);

_void:	if(value && wcontext->get_constructing())
	if(Junction *junction=value->get_junction()) {
	if(junction->self.get_class()!=ncontext)
	throw Exception("parser.runtime",
	&name,
	"constructor must be declared in class %s", ncontext->get_class()->name_cstr());
	}

	value_ready:
if(value)	if(value)
value=&process_to_value(*value); // process possible code-junction	value=&process_to_value(*value); // process possible code-junction
else	else
Line 859 StringOrValue Request::process(Value& in	Line 907 StringOrValue Request::process(Value& in
0,	0,
"junction used outside of context");	"junction used outside of context");

Value *saved_self=self;
VMethodFrame *saved_method_frame=method_frame;	VMethodFrame *saved_method_frame=method_frame;
Value *saved_rcontext=rcontext;	Value *saved_rcontext=rcontext;
WContext *saved_wcontext=wcontext;	WContext *saved_wcontext=wcontext;

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

Line 875 StringOrValue Request::process(Value& in	Line 921 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 887 StringOrValue Request::process(Value& in	Line 933 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 899 StringOrValue Request::process(Value& in	Line 945 StringOrValue Request::process(Value& in
wcontext=saved_wcontext;	wcontext=saved_wcontext;
rcontext=saved_rcontext;	rcontext=saved_rcontext;
method_frame=saved_method_frame;	method_frame=saved_method_frame;
self=saved_self;

#ifdef DEBUG_EXECUTE	#ifdef DEBUG_EXECUTE
debug_printf(pool(), "<-ja returned");	debug_printf(pool(), "<-ja returned");
Line 911 StringOrValue Request::process(Value& in	Line 956 StringOrValue Request::process(Value& in
}	}

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

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

// execute!	// execute!
execute(*method.parser_code);	execute(*method.parser_code);
Line 928 const String& Request::execute_method(VM	Line 972 const String& Request::execute_method(VM
wcontext=saved_wcontext;	wcontext=saved_wcontext;
rcontext=saved_rcontext;	rcontext=saved_rcontext;
method_frame=saved_method_frame;	method_frame=saved_method_frame;
self=saved_self;

// return	// return
return result;	return result;
Line 937 const String& Request::execute_method(VM	Line 980 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) {
Value *saved_self=self;
VMethodFrame *saved_method_frame=method_frame;	VMethodFrame *saved_method_frame=method_frame;
Value *saved_rcontext=rcontext;	Value *saved_rcontext=rcontext;
WContext *saved_wcontext=wcontext;	WContext *saved_wcontext=wcontext;

// initialize contexts	Junction local_junction(pool(), aself, &method, 0,0,0,0);
//method_frame=rcontext=self=&aself;	VMethodFrame local_frame(pool(), method.name, local_junction, method_frame/caller/);
self=&aself;
// WWrapper local(pool(), &aself);
// wcontext=&local;
Junction local_junction(pool(), *self, self->get_class(), &method, 0,0,0,0);
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(aself);
rcontext=wcontext=method_frame=&local_frame;	rcontext=wcontext=method_frame=&local_frame;

// prevent non-string writes for better error reporting	// prevent non-string writes for better error reporting
Line 971 void Request::execute_method(Value& asel	Line 1008 void Request::execute_method(Value& asel
wcontext=saved_wcontext;	wcontext=saved_wcontext;
rcontext=saved_rcontext;	rcontext=saved_rcontext;
method_frame=saved_method_frame;	method_frame=saved_method_frame;
self=saved_self;
}	}

void Request::execute_nonvirtual_method(VStateless_class& aclass,	void Request::execute_nonvirtual_method(VStateless_class& aclass,
Line 991 void Request::execute_nonvirtual_method(	Line 1027 void Request::execute_nonvirtual_method(

const String *Request::execute_virtual_method(Value& aself,	const String *Request::execute_virtual_method(Value& aself,
const String& method_name) {	const String& method_name) {
if(Value *value=aself.get_element(method_name, &aself, false))	if(Value *value=aself.get_element(method_name, aself, false))
if(Junction *junction=value->get_junction())	if(Junction *junction=value->get_junction())
if(const Method *method=junction->method) {	if(const Method *method=junction->method) {
const String *result;	const String *result;

E-mail:

Removed from v.1.263
changed lines
	Added in v.1.296