static bool _parse_completion_variant(const Variant& p_var,List<String>* r_options,List<String>::Element *p_indices) { if (p_indices) { bool ok; Variant si = p_var.get(p_indices->get(),&ok); if (!ok) return false; return _parse_completion_variant(si,r_options,p_indices->next()); } else { switch(p_var.get_type()) { case Variant::DICTIONARY: { Dictionary d=p_var; List<Variant> vl; d.get_key_list(&vl); for (List<Variant>::Element *E=vl.front();E;E=E->next()) { if (E->get().get_type()==Variant::STRING) r_options->push_back(E->get()); } List<MethodInfo> ml; p_var.get_method_list(&ml); for(List<MethodInfo>::Element *E=ml.front();E;E=E->next()) { r_options->push_back(E->get().name); } } break; case Variant::OBJECT: { Object *o=p_var; if (o) { print_line("OBJECT: "+o->get_type()); if (p_var.is_ref() && o->cast_to<GDScript>()) { Ref<GDScript> gds = p_var; _parse_script_symbols(gds,true,r_options,NULL); } else if (o->is_type("GDNativeClass")){ GDNativeClass *gnc = o->cast_to<GDNativeClass>(); _parse_native_symbols(gnc->get_name(),false,r_options); } else { print_line("REGULAR BLEND"); _parse_native_symbols(o->get_type(),false,r_options); } } } break; default: { List<PropertyInfo> pi; p_var.get_property_list(&pi); for(List<PropertyInfo>::Element *E=pi.front();E;E=E->next()) { r_options->push_back(E->get().name); } List<StringName> cl; p_var.get_numeric_constants_for_type(p_var.get_type(),&cl); for(List<StringName>::Element *E=cl.front();E;E=E->next()) { r_options->push_back(E->get()); } List<MethodInfo> ml; p_var.get_method_list(&ml); for(List<MethodInfo>::Element *E=ml.front();E;E=E->next()) { r_options->push_back(E->get().name); } } break; } return true; } }
Variant GDFunction::call(GDInstance *p_instance, const Variant **p_args, int p_argcount, Variant::CallError &r_err, CallState *p_state) { if (!_code_ptr) { return Variant(); } r_err.error = Variant::CallError::CALL_OK; Variant self; Variant retvalue; Variant *stack = NULL; Variant **call_args; int defarg = 0; #ifdef DEBUG_ENABLED //GDScriptLanguage::get_singleton()->calls++; #endif uint32_t alloca_size = 0; GDScript *_class; int ip = 0; int line = _initial_line; if (p_state) { //use existing (supplied) state (yielded) stack = (Variant *)p_state->stack.ptr(); call_args = (Variant **)stack + sizeof(Variant) * p_state->stack_size; line = p_state->line; ip = p_state->ip; alloca_size = p_state->stack.size(); _class = p_state->_class; p_instance = p_state->instance; defarg = p_state->defarg; self = p_state->self; //stack[p_state->result_pos]=p_state->result; //assign stack with result } else { if (p_argcount != _argument_count) { if (p_argcount > _argument_count) { r_err.error = Variant::CallError::CALL_ERROR_TOO_MANY_ARGUMENTS; r_err.argument = _argument_count; return Variant(); } else if (p_argcount < _argument_count - _default_arg_count) { r_err.error = Variant::CallError::CALL_ERROR_TOO_FEW_ARGUMENTS; r_err.argument = _argument_count - _default_arg_count; return Variant(); } else { defarg = _argument_count - p_argcount; } } alloca_size = sizeof(Variant *) * _call_size + sizeof(Variant) * _stack_size; if (alloca_size) { uint8_t *aptr = (uint8_t *)alloca(alloca_size); if (_stack_size) { stack = (Variant *)aptr; for (int i = 0; i < p_argcount; i++) memnew_placement(&stack[i], Variant(*p_args[i])); for (int i = p_argcount; i < _stack_size; i++) memnew_placement(&stack[i], Variant); } else { stack = NULL; } if (_call_size) { call_args = (Variant **)&aptr[sizeof(Variant) * _stack_size]; } else { call_args = NULL; } } else { stack = NULL; call_args = NULL; } if (p_instance) { if (p_instance->base_ref && static_cast<Reference *>(p_instance->owner)->is_referenced()) { self = REF(static_cast<Reference *>(p_instance->owner)); } else { self = p_instance->owner; } _class = p_instance->script.ptr(); } else { _class = _script; } } String err_text; #ifdef DEBUG_ENABLED if (ScriptDebugger::get_singleton()) GDScriptLanguage::get_singleton()->enter_function(p_instance, this, stack, &ip, &line); #define CHECK_SPACE(m_space) \ ERR_BREAK((ip + m_space) > _code_size) #define GET_VARIANT_PTR(m_v, m_code_ofs) \ Variant *m_v; \ m_v = _get_variant(_code_ptr[ip + m_code_ofs], p_instance, _class, self, stack, err_text); \ if (!m_v) \ break; #else #define CHECK_SPACE(m_space) #define GET_VARIANT_PTR(m_v, m_code_ofs) \ Variant *m_v; \ m_v = _get_variant(_code_ptr[ip + m_code_ofs], p_instance, _class, self, stack, err_text); #endif #ifdef DEBUG_ENABLED uint64_t function_start_time; uint64_t function_call_time; if (GDScriptLanguage::get_singleton()->profiling) { function_start_time = OS::get_singleton()->get_ticks_usec(); function_call_time = 0; profile.call_count++; profile.frame_call_count++; } #endif bool exit_ok = false; while (ip < _code_size) { int last_opcode = _code_ptr[ip]; switch (_code_ptr[ip]) { case OPCODE_OPERATOR: { CHECK_SPACE(5); bool valid; Variant::Operator op = (Variant::Operator)_code_ptr[ip + 1]; ERR_BREAK(op >= Variant::OP_MAX); GET_VARIANT_PTR(a, 2); GET_VARIANT_PTR(b, 3); GET_VARIANT_PTR(dst, 4); #ifdef DEBUG_ENABLED Variant ret; Variant::evaluate(op, *a, *b, ret, valid); #else Variant::evaluate(op, *a, *b, *dst, valid); #endif if (!valid) { #ifdef DEBUG_ENABLED if (ret.get_type() == Variant::STRING) { //return a string when invalid with the error err_text = ret; err_text += " in operator '" + Variant::get_operator_name(op) + "'."; } else { err_text = "Invalid operands '" + Variant::get_type_name(a->get_type()) + "' and '" + Variant::get_type_name(b->get_type()) + "' in operator '" + Variant::get_operator_name(op) + "'."; } #endif break; } #ifdef DEBUG_ENABLED *dst = ret; #endif ip += 5; continue; } case OPCODE_EXTENDS_TEST: { CHECK_SPACE(4); GET_VARIANT_PTR(a, 1); GET_VARIANT_PTR(b, 2); GET_VARIANT_PTR(dst, 3); #ifdef DEBUG_ENABLED if (a->get_type() != Variant::OBJECT || a->operator Object *() == NULL) { err_text = "Left operand of 'extends' is not an instance of anything."; break; } if (b->get_type() != Variant::OBJECT || b->operator Object *() == NULL) { err_text = "Right operand of 'extends' is not a class."; break; } #endif Object *obj_A = *a; Object *obj_B = *b; GDScript *scr_B = obj_B->cast_to<GDScript>(); bool extends_ok = false; if (scr_B) { //if B is a script, the only valid condition is that A has an instance which inherits from the script //in other situation, this shoul return false. if (obj_A->get_script_instance() && obj_A->get_script_instance()->get_language() == GDScriptLanguage::get_singleton()) { GDScript *cmp = static_cast<GDScript *>(obj_A->get_script_instance()->get_script().ptr()); //bool found=false; while (cmp) { if (cmp == scr_B) { //inherits from script, all ok extends_ok = true; break; } cmp = cmp->_base; } } } else { GDNativeClass *nc = obj_B->cast_to<GDNativeClass>(); if (!nc) { err_text = "Right operand of 'extends' is not a class (type: '" + obj_B->get_class() + "')."; break; } extends_ok = ClassDB::is_parent_class(obj_A->get_class_name(), nc->get_name()); } *dst = extends_ok; ip += 4; continue; } case OPCODE_SET: { CHECK_SPACE(3); GET_VARIANT_PTR(dst, 1); GET_VARIANT_PTR(index, 2); GET_VARIANT_PTR(value, 3); bool valid; dst->set(*index, *value, &valid); if (!valid) { String v = index->operator String(); if (v != "") { v = "'" + v + "'"; } else { v = "of type '" + _get_var_type(index) + "'"; } err_text = "Invalid set index " + v + " (on base: '" + _get_var_type(dst) + "')."; break; } ip += 4; continue; } case OPCODE_GET: { CHECK_SPACE(3); GET_VARIANT_PTR(src, 1); GET_VARIANT_PTR(index, 2); GET_VARIANT_PTR(dst, 3); bool valid; #ifdef DEBUG_ENABLED //allow better error message in cases where src and dst are the same stack position Variant ret = src->get(*index, &valid); #else *dst = src->get(*index, &valid); #endif if (!valid) { String v = index->operator String(); if (v != "") { v = "'" + v + "'"; } else { v = "of type '" + _get_var_type(index) + "'"; } err_text = "Invalid get index " + v + " (on base: '" + _get_var_type(src) + "')."; break; } #ifdef DEBUG_ENABLED *dst = ret; #endif ip += 4; continue; } case OPCODE_SET_NAMED: { CHECK_SPACE(3); GET_VARIANT_PTR(dst, 1); GET_VARIANT_PTR(value, 3); int indexname = _code_ptr[ip + 2]; ERR_BREAK(indexname < 0 || indexname >= _global_names_count); const StringName *index = &_global_names_ptr[indexname]; bool valid; dst->set_named(*index, *value, &valid); if (!valid) { String err_type; err_text = "Invalid set index '" + String(*index) + "' (on base: '" + _get_var_type(dst) + "')."; break; } ip += 4; continue; } case OPCODE_GET_NAMED: { CHECK_SPACE(4); GET_VARIANT_PTR(src, 1); GET_VARIANT_PTR(dst, 3); int indexname = _code_ptr[ip + 2]; ERR_BREAK(indexname < 0 || indexname >= _global_names_count); const StringName *index = &_global_names_ptr[indexname]; bool valid; #ifdef DEBUG_ENABLED //allow better error message in cases where src and dst are the same stack position Variant ret = src->get_named(*index, &valid); #else *dst = src->get_named(*index, &valid); #endif if (!valid) { if (src->has_method(*index)) { err_text = "Invalid get index '" + index->operator String() + "' (on base: '" + _get_var_type(src) + "'). Did you mean '." + index->operator String() + "()' ?"; } else { err_text = "Invalid get index '" + index->operator String() + "' (on base: '" + _get_var_type(src) + "')."; } break; } #ifdef DEBUG_ENABLED *dst = ret; #endif ip += 4; continue; } case OPCODE_SET_MEMBER: { CHECK_SPACE(3); int indexname = _code_ptr[ip + 1]; ERR_BREAK(indexname < 0 || indexname >= _global_names_count); const StringName *index = &_global_names_ptr[indexname]; GET_VARIANT_PTR(src, 2); bool valid; bool ok = ClassDB::set_property(p_instance->owner, *index, *src, &valid); #ifdef DEBUG_ENABLED if (!ok) { err_text = "Internal error setting property: " + String(*index); break; } else if (!valid) { err_text = "Error setting property '" + String(*index) + "' with value of type " + Variant::get_type_name(src->get_type()) + "."; break; } #endif ip += 3; continue; } case OPCODE_GET_MEMBER: { CHECK_SPACE(3); int indexname = _code_ptr[ip + 1]; ERR_BREAK(indexname < 0 || indexname >= _global_names_count); const StringName *index = &_global_names_ptr[indexname]; GET_VARIANT_PTR(dst, 2); bool ok = ClassDB::get_property(p_instance->owner, *index, *dst); #ifdef DEBUG_ENABLED if (!ok) { err_text = "Internal error getting property: " + String(*index); break; } #endif ip += 3; continue; } case OPCODE_ASSIGN: { CHECK_SPACE(3); GET_VARIANT_PTR(dst, 1); GET_VARIANT_PTR(src, 2); *dst = *src; ip += 3; continue; } case OPCODE_ASSIGN_TRUE: { CHECK_SPACE(2); GET_VARIANT_PTR(dst, 1); *dst = true; ip += 2; continue; } case OPCODE_ASSIGN_FALSE: { CHECK_SPACE(2); GET_VARIANT_PTR(dst, 1); *dst = false; ip += 2; continue; } case OPCODE_CONSTRUCT: { CHECK_SPACE(2); Variant::Type t = Variant::Type(_code_ptr[ip + 1]); int argc = _code_ptr[ip + 2]; CHECK_SPACE(argc + 2); Variant **argptrs = call_args; for (int i = 0; i < argc; i++) { GET_VARIANT_PTR(v, 3 + i); argptrs[i] = v; } GET_VARIANT_PTR(dst, 3 + argc); Variant::CallError err; *dst = Variant::construct(t, (const Variant **)argptrs, argc, err); if (err.error != Variant::CallError::CALL_OK) { err_text = _get_call_error(err, "'" + Variant::get_type_name(t) + "' constructor", (const Variant **)argptrs); break; } ip += 4 + argc; //construct a basic type continue; } case OPCODE_CONSTRUCT_ARRAY: { CHECK_SPACE(1); int argc = _code_ptr[ip + 1]; Array array; //arrays are always shared array.resize(argc); CHECK_SPACE(argc + 2); for (int i = 0; i < argc; i++) { GET_VARIANT_PTR(v, 2 + i); array[i] = *v; } GET_VARIANT_PTR(dst, 2 + argc); *dst = array; ip += 3 + argc; continue; } case OPCODE_CONSTRUCT_DICTIONARY: { CHECK_SPACE(1); int argc = _code_ptr[ip + 1]; Dictionary dict; //arrays are always shared CHECK_SPACE(argc * 2 + 2); for (int i = 0; i < argc; i++) { GET_VARIANT_PTR(k, 2 + i * 2 + 0); GET_VARIANT_PTR(v, 2 + i * 2 + 1); dict[*k] = *v; } GET_VARIANT_PTR(dst, 2 + argc * 2); *dst = dict; ip += 3 + argc * 2; continue; } case OPCODE_CALL_RETURN: case OPCODE_CALL: { CHECK_SPACE(4); bool call_ret = _code_ptr[ip] == OPCODE_CALL_RETURN; int argc = _code_ptr[ip + 1]; GET_VARIANT_PTR(base, 2); int nameg = _code_ptr[ip + 3]; ERR_BREAK(nameg < 0 || nameg >= _global_names_count); const StringName *methodname = &_global_names_ptr[nameg]; ERR_BREAK(argc < 0); ip += 4; CHECK_SPACE(argc + 1); Variant **argptrs = call_args; for (int i = 0; i < argc; i++) { GET_VARIANT_PTR(v, i); argptrs[i] = v; } #ifdef DEBUG_ENABLED uint64_t call_time; if (GDScriptLanguage::get_singleton()->profiling) { call_time = OS::get_singleton()->get_ticks_usec(); } #endif Variant::CallError err; if (call_ret) { GET_VARIANT_PTR(ret, argc); base->call_ptr(*methodname, (const Variant **)argptrs, argc, ret, err); } else { base->call_ptr(*methodname, (const Variant **)argptrs, argc, NULL, err); } #ifdef DEBUG_ENABLED if (GDScriptLanguage::get_singleton()->profiling) { function_call_time += OS::get_singleton()->get_ticks_usec() - call_time; } #endif if (err.error != Variant::CallError::CALL_OK) { String methodstr = *methodname; String basestr = _get_var_type(base); if (methodstr == "call") { if (argc >= 1) { methodstr = String(*argptrs[0]) + " (via call)"; if (err.error == Variant::CallError::CALL_ERROR_INVALID_ARGUMENT) { err.argument -= 1; } } } else if (methodstr == "free") { if (err.error == Variant::CallError::CALL_ERROR_INVALID_METHOD) { if (base->is_ref()) { err_text = "Attempted to free a reference."; break; } else if (base->get_type() == Variant::OBJECT) { err_text = "Attempted to free a locked object (calling or emitting)."; break; } } } err_text = _get_call_error(err, "function '" + methodstr + "' in base '" + basestr + "'", (const Variant **)argptrs); break; } //_call_func(NULL,base,*methodname,ip,argc,p_instance,stack); ip += argc + 1; continue; } case OPCODE_CALL_BUILT_IN: { CHECK_SPACE(4); GDFunctions::Function func = GDFunctions::Function(_code_ptr[ip + 1]); int argc = _code_ptr[ip + 2]; ERR_BREAK(argc < 0); ip += 3; CHECK_SPACE(argc + 1); Variant **argptrs = call_args; for (int i = 0; i < argc; i++) { GET_VARIANT_PTR(v, i); argptrs[i] = v; } GET_VARIANT_PTR(dst, argc); Variant::CallError err; GDFunctions::call(func, (const Variant **)argptrs, argc, *dst, err); if (err.error != Variant::CallError::CALL_OK) { String methodstr = GDFunctions::get_func_name(func); if (dst->get_type() == Variant::STRING) { //call provided error string err_text = "Error calling built-in function '" + methodstr + "': " + String(*dst); } else { err_text = _get_call_error(err, "built-in function '" + methodstr + "'", (const Variant **)argptrs); } break; } ip += argc + 1; continue; } case OPCODE_CALL_SELF: { break; } case OPCODE_CALL_SELF_BASE: { CHECK_SPACE(2); int self_fun = _code_ptr[ip + 1]; #ifdef DEBUG_ENABLED if (self_fun < 0 || self_fun >= _global_names_count) { err_text = "compiler bug, function name not found"; break; } #endif const StringName *methodname = &_global_names_ptr[self_fun]; int argc = _code_ptr[ip + 2]; CHECK_SPACE(2 + argc + 1); Variant **argptrs = call_args; for (int i = 0; i < argc; i++) { GET_VARIANT_PTR(v, i + 3); argptrs[i] = v; } GET_VARIANT_PTR(dst, argc + 3); const GDScript *gds = _script; const Map<StringName, GDFunction *>::Element *E = NULL; while (gds->base.ptr()) { gds = gds->base.ptr(); E = gds->member_functions.find(*methodname); if (E) break; } Variant::CallError err; if (E) { *dst = E->get()->call(p_instance, (const Variant **)argptrs, argc, err); } else if (gds->native.ptr()) { if (*methodname != GDScriptLanguage::get_singleton()->strings._init) { MethodBind *mb = ClassDB::get_method(gds->native->get_name(), *methodname); if (!mb) { err.error = Variant::CallError::CALL_ERROR_INVALID_METHOD; } else { *dst = mb->call(p_instance->owner, (const Variant **)argptrs, argc, err); } } else { err.error = Variant::CallError::CALL_OK; } } else { if (*methodname != GDScriptLanguage::get_singleton()->strings._init) { err.error = Variant::CallError::CALL_ERROR_INVALID_METHOD; } else { err.error = Variant::CallError::CALL_OK; } } if (err.error != Variant::CallError::CALL_OK) { String methodstr = *methodname; err_text = _get_call_error(err, "function '" + methodstr + "'", (const Variant **)argptrs); break; } ip += 4 + argc; continue; } case OPCODE_YIELD: case OPCODE_YIELD_SIGNAL: { int ipofs = 1; if (_code_ptr[ip] == OPCODE_YIELD_SIGNAL) { CHECK_SPACE(4); ipofs += 2; } else { CHECK_SPACE(2); } Ref<GDFunctionState> gdfs = memnew(GDFunctionState); gdfs->function = this; gdfs->state.stack.resize(alloca_size); //copy variant stack for (int i = 0; i < _stack_size; i++) { memnew_placement(&gdfs->state.stack[sizeof(Variant) * i], Variant(stack[i])); } gdfs->state.stack_size = _stack_size; gdfs->state.self = self; gdfs->state.alloca_size = alloca_size; gdfs->state._class = _class; gdfs->state.ip = ip + ipofs; gdfs->state.line = line; gdfs->state.instance_id = (p_instance && p_instance->get_owner()) ? p_instance->get_owner()->get_instance_ID() : 0; gdfs->state.script_id = _class->get_instance_ID(); //gdfs->state.result_pos=ip+ipofs-1; gdfs->state.defarg = defarg; gdfs->state.instance = p_instance; gdfs->function = this; retvalue = gdfs; if (_code_ptr[ip] == OPCODE_YIELD_SIGNAL) { GET_VARIANT_PTR(argobj, 1); GET_VARIANT_PTR(argname, 2); //do the oneshot connect if (argobj->get_type() != Variant::OBJECT) { err_text = "First argument of yield() not of type object."; break; } if (argname->get_type() != Variant::STRING) { err_text = "Second argument of yield() not a string (for signal name)."; break; } Object *obj = argobj->operator Object *(); String signal = argname->operator String(); #ifdef DEBUG_ENABLED if (!obj) { err_text = "First argument of yield() is null."; break; } if (ScriptDebugger::get_singleton()) { if (!ObjectDB::instance_validate(obj)) { err_text = "First argument of yield() is a previously freed instance."; break; } } if (signal.length() == 0) { err_text = "Second argument of yield() is an empty string (for signal name)."; break; } #endif Error err = obj->connect(signal, gdfs.ptr(), "_signal_callback", varray(gdfs), Object::CONNECT_ONESHOT); if (err != OK) { err_text = "Error connecting to signal: " + signal + " during yield()."; break; } } exit_ok = true; break; } case OPCODE_YIELD_RESUME: { CHECK_SPACE(2); if (!p_state) { err_text = ("Invalid Resume (bug?)"); break; } GET_VARIANT_PTR(result, 1); *result = p_state->result; ip += 2; continue; } case OPCODE_JUMP: { CHECK_SPACE(2); int to = _code_ptr[ip + 1]; ERR_BREAK(to < 0 || to > _code_size); ip = to; continue; } case OPCODE_JUMP_IF: { CHECK_SPACE(3); GET_VARIANT_PTR(test, 1); bool valid; bool result = test->booleanize(valid); #ifdef DEBUG_ENABLED if (!valid) { err_text = "cannot evaluate conditional expression of type: " + Variant::get_type_name(test->get_type()); break; } #endif if (result) { int to = _code_ptr[ip + 2]; ERR_BREAK(to < 0 || to > _code_size); ip = to; continue; } ip += 3; continue; } case OPCODE_JUMP_IF_NOT: { CHECK_SPACE(3); GET_VARIANT_PTR(test, 1); bool valid; bool result = test->booleanize(valid); #ifdef DEBUG_ENABLED if (!valid) { err_text = "cannot evaluate conditional expression of type: " + Variant::get_type_name(test->get_type()); break; } #endif if (!result) { int to = _code_ptr[ip + 2]; ERR_BREAK(to < 0 || to > _code_size); ip = to; continue; } ip += 3; continue; } case OPCODE_JUMP_TO_DEF_ARGUMENT: { CHECK_SPACE(2); ip = _default_arg_ptr[defarg]; continue; } case OPCODE_RETURN: { CHECK_SPACE(2); GET_VARIANT_PTR(r, 1); retvalue = *r; exit_ok = true; break; } case OPCODE_ITERATE_BEGIN: { CHECK_SPACE(8); //space for this an regular iterate GET_VARIANT_PTR(counter, 1); GET_VARIANT_PTR(container, 2); bool valid; if (!container->iter_init(*counter, valid)) { if (!valid) { err_text = "Unable to iterate on object of type " + Variant::get_type_name(container->get_type()) + "'."; break; } int jumpto = _code_ptr[ip + 3]; ERR_BREAK(jumpto < 0 || jumpto > _code_size); ip = jumpto; continue; } GET_VARIANT_PTR(iterator, 4); *iterator = container->iter_get(*counter, valid); if (!valid) { err_text = "Unable to obtain iterator object of type " + Variant::get_type_name(container->get_type()) + "'."; break; } ip += 5; //skip regular iterate which is always next continue; } case OPCODE_ITERATE: { CHECK_SPACE(4); GET_VARIANT_PTR(counter, 1); GET_VARIANT_PTR(container, 2); bool valid; if (!container->iter_next(*counter, valid)) { if (!valid) { err_text = "Unable to iterate on object of type " + Variant::get_type_name(container->get_type()) + "' (type changed since first iteration?)."; break; } int jumpto = _code_ptr[ip + 3]; ERR_BREAK(jumpto < 0 || jumpto > _code_size); ip = jumpto; continue; } GET_VARIANT_PTR(iterator, 4); *iterator = container->iter_get(*counter, valid); if (!valid) { err_text = "Unable to obtain iterator object of type " + Variant::get_type_name(container->get_type()) + "' (but was obtained on first iteration?)."; break; } ip += 5; //loop again continue; } case OPCODE_ASSERT: { CHECK_SPACE(2); GET_VARIANT_PTR(test, 1); #ifdef DEBUG_ENABLED bool valid; bool result = test->booleanize(valid); if (!valid) { err_text = "cannot evaluate conditional expression of type: " + Variant::get_type_name(test->get_type()); break; } if (!result) { err_text = "Assertion failed."; break; } #endif ip += 2; continue; } case OPCODE_BREAKPOINT: { #ifdef DEBUG_ENABLED if (ScriptDebugger::get_singleton()) { GDScriptLanguage::get_singleton()->debug_break("Breakpoint Statement", true); } #endif ip += 1; continue; } case OPCODE_LINE: { CHECK_SPACE(2); line = _code_ptr[ip + 1]; ip += 2; if (ScriptDebugger::get_singleton()) { // line bool do_break = false; if (ScriptDebugger::get_singleton()->get_lines_left() > 0) { if (ScriptDebugger::get_singleton()->get_depth() <= 0) ScriptDebugger::get_singleton()->set_lines_left(ScriptDebugger::get_singleton()->get_lines_left() - 1); if (ScriptDebugger::get_singleton()->get_lines_left() <= 0) do_break = true; } if (ScriptDebugger::get_singleton()->is_breakpoint(line, source)) do_break = true; if (do_break) { GDScriptLanguage::get_singleton()->debug_break("Breakpoint", true); } ScriptDebugger::get_singleton()->line_poll(); } continue; } case OPCODE_END: { exit_ok = true; break; } default: { err_text = "Illegal opcode " + itos(_code_ptr[ip]) + " at address " + itos(ip); break; } } if (exit_ok) break; //error // function, file, line, error, explanation String err_file; if (p_instance) err_file = p_instance->script->path; else if (_class) err_file = _class->path; if (err_file == "") err_file = "<built-in>"; String err_func = name; if (p_instance && p_instance->script->name != "") err_func = p_instance->script->name + "." + err_func; int err_line = line; if (err_text == "") { err_text = "Internal Script Error! - opcode #" + itos(last_opcode) + " (report please)."; } if (!GDScriptLanguage::get_singleton()->debug_break(err_text, false)) { // debugger break did not happen _err_print_error(err_func.utf8().get_data(), err_file.utf8().get_data(), err_line, err_text.utf8().get_data(), ERR_HANDLER_SCRIPT); } break; } #ifdef DEBUG_ENABLED if (GDScriptLanguage::get_singleton()->profiling) { uint64_t time_taken = OS::get_singleton()->get_ticks_usec() - function_start_time; profile.total_time += time_taken; profile.self_time += time_taken - function_call_time; profile.frame_total_time += time_taken; profile.frame_self_time += time_taken - function_call_time; GDScriptLanguage::get_singleton()->script_frame_time += time_taken - function_call_time; } #endif if (ScriptDebugger::get_singleton()) GDScriptLanguage::get_singleton()->exit_function(); if (_stack_size) { //free stack for (int i = 0; i < _stack_size; i++) stack[i].~Variant(); } return retvalue; }
static bool _guess_expression_type(GDCompletionContext& context,const GDParser::Node* p_node,int p_line,GDCompletionIdentifier &r_type) { if (p_node->type==GDParser::Node::TYPE_CONSTANT) { const GDParser::ConstantNode *cn=static_cast<const GDParser::ConstantNode *>(p_node); r_type=_get_type_from_variant(cn->value); return true; } else if (p_node->type==GDParser::Node::TYPE_DICTIONARY) { r_type.type=Variant::DICTIONARY; //what the heck, fill it anyway const GDParser::DictionaryNode *an = static_cast<const GDParser::DictionaryNode *>(p_node); Dictionary d; for(int i=0;i<an->elements.size();i++) { GDCompletionIdentifier k; if (_guess_expression_type(context,an->elements[i].key,p_line,k) && k.value.get_type()!=Variant::NIL) { GDCompletionIdentifier v; if (_guess_expression_type(context,an->elements[i].value,p_line,v)) { d[k.value]=v.value; } } } r_type.value=d; return true; } else if (p_node->type==GDParser::Node::TYPE_ARRAY) { r_type.type=Variant::ARRAY; //what the heck, fill it anyway const GDParser::ArrayNode *an = static_cast<const GDParser::ArrayNode *>(p_node); Array arr; arr.resize(an->elements.size()); for(int i=0;i<an->elements.size();i++) { GDCompletionIdentifier ci; if (_guess_expression_type(context,an->elements[i],p_line,ci)) { arr[i]=ci.value; } } r_type.value=arr; return true; } else if (p_node->type==GDParser::Node::TYPE_BUILT_IN_FUNCTION) { MethodInfo mi = GDFunctions::get_info(static_cast<const GDParser::BuiltInFunctionNode*>(p_node)->function); r_type=_get_type_from_pinfo(mi.return_val); return true; } else if (p_node->type==GDParser::Node::TYPE_IDENTIFIER) { return _guess_identifier_type(context,p_line-1,static_cast<const GDParser::IdentifierNode *>(p_node)->name,r_type); } else if (p_node->type==GDParser::Node::TYPE_SELF) { //eeh... r_type=_get_native_class(context); return r_type.type!=Variant::NIL; } else if (p_node->type==GDParser::Node::TYPE_OPERATOR) { const GDParser::OperatorNode *op = static_cast<const GDParser::OperatorNode *>(p_node); if (op->op==GDParser::OperatorNode::OP_CALL) { if (op->arguments[0]->type==GDParser::Node::TYPE_TYPE) { const GDParser::TypeNode *tn = static_cast<const GDParser::TypeNode *>(op->arguments[0]); r_type.type=tn->vtype; return true; } else if (op->arguments[0]->type==GDParser::Node::TYPE_BUILT_IN_FUNCTION) { const GDParser::BuiltInFunctionNode *bin = static_cast<const GDParser::BuiltInFunctionNode *>(op->arguments[0]); return _guess_expression_type(context,bin,p_line,r_type); } else if (op->arguments.size()>1 && op->arguments[1]->type==GDParser::Node::TYPE_IDENTIFIER) { GDCompletionIdentifier base; if (!_guess_expression_type(context,op->arguments[0],p_line,base)) return false; StringName id = static_cast<const GDParser::IdentifierNode *>(op->arguments[1])->name; if (base.type==Variant::OBJECT) { if (id.operator String()=="new" && base.value.get_type()==Variant::OBJECT) { Object *obj = base.value; if (obj && obj->cast_to<GDNativeClass>()) { GDNativeClass *gdnc = obj->cast_to<GDNativeClass>(); r_type.type=Variant::OBJECT; r_type.value=Variant(); r_type.obj_type=gdnc->get_name(); return true; } } if (ObjectTypeDB::has_method(base.obj_type,id)) { #ifdef TOOLS_ENABLED MethodBind *mb = ObjectTypeDB::get_method(base.obj_type,id); PropertyInfo pi = mb->get_argument_info(-1); //try calling the function if constant and all args are constant, should not crash.. Object *baseptr = base.value; if (baseptr && mb->is_const() && pi.type==Variant::OBJECT) { bool all_valid=true; Vector<Variant> args; for(int i=2;i<op->arguments.size();i++) { GDCompletionIdentifier arg; if (_guess_expression_type(context,op->arguments[i],p_line,arg)) { if (arg.value.get_type()!=Variant::NIL && arg.value.get_type()!=Variant::OBJECT) { // calling with object seems dangerous, i don' t know args.push_back(arg.value); } else { all_valid=false; break; } } else { all_valid=false; } } if (all_valid) { Vector<const Variant*> argptr; for(int i=0;i<args.size();i++) { argptr.push_back(&args[i]); } Variant::CallError ce; Variant ret=mb->call(baseptr,argptr.ptr(),argptr.size(),ce); if (ce.error==Variant::CallError::CALL_OK && ret.get_type()!=Variant::NIL) { if (ret.get_type()!=Variant::OBJECT || ret.operator Object*()!=NULL) { r_type=_get_type_from_variant(ret); return true; } } } } r_type.type=pi.type; if (pi.hint==PROPERTY_HINT_RESOURCE_TYPE) { r_type.obj_type=pi.hint_string; } return true; #else return false; #endif } else { return false; } } else { //method for some variant.. Variant::CallError ce; Variant v = Variant::construct(base.type,NULL,0,ce); List<MethodInfo> mi; v.get_method_list(&mi); for (List<MethodInfo>::Element *E=mi.front();E;E=E->next()) { if (!E->get().name.begins_with("_") && E->get().name==id.operator String()) { MethodInfo mi = E->get(); r_type.type=mi.return_val.type; if (mi.return_val.hint==PROPERTY_HINT_RESOURCE_TYPE) { r_type.obj_type=mi.return_val.hint_string; } return true; } } } } } else if (op->op==GDParser::OperatorNode::OP_INDEX || op->op==GDParser::OperatorNode::OP_INDEX_NAMED) { GDCompletionIdentifier p1; GDCompletionIdentifier p2; if (op->op==GDParser::OperatorNode::OP_INDEX_NAMED) { if (op->arguments[1]->type==GDParser::Node::TYPE_IDENTIFIER) { String id = static_cast<const GDParser::IdentifierNode*>(op->arguments[1])->name; p2.type=Variant::STRING; p2.value=id; } } else { if (op->arguments[1]) { if (!_guess_expression_type(context,op->arguments[1],p_line,p2)) { return false; } } } if (op->arguments[0]->type==GDParser::Node::TYPE_ARRAY) { const GDParser::ArrayNode *an = static_cast<const GDParser::ArrayNode *>(op->arguments[0]); if (p2.value.is_num()) { int index = p2.value; if (index<0 || index>=an->elements.size()) return false; return _guess_expression_type(context,an->elements[index],p_line,r_type); } } else if (op->arguments[0]->type==GDParser::Node::TYPE_DICTIONARY) { const GDParser::DictionaryNode *dn = static_cast<const GDParser::DictionaryNode *>(op->arguments[0]); if (p2.value.get_type()==Variant::NIL) return false; for(int i=0;i<dn->elements.size();i++) { GDCompletionIdentifier k; if (!_guess_expression_type(context,dn->elements[i].key,p_line,k)) { return false; } if (k.value.get_type()==Variant::NIL) return false; if (k.value==p2.value) { return _guess_expression_type(context,dn->elements[i].value,p_line,r_type); } } } else { if (op->arguments[0]) { if (!_guess_expression_type(context,op->arguments[0],p_line,p1)) { return false; } } if (p1.value.get_type()==Variant::OBJECT) { //?? } else if (p1.value.get_type()!=Variant::NIL) { bool valid; Variant ret = p1.value.get(p2.value,&valid); if (valid) { r_type=_get_type_from_variant(ret); return true; } } else { if (p1.type!=Variant::NIL) { Variant::CallError ce; Variant base = Variant::construct(p1.type,NULL,0,ce); bool valid; Variant ret = base.get(p2.value,&valid); if (valid) { r_type=_get_type_from_variant(ret); return true; } } } } } else { Variant::Operator vop = Variant::OP_MAX; switch(op->op) { case GDParser::OperatorNode::OP_ADD: vop=Variant::OP_ADD; break; case GDParser::OperatorNode::OP_SUB: vop=Variant::OP_SUBSTRACT; break; case GDParser::OperatorNode::OP_MUL: vop=Variant::OP_MULTIPLY; break; case GDParser::OperatorNode::OP_DIV: vop=Variant::OP_DIVIDE; break; case GDParser::OperatorNode::OP_MOD: vop=Variant::OP_MODULE; break; case GDParser::OperatorNode::OP_SHIFT_LEFT: vop=Variant::OP_SHIFT_LEFT; break; case GDParser::OperatorNode::OP_SHIFT_RIGHT: vop=Variant::OP_SHIFT_RIGHT; break; case GDParser::OperatorNode::OP_BIT_AND: vop=Variant::OP_BIT_AND; break; case GDParser::OperatorNode::OP_BIT_OR: vop=Variant::OP_BIT_OR; break; case GDParser::OperatorNode::OP_BIT_XOR: vop=Variant::OP_BIT_XOR; break; default:{} } if (vop==Variant::OP_MAX) return false; GDCompletionIdentifier p1; GDCompletionIdentifier p2; if (op->arguments[0]) { if (!_guess_expression_type(context,op->arguments[0],p_line,p1)) { return false; } } if (op->arguments.size()>1) { if (!_guess_expression_type(context,op->arguments[1],p_line,p2)) { return false; } } Variant::CallError ce; bool v1_use_value = p1.value.get_type()!=Variant::NIL && p1.value.get_type()!=Variant::OBJECT; Variant v1 = (v1_use_value)?p1.value:Variant::construct(p1.type,NULL,0,ce); bool v2_use_value = p2.value.get_type()!=Variant::NIL && p2.value.get_type()!=Variant::OBJECT; Variant v2 = (v2_use_value)?p2.value:Variant::construct(p2.type,NULL,0,ce); // avoid potential invalid ops if ((vop==Variant::OP_DIVIDE || vop==Variant::OP_MODULE) && v2.get_type()==Variant::INT) { v2=1; v2_use_value=false; } if (vop==Variant::OP_DIVIDE && v2.get_type()==Variant::REAL) { v2=1.0; v2_use_value=false; } Variant r; bool valid; Variant::evaluate(vop,v1,v2,r,valid); if (!valid) return false; r_type.type=r.get_type(); if (v1_use_value && v2_use_value) r_type.value=r; return true; } } return false; }