OLD | NEW |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, 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 "vm/bootstrap_natives.h" | 5 #include "vm/bootstrap_natives.h" |
6 | 6 |
7 #include "lib/invocation_mirror.h" | 7 #include "lib/invocation_mirror.h" |
8 #include "vm/code_patcher.h" | 8 #include "vm/code_patcher.h" |
9 #include "vm/exceptions.h" | 9 #include "vm/exceptions.h" |
10 #include "vm/heap.h" | 10 #include "vm/heap.h" |
(...skipping 148 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
159 String& bound_error_message = String::Handle( | 159 String& bound_error_message = String::Handle( |
160 zone, String::New(bound_error.ToErrorCString())); | 160 zone, String::New(bound_error.ToErrorCString())); |
161 Exceptions::CreateAndThrowTypeError( | 161 Exceptions::CreateAndThrowTypeError( |
162 location, AbstractType::Handle(zone), AbstractType::Handle(zone), | 162 location, AbstractType::Handle(zone), AbstractType::Handle(zone), |
163 Symbols::Empty(), bound_error_message); | 163 Symbols::Empty(), bound_error_message); |
164 UNREACHABLE(); | 164 UNREACHABLE(); |
165 } | 165 } |
166 return Bool::Get(negate.value() ? !is_instance_of : is_instance_of).raw(); | 166 return Bool::Get(negate.value() ? !is_instance_of : is_instance_of).raw(); |
167 } | 167 } |
168 | 168 |
| 169 DEFINE_NATIVE_ENTRY(Object_simpleInstanceOf, 2) { |
| 170 // This native is only called when the right hand side passes |
| 171 // simpleInstanceOfType and it is a non-negative test. |
| 172 const Instance& instance = |
| 173 Instance::CheckedHandle(zone, arguments->NativeArgAt(0)); |
| 174 const AbstractType& type = |
| 175 AbstractType::CheckedHandle(zone, arguments->NativeArgAt(1)); |
| 176 const TypeArguments& instantiator_type_arguments = |
| 177 TypeArguments::Handle(TypeArguments::null()); |
| 178 ASSERT(type.IsFinalized()); |
| 179 ASSERT(!type.IsMalformed()); |
| 180 ASSERT(!type.IsMalbounded()); |
| 181 Error& bound_error = Error::Handle(zone, Error::null()); |
| 182 const bool is_instance_of = instance.IsInstanceOf(type, |
| 183 instantiator_type_arguments, |
| 184 &bound_error); |
| 185 if (!is_instance_of && !bound_error.IsNull()) { |
| 186 // Throw a dynamic type error only if the instanceof test fails. |
| 187 DartFrameIterator iterator; |
| 188 StackFrame* caller_frame = iterator.NextFrame(); |
| 189 ASSERT(caller_frame != NULL); |
| 190 const TokenPosition location = caller_frame->GetTokenPos(); |
| 191 String& bound_error_message = String::Handle( |
| 192 zone, String::New(bound_error.ToErrorCString())); |
| 193 Exceptions::CreateAndThrowTypeError( |
| 194 location, AbstractType::Handle(zone), AbstractType::Handle(zone), |
| 195 Symbols::Empty(), bound_error_message); |
| 196 UNREACHABLE(); |
| 197 } |
| 198 return Bool::Get(is_instance_of).raw(); |
| 199 } |
169 | 200 |
170 DEFINE_NATIVE_ENTRY(Object_instanceOfNum, 2) { | 201 DEFINE_NATIVE_ENTRY(Object_instanceOfNum, 2) { |
171 const Instance& instance = | 202 const Instance& instance = |
172 Instance::CheckedHandle(zone, arguments->NativeArgAt(0)); | 203 Instance::CheckedHandle(zone, arguments->NativeArgAt(0)); |
173 const Bool& negate = Bool::CheckedHandle(zone, arguments->NativeArgAt(1)); | 204 const Bool& negate = Bool::CheckedHandle(zone, arguments->NativeArgAt(1)); |
174 bool is_instance_of = instance.IsNumber(); | 205 bool is_instance_of = instance.IsNumber(); |
175 if (negate.value()) { | 206 if (negate.value()) { |
176 is_instance_of = !is_instance_of; | 207 is_instance_of = !is_instance_of; |
177 } | 208 } |
178 return Bool::Get(is_instance_of).raw(); | 209 return Bool::Get(is_instance_of).raw(); |
(...skipping 153 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
332 | 363 |
333 DEFINE_NATIVE_ENTRY(Internal_inquireIs64Bit, 0) { | 364 DEFINE_NATIVE_ENTRY(Internal_inquireIs64Bit, 0) { |
334 #if defined(ARCH_IS_64_BIT) | 365 #if defined(ARCH_IS_64_BIT) |
335 return Bool::True().raw(); | 366 return Bool::True().raw(); |
336 #else | 367 #else |
337 return Bool::False().raw(); | 368 return Bool::False().raw(); |
338 #endif // defined(ARCH_IS_64_BIT) | 369 #endif // defined(ARCH_IS_64_BIT) |
339 } | 370 } |
340 | 371 |
341 } // namespace dart | 372 } // namespace dart |
OLD | NEW |