blob: b50e12013bad6951eea9c19f0c60c92308b23d70 [file] [log] [blame]
// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
#include "vm/resolver.h"
#include "vm/dart_entry.h"
#include "vm/flags.h"
#include "vm/isolate.h"
#include "vm/log.h"
#include "vm/object.h"
#include "vm/object_store.h"
#include "vm/symbols.h"
namespace dart {
DEFINE_FLAG(bool, trace_resolving, false, "Trace resolving.");
// Find the target of an instance call, which might be
// - a user-defined method
// - a method extractor (getter call to user-defined regular method)
// - an invoke field dispatcher (regular method call to user-defined getter)
// - a dynamic invocation forwarder (dynamic call to one of the above)
// - a no-such-method dispatcher (no target or target with wrong number of
// positional arguments)
//
// Positional arguments are checked here: the number of positional arguments
// doesn't match the target, a no-such-method-dispatcher will be returned.
// Named arguments are checked in the target's prologue.
RawFunction* Resolver::ResolveDynamic(const Instance& receiver,
const String& function_name,
const ArgumentsDescriptor& args_desc) {
const Class& cls = Class::Handle(receiver.clazz());
return ResolveDynamicForReceiverClass(cls, function_name, args_desc);
}
RawFunction* Resolver::ResolveDynamicForReceiverClass(
const Class& receiver_class,
const String& function_name,
const ArgumentsDescriptor& args_desc,
bool allow_add) {
Thread* thread = Thread::Current();
Zone* zone = thread->zone();
if (FLAG_trace_resolving) {
THR_Print("ResolveDynamic '%s' for class %s\n", function_name.ToCString(),
String::Handle(zone, receiver_class.Name()).ToCString());
}
Function& function = Function::Handle(
zone, ResolveDynamicAnyArgs(zone, receiver_class, function_name,
args_desc, allow_add));
if (function.IsNull() || !function.AreValidArguments(args_desc, NULL)) {
if (FLAG_lazy_dispatchers) {
String& demangled = String::Handle(zone);
if (Function::IsDynamicInvocationForwarderName(function_name)) {
demangled =
Function::DemangleDynamicInvocationForwarderName(function_name);
} else {
demangled = function_name.raw();
}
function = receiver_class.GetInvocationDispatcher(
demangled, args_desc.array(), RawFunction::kNoSuchMethodDispatcher,
allow_add);
if (!function.IsNull()) {
function.set_is_reflectable(true);
}
} else {
function = Function::null();
}
}
// FLAG_lazy_dispatchers && allow_add -> !function.IsNull()
ASSERT(!function.IsNull() || !FLAG_lazy_dispatchers || !allow_add);
if (FLAG_trace_resolving) {
THR_Print("ResolveDynamic result: %s\n", function.ToCString());
}
return function.raw();
}
RawFunction* Resolver::ResolveDynamicAnyArgs(
Zone* zone,
const Class& receiver_class,
const String& function_name,
const ArgumentsDescriptor& args_desc,
bool allow_add) {
Class& cls = Class::Handle(zone, receiver_class.raw());
String& demangled = String::Handle(zone);
Function& function = Function::Handle(zone);
if (Function::IsDynamicInvocationForwarderName(function_name)) {
demangled ^=
Function::DemangleDynamicInvocationForwarderName(function_name);
#ifdef DART_PRECOMPILED_RUNTIME
// In precompiled mode, the non-dynamic version of the function may be
// tree-shaken away, so can't necessarily resolve the demanged name.
while (!cls.IsNull()) {
function = cls.GetInvocationDispatcher(
function_name, Array::null_array(),
RawFunction::kDynamicInvocationForwarder, /*create_if_absent=*/false);
if (!function.IsNull()) break;
cls = cls.SuperClass();
}
// Some functions don't require dynamic invocation forwarders, for example
// if there are no parameters or all the parameters are marked
// `generic-covariant` (meaning there's no work for the dynamic invocation
// forwarder to do, see `kernel::DynamicInvocationForwarder`). For these
// functions, we won't have built a `dyn:` version, but it's safe to just
// return the original version directly.
return !function.IsNull()
? function.raw()
: ResolveDynamicAnyArgs(zone, receiver_class, demangled,
args_desc, allow_add);
#else
function = ResolveDynamicAnyArgs(zone, receiver_class, demangled, args_desc,
allow_add);
if (function.IsNull() || !function.AreValidArguments(args_desc, NULL)) {
return Function::null();
}
return function.GetDynamicInvocationForwarder(function_name, allow_add);
#endif
}
const bool is_getter = Field::IsGetterName(function_name);
const bool is_setter = Field::IsSetterName(function_name);
if (is_getter) {
demangled = Field::NameFromGetter(function_name);
} else if (!is_setter) {
demangled = Field::GetterSymbol(function_name);
}
// Now look for an instance function whose name matches function_name
// in the class.
while (!cls.IsNull()) {
function = cls.LookupDynamicFunction(function_name);
if (!function.IsNull()) {
return function.raw();
}
if (is_getter) {
// Getter invocation might actually be a method extraction.
ASSERT(!Field::IsGetterName(demangled));
function = cls.LookupDynamicFunction(demangled);
if (!function.IsNull()) {
if (FLAG_lazy_dispatchers && allow_add) {
return function.CreateMethodExtractor(function_name);
} else {
return Function::null();
}
}
} else if (!is_setter) {
// Regular invocation might actually be call-through-getter.
ASSERT(Field::IsGetterName(demangled));
function = cls.LookupDynamicFunction(demangled);
if (!function.IsNull()) {
if (FLAG_lazy_dispatchers && allow_add) {
bool is_reflectable = function.is_reflectable();
function = cls.GetInvocationDispatcher(
function_name, args_desc.array(),
RawFunction::kInvokeFieldDispatcher, allow_add);
function.set_is_reflectable(is_reflectable);
return function.raw();
} else {
return Function::null();
}
}
}
cls = cls.SuperClass();
}
return Function::null();
}
bool Resolver::HasDefinition(Zone* zone,
const Class& receiver_class,
const String& function_name) {
String& demangled = String::Handle(zone);
if (Function::IsDynamicInvocationForwarderName(function_name)) {
demangled = Function::DemangleDynamicInvocationForwarderName(function_name);
return HasDefinition(zone, receiver_class, demangled);
}
const bool is_getter = Field::IsGetterName(function_name);
const bool is_setter = Field::IsSetterName(function_name);
if (is_getter) {
demangled = Field::NameFromGetter(function_name);
} else if (!is_setter) {
demangled = Field::GetterSymbol(function_name);
}
Class& cls = Class::Handle(zone, receiver_class.raw());
Function& function = Function::Handle(zone);
// Now look for an instance function whose name matches function_name
// in the class.
while (!cls.IsNull()) {
function = cls.LookupDynamicFunction(function_name);
if (!function.IsNull()) {
return true;
}
if (is_getter) {
// Getter invocation might actually be a method extraction.
ASSERT(!Field::IsGetterName(demangled));
function = cls.LookupDynamicFunction(demangled);
if (!function.IsNull()) {
return true;
}
} else if (!is_setter) {
// Regular invocation might actually be call-through-getter.
ASSERT(Field::IsGetterName(demangled));
function = cls.LookupDynamicFunction(demangled);
if (!function.IsNull()) {
return true;
}
}
cls = cls.SuperClass();
}
// NoSuchMethod
return false;
}
RawFunction* Resolver::ResolveStatic(const Library& library,
const String& class_name,
const String& function_name,
intptr_t type_args_len,
intptr_t num_arguments,
const Array& argument_names) {
ASSERT(!library.IsNull());
Function& function = Function::Handle();
if (class_name.IsNull() || (class_name.Length() == 0)) {
// Check if we are referring to a top level function.
const Object& object = Object::Handle(library.ResolveName(function_name));
if (!object.IsNull() && object.IsFunction()) {
function ^= object.raw();
if (!function.AreValidArguments(type_args_len, num_arguments,
argument_names, NULL)) {
if (FLAG_trace_resolving) {
String& error_message = String::Handle();
// Obtain more detailed error message.
function.AreValidArguments(type_args_len, num_arguments,
argument_names, &error_message);
THR_Print("ResolveStatic error '%s': %s.\n",
function_name.ToCString(), error_message.ToCString());
}
function = Function::null();
}
} else {
if (FLAG_trace_resolving) {
THR_Print("ResolveStatic error: function '%s' not found.\n",
function_name.ToCString());
}
}
} else {
// Lookup class_name in the library's class dictionary to get at
// the dart class object. If class_name is not found in the dictionary
// ResolveStatic will return a NULL function object.
const Class& cls = Class::Handle(library.LookupClass(class_name));
if (!cls.IsNull()) {
function = ResolveStatic(cls, function_name, type_args_len, num_arguments,
argument_names);
}
if (FLAG_trace_resolving && function.IsNull()) {
THR_Print("ResolveStatic error: function '%s.%s' not found.\n",
class_name.ToCString(), function_name.ToCString());
}
}
return function.raw();
}
RawFunction* Resolver::ResolveStatic(const Class& cls,
const String& function_name,
intptr_t type_args_len,
intptr_t num_arguments,
const Array& argument_names) {
ASSERT(!cls.IsNull());
if (FLAG_trace_resolving) {
THR_Print("ResolveStatic '%s'\n", function_name.ToCString());
}
const Function& function =
Function::Handle(cls.LookupStaticFunction(function_name));
if (function.IsNull() ||
!function.AreValidArguments(type_args_len, num_arguments, argument_names,
NULL)) {
// Return a null function to signal to the upper levels to throw a
// resolution error or maybe throw the error right here.
if (FLAG_trace_resolving) {
String& error_message = String::Handle(String::New("function not found"));
if (!function.IsNull()) {
// Obtain more detailed error message.
function.AreValidArguments(type_args_len, num_arguments, argument_names,
&error_message);
}
THR_Print("ResolveStatic error '%s': %s.\n", function_name.ToCString(),
error_message.ToCString());
}
return Function::null();
}
return function.raw();
}
RawFunction* Resolver::ResolveStaticAllowPrivate(const Class& cls,
const String& function_name,
intptr_t type_args_len,
intptr_t num_arguments,
const Array& argument_names) {
ASSERT(!cls.IsNull());
if (FLAG_trace_resolving) {
THR_Print("ResolveStaticAllowPrivate '%s'\n", function_name.ToCString());
}
const Function& function =
Function::Handle(cls.LookupStaticFunctionAllowPrivate(function_name));
if (function.IsNull() ||
!function.AreValidArguments(type_args_len, num_arguments, argument_names,
NULL)) {
// Return a null function to signal to the upper levels to throw a
// resolution error or maybe throw the error right here.
if (FLAG_trace_resolving) {
String& error_message = String::Handle(String::New("function not found"));
if (!function.IsNull()) {
// Obtain more detailed error message.
function.AreValidArguments(type_args_len, num_arguments, argument_names,
&error_message);
}
THR_Print("ResolveStaticAllowPrivate error '%s': %s.\n",
function_name.ToCString(), error_message.ToCString());
}
return Function::null();
}
return function.raw();
}
} // namespace dart