|
version 1.155, 2001/05/11 17:45:10
|
version 1.351, 2009/06/17 01:09:09
|
|
Line 1
|
Line 1
|
| /** @file |
/** @file |
| Parser: executor part of request class. |
Parser: executor part of request class. |
| |
|
| Copyright (c) 2001 ArtLebedev Group (http://www.artlebedev.com) |
Copyright (c) 2001-2009 ArtLebedev Group (http://www.artlebedev.com) |
| |
Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru) |
| Author: Alexander Petrosyan <paf@design.ru> (http://design.ru/paf) |
|
| |
|
| $Id$ |
|
| */ |
*/ |
| |
|
| #include "pa_config_includes.h" |
static const char * const IDENT_EXECUTE_C="$Date$"; |
| |
|
| #include "pa_opcode.h" |
#include "pa_opcode.h" |
| #include "pa_array.h" |
#include "pa_array.h" |
| #include "pa_request.h" |
#include "pa_request.h" |
| #include "pa_vstring.h" |
#include "pa_vstring.h" |
| #include "pa_vhash.h" |
#include "pa_vhash.h" |
| #include "pa_vunknown.h" |
#include "pa_vvoid.h" |
| #include "pa_vcode_frame.h" |
#include "pa_vcode_frame.h" |
| #include "pa_vmethod_frame.h" |
#include "pa_vmethod_frame.h" |
| #include "pa_vobject.h" |
#include "pa_vobject.h" |
|
Line 23
|
Line 21
|
| #include "pa_vtable.h" |
#include "pa_vtable.h" |
| #include "pa_vfile.h" |
#include "pa_vfile.h" |
| #include "pa_vimage.h" |
#include "pa_vimage.h" |
| |
#include "pa_wwrapper.h" |
| |
|
| #include <stdio.h> |
//#define DEBUG_EXECUTE |
| |
|
| #define PUSH(value) stack.push(value) |
|
| #define POP() static_cast<Value *>(stack.pop()) |
|
| #define POP_NAME() static_cast<Value *>(stack.pop())->as_string() |
|
| |
|
| |
|
| |
#ifdef DEBUG_EXECUTE |
| char *opcode_name[]={ |
char *opcode_name[]={ |
| // literals |
// literals |
| "VALUE", "CURLY_CODE__STORE_PARAM", "EXPR_CODE__STORE_PARAM", |
"VALUE", "CURLY_CODE__STORE_PARAM", "EXPR_CODE__STORE_PARAM", |
| |
"NESTED_CODE", |
| |
|
| // actions |
// actions |
| "WITH_SELF", "WITH_ROOT", "WITH_READ", "WITH_WRITE", |
"WITH_ROOT", "WITH_SELF", "WITH_READ", "WITH_WRITE", |
| |
#ifdef OPTIMIZE_BYTECODE_GET_CLASS |
| |
"VALUE__GET_CLASS", |
| |
#else |
| "GET_CLASS", |
"GET_CLASS", |
| "CONSTRUCT_VALUE", "CONSTRUCT_DOUBLE", |
#endif |
| |
"CONSTRUCT_VALUE", "CONSTRUCT_EXPR", "CURLY_CODE__CONSTRUCT", |
| "WRITE_VALUE", "WRITE_EXPR_RESULT", "STRING__WRITE", |
"WRITE_VALUE", "WRITE_EXPR_RESULT", "STRING__WRITE", |
| "GET_ELEMENT", "GET_ELEMENT__WRITE", |
#ifdef OPTIMIZE_BYTECODE_GET_ELEMENT |
| "CREATE_EWPOOL", "REDUCE_EWPOOL", |
"VALUE__GET_ELEMENT_OR_OPERATOR", |
| "CREATE_RWPOOL", "REDUCE_RWPOOL", |
#else |
| "CREATE_SWPOOL", "REDUCE_SWPOOL", |
"GET_ELEMENT_OR_OPERATOR", |
| "GET_METHOD_FRAME", |
#endif |
| "STORE_PARAM", |
"GET_ELEMENT", |
| "CALL", |
"GET_ELEMENT__WRITE", |
| |
#ifdef OPTIMIZE_BYTECODE_GET_ELEMENT |
| |
"VALUE__GET_ELEMENT", |
| |
"VALUE__GET_ELEMENT__WRITE", |
| |
"WITH_ROOT__VALUE__GET_ELEMENT", |
| |
#endif |
| |
#ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT |
| |
"GET_OBJECT_ELEMENT", |
| |
"GET_OBJECT_ELEMENT__WRITE", |
| |
#endif |
| |
#ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT |
| |
"GET_OBJECT_VAR_ELEMENT", |
| |
"GET_OBJECT_VAR_ELEMENT__WRITE", |
| |
#endif |
| |
#ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT |
| |
"WITH_SELF__VALUE__GET_ELEMENT", |
| |
"WITH_SELF__VALUE__GET_ELEMENT__WRITE", |
| |
#endif |
| |
"OBJECT_POOL", "STRING_POOL", |
| |
"PREPARE_TO_CONSTRUCT_OBJECT", |
| |
#ifdef OPTIMIZE_BYTECODE_CONSTRUCT_OBJECT |
| |
"CONSTRUCT_OBJECT", |
| |
"CONSTRUCT_OBJECT__WRITE", |
| |
#endif |
| |
"PREPARE_TO_EXPRESSION", |
| |
"CALL", "CALL__WRITE", |
| |
|
| |
#ifdef OPTIMIZE_BYTECODE_CONSTRUCT |
| |
"WITH_ROOT__VALUE__CONSTRUCT_EXPR", |
| |
"WITH_ROOT__VALUE__CONSTRUCT_VALUE", |
| |
"WITH_WRITE__VALUE__CONSTRUCT_EXPR", |
| |
"WITH_WRITE__VALUE__CONSTRUCT_VALUE", |
| |
"WITH_SELF__VALUE__CONSTRUCT_EXPR", |
| |
"WITH_SELF__VALUE__CONSTRUCT_VALUE", |
| |
#endif |
| |
|
| // expression ops: unary |
// expression ops: unary |
| "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", |
"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 59 char *opcode_name[]={
|
Line 94 char *opcode_name[]={
|
| "IS" |
"IS" |
| }; |
}; |
| |
|
| void va_log_printf(Pool& pool, const char *fmt,va_list args) { |
const char* debug_value_to_cstr(Value& value){ |
| return; |
const String* string=value.get_string(); |
| |
|
| |
if(string) |
| |
return string->cstr(); |
| |
else |
| |
if(value.is_bool()) |
| |
return value.as_bool()?"<true>":"<false>"; |
| |
else |
| |
return "<value>"; |
| |
} |
| |
|
| |
void va_debug_printf(SAPI_Info& sapi_info, const char* fmt,va_list args) { |
| char buf[MAX_STRING]; |
char buf[MAX_STRING]; |
| vsnprintf(buf, MAX_STRING, fmt, args); |
vsnprintf(buf, MAX_STRING, fmt, args); |
| SAPI::log(pool, "%s", buf); |
SAPI::log(sapi_info, "%s", buf); |
| } |
} |
| |
|
| void log_printf(Pool& pool, const char *fmt, ...) { |
void debug_printf(SAPI_Info& sapi_info, const char* fmt, ...) { |
| va_list args; |
va_list args; |
| va_start(args,fmt); |
va_start(args, fmt); |
| va_log_printf(pool,fmt,args); |
va_debug_printf(sapi_info, fmt, args); |
| va_end(args); |
va_end(args); |
| } |
} |
| |
|
| void dump(Pool& pool, int level, const Array& ops) { |
void debug_dump(SAPI_Info& sapi_info, int level, ArrayOperation& ops) { |
| if(0){ |
Array_iterator<Operation> i(ops); |
| int size=ops.quick_size(); |
while(i.has_next()) { |
| //log_printf(pool, "size=%d\n", size); |
OP::OPCODE opcode=i.next().code; |
| for(int i=0; i<size; i++) { |
|
| Operation op; |
#if defined(OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT) || defined(OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT) |
| op.cast=ops.quick_get(i); |
if( |
| log_printf(pool, "%8X\n", op.cast); |
1==0 |
| |
#ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT |
| |
|| opcode==OP::OP_GET_OBJECT_ELEMENT |
| |
|| opcode==OP::OP_GET_OBJECT_ELEMENT__WRITE |
| |
#endif |
| |
#ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT |
| |
|| opcode==OP::OP_GET_OBJECT_VAR_ELEMENT |
| |
|| opcode==OP::OP_GET_OBJECT_VAR_ELEMENT__WRITE |
| |
#endif |
| |
){ |
| |
i.next(); // skip origin |
| |
Value& value1=*i.next().value; |
| |
i.next(); // skip origin |
| |
Value& value2=*i.next().value; |
| |
debug_printf(sapi_info, |
| |
"%*s%s" |
| |
" \"%s\" \"%s\"", |
| |
level*4, "", opcode_name[opcode], |
| |
debug_value_to_cstr(value1), debug_value_to_cstr(value2)); |
| |
continue; |
| } |
} |
| } |
#endif |
| |
#ifdef OPTIMIZE_BYTECODE_CONSTRUCT_OBJECT |
| |
if( |
| |
opcode==OP::OP_CONSTRUCT_OBJECT |
| |
|| opcode==OP::OP_CONSTRUCT_OBJECT__WRITE |
| |
){ |
| |
i.next(); // skip origin |
| |
Value& value1=*i.next().value; |
| |
i.next(); // skip origin |
| |
Value& value2=*i.next().value; |
| |
debug_printf(sapi_info, |
| |
"%*s%s" |
| |
" \"%s\" \"%s\"", |
| |
level*4, "", opcode_name[opcode], |
| |
debug_value_to_cstr(value1), debug_value_to_cstr(value2)); |
| |
|
| int size=ops.quick_size(); |
if(ArrayOperation* local_ops=i.next().ops) |
| //log_printf(pool, "size=%d\n", size); |
debug_dump(sapi_info, level+1, *local_ops); |
| for(int i=0; i<size; i++) { |
continue; |
| Operation op; |
} |
| op.cast=ops.quick_get(i); |
#endif |
| |
if( |
| if(op.code==OP_VALUE || op.code==OP_STRING__WRITE) { |
opcode==OP::OP_VALUE |
| Value *value=static_cast<Value *>(ops.quick_get(++i)); |
|| opcode==OP::OP_STRING__WRITE |
| log_printf(pool, |
#ifdef OPTIMIZE_BYTECODE_GET_CLASS |
| |
|| opcode==OP::OP_VALUE__GET_CLASS |
| |
#endif |
| |
#ifdef OPTIMIZE_BYTECODE_GET_ELEMENT |
| |
|| opcode==OP::OP_VALUE__GET_ELEMENT |
| |
|| opcode==OP::OP_VALUE__GET_ELEMENT__WRITE |
| |
|| opcode==OP::OP_VALUE__GET_ELEMENT_OR_OPERATOR |
| |
|| opcode==OP::OP_WITH_ROOT__VALUE__GET_ELEMENT |
| |
#endif |
| |
#ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT |
| |
|| opcode==OP::OP_WITH_SELF__VALUE__GET_ELEMENT |
| |
|| opcode==OP::OP_WITH_SELF__VALUE__GET_ELEMENT__WRITE |
| |
#endif |
| |
#ifdef OPTIMIZE_BYTECODE_CONSTRUCT |
| |
|| opcode==OP::OP_WITH_ROOT__VALUE__CONSTRUCT_EXPR |
| |
|| opcode==OP::OP_WITH_ROOT__VALUE__CONSTRUCT_VALUE |
| |
|| opcode==OP::OP_WITH_WRITE__VALUE__CONSTRUCT_EXPR |
| |
|| opcode==OP::OP_WITH_WRITE__VALUE__CONSTRUCT_VALUE |
| |
|| opcode==OP::OP_WITH_SELF__VALUE__CONSTRUCT_EXPR |
| |
|| opcode==OP::OP_WITH_SELF__VALUE__CONSTRUCT_VALUE |
| |
#endif |
| |
) { |
| |
Operation::Origin origin=i.next().origin; |
| |
Value& value=*i.next().value; |
| |
|
| |
debug_printf(sapi_info, |
| "%*s%s" |
"%*s%s" |
| " \"%s\" %s", |
" \"%s\" %s", |
| level*4, "", opcode_name[op.code], |
level*4, "", opcode_name[opcode], |
| value->get_string()->cstr(), value->type()); |
debug_value_to_cstr(value), value.type()); |
| continue; |
continue; |
| } |
} |
| log_printf(pool, "%*s%s", level*4, "", opcode_name[op.code]); |
|
| |
|
| if(op.code==OP_CURLY_CODE__STORE_PARAM || op.code==OP_EXPR_CODE__STORE_PARAM) { |
debug_printf(sapi_info, "%*s%s", level*4, "", opcode_name[opcode]); |
| const Array *local_ops=reinterpret_cast<const Array *>(ops.quick_get(++i)); |
|
| dump(pool, level+1, *local_ops); |
switch(opcode) { |
| |
case OP::OP_CURLY_CODE__STORE_PARAM: |
| |
case OP::OP_EXPR_CODE__STORE_PARAM: |
| |
case OP::OP_CURLY_CODE__CONSTRUCT: |
| |
case OP::OP_NESTED_CODE: |
| |
case OP::OP_OBJECT_POOL: |
| |
case OP::OP_STRING_POOL: |
| |
case OP::OP_CALL: |
| |
case OP::OP_CALL__WRITE: |
| |
if(ArrayOperation* local_ops=i.next().ops) |
| |
debug_dump(sapi_info, level+1, *local_ops); |
| } |
} |
| } |
} |
| } |
} |
| |
#define DEBUG_PRINT_STR(str) debug_printf(sapi_info, str); |
| |
#define DEBUG_PRINT_STRING(value) debug_printf(sapi_info, " \"%s\" ", value.cstr()); |
| |
#define DEBUG_PRINT_VALUE_AND_TYPE(value) debug_printf(sapi_info, " \"%s\" %s", debug_value_to_cstr(value), value.type()); |
| |
#define DEBUG_PRINT_OPS(local_ops) \ |
| |
debug_printf(sapi_info, \ |
| |
" (%d)\n", local_ops?local_ops->count():0); \ |
| |
if(local_ops) debug_dump(sapi_info, 1, *local_ops); |
| |
|
| |
#else |
| |
#define DEBUG_PRINT_STR(str) |
| |
#define DEBUG_PRINT_STRING(value) |
| |
#define DEBUG_PRINT_VALUE_AND_TYPE(value) |
| |
#define DEBUG_PRINT_OPS(local_ops) |
| |
#endif |
| |
|
| |
|
| |
// Request |
| |
|
| |
void Request::execute(ArrayOperation& ops) { |
| |
register Stack<StackItem>& stack=this->stack; // helps a lot on MSVC: 'esi' |
| |
|
| |
const String* debug_name=0; Operation::Origin debug_origin={0, 0, 0}; |
| |
try{ |
| |
#ifdef DEBUG_EXECUTE |
| |
debug_printf(sapi_info, "source----------------------------\n"); |
| |
debug_dump(sapi_info, 0, ops); |
| |
debug_printf(sapi_info, "execution-------------------------\n"); |
| |
#endif |
| |
for(Array_iterator<Operation> i(ops); i.has_next(); ) { |
| |
OP::OPCODE opcode=i.next().code; |
| |
|
| |
#ifdef DEBUG_EXECUTE |
| |
debug_printf(sapi_info, "%d:%s", stack.top_index()+1, opcode_name[opcode]); |
| |
#endif |
| |
|
| void Request::execute(const Array& ops) { |
switch(opcode) { |
| if(1) { |
|
| log_printf(pool(), "source----------------------------\n"); |
|
| dump(pool(), 0, ops); |
|
| log_printf(pool(), "execution-------------------------\n"); |
|
| } |
|
| |
|
| int size=ops.quick_size(); |
|
| //log_printf(pool(), "size=%d\n", size); |
|
| for(int i=0; i<size; i++) { |
|
| Operation op; |
|
| op.cast=ops.quick_get(i); |
|
| log_printf(pool(), "%d:%s", stack.top_index()+1, opcode_name[op.code]); |
|
| |
|
| switch(op.code) { |
|
| // param in next instruction |
// param in next instruction |
| case OP_VALUE: |
case OP::OP_VALUE: |
| { |
{ |
| Value *value=static_cast<Value *>(ops.quick_get(++i)); |
debug_origin=i.next().origin; |
| log_printf(pool(), " \"%s\" %s", value->get_string()->cstr(), value->type()); |
Value& value=*i.next().value; |
| PUSH(value); |
|
| |
DEBUG_PRINT_VALUE_AND_TYPE(value) |
| |
|
| |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_CURLY_CODE__STORE_PARAM: |
|
| case OP_EXPR_CODE__STORE_PARAM: |
#ifdef OPTIMIZE_BYTECODE_GET_CLASS |
| |
case OP::OP_VALUE__GET_CLASS: |
| { |
{ |
| VMethodFrame *frame=static_cast<VMethodFrame *>(stack.top_value()); |
// maybe they do ^class:method[] call, remember the fact |
| // code |
wcontext->set_somebody_entered_some_class(); |
| const Array *local_ops=reinterpret_cast<const Array *>(ops.quick_get(++i)); |
|
| log_printf(pool(), " (%d)\n", local_ops->size()); |
|
| dump(pool(), 1, *local_ops); |
|
| |
|
| // when they evaluate expression parameter, |
|
| // the object expression result |
|
| // does not need to be written into calling frame |
|
| // it must go into any expressions using that parameter |
|
| // hence, we zero junction.wcontext here, and later |
|
| // in .process we would test that field |
|
| // in decision "which wwrapper to use" |
|
| Junction& j=*NEW Junction(pool(), |
|
| *self, 0, 0, |
|
| root, |
|
| rcontext, |
|
| op.code==OP_EXPR_CODE__STORE_PARAM?0:wcontext, |
|
| local_ops); |
|
| |
|
| Value *value=NEW VJunction(j); |
|
| |
|
| // store param |
debug_origin=i.next().origin; |
| frame->store_param(frame->name(), value); |
Value& value=*i.next().value; |
| |
const String& name=*value.get_string(); |
| |
|
| |
DEBUG_PRINT_STRING(name) |
| |
|
| |
Value* class_value=classes().get(name); |
| |
if(!class_value) |
| |
throw Exception(PARSER_RUNTIME, |
| |
&name, |
| |
"class is undefined"); |
| |
|
| |
stack.push(*class_value); |
| break; |
break; |
| } |
} |
| case OP_GET_CLASS: |
#else |
| |
case OP::OP_GET_CLASS: |
| { |
{ |
| // maybe they do ^class:method[] call, remember the fact |
// maybe they do ^class:method[] call, remember the fact |
| wcontext->set_somebody_entered_some_class(); |
wcontext->set_somebody_entered_some_class(); |
| |
|
| const String& name=POP_NAME(); |
const String& name=stack.pop().string(); |
| Value *value=static_cast<Value *>(classes().get(name)); |
Value* value=classes().get(name); |
| if(!value) |
if(!value) |
| THROW(0,0, |
throw Exception(PARSER_RUNTIME, |
| &name, |
&name, |
| "class is undefined"); |
"class is undefined"); |
| |
|
| PUSH(value); |
stack.push(*value); |
| break; |
break; |
| } |
} |
| |
#endif |
| // OP_WITH |
// OP_WITH |
| case OP_WITH_SELF: |
case OP::OP_WITH_ROOT: |
| { |
{ |
| PUSH(self); |
stack.push(*method_frame); |
| break; |
break; |
| } |
} |
| case OP_WITH_ROOT: |
case OP::OP_WITH_SELF: |
| { |
{ |
| PUSH(root); |
stack.push(get_self()); |
| break; |
break; |
| } |
} |
| case OP_WITH_READ: |
case OP::OP_WITH_READ: |
| { |
{ |
| PUSH(rcontext); |
stack.push(*rcontext); |
| break; |
break; |
| } |
} |
| case OP_WITH_WRITE: |
case OP::OP_WITH_WRITE: |
| { |
{ |
| PUSH(wcontext); |
if(wcontext==method_frame) |
| |
throw Exception(PARSER_RUNTIME, |
| |
0, |
| |
"$.name outside of $name[...]"); |
| |
|
| |
stack.push(*wcontext); |
| break; |
break; |
| } |
} |
| |
|
| // OTHER ACTIONS BUT WITHs |
// OTHER ACTIONS BUT WITHs |
| case OP_CONSTRUCT_VALUE: |
|
| |
#ifdef OPTIMIZE_BYTECODE_CONSTRUCT |
| |
#define DO_CONSTRUCT(context, vvalue) { \ |
| |
debug_origin=i.next().origin; \ |
| |
const String& name=*i.next().value->get_string(); debug_name=&name; \ |
| |
DEBUG_PRINT_STRING(name) \ |
| |
Value& value=stack.pop().value(); \ |
| |
put_element( context, name, vvalue ); \ |
| |
break; \ |
| |
} |
| |
#define DO_CONSTRUCT_VALUE(context) DO_CONSTRUCT(context, &value) |
| |
#define DO_CONSTRUCT_EXPR(context) { \ |
| |
wcontext->set_in_expression(false); \ |
| |
DO_CONSTRUCT(context, &value.as_expr_result()) \ |
| |
} |
| |
|
| |
case OP::OP_WITH_WRITE__VALUE__CONSTRUCT_EXPR: |
| |
{ |
| |
if(wcontext==method_frame) |
| |
throw Exception(PARSER_RUNTIME, 0, "$.name outside of $name[...]"); |
| |
DO_CONSTRUCT_EXPR(*wcontext) |
| |
} |
| |
|
| |
case OP::OP_WITH_WRITE__VALUE__CONSTRUCT_VALUE: |
| |
{ |
| |
if(wcontext==method_frame) |
| |
throw Exception(PARSER_RUNTIME, 0, "$.name outside of $name[...]"); |
| |
DO_CONSTRUCT_VALUE(*wcontext) |
| |
} |
| |
|
| |
case OP::OP_WITH_ROOT__VALUE__CONSTRUCT_EXPR: DO_CONSTRUCT_EXPR(*method_frame) |
| |
|
| |
case OP::OP_WITH_ROOT__VALUE__CONSTRUCT_VALUE: DO_CONSTRUCT_VALUE(*method_frame) |
| |
|
| |
case OP::OP_WITH_SELF__VALUE__CONSTRUCT_EXPR: DO_CONSTRUCT_EXPR(get_self()) |
| |
|
| |
case OP::OP_WITH_SELF__VALUE__CONSTRUCT_VALUE: DO_CONSTRUCT_VALUE(get_self()) |
| |
|
| |
#endif // OPTIMIZE_BYTECODE_CONSTRUCT |
| |
|
| |
case OP::OP_CONSTRUCT_VALUE: |
| { |
{ |
| Value *value=POP(); |
#ifdef OPTIMIZE_BYTECODE_CONSTRUCT |
| const String& name=POP_NAME(); |
const String& name=stack.pop().string(); debug_name=&name; |
| Value *ncontext=POP(); |
Value& ncontext=stack.pop().value(); |
| ncontext->put_element(name, value); |
Value& value=stack.pop().value(); |
| value->set_name(name); |
#else |
| |
Value& value=stack.pop().value(); |
| |
const String& name=stack.pop().string(); debug_name=&name; |
| |
Value& ncontext=stack.pop().value(); |
| |
#endif |
| |
put_element(ncontext, name, &value); |
| |
|
| break; |
break; |
| } |
} |
| case OP_CONSTRUCT_EXPR: |
|
| |
case OP::OP_CONSTRUCT_EXPR: |
| { |
{ |
| Value *value=POP(); |
// see OP_PREPARE_TO_EXPRESSION |
| const String& name=POP_NAME(); |
wcontext->set_in_expression(false); |
| Value *ncontext=POP(); |
|
| ncontext->put_element(name, value->as_expr_result()); |
#ifdef OPTIMIZE_BYTECODE_CONSTRUCT |
| value->set_name(name); |
const String& name=stack.pop().string(); debug_name=&name; |
| |
Value& ncontext=stack.pop().value(); |
| |
Value& expr=stack.pop().value(); |
| |
#else |
| |
Value& expr=stack.pop().value(); |
| |
const String& name=stack.pop().string(); debug_name=&name; |
| |
Value& ncontext=stack.pop().value(); |
| |
#endif |
| |
Value& value=expr.as_expr_result(); |
| |
put_element(ncontext, name, &value); |
| break; |
break; |
| } |
} |
| case OP_WRITE_VALUE: |
|
| |
case OP::OP_CURLY_CODE__CONSTRUCT: |
| { |
{ |
| Value *value=POP(); |
ArrayOperation& local_ops=*i.next().ops; |
| write_assign_lang(*value); |
|
| |
DEBUG_PRINT_OPS((&local_ops)) |
| |
|
| // forget the fact they've entered some ^object.method[]. |
VJunction& value=*new VJunction( |
| // see OP_GET_ELEMENT |
get_self(), 0, |
| wcontext->clear_somebody_entered_some_object(); |
method_frame, |
| |
rcontext, |
| |
wcontext, |
| |
&local_ops); |
| |
|
| |
wcontext->attach_junction(&value); |
| |
|
| |
const String& name=stack.pop().string(); debug_name=&name; |
| |
Value& ncontext=stack.pop().value(); |
| |
if(const VJunction* vjunction=ncontext.put_element(ncontext, name, &value, false)) |
| |
if(vjunction!=PUT_ELEMENT_REPLACED_ELEMENT) |
| |
throw Exception(PARSER_RUNTIME, |
| |
0, |
| |
"property value can not be code, use [] or () brackets"); |
| |
|
| break; |
break; |
| } |
} |
| case OP_WRITE_EXPR_RESULT: |
case OP::OP_NESTED_CODE: |
| { |
{ |
| Value *value=POP(); |
ArrayOperation& local_ops=*i.next().ops; |
| write_expr_result(*value->as_expr_result()); |
|
| |
DEBUG_PRINT_OPS((&local_ops)) |
| |
|
| |
stack.push(local_ops); |
| break; |
break; |
| } |
} |
| case OP_STRING__WRITE: |
case OP::OP_WRITE_VALUE: |
| { |
{ |
| VString *vstring=static_cast<VString *>(ops.quick_get(++i)); |
Value& value=stack.pop().value(); |
| log_printf(pool(), " \"%s\"", vstring->string().cstr()); |
write_assign_lang(value); |
| write_no_lang(vstring->string()); |
|
| break; |
break; |
| } |
} |
| |
case OP::OP_WRITE_EXPR_RESULT: |
| case OP_GET_ELEMENT: |
|
| { |
{ |
| // maybe they do ^object.method[] call, remember the fact |
// see OP_PREPARE_TO_EXPRESSION |
| wcontext->inc_somebody_entered_some_object(); |
wcontext->set_in_expression(false); |
| |
|
| Value *value=get_element(); |
Value& value=stack.pop().value(); |
| PUSH(value); |
wcontext->write(value.as_expr_result()); |
| break; |
break; |
| } |
} |
| |
case OP::OP_STRING__WRITE: |
| |
{ |
| |
i.next(); // ignore origin |
| |
Value* value=i.next().value; |
| |
|
| |
const String& string_value=*value->get_string(); |
| |
|
| |
DEBUG_PRINT_STRING(string_value) |
| |
|
| case OP_GET_ELEMENT__WRITE: |
write_no_lang(string_value); |
| |
break; |
| |
} |
| |
|
| |
#ifdef OPTIMIZE_BYTECODE_GET_ELEMENT |
| |
case OP::OP_VALUE__GET_ELEMENT_OR_OPERATOR: |
| |
{ |
| |
debug_origin=i.next().origin; |
| |
const String& name=*i.next().value->get_string(); debug_name=&name; |
| |
|
| |
DEBUG_PRINT_STRING(name) |
| |
|
| |
if(Method* method=main_class.get_method(name)){ // looking operator of that name FIRST |
| |
if(!method->junction_template) method->junction_template=new VJunction(main_class, method); |
| |
stack.push(*method->junction_template); |
| |
break; |
| |
} |
| |
Value& value=get_element(*rcontext, name); |
| |
stack.push(value); |
| |
break; |
| |
} |
| |
#else |
| |
case OP::OP_GET_ELEMENT_OR_OPERATOR: |
| { |
{ |
| Value *value=get_element(); |
const String& name=stack.pop().string(); debug_name=&name; |
| write_assign_lang(*value); |
Value& ncontext=stack.pop().value(); |
| |
if(Method* method=main_class.get_method(name)){ // looking operator of that name FIRST |
| |
if(!method->junction_template) method->junction_template=new VJunction(main_class, method); |
| |
stack.push(*method->junction_template); |
| |
break; |
| |
} |
| |
Value& value=get_element(ncontext, name); |
| |
stack.push(value); |
| break; |
break; |
| } |
} |
| |
#endif |
| |
|
| |
#ifdef OPTIMIZE_BYTECODE_GET_OBJECT_ELEMENT |
| |
case OP::OP_GET_OBJECT_ELEMENT: |
| |
case OP::OP_GET_OBJECT_ELEMENT__WRITE: |
| |
{ |
| |
debug_origin=i.next().origin; |
| |
const String& context_name=*i.next().value->get_string(); debug_name=&context_name; |
| |
|
| |
DEBUG_PRINT_STRING(context_name) |
| |
|
| |
Value& object=get_element(*rcontext, context_name); |
| |
|
| |
debug_origin=i.next().origin; |
| |
const String& field_name=*i.next().value->get_string(); debug_name=&field_name; |
| |
|
| |
DEBUG_PRINT_STRING(field_name) |
| |
|
| |
Value& value=get_element(object, field_name); |
| |
|
| |
if(opcode==OP::OP_GET_OBJECT_ELEMENT){ |
| |
stack.push(value); |
| |
} else { |
| |
write_assign_lang(value); |
| |
} |
| |
break; |
| |
} |
| |
#endif |
| |
|
| case OP_CREATE_EWPOOL: |
#ifdef OPTIMIZE_BYTECODE_GET_OBJECT_VAR_ELEMENT |
| |
case OP::OP_GET_OBJECT_VAR_ELEMENT: |
| |
case OP::OP_GET_OBJECT_VAR_ELEMENT__WRITE: |
| { |
{ |
| PUSH(wcontext); |
debug_origin=i.next().origin; |
| PUSH((void *)flang); |
const String& context_name=*i.next().value->get_string(); debug_name=&context_name; |
| flang=String::UL_PASS_APPENDED; |
|
| wcontext=NEW WWrapper(pool(), 0 /*empty*/, true /*constructing*/); |
DEBUG_PRINT_STRING(context_name) |
| |
|
| |
Value& object=get_element(*rcontext, context_name); |
| |
|
| |
debug_origin=i.next().origin; |
| |
const String& var_name=*i.next().value->get_string(); debug_name=&var_name; |
| |
|
| |
DEBUG_PRINT_STRING(var_name) |
| |
|
| |
const String* field=get_element(*rcontext, var_name).get_string(); |
| |
|
| |
Value& value=get_element(object, *field); |
| |
|
| |
if(opcode==OP::OP_GET_OBJECT_VAR_ELEMENT){ |
| |
stack.push(value); |
| |
} else { |
| |
write_assign_lang(value); |
| |
} |
| break; |
break; |
| } |
} |
| case OP_REDUCE_EWPOOL: |
#endif |
| |
|
| |
case OP::OP_GET_ELEMENT: |
| { |
{ |
| Value *value=wcontext->result(); |
const String& name=stack.pop().string(); debug_name=&name; |
| flang=static_cast<String::Untaint_lang>(reinterpret_cast<int>(POP())); |
Value& ncontext=stack.pop().value(); |
| wcontext=static_cast<WContext *>(POP()); |
Value& value=get_element(ncontext, name); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| |
|
| case OP_CREATE_RWPOOL: |
case OP::OP_GET_ELEMENT__WRITE: |
| { |
{ |
| Value *ncontext=POP(); |
const String& name=stack.pop().string(); debug_name=&name; |
| PUSH(rcontext); |
Value& ncontext=stack.pop().value(); |
| PUSH(wcontext); |
Value& value=get_element(ncontext, name); |
| rcontext=ncontext; |
write_assign_lang(value); |
| wcontext=NEW WWrapper(pool(), ncontext, false /*not constructing*/); |
|
| break; |
break; |
| } |
} |
| case OP_REDUCE_RWPOOL: |
|
| |
#ifdef OPTIMIZE_BYTECODE_GET_ELEMENT |
| |
case OP::OP_VALUE__GET_ELEMENT: |
| { |
{ |
| const String *string=wcontext->get_string(); |
debug_origin=i.next().origin; |
| Value *value; |
const String& name=*i.next().value->get_string(); debug_name=&name; |
| if(string) |
|
| value=NEW VString(*string); |
DEBUG_PRINT_STRING(name) |
| else |
|
| value=NEW VUnknown(pool()); |
Value& value=get_element(*rcontext, name); |
| wcontext=static_cast<WContext *>(POP()); |
stack.push(value); |
| rcontext=POP(); |
break; |
| PUSH(value); |
} |
| |
|
| |
case OP::OP_VALUE__GET_ELEMENT__WRITE: |
| |
{ |
| |
debug_origin=i.next().origin; |
| |
const String& name=*i.next().value->get_string(); debug_name=&name; |
| |
|
| |
DEBUG_PRINT_STRING(name) |
| |
|
| |
Value& value=get_element(*rcontext, name); |
| |
write_assign_lang(value); |
| |
break; |
| |
} |
| |
|
| |
case OP::OP_WITH_ROOT__VALUE__GET_ELEMENT: |
| |
{ |
| |
debug_origin=i.next().origin; |
| |
const String& name=*i.next().value->get_string(); debug_name=&name; |
| |
|
| |
DEBUG_PRINT_STRING(name) |
| |
|
| |
Value& value=get_element(*method_frame, name); |
| |
stack.push(value); |
| |
break; |
| |
} |
| |
#endif |
| |
|
| |
#ifdef OPTIMIZE_BYTECODE_GET_SELF_ELEMENT |
| |
case OP::OP_WITH_SELF__VALUE__GET_ELEMENT: |
| |
case OP::OP_WITH_SELF__VALUE__GET_ELEMENT__WRITE: |
| |
{ |
| |
debug_origin=i.next().origin; |
| |
const String& name=*i.next().value->get_string(); debug_name=&name; |
| |
|
| |
DEBUG_PRINT_STRING(name) |
| |
|
| |
Value& value=get_element(get_self(), name); |
| |
|
| |
if(opcode==OP::OP_WITH_SELF__VALUE__GET_ELEMENT){ |
| |
stack.push(value); |
| |
} else { |
| |
write_assign_lang(value); |
| |
} |
| break; |
break; |
| } |
} |
| case OP_CREATE_SWPOOL: |
#endif |
| |
|
| |
case OP::OP_OBJECT_POOL: |
| { |
{ |
| PUSH(wcontext); |
ArrayOperation& local_ops=*i.next().ops; |
| wcontext=NEW WWrapper(pool(), 0 /*empty*/, false /*not constructing*/); |
|
| |
WContext *saved_wcontext=wcontext; |
| |
String::Language saved_lang=flang; |
| |
flang=String::L_PASS_APPENDED; |
| |
#ifdef OPTIMIZE_SINGLE_STRING_WRITE |
| |
WObjectPoolWrapper local(wcontext); |
| |
#else |
| |
WWrapper local(wcontext); |
| |
#endif |
| |
wcontext=&local; |
| |
|
| |
execute(local_ops); |
| |
|
| |
stack.push(wcontext->result().as_value()); |
| |
flang=saved_lang; |
| |
wcontext=saved_wcontext; |
| break; |
break; |
| } |
} |
| case OP_REDUCE_SWPOOL: |
|
| |
case OP::OP_STRING_POOL: |
| { |
{ |
| |
ArrayOperation& local_ops=*i.next().ops; |
| |
|
| |
WContext *saved_wcontext=wcontext; |
| |
WWrapper local(wcontext); |
| |
wcontext=&local; |
| |
|
| |
execute(local_ops); |
| |
|
| |
Value* value; |
| // from "$a $b" part of expression taking only string value, |
// from "$a $b" part of expression taking only string value, |
| // ignoring any other content of wcontext |
// ignoring any other content of wcontext |
| const String *string=wcontext->get_string(); |
if(const String* string=wcontext->get_string()) |
| Value *value; |
value=new VString(*string); |
| if(string) |
|
| value=NEW VString(*string); |
|
| else |
else |
| NEW VUnknown(pool()); |
value=VVoid::get(); |
| wcontext=static_cast<WContext *>(POP()); |
stack.push(*value); |
| PUSH(value); |
|
| |
wcontext=saved_wcontext; |
| break; |
break; |
| } |
} |
| |
|
| // CALL |
// CALL |
| case OP_GET_METHOD_FRAME: |
case OP::OP_CURLY_CODE__STORE_PARAM: |
| |
case OP::OP_EXPR_CODE__STORE_PARAM: |
| { |
{ |
| Value *value=POP(); |
// code |
| |
ArrayOperation& local_ops=*i.next().ops; |
| |
|
| // info: |
DEBUG_PRINT_OPS((&local_ops)) |
| // code compiled so that this one's always method-junction, |
|
| // not a code-junction |
|
| Junction *junction=value->get_junction(); |
|
| if(!junction) |
|
| THROW(0,0, |
|
| &value->name(), |
|
| "(%s) not a method or junction, can not call it", |
|
| value->type()); |
|
| |
|
| bool is_constructor= |
// when they evaluate expression parameter, |
| wcontext->constructing() && // constructing? |
// the object expression result |
| wcontext->somebody_entered_some_class(); // ^class:method[..]? |
// does not need to be written into calling frame |
| if(is_constructor) |
// it must go into any expressions using that parameter |
| wcontext->constructing(false); |
// hence, we zero junction.wcontext here, and later |
| |
// in .process we would test that field |
| |
// in decision "which wwrapper to use" |
| |
VJunction& value=*new VJunction( |
| |
get_self(), 0, |
| |
method_frame, |
| |
rcontext, |
| |
opcode==OP::OP_EXPR_CODE__STORE_PARAM?0:wcontext, |
| |
&local_ops); |
| |
#ifndef USE_DESTRUCTORS |
| |
if (opcode!=OP::OP_EXPR_CODE__STORE_PARAM) |
| |
wcontext->attach_junction(&value); |
| |
#endif |
| |
// store param |
| |
stack.push(value); |
| |
break; |
| |
} |
| |
|
| VMethodFrame *frame=NEW VMethodFrame(pool(), *junction, is_constructor); |
#ifndef OPTIMIZE_BYTECODE_CONSTRUCT_OBJECT |
| frame->set_name(value->name()); |
case OP::OP_PREPARE_TO_CONSTRUCT_OBJECT: |
| PUSH(frame); |
{ |
| |
SET_CONSTRUCTING(wcontext,true) |
| break; |
break; |
| } |
} |
| case OP_STORE_PARAM: |
#endif |
| |
|
| |
case OP::OP_PREPARE_TO_EXPRESSION: |
| { |
{ |
| Value *value=POP(); |
wcontext->set_in_expression(true); |
| VMethodFrame *frame=static_cast<VMethodFrame *>(stack.top_value()); |
|
| frame->store_param(frame->name(), value); |
|
| break; |
break; |
| } |
} |
| |
|
| case OP_CALL: |
#define METHOD_FRAME_ACTION(action) \ |
| |
if(local_ops){ \ |
| |
size_t first = stack.top_index(); \ |
| |
execute(*local_ops); \ |
| |
frame.store_params((Value**)stack.ptr(first), stack.top_index()-first); \ |
| |
action; \ |
| |
stack.set_top_index(first); \ |
| |
} else { \ |
| |
frame.empty_params(); \ |
| |
action; \ |
| |
} |
| |
|
| |
case OP::OP_CALL: |
| { |
{ |
| log_printf(pool(), "->\n"); |
ArrayOperation* local_ops=i.next().ops; |
| VMethodFrame *frame=static_cast<VMethodFrame *>(POP()); |
|
| frame->fill_unspecified_params(); |
|
| PUSH(self); |
|
| PUSH(root); |
|
| PUSH(rcontext); |
|
| PUSH(wcontext); |
|
| |
|
| VStateless_class *called_class=frame->junction.self.get_class(); |
|
| // not ^name.method call and |
|
| // is context object or class & is it my class or my parent's class? |
|
| VStateless_class *read_class=rcontext->get_class(); |
|
| if( |
|
| !wcontext->somebody_entered_some_object() && |
|
| read_class && read_class->is_or_derived_from(*called_class)) // yes |
|
| self=rcontext; // class dynamic call |
|
| else // no, not me or relative of mine (total stranger) |
|
| // were are constructing something and |
|
| // our constructor is just method call |
|
| if(frame->is_constructor && |
|
| wcontext->somebody_entered_some_object()==1) { |
|
| // this is a constructor call |
|
| // some stateless_object creatable derivates |
|
| if(Value *value=called_class->create_new_value(pool())) |
|
| self=value; |
|
| else // stateful object |
|
| self=NEW VObject(pool(), *called_class); |
|
| frame->write(*self, |
|
| String::UL_CLEAN // not used, always an object, not string |
|
| ); |
|
| } else |
|
| self=&frame->junction.self; // no, static or simple dynamic call |
|
| |
|
| frame->set_self(*self); |
DEBUG_PRINT_OPS(local_ops) |
| root=rcontext=wcontext=frame; |
DEBUG_PRINT_STR("->\n") |
| { |
|
| // take object or class from any wrappers |
Value& value=stack.pop().value(); |
| // and substitute class alias to the class they are called AS |
|
| Temp_alias temp_alias(*self->get_aliased(), *frame->junction.vclass); |
Junction* junction=value.get_junction(); |
| |
if(!junction) { |
| const Method& method=*frame->junction.method; |
if(value.is("void")) |
| Method::Call_type call_type= |
throw Exception(PARSER_RUNTIME, |
| called_class==self ? Method::CT_STATIC : Method::CT_DYNAMIC; |
0, |
| if( |
"undefined method"); |
| method.call_type==Method::CT_ANY || |
else |
| method.call_type==call_type) // allowed call type? |
throw Exception(PARSER_RUNTIME, |
| if(method.native_code) { // native code? |
0, |
| method.check_actual_numbered_params(pool(), |
"is '%s', not a method or junction, can not call it", |
| frame->junction.self, |
value.type()); |
| frame->name(), frame->numbered_params()); |
} |
| (*method.native_code)( |
|
| *this, |
VMethodFrame frame(*junction, method_frame); |
| frame->name(), frame->numbered_params()); // execute it |
METHOD_FRAME_ACTION(op_call(frame, GET_CONSTRUCTING(wcontext))); |
| } else // parser code |
stack.push(frame.result().as_value()); |
| execute(*method.parser_code); // execute it |
|
| |
DEBUG_PRINT_STR("<-returned") |
| |
|
| |
if(get_skip()) |
| |
return; |
| |
if(get_interrupted()) { |
| |
set_interrupted(false); |
| |
throw Exception("parser.interrupted", |
| |
0, |
| |
"execution stopped"); |
| |
} |
| |
break; |
| |
} |
| |
|
| |
case OP::OP_CALL__WRITE: |
| |
{ |
| |
ArrayOperation* local_ops=i.next().ops; |
| |
|
| |
DEBUG_PRINT_OPS(local_ops) |
| |
DEBUG_PRINT_STR("->\n") |
| |
|
| |
Value& value=stack.pop().value(); |
| |
|
| |
Junction* junction=value.get_junction(); |
| |
if(!junction) { |
| |
if(value.is("void")) |
| |
throw Exception(PARSER_RUNTIME, |
| |
0, |
| |
"undefined method"); |
| else |
else |
| THROW(0, 0, |
throw Exception(PARSER_RUNTIME, |
| &frame->name(), |
0, |
| "is not allowed to be called %s", |
"is '%s', not a method or junction, can not call it", |
| call_type==Method::CT_STATIC?"statically":"dynamically"); |
value.type()); |
| |
} |
| |
|
| |
#ifdef OPTIMIZE_CALL |
| |
const Method& method=*junction->method; |
| |
if (!GET_CONSTRUCTING(wcontext) && method.call_optimization==Method::CO_WITHOUT_FRAME){ |
| |
if(local_ops){ // store param code goes here |
| |
size_t first = stack.top_index(); |
| |
execute(*local_ops); |
| |
|
| |
MethodParams method_params; |
| |
method_params.store_params((Value**)stack.ptr(first), stack.top_index()-first); |
| |
method.check_actual_numbered_params(junction->self, &method_params); |
| |
method.native_code(*this, method_params); // execute it |
| |
|
| |
stack.set_top_index(first); |
| |
} else { |
| |
MethodParams method_params; |
| |
method.check_actual_numbered_params(junction->self, &method_params); |
| |
method.native_code(*this, method_params); // execute it |
| |
} |
| |
} else if (!GET_CONSTRUCTING(wcontext) && method.call_optimization==Method::CO_WITHOUT_WCONTEXT){ |
| |
VMethodFrame frame(*junction, method_frame); |
| |
METHOD_FRAME_ACTION(op_call_write(frame)); |
| |
} else |
| |
#endif // OPTIMIZE_CALL |
| |
{ |
| |
VMethodFrame frame(*junction, method_frame); |
| |
METHOD_FRAME_ACTION(op_call(frame, GET_CONSTRUCTING(wcontext))); |
| |
write_pass_lang(frame.result()); |
| |
} |
| |
|
| |
DEBUG_PRINT_STR("<-returned") |
| |
|
| |
if(get_skip()) |
| |
return; |
| |
if(get_interrupted()) { |
| |
set_interrupted(false); |
| |
throw Exception("parser.interrupted", |
| |
0, |
| |
"execution stopped"); |
| } |
} |
| Value *value=wcontext->result(); |
break; |
| |
} |
| |
|
| wcontext=static_cast<WContext *>(POP()); |
#ifdef OPTIMIZE_BYTECODE_CONSTRUCT_OBJECT |
| rcontext=POP(); |
case OP::OP_CONSTRUCT_OBJECT: |
| root=POP(); |
case OP::OP_CONSTRUCT_OBJECT__WRITE: |
| self=static_cast<VAliased *>(POP()); |
{ |
| |
debug_origin=i.next().origin; |
| |
Value& vclass_name=*i.next().value; |
| |
const String& class_name=*vclass_name.get_string(); |
| |
|
| |
DEBUG_PRINT_STRING(class_name) |
| |
|
| |
Value* class_value=classes().get(class_name); |
| |
if(!class_value) |
| |
throw Exception(PARSER_RUNTIME, |
| |
&class_name, |
| |
"class is undefined"); |
| |
|
| PUSH(value); |
SET_CONSTRUCTING(wcontext,true) |
| log_printf(pool(), "<-returned"); |
|
| |
debug_origin=i.next().origin; |
| |
Value& vconstructor_name=*i.next().value; |
| |
const String& constructor_name=*vconstructor_name.get_string(); debug_name=&constructor_name; |
| |
|
| |
DEBUG_PRINT_STRING(constructor_name) |
| |
|
| |
Value& constructor_value=get_element(*class_value, constructor_name); |
| |
|
| |
Junction* junction=constructor_value.get_junction(); |
| |
#ifdef OPTIMIZE_CONSTRUCT_OBJECT |
| |
if(!junction || junction->self.get_class()!=class_value) |
| |
throw Exception(PARSER_RUNTIME, |
| |
&constructor_name, |
| |
"constructor must be declared in class '%s'", |
| |
class_value->get_class()->name_cstr()); |
| |
#endif |
| |
|
| |
ArrayOperation* local_ops=i.next().ops; |
| |
DEBUG_PRINT_OPS(local_ops) |
| |
DEBUG_PRINT_STR("->\n") |
| |
|
| |
VMethodFrame frame(*junction, method_frame); |
| |
METHOD_FRAME_ACTION(op_call(frame, true /* constructing */)); |
| |
if(opcode==OP::OP_CONSTRUCT_OBJECT) |
| |
stack.push(frame.result().as_value()); |
| |
else |
| |
write_pass_lang(frame.result()); |
| |
|
| |
DEBUG_PRINT_STR("<-returned") |
| break; |
break; |
| } |
} |
| |
#endif // OPTIMIZE_BYTECODE_CONSTRUCT_OBJECT |
| |
|
| // expression ops: unary |
// expression ops: unary |
| case OP_NEG: |
case OP::OP_NEG: |
| { |
{ |
| Value *operand=POP(); |
Value& a=stack.pop().value(); |
| Value *value=NEW VDouble(pool(), -operand->as_double()); |
Value& value=*new VDouble(-a.as_double()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_INV: |
case OP::OP_INV: |
| { |
{ |
| Value *operand=POP(); |
Value& a=stack.pop().value(); |
| Value *value=NEW VDouble(pool(), ~operand->as_int()); |
Value& value=*new VDouble(~a.as_int()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_NOT: |
case OP::OP_NOT: |
| { |
{ |
| Value *operand=POP(); |
Value& a=stack.pop().value(); |
| Value *value=NEW VBool(pool(), !operand->as_bool()); |
Value& value=VBool::get(!a.as_bool()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_DEF: |
case OP::OP_DEF: |
| { |
{ |
| Value *operand=POP(); |
Value& a=stack.pop().value(); |
| Value *value=NEW VBool(pool(), operand->is_defined()); |
Value& value=VBool::get(a.is_defined()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_IN: |
case OP::OP_IN: |
| { |
{ |
| Value *operand=POP(); |
Value& a=stack.pop().value(); |
| const char *path=operand->as_string().cstr(); |
const String& path=a.as_string(); |
| Value *value=NEW VBool(pool(), |
Value& value=VBool::get(request_info.uri && *request_info.uri && path.this_starts(request_info.uri)); |
| info.uri && strncmp(path, info.uri, strlen(path))==0); |
stack.push(value); |
| PUSH(value); |
|
| break; |
break; |
| } |
} |
| case OP_FEXISTS: |
case OP::OP_FEXISTS: |
| { |
{ |
| Value *operand=POP(); |
Value& a=stack.pop().value(); |
| Value *value=NEW VBool(pool(), |
Value& value=VBool::get(file_exist(absolute(a.as_string()))); |
| file_readable(absolute(operand->as_string()))); |
stack.push(value); |
| PUSH(value); |
|
| break; |
break; |
| } |
} |
| case OP_DEXISTS: |
case OP::OP_DEXISTS: |
| { |
{ |
| Value *operand=POP(); |
Value& a=stack.pop().value(); |
| Value *value=NEW VBool(pool(), |
Value& value=VBool::get(dir_exists(absolute(a.as_string()))); |
| dir_readable(absolute(operand->as_string()))); |
stack.push(value); |
| PUSH(value); |
|
| break; |
break; |
| } |
} |
| |
|
| // expression ops: binary |
// expression ops: binary |
| case OP_SUB: |
case OP::OP_SUB: |
| |
{ |
| |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| |
Value& value=*new VDouble(a.as_double() - b.as_double()); |
| |
stack.push(value); |
| |
break; |
| |
} |
| |
case OP::OP_ADD: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VDouble(pool(), a->as_double() - b->as_double()); |
Value& value=*new VDouble(a.as_double() + b.as_double()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_ADD: |
case OP::OP_MUL: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VDouble(pool(), a->as_double() + b->as_double()); |
Value& value=*new VDouble(a.as_double() * b.as_double()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_MUL: |
case OP::OP_DIV: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VDouble(pool(), a->as_double() * b->as_double()); |
|
| PUSH(value); |
double a_double=a.as_double(); |
| |
double b_double=b.as_double(); |
| |
|
| |
if(b_double == 0) { |
| |
//const String* problem_source=b.as_string(); |
| |
throw Exception("number.zerodivision", |
| |
0, //problem_source, |
| |
"Division by zero"); |
| |
} |
| |
|
| |
Value& value=*new VDouble(a_double / b_double); |
| |
stack.push(value); |
| |
break; |
| |
} |
| |
case OP::OP_MOD: |
| |
{ |
| |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| |
|
| |
double a_double=a.as_double(); |
| |
double b_double=b.as_double(); |
| |
|
| |
if(b_double == 0) { |
| |
//const String* problem_source=b.as_string(); |
| |
throw Exception("number.zerodivision", |
| |
0, //problem_source, |
| |
"Modulus by zero"); |
| |
} |
| |
|
| |
Value& value=*new VDouble(fmod(a_double, b_double)); |
| |
stack.push(value); |
| |
break; |
| |
} |
| |
case OP::OP_INTDIV: |
| |
{ |
| |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| |
|
| |
int a_int=a.as_int(); |
| |
int b_int=b.as_int(); |
| |
|
| |
if(b_int == 0) { |
| |
//const String* problem_source=b.as_string(); |
| |
throw Exception("number.zerodivision", |
| |
0, //problem_source, |
| |
"Division by zero"); |
| |
} |
| |
|
| |
Value& value=*new VInt(a_int / b_int); |
| |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_DIV: |
case OP::OP_BIN_SL: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VDouble(pool(), a->as_double() / b->as_double()); |
Value& value=*new VInt( |
| PUSH(value); |
a.as_int() << |
| |
b.as_int()); |
| |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_MOD: |
case OP::OP_BIN_SR: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VDouble(pool(), |
Value& value=*new VInt( |
| a->as_int() % |
a.as_int() >> |
| b->as_int()); |
b.as_int()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_BIN_AND: |
case OP::OP_BIN_AND: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VDouble(pool(), |
Value& value=*new VInt( |
| a->as_int() & |
a.as_int() & |
| b->as_int()); |
b.as_int()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_BIN_OR: |
case OP::OP_BIN_OR: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VDouble(pool(), |
Value& value=*new VInt( |
| a->as_int() | |
a.as_int() | |
| b->as_int()); |
b.as_int()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_BIN_XOR: |
case OP::OP_BIN_XOR: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VDouble(pool(), |
Value& value=*new VInt( |
| a->as_int() ^ |
a.as_int() ^ |
| b->as_int()); |
b.as_int()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_LOG_AND: |
case OP::OP_LOG_AND: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
ArrayOperation& local_ops=stack.pop().ops(); Value& a=stack.pop().value(); |
| Value *value=NEW VBool(pool(), a->as_bool() && b->as_bool()); |
bool result; |
| PUSH(value); |
if(a.as_bool()) { |
| |
execute(local_ops); |
| |
Value& b=stack.pop().value(); |
| |
result=b.as_bool(); |
| |
} else |
| |
result=false; |
| |
Value& value=VBool::get(result); |
| |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_LOG_OR: |
case OP::OP_LOG_OR: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
ArrayOperation& local_ops=stack.pop().ops(); Value& a=stack.pop().value(); |
| Value *value=NEW VBool(pool(), a->as_bool() || b->as_bool()); |
bool result; |
| PUSH(value); |
if(a.as_bool()) |
| |
result=true; |
| |
else { |
| |
execute(local_ops); |
| |
Value& b=stack.pop().value(); |
| |
result=b.as_bool(); |
| |
} |
| |
Value& value=VBool::get(result); |
| |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_LOG_XOR: |
case OP::OP_LOG_XOR: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VBool(pool(), a->as_bool() ^ b->as_bool()); |
Value& value=VBool::get(a.as_bool() ^ b.as_bool()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_NUM_LT: |
case OP::OP_NUM_LT: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
volatile double b_double=stack.pop().value().as_double(); |
| Value *value=NEW VBool(pool(), a->as_double() < b->as_double()); |
volatile double a_double=stack.pop().value().as_double(); |
| PUSH(value); |
Value& value=VBool::get(a_double<b_double); |
| |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_NUM_GT: |
case OP::OP_NUM_GT: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
volatile double b_double=stack.pop().value().as_double(); |
| Value *value=NEW VBool(pool(), a->as_double() > b->as_double()); |
volatile double a_double=stack.pop().value().as_double(); |
| PUSH(value); |
Value& value=VBool::get(a_double>b_double); |
| |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_NUM_LE: |
case OP::OP_NUM_LE: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
volatile double b_double=stack.pop().value().as_double(); |
| Value *value=NEW VBool(pool(), a->as_double() <= b->as_double()); |
volatile double a_double=stack.pop().value().as_double(); |
| PUSH(value); |
Value& value=VBool::get(a_double<=b_double); |
| |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_NUM_GE: |
case OP::OP_NUM_GE: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
volatile double b_double=stack.pop().value().as_double(); |
| Value *value=NEW VBool(pool(), a->as_double() >= b->as_double()); |
volatile double a_double=stack.pop().value().as_double(); |
| PUSH(value); |
Value& value=VBool::get(a_double>=b_double); |
| |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_NUM_EQ: |
case OP::OP_NUM_EQ: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
volatile double b_double=stack.pop().value().as_double(); |
| Value *value=NEW VBool(pool(), a->as_double() == b->as_double()); |
volatile double a_double=stack.pop().value().as_double(); |
| PUSH(value); |
Value& value=VBool::get(a_double==b_double); |
| |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_NUM_NE: |
case OP::OP_NUM_NE: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
volatile double b_double=stack.pop().value().as_double(); |
| Value *value=NEW VBool(pool(), a->as_double() != b->as_double()); |
volatile double a_double=stack.pop().value().as_double(); |
| PUSH(value); |
Value& value=VBool::get(a_double!=b_double); |
| |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_STR_LT: |
case OP::OP_STR_LT: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VBool(pool(), a->as_string() < b->as_string()); |
Value& value=VBool::get(a.as_string() < b.as_string()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_STR_GT: |
case OP::OP_STR_GT: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VBool(pool(), a->as_string() > b->as_string()); |
Value& value=VBool::get(a.as_string() > b.as_string()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_STR_LE: |
case OP::OP_STR_LE: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VBool(pool(), a->as_string() <= b->as_string()); |
Value& value=VBool::get(a.as_string() <= b.as_string()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_STR_GE: |
case OP::OP_STR_GE: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VBool(pool(), a->as_string() >= b->as_string()); |
Value& value=VBool::get(a.as_string() >= b.as_string()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_STR_EQ: |
case OP::OP_STR_EQ: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VBool(pool(), a->as_string() == b->as_string()); |
Value& value=VBool::get(a.as_string() == b.as_string()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_STR_NE: |
case OP::OP_STR_NE: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VBool(pool(), a->as_string() != b->as_string()); |
Value& value=VBool::get(a.as_string() != b.as_string()); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| case OP_IS: |
case OP::OP_IS: |
| { |
{ |
| Value *b=POP(); Value *a=POP(); |
Value& b=stack.pop().value(); Value& a=stack.pop().value(); |
| Value *value=NEW VBool(pool(), b->as_string() == a->type()); |
Value& value=VBool::get(a.is(b.as_string().cstr())); |
| PUSH(value); |
stack.push(value); |
| break; |
break; |
| } |
} |
| |
|
| default: |
default: |
| THROW(0,0, |
throw Exception(0, |
| 0, |
0, |
| "invalid opcode %d", op.code); |
"invalid opcode %d", opcode); |
| } |
} |
| } |
} |
| |
} catch(const Exception&) { |
| |
// record it to stack trace |
| |
if(debug_name) |
| |
exception_trace.push(Trace(debug_name, debug_origin)); |
| |
rethrow; |
| |
} |
| } |
} |
| |
|
| Value *Request::get_element() { |
#define SAVE_CONTEXT \ |
| const String& name=POP_NAME(); |
VMethodFrame *saved_method_frame=method_frame; \ |
| Value *ncontext=POP(); |
Value* saved_rcontext=rcontext; \ |
| Value *value; |
WContext *saved_wcontext=wcontext; |
| if(Method* method=OP.get_method(name)) { // operator? |
|
| // as if that method were in self and we have normal dynamic method here |
#define RESTORE_CONTEXT \ |
| Junction& junction=*NEW Junction(pool(), |
wcontext=saved_wcontext; \ |
| *self, self->get_class(), method, 0,0,0,0); |
rcontext=saved_rcontext; \ |
| value=NEW VJunction(junction); |
method_frame=saved_method_frame; |
| |
|
| |
void Request::op_call(VMethodFrame& frame, bool constructing){ |
| |
const Junction &junction=frame.junction; |
| |
VStateless_class& called_class=*junction.self.get_class(); |
| |
Value* new_self; |
| |
|
| |
if(constructing) { |
| |
SET_CONSTRUCTING(wcontext,false) |
| |
if(junction.method->call_type!=Method::CT_STATIC) { |
| |
// this is a constructor call |
| |
if(new_self=called_class.create_new_value(fpool, 0 /*creating fields only in VClass*/)) { |
| |
// some stateless_class creatable derivates |
| |
} else |
| |
throw Exception(PARSER_RUNTIME, |
| |
0, //&frame.name(), |
| |
"is not a constructor, system class '%s' can be constructed only implicitly", |
| |
called_class.name().cstr()); |
| |
|
| |
frame.write(*new_self, |
| |
String::L_CLEAN // not used, always an object, not string |
| |
); |
| |
} else |
| |
throw Exception(PARSER_RUNTIME, |
| |
0, //&frame.name(), |
| |
"method is static and can not be used as constructor"); |
| |
} else |
| |
new_self=&junction.self; |
| |
|
| |
frame.set_self(*new_self); |
| |
|
| |
// see OP_PREPARE_TO_EXPRESSION |
| |
frame.set_in_expression(wcontext->get_in_expression()); |
| |
|
| |
SAVE_CONTEXT |
| |
|
| |
rcontext=wcontext=&frame; |
| |
method_frame=&frame; |
| |
|
| |
const Method& method=*junction.method; |
| |
Method::Call_type call_type=&called_class==new_self ? Method::CT_STATIC : Method::CT_DYNAMIC; |
| |
|
| |
if(method.call_type==Method::CT_ANY || method.call_type==call_type) { // allowed call type? |
| |
if(method.native_code) { // native code? |
| |
method.check_actual_numbered_params(junction.self, frame.numbered_params()); |
| |
method.native_code(*this, *frame.numbered_params()); // execute it |
| |
} else // parser code, execute it |
| |
recoursion_checked_execute(*method.parser_code); |
| } else |
} else |
| value=ncontext->get_element(name); |
throw Exception(PARSER_RUNTIME, |
| if(value) |
0, |
| value=&process(*value, &name); // process possible code-junction |
"is not allowed to be called %s", |
| else { |
call_type==Method::CT_STATIC?"statically":"dynamically"); |
| value=NEW VUnknown(pool()); |
|
| value->set_name(name); |
|
| } |
|
| |
|
| return value; |
RESTORE_CONTEXT |
| |
//return &frame; |
| |
} |
| |
|
| |
void Request::op_call_write(VMethodFrame& frame){ |
| |
const Junction &junction=frame.junction; |
| |
|
| |
frame.set_self(junction.self); |
| |
|
| |
VMethodFrame *saved_method_frame=method_frame; |
| |
Value* saved_rcontext=rcontext; |
| |
|
| |
rcontext=&frame; |
| |
method_frame=&frame; |
| |
|
| |
const Method& method=*junction.method; |
| |
Method::Call_type call_type=junction.self.get_class()==&junction.self ? Method::CT_STATIC : Method::CT_DYNAMIC; |
| |
|
| |
if(method.call_type==Method::CT_ANY || method.call_type==call_type) { // allowed call type? |
| |
if(method.native_code) { // native code? |
| |
method.check_actual_numbered_params(junction.self, frame.numbered_params()); |
| |
method.native_code(*this, *frame.numbered_params()); // execute it |
| |
} else // parser code, execute it |
| |
recoursion_checked_execute(*method.parser_code); |
| |
} else |
| |
throw Exception(PARSER_RUNTIME, |
| |
0, |
| |
"is not allowed to be called %s", |
| |
call_type==Method::CT_STATIC?"statically":"dynamically"); |
| |
|
| |
rcontext=saved_rcontext; |
| |
method_frame=saved_method_frame; |
| } |
} |
| |
|
| /** |
/** |
| intercept_string: |
@bug ^superbase:method would dynamically call ^base:method if there is any |
| |
*/ |
| |
Value& Request::get_element(Value& ncontext, const String& name) { |
| |
if(!GET_CONSTRUCTING(wcontext) // not constructing |
| |
&& wcontext->get_somebody_entered_some_class() ) // ^class:method |
| |
if(VStateless_class *called_class=ncontext.get_class()) |
| |
if(VStateless_class *read_class=rcontext->get_class()) |
| |
if(read_class->derived_from(*called_class)) // current derived from called |
| |
if(Value* base=get_self().base()) { // doing DYNAMIC call |
| |
Temp_derived temp_derived(*base, 0); // temporarily prevent go-back-down virtual calls |
| |
Value *value=base->get_element(name, *base, true); // virtual-up lookup starting from parent |
| |
return *(value ? &process_to_value(*value) : VVoid::get()); |
| |
} |
| |
|
| |
Value* value=ncontext.get_element(name, ncontext, true); |
| |
|
| |
if(value && GET_CONSTRUCTING(wcontext)) |
| |
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()); |
| |
|
| |
return *(value ? &process_to_value(*value) : VVoid::get()); |
| |
} |
| |
|
| |
void Request::put_element(Value& ncontext, const String& name, Value* value) { |
| |
// put_element can return property-setting-junction |
| |
if(const VJunction* vjunction=ncontext.put_element(ncontext, name, value, false)) |
| |
if(vjunction!=PUT_ELEMENT_REPLACED_ELEMENT) { |
| |
// process it |
| |
VMethodFrame frame(vjunction->junction(), method_frame/*caller*/); |
| |
int param_count=frame.method_params_count(); |
| |
|
| |
if(param_count!=1) |
| |
throw Exception(PARSER_RUNTIME, |
| |
0, |
| |
"setter method must have ONE parameter (has %d parameters)", param_count); |
| |
|
| |
frame.store_params(&value, 1); |
| |
frame.set_self(frame.junction.self); |
| |
|
| |
SAVE_CONTEXT |
| |
|
| |
rcontext=wcontext=&frame; |
| |
method_frame=&frame; |
| |
|
| |
// prevent non-string writes for better error reporting [setters are not expected to return anything] |
| |
wcontext->write(*method_frame); |
| |
|
| |
recoursion_checked_execute(*frame.junction.method->parser_code); // parser code, execute it |
| |
// we don't need it StringOrValue result=wcontext->result(); |
| |
|
| |
RESTORE_CONTEXT |
| |
} |
| |
} |
| |
|
| |
/** @param intercept_string |
| - true: |
- true: |
| they want result=string value, |
they want result=string value, |
| possible object result goes to wcontext |
possible object result goes to wcontext |
|
Line 700 Value *Request::get_element() {
|
Line 1376 Value *Request::get_element() {
|
| they want any result[string|object] |
they want any result[string|object] |
| nothing goes to wcontext. |
nothing goes to wcontext. |
| used in @c (expression) params evaluation |
used in @c (expression) params evaluation |
| |
|
| |
using the fact it's either string_ or value_ result requested to speed up checkes |
| */ |
*/ |
| Value& Request::process(Value& value, const String *name, bool intercept_string) { |
StringOrValue Request::process(Value& input_value, bool intercept_string) { |
| Value *result; |
Junction* junction=input_value.get_junction(); |
| Junction *junction=value.get_junction(); |
if(junction) { |
| if(junction && junction->code) { // is it a code-junction? |
if(junction->is_getter) { // is it a getter-junction? |
| // process it |
VMethodFrame frame(*junction, method_frame/*caller*/); |
| log_printf(pool(), "ja->\n"); |
int param_count=frame.method_params_count(); |
| PUSH(self); |
|
| PUSH(root); |
if(param_count){ |
| PUSH(rcontext); |
if(junction->auto_name){ // default getter |
| PUSH(wcontext); |
if(param_count==1){ |
| |
Value *param=new VString(*junction->auto_name); |
| WContext *frame; |
frame.store_params(¶m, 1); |
| // for expression method params |
} else |
| // wcontext is set 0 |
throw Exception(PARSER_RUNTIME, |
| // using the fact in decision "which wwrapper to use" |
0, |
| bool using_code_frame=intercept_string && junction->wcontext; |
"default getter method can't have more then 1 parameter (has %d parameters)", param_count); |
| if(using_code_frame) { |
} else |
| // almost plain wwrapper about junction wcontext, |
throw Exception(PARSER_RUNTIME, |
| // BUT intercepts string writes |
0, |
| frame=NEW VCodeFrame(pool(), *junction->wcontext); |
"getter method must have no parameters (has %d parameters)", param_count); |
| } else { |
} // no need for else frame.empty_params() |
| // plain wwrapper |
|
| frame=NEW WWrapper(pool(), 0/*empty*/, false/*not constructing*/); |
frame.set_self(frame.junction.self); |
| } |
|
| |
SAVE_CONTEXT |
| wcontext=frame; |
|
| self=&junction->self; |
rcontext=wcontext=&frame; |
| root=junction->root; |
method_frame=&frame; |
| rcontext=junction->rcontext; |
|
| execute(*junction->code); |
recoursion_checked_execute(*frame.junction.method->parser_code); // parser code, execute it |
| if(using_code_frame) { |
StringOrValue result=wcontext->result(); |
| // CodeFrame soul: |
|
| // string writes were intercepted |
RESTORE_CONTEXT |
| // returning them as the result of getting code-junction |
|
| result=NEW VString(*frame->get_string()); |
return result; |
| } else |
} |
| result=frame->result(); |
|
| |
if(junction->code) { // is it a code-junction? |
| wcontext=static_cast<WContext *>(POP()); |
// process it |
| rcontext=POP(); |
StringOrValue result; |
| root=POP(); |
|
| self=static_cast<VAliased *>(POP()); |
DEBUG_PRINT_STR("ja->\n") |
| |
|
| log_printf(pool(), "<-ja returned"); |
if(!junction->method_frame) |
| } else |
throw Exception(PARSER_RUNTIME, |
| result=&value; |
0, |
| |
"junction used outside of context"); |
| |
|
| |
SAVE_CONTEXT |
| |
|
| |
method_frame=junction->method_frame; |
| |
rcontext=junction->rcontext; |
| |
|
| |
// for expression method params |
| |
// wcontext is set 0 |
| |
// using the fact in decision "which wwrapper to use" |
| |
bool using_code_frame=intercept_string && junction->wcontext; |
| |
if(using_code_frame) { |
| |
// almost plain wwrapper about junction wcontext |
| |
|
| |
VCodeFrame local(*junction->wcontext); |
| |
wcontext=&local; |
| |
|
| |
// execute it |
| |
recoursion_checked_execute(*junction->code); |
| |
|
| |
// CodeFrame soul: |
| |
result=wcontext->result(); |
| |
} else { |
| |
// plain wwrapper |
| |
WWrapper local(wcontext); |
| |
wcontext=&local; |
| |
|
| |
// execute it |
| |
recoursion_checked_execute(*junction->code); |
| |
|
| |
result=wcontext->result(); |
| |
} |
| |
|
| |
RESTORE_CONTEXT |
| |
|
| |
DEBUG_PRINT_STR("<-ja returned") |
| |
|
| |
return result; |
| |
} |
| |
|
| |
// it is then method-junction, do not explode it |
| |
// just return it as we do for usual objects |
| |
} |
| |
|
| |
return input_value; |
| |
} |
| |
|
| |
void Request::process_write(Value& input_value) { |
| |
Junction* junction=input_value.get_junction(); |
| |
if(junction) { |
| |
if(junction->is_getter) { // is it a getter-junction? |
| |
VMethodFrame frame(*junction, method_frame/*caller*/); |
| |
int param_count=frame.method_params_count(); |
| |
|
| |
if(param_count){ |
| |
if(junction->auto_name){ // default getter |
| |
if(param_count==1){ |
| |
Value *param=new VString(*junction->auto_name); |
| |
frame.store_params(¶m, 1); |
| |
} else |
| |
throw Exception(PARSER_RUNTIME, |
| |
0, |
| |
"default getter method can't have more then 1 parameter (has %d parameters)", param_count); |
| |
} else |
| |
throw Exception(PARSER_RUNTIME, |
| |
0, |
| |
"getter method must have no parameters (has %d parameters)", param_count); |
| |
} // no need for else frame.empty_params() |
| |
|
| if(name) |
frame.set_self(frame.junction.self); |
| result->set_name(*name); |
|
| return *result; |
SAVE_CONTEXT |
| |
|
| |
rcontext=wcontext=&frame; |
| |
method_frame=&frame; |
| |
|
| |
recoursion_checked_execute(*frame.junction.method->parser_code); // parser code, execute it |
| |
|
| |
RESTORE_CONTEXT |
| |
|
| |
write_pass_lang(frame.result()); |
| |
return; |
| |
} |
| |
|
| |
if(junction->code) { // is it a code-junction? |
| |
// process it |
| |
|
| |
DEBUG_PRINT_STR("ja->\n") |
| |
|
| |
if(!junction->method_frame) |
| |
throw Exception(PARSER_RUNTIME, |
| |
0, |
| |
"junction used outside of context"); |
| |
|
| |
SAVE_CONTEXT |
| |
|
| |
method_frame=junction->method_frame; |
| |
rcontext=junction->rcontext; |
| |
|
| |
// for expression method params |
| |
// wcontext is set 0 |
| |
// using the fact in decision "which wwrapper to use" |
| |
#ifdef OPTIMIZE_CALL |
| |
if(wcontext==junction->wcontext){ |
| |
// no wrappers for wcontext |
| |
recoursion_checked_execute(*junction->code); |
| |
RESTORE_CONTEXT |
| |
|
| |
} else |
| |
#endif |
| |
if(junction->wcontext) { |
| |
// almost plain wwrapper about junction wcontext |
| |
VCodeFrame local(*junction->wcontext); |
| |
wcontext=&local; |
| |
|
| |
// execute it |
| |
recoursion_checked_execute(*junction->code); |
| |
RESTORE_CONTEXT |
| |
write_pass_lang(local.result()); |
| |
} else { |
| |
// plain wwrapper |
| |
WWrapper local(wcontext); |
| |
wcontext=&local; |
| |
|
| |
// execute it |
| |
recoursion_checked_execute(*junction->code); |
| |
RESTORE_CONTEXT |
| |
write_pass_lang(local.result()); |
| |
} |
| |
|
| |
DEBUG_PRINT_STR("<-ja returned") |
| |
|
| |
return; |
| |
} |
| |
|
| |
// it is then method-junction, do not explode it |
| |
// just return it as we do for usual objects |
| |
} |
| |
|
| |
write_pass_lang(input_value); |
| } |
} |
| |
|
| const String *Request::execute_method(Value& aself, const Method& method, bool return_cstr) { |
StringOrValue Request::execute_method(VMethodFrame& amethod_frame, const Method& method) { |
| PUSH(self); |
SAVE_CONTEXT |
| PUSH(root); |
|
| PUSH(rcontext); |
|
| PUSH(wcontext); |
|
| |
|
| // initialize contexts |
// initialize contexts |
| root=rcontext=self=&aself; |
rcontext=wcontext=method_frame=&amethod_frame; |
| wcontext=NEW WWrapper(pool(), &aself, false /*not constructing*/); |
|
| |
|
| // execute! |
// execute! |
| execute(*method.parser_code); |
execute(*method.parser_code); |
| |
|
| // result |
// result |
| const String *result; |
StringOrValue result=wcontext->result(); |
| if(return_cstr) |
|
| result=&wcontext->as_string(); |
|
| else |
|
| result=0; // ignore result |
|
| |
|
| wcontext=static_cast<WContext *>(POP()); |
RESTORE_CONTEXT |
| rcontext=POP(); |
|
| root=POP(); |
|
| self=static_cast<VAliased *>(POP()); |
|
| |
|
| // return |
// return |
| return result; |
return result; |
| } |
} |
| |
|
| const String *Request::execute_method(Value& aself, |
const String* Request::execute_method(Value& aself, |
| const String& method_name, bool return_cstr) { |
const Method& method, Value* optional_param, |
| if(Value *value=aself.get_element(method_name)) |
bool do_return_string) { |
| if(Junction *junction=value->get_junction()) |
|
| if(const Method *method=junction->method) |
|
| return execute_method(aself, *method, return_cstr); |
|
| |
|
| |
SAVE_CONTEXT |
| |
|
| |
Junction local_junction(aself, &method); |
| |
VMethodFrame local_frame(local_junction, method_frame/*caller*/); |
| |
if(optional_param && local_frame.method_params_count()>0) { |
| |
local_frame.store_params(&optional_param, 1); |
| |
} else { |
| |
local_frame.empty_params(); |
| |
} |
| |
local_frame.set_self(aself); |
| |
rcontext=wcontext=method_frame=&local_frame; |
| |
|
| |
// prevent non-string writes for better error reporting |
| |
if(do_return_string) |
| |
wcontext->write(local_frame); |
| |
|
| |
// execute! |
| |
execute(*method.parser_code); |
| |
|
| |
// result |
| |
const String* result=0; |
| |
if(do_return_string) |
| |
result=&wcontext->result().as_string(); |
| |
|
| |
RESTORE_CONTEXT |
| |
|
| |
return result; |
| |
} |
| |
|
| |
Request::Execute_nonvirtual_method_result |
| |
Request::execute_nonvirtual_method(VStateless_class& aclass, |
| |
const String& method_name, |
| |
VString* optional_param, |
| |
bool do_return_string) { |
| |
Execute_nonvirtual_method_result result; |
| |
result.method=aclass.get_method(method_name); |
| |
if(result.method) |
| |
result.string=execute_method(aclass, *result.method, optional_param, do_return_string); |
| |
return result; |
| |
} |
| |
|
| |
const String* Request::execute_virtual_method(Value& aself, |
| |
const String& method_name) { |
| |
if(Value* value=aself.get_element(method_name, aself, false)) |
| |
if(Junction* junction=value->get_junction()) |
| |
if(const Method *method=junction->method) |
| |
return execute_method(aself, *method, 0/*no params*/, true); |
| |
|
| return 0; |
return 0; |
| } |
} |
![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to execute.C CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [parser3project] / parser3 / src / main