Fix for issue 1307: throw runtime exception instead of reporting a compile time error if a static...

runtime/lib/error.cc

 // 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 "lib/error.h"
 
 #include "vm/bootstrap_natives.h"
 #include "vm/exceptions.h"
 #include "vm/object_store.h"
 #include "vm/runtime_entry.h"
@@ skipping 185 matching lines @@
   intptr_t line, column;
   script.GetTokenLocation(fallthrough_pos, &line, &column);
   SetField(fallthrough_error, cls, "line", Smi::Handle(Smi::New(line)));
 
   // Throw FallThroughError instance.
   Exceptions::Throw(fallthrough_error);
   UNREACHABLE();
 }
 
 
+// Allocate and throw StaticResolutionException.
+// Arg0: index of the static call that was not resolved at compile time.
+// Return value: none, throws an exception.
+DEFINE_NATIVE_ENTRY(StaticResolutionException_throwNew, 1) {
+  GET_NATIVE_ARGUMENT(Smi, smi_pos, arguments->At(0));
+  intptr_t call_pos = smi_pos.Value();
+  // Allocate a new instance of type StaticResolutionException.
+  const Instance& resolution_exception =
+      Instance::Handle(NewInstance("StaticResolutionException"));
+  ASSERT(!resolution_exception.IsNull());
+
+  // Initialize 'url', 'line', and 'column' fields.
+  DartFrameIterator iterator;
+  iterator.NextFrame();  // Skip native call.
+  const Script& script = Script::Handle(GetCallerScript(&iterator));
+  const Class& cls = Class::Handle(resolution_exception.clazz());
+  SetLocationFields(resolution_exception, cls, script, call_pos);
+
+  intptr_t line, column;
+  script.GetTokenLocation(call_pos, &line, &column);
+  SetField(resolution_exception, cls, "failedResolutionLine",
+      String::Handle(script.GetLine(line)));
+
+  Exceptions::Throw(resolution_exception);
+  UNREACHABLE();
+}
+
+
 // Check that the type of the given instance is assignable to the given type.
 // Arg0: index of the token of the assignment (source location).
 // Arg1: instance being assigned.
 // Arg2: type being assigned to.
 // Arg3: type arguments of the instantiator of the type being assigned to.
 // Arg4: name of instance being assigned to.
 // Return value: instance if assignable, otherwise throw a TypeError.
 DEFINE_RUNTIME_ENTRY(TypeCheck, 5) {
   ASSERT(arguments.Count() == kTypeCheckRuntimeEntry.argument_count());
   intptr_t location = Smi::CheckedHandle(arguments.At(0)).Value();
@@ skipping 111 matching lines @@
         dst_type_name = element_type.Name();
       }
       const String& dst_name = String::Handle(String::New(buf));
       ThrowTypeError(location, src_type_name, dst_type_name, dst_name);
       UNREACHABLE();
     }
   }
 }
 
 }  // namespace dart