| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 #include "lib/error.h" | 5 #include "lib/error.h" |
| 6 | 6 |
| 7 #include "vm/bootstrap_natives.h" | 7 #include "vm/bootstrap_natives.h" |
| 8 #include "vm/exceptions.h" | 8 #include "vm/exceptions.h" |
| 9 #include "vm/object_store.h" | 9 #include "vm/object_store.h" |
| 10 #include "vm/runtime_entry.h" | 10 #include "vm/runtime_entry.h" |
| 11 #include "vm/stack_frame.h" | 11 #include "vm/stack_frame.h" |
| 12 | 12 |
| 13 namespace dart { | 13 namespace dart { |
| 14 | 14 |
| 15 DEFINE_FLAG(bool, trace_type_checks, false, "Trace runtime type checks."); | 15 DEFINE_FLAG(bool, trace_type_checks, false, "Trace runtime type checks."); |
| 16 | 16 |
| 17 // Allocate and throw a new AssertionError. | 17 // Allocate and throw a new AssertionError. |
| 18 // Arg0: index of the first token of the failed assertion. | 18 // Arg0: index of the first token of the failed assertion. |
| 19 // Arg1: index of the first token after the failed assertion. | 19 // Arg1: index of the first token after the failed assertion. |
| 20 // Return value: none, throws an exception. | 20 // Return value: none, throws an exception. |
| 21 DEFINE_NATIVE_ENTRY(AssertionError_throwNew, 2) { | 21 DEFINE_NATIVE_ENTRY(AssertionError_throwNew, 2) { |
| 22 // No need to type check the arguments. This function can only be called | 22 // No need to type check the arguments. This function can only be called |
| 23 // internally from the VM. | 23 // internally from the VM. |
| 24 intptr_t assertion_start = Smi::CheckedHandle(arguments->At(0)).Value(); | 24 intptr_t assertion_start = |
| 25 intptr_t assertion_end = Smi::CheckedHandle(arguments->At(1)).Value(); | 25 Smi::CheckedHandle(arguments->NativeArgAt(0)).Value(); |
| 26 intptr_t assertion_end = |
| 27 Smi::CheckedHandle(arguments->NativeArgAt(1)).Value(); |
| 26 | 28 |
| 27 // Allocate a new instance of type AssertionError. | 29 // Allocate a new instance of type AssertionError. |
| 28 const Instance& assertion_error = Instance::Handle( | 30 const Instance& assertion_error = Instance::Handle( |
| 29 Exceptions::NewInstance("AssertionErrorImplementation")); | 31 Exceptions::NewInstance("AssertionErrorImplementation")); |
| 30 | 32 |
| 31 // Initialize 'url', 'line', and 'column' fields. | 33 // Initialize 'url', 'line', and 'column' fields. |
| 32 DartFrameIterator iterator; | 34 DartFrameIterator iterator; |
| 33 iterator.NextFrame(); // Skip native call. | 35 iterator.NextFrame(); // Skip native call. |
| 34 const Script& script = Script::Handle(Exceptions::GetCallerScript(&iterator)); | 36 const Script& script = Script::Handle(Exceptions::GetCallerScript(&iterator)); |
| 35 const Class& cls = Class::Handle(assertion_error.clazz()); | 37 const Class& cls = Class::Handle(assertion_error.clazz()); |
| (...skipping 17 matching lines...) Expand all Loading... |
| 53 // Allocate and throw a new TypeError. | 55 // Allocate and throw a new TypeError. |
| 54 // Arg0: index of the token of the failed type check. | 56 // Arg0: index of the token of the failed type check. |
| 55 // Arg1: src value. | 57 // Arg1: src value. |
| 56 // Arg2: dst type name. | 58 // Arg2: dst type name. |
| 57 // Arg3: dst name. | 59 // Arg3: dst name. |
| 58 // Arg4: type error message. | 60 // Arg4: type error message. |
| 59 // Return value: none, throws an exception. | 61 // Return value: none, throws an exception. |
| 60 DEFINE_NATIVE_ENTRY(TypeError_throwNew, 5) { | 62 DEFINE_NATIVE_ENTRY(TypeError_throwNew, 5) { |
| 61 // No need to type check the arguments. This function can only be called | 63 // No need to type check the arguments. This function can only be called |
| 62 // internally from the VM. | 64 // internally from the VM. |
| 63 intptr_t location = Smi::CheckedHandle(arguments->At(0)).Value(); | 65 intptr_t location = Smi::CheckedHandle(arguments->NativeArgAt(0)).Value(); |
| 64 const Instance& src_value = Instance::CheckedHandle(arguments->At(1)); | 66 const Instance& src_value = |
| 65 const String& dst_type_name = String::CheckedHandle(arguments->At(2)); | 67 Instance::CheckedHandle(arguments->NativeArgAt(1)); |
| 66 const String& dst_name = String::CheckedHandle(arguments->At(3)); | 68 const String& dst_type_name = |
| 67 const String& type_error = String::CheckedHandle(arguments->At(4)); | 69 String::CheckedHandle(arguments->NativeArgAt(2)); |
| 70 const String& dst_name = String::CheckedHandle(arguments->NativeArgAt(3)); |
| 71 const String& type_error = String::CheckedHandle(arguments->NativeArgAt(4)); |
| 68 const String& src_type_name = | 72 const String& src_type_name = |
| 69 String::Handle(Type::Handle(src_value.GetType()).UserVisibleName()); | 73 String::Handle(Type::Handle(src_value.GetType()).UserVisibleName()); |
| 70 Exceptions::CreateAndThrowTypeError(location, src_type_name, | 74 Exceptions::CreateAndThrowTypeError(location, src_type_name, |
| 71 dst_type_name, dst_name, type_error); | 75 dst_type_name, dst_name, type_error); |
| 72 UNREACHABLE(); | 76 UNREACHABLE(); |
| 73 return Object::null(); | 77 return Object::null(); |
| 74 } | 78 } |
| 75 | 79 |
| 76 | 80 |
| 77 // Allocate and throw a new FallThroughError. | 81 // Allocate and throw a new FallThroughError. |
| 78 // Arg0: index of the case clause token into which we fall through. | 82 // Arg0: index of the case clause token into which we fall through. |
| 79 // Return value: none, throws an exception. | 83 // Return value: none, throws an exception. |
| 80 DEFINE_NATIVE_ENTRY(FallThroughError_throwNew, 1) { | 84 DEFINE_NATIVE_ENTRY(FallThroughError_throwNew, 1) { |
| 81 GET_NATIVE_ARGUMENT(Smi, smi_pos, arguments->At(0)); | 85 GET_NATIVE_ARGUMENT(Smi, smi_pos, arguments->NativeArgAt(0)); |
| 82 intptr_t fallthrough_pos = smi_pos.Value(); | 86 intptr_t fallthrough_pos = smi_pos.Value(); |
| 83 | 87 |
| 84 // Allocate a new instance of type FallThroughError. | 88 // Allocate a new instance of type FallThroughError. |
| 85 const Instance& fallthrough_error = Instance::Handle(Exceptions::NewInstance( | 89 const Instance& fallthrough_error = Instance::Handle(Exceptions::NewInstance( |
| 86 "FallThroughErrorImplementation")); | 90 "FallThroughErrorImplementation")); |
| 87 ASSERT(!fallthrough_error.IsNull()); | 91 ASSERT(!fallthrough_error.IsNull()); |
| 88 | 92 |
| 89 // Initialize 'url' and 'line' fields. | 93 // Initialize 'url' and 'line' fields. |
| 90 DartFrameIterator iterator; | 94 DartFrameIterator iterator; |
| 91 iterator.NextFrame(); // Skip native call. | 95 iterator.NextFrame(); // Skip native call. |
| (...skipping 11 matching lines...) Expand all Loading... |
| 103 UNREACHABLE(); | 107 UNREACHABLE(); |
| 104 return Object::null(); | 108 return Object::null(); |
| 105 } | 109 } |
| 106 | 110 |
| 107 | 111 |
| 108 // Allocate and throw a new AbstractClassInstantiationError. | 112 // Allocate and throw a new AbstractClassInstantiationError. |
| 109 // Arg0: Token position of allocation statement. | 113 // Arg0: Token position of allocation statement. |
| 110 // Arg1: class name of the abstract class that cannot be instantiated. | 114 // Arg1: class name of the abstract class that cannot be instantiated. |
| 111 // Return value: none, throws an exception. | 115 // Return value: none, throws an exception. |
| 112 DEFINE_NATIVE_ENTRY(AbstractClassInstantiationError_throwNew, 2) { | 116 DEFINE_NATIVE_ENTRY(AbstractClassInstantiationError_throwNew, 2) { |
| 113 GET_NATIVE_ARGUMENT(Smi, smi_pos, arguments->At(0)); | 117 GET_NATIVE_ARGUMENT(Smi, smi_pos, arguments->NativeArgAt(0)); |
| 114 GET_NATIVE_ARGUMENT(String, class_name, arguments->At(1)); | 118 GET_NATIVE_ARGUMENT(String, class_name, arguments->NativeArgAt(1)); |
| 115 intptr_t error_pos = smi_pos.Value(); | 119 intptr_t error_pos = smi_pos.Value(); |
| 116 | 120 |
| 117 // Allocate a new instance of type AbstractClassInstantiationError. | 121 // Allocate a new instance of type AbstractClassInstantiationError. |
| 118 const Instance& error = Instance::Handle(Exceptions::NewInstance( | 122 const Instance& error = Instance::Handle(Exceptions::NewInstance( |
| 119 "AbstractClassInstantiationErrorImplementation")); | 123 "AbstractClassInstantiationErrorImplementation")); |
| 120 ASSERT(!error.IsNull()); | 124 ASSERT(!error.IsNull()); |
| 121 | 125 |
| 122 // Initialize 'url', 'line' and 'className' fields. | 126 // Initialize 'url', 'line' and 'className' fields. |
| 123 DartFrameIterator iterator; | 127 DartFrameIterator iterator; |
| 124 iterator.NextFrame(); // Skip native call. | 128 iterator.NextFrame(); // Skip native call. |
| (...skipping 10 matching lines...) Expand all Loading... |
| 135 UNREACHABLE(); | 139 UNREACHABLE(); |
| 136 return Object::null(); | 140 return Object::null(); |
| 137 } | 141 } |
| 138 | 142 |
| 139 | 143 |
| 140 // Allocate and throw NoSuchMethodError. | 144 // Allocate and throw NoSuchMethodError. |
| 141 // Arg0: index of the call that was not resolved at compile time. | 145 // Arg0: index of the call that was not resolved at compile time. |
| 142 // Arg1: name of the method that was not resolved at compile time. | 146 // Arg1: name of the method that was not resolved at compile time. |
| 143 // Return value: none, throws an exception. | 147 // Return value: none, throws an exception. |
| 144 DEFINE_NATIVE_ENTRY(NoSuchMethodError_throwNew, 2) { | 148 DEFINE_NATIVE_ENTRY(NoSuchMethodError_throwNew, 2) { |
| 145 GET_NATIVE_ARGUMENT(Smi, smi_pos, arguments->At(0)); | 149 GET_NATIVE_ARGUMENT(Smi, smi_pos, arguments->NativeArgAt(0)); |
| 146 GET_NATIVE_ARGUMENT(String, function_name, arguments->At(1)); | 150 GET_NATIVE_ARGUMENT(String, function_name, arguments->NativeArgAt(1)); |
| 147 intptr_t call_pos = smi_pos.Value(); | 151 intptr_t call_pos = smi_pos.Value(); |
| 148 // Allocate a new instance of type NoSuchMethodError. | 152 // Allocate a new instance of type NoSuchMethodError. |
| 149 const Instance& error = Instance::Handle( | 153 const Instance& error = Instance::Handle( |
| 150 Exceptions::NewInstance("NoSuchMethodErrorImplementation")); | 154 Exceptions::NewInstance("NoSuchMethodErrorImplementation")); |
| 151 ASSERT(!error.IsNull()); | 155 ASSERT(!error.IsNull()); |
| 152 | 156 |
| 153 // Initialize 'url', 'line', and 'column' fields. | 157 // Initialize 'url', 'line', and 'column' fields. |
| 154 DartFrameIterator iterator; | 158 DartFrameIterator iterator; |
| 155 iterator.NextFrame(); // Skip native call. | 159 iterator.NextFrame(); // Skip native call. |
| 156 const Script& script = Script::Handle(Exceptions::GetCallerScript(&iterator)); | 160 const Script& script = Script::Handle(Exceptions::GetCallerScript(&iterator)); |
| 157 const Class& cls = Class::Handle(error.clazz()); | 161 const Class& cls = Class::Handle(error.clazz()); |
| 158 Exceptions::SetLocationFields(error, cls, script, call_pos); | 162 Exceptions::SetLocationFields(error, cls, script, call_pos); |
| 159 Exceptions::SetField(error, cls, "functionName", function_name); | 163 Exceptions::SetField(error, cls, "functionName", function_name); |
| 160 | 164 |
| 161 intptr_t line, column; | 165 intptr_t line, column; |
| 162 script.GetTokenLocation(call_pos, &line, &column); | 166 script.GetTokenLocation(call_pos, &line, &column); |
| 163 Exceptions::SetField(error, cls, "failedResolutionLine", | 167 Exceptions::SetField(error, cls, "failedResolutionLine", |
| 164 String::Handle(script.GetLine(line))); | 168 String::Handle(script.GetLine(line))); |
| 165 | 169 |
| 166 Exceptions::Throw(error); | 170 Exceptions::Throw(error); |
| 167 UNREACHABLE(); | 171 UNREACHABLE(); |
| 168 return Object::null(); | 172 return Object::null(); |
| 169 } | 173 } |
| 170 | 174 |
| 171 } // namespace dart | 175 } // namespace dart |
| OLD | NEW |