Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1284)

Unified Diff: runtime/lib/error.cc

Issue 21832003: Fix VM implementation of CastError not to extend TypeError (issue 5280). (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 7 years, 4 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « runtime/lib/error.h ('k') | runtime/lib/error.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: runtime/lib/error.cc
===================================================================
--- runtime/lib/error.cc (revision 25781)
+++ runtime/lib/error.cc (working copy)
@@ -1,130 +0,0 @@
-// Copyright (c) 2012, 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 "lib/error.h"
-
-#include "vm/bootstrap_natives.h"
-#include "vm/exceptions.h"
-#include "vm/object_store.h"
-#include "vm/runtime_entry.h"
-#include "vm/stack_frame.h"
-
-namespace dart {
-
-DEFINE_FLAG(bool, trace_type_checks, false, "Trace runtime type checks.");
-
-// Allocate and throw a new AssertionError.
-// Arg0: index of the first token of the failed assertion.
-// Arg1: index of the first token after the failed assertion.
-// Return value: none, throws an exception.
-DEFINE_NATIVE_ENTRY(AssertionError_throwNew, 2) {
- // No need to type check the arguments. This function can only be called
- // internally from the VM.
- intptr_t assertion_start =
- Smi::CheckedHandle(arguments->NativeArgAt(0)).Value();
- intptr_t assertion_end =
- Smi::CheckedHandle(arguments->NativeArgAt(1)).Value();
-
- const Array& args = Array::Handle(Array::New(4));
-
- DartFrameIterator iterator;
- iterator.NextFrame(); // Skip native call.
- const Script& script = Script::Handle(Exceptions::GetCallerScript(&iterator));
-
- // Initialize argument 'failed_assertion' with source snippet.
- intptr_t from_line, from_column;
- script.GetTokenLocation(assertion_start, &from_line, &from_column);
- intptr_t to_line, to_column;
- script.GetTokenLocation(assertion_end, &to_line, &to_column);
- args.SetAt(0, String::Handle(
- script.GetSnippet(from_line, from_column, to_line, to_column)));
-
- // Initialize location arguments starting at position 1.
- args.SetAt(1, String::Handle(script.url()));
- args.SetAt(2, Smi::Handle(Smi::New(from_line)));
- args.SetAt(3, Smi::Handle(Smi::New(from_column)));
-
- Exceptions::ThrowByType(Exceptions::kAssertion, args);
- UNREACHABLE();
- return Object::null();
-}
-
-
-// Allocate and throw a new TypeError.
-// Arg0: index of the token of the failed type check.
-// Arg1: src value.
-// Arg2: dst type name.
-// Arg3: dst name.
-// Arg4: type error message.
-// Return value: none, throws an exception.
-DEFINE_NATIVE_ENTRY(TypeError_throwNew, 5) {
- // No need to type check the arguments. This function can only be called
- // internally from the VM.
- intptr_t location = Smi::CheckedHandle(arguments->NativeArgAt(0)).Value();
- const Instance& src_value =
- Instance::CheckedHandle(arguments->NativeArgAt(1));
- const String& dst_type_name =
- String::CheckedHandle(arguments->NativeArgAt(2));
- const String& dst_name = String::CheckedHandle(arguments->NativeArgAt(3));
- const String& type_error = String::CheckedHandle(arguments->NativeArgAt(4));
- const String& src_type_name =
- String::Handle(Type::Handle(src_value.GetType()).UserVisibleName());
- Exceptions::CreateAndThrowTypeError(location, src_type_name,
- dst_type_name, dst_name, type_error);
- UNREACHABLE();
- return Object::null();
-}
-
-
-// Allocate and throw a new FallThroughError.
-// Arg0: index of the case clause token into which we fall through.
-// Return value: none, throws an exception.
-DEFINE_NATIVE_ENTRY(FallThroughError_throwNew, 1) {
- GET_NON_NULL_NATIVE_ARGUMENT(Smi, smi_pos, arguments->NativeArgAt(0));
- intptr_t fallthrough_pos = smi_pos.Value();
-
- const Array& args = Array::Handle(Array::New(2));
-
- // Initialize 'url' and 'line' arguments.
- DartFrameIterator iterator;
- iterator.NextFrame(); // Skip native call.
- const Script& script = Script::Handle(Exceptions::GetCallerScript(&iterator));
- args.SetAt(0, String::Handle(script.url()));
- intptr_t line, column;
- script.GetTokenLocation(fallthrough_pos, &line, &column);
- args.SetAt(1, Smi::Handle(Smi::New(line)));
-
- Exceptions::ThrowByType(Exceptions::kFallThrough, args);
- UNREACHABLE();
- return Object::null();
-}
-
-
-// Allocate and throw a new AbstractClassInstantiationError.
-// Arg0: Token position of allocation statement.
-// Arg1: class name of the abstract class that cannot be instantiated.
-// Return value: none, throws an exception.
-DEFINE_NATIVE_ENTRY(AbstractClassInstantiationError_throwNew, 2) {
- GET_NON_NULL_NATIVE_ARGUMENT(Smi, smi_pos, arguments->NativeArgAt(0));
- GET_NON_NULL_NATIVE_ARGUMENT(String, class_name, arguments->NativeArgAt(1));
- intptr_t error_pos = smi_pos.Value();
-
- const Array& args = Array::Handle(Array::New(3));
-
- // Initialize 'className', 'url' and 'line' arguments.
- DartFrameIterator iterator;
- iterator.NextFrame(); // Skip native call.
- const Script& script = Script::Handle(Exceptions::GetCallerScript(&iterator));
- args.SetAt(0, class_name);
- args.SetAt(1, String::Handle(script.url()));
- intptr_t line, column;
- script.GetTokenLocation(error_pos, &line, &column);
- args.SetAt(2, Smi::Handle(Smi::New(line)));
-
- Exceptions::ThrowByType(Exceptions::kAbstractClassInstantiation, args);
- UNREACHABLE();
- return Object::null();
-}
-
-} // namespace dart
« no previous file with comments | « runtime/lib/error.h ('k') | runtime/lib/error.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698