rt/emul/mini/src/main/java/java/lang/Class.java
changeset 1930 9ca946fc4f01
parent 1919 a064702472ec
child 1935 81a7a4fcaf46
     1.1 --- a/rt/emul/mini/src/main/java/java/lang/Class.java	Sun Apr 17 06:52:19 2016 +0200
     1.2 +++ b/rt/emul/mini/src/main/java/java/lang/Class.java	Tue Apr 19 07:24:30 2016 +0200
     1.3 @@ -1915,7 +1915,16 @@
     1.4      }
     1.5  
     1.6      @Exported
     1.7 -    @JavaScriptOnly(name = "castEx", value = "function() { throw vm.java_lang_ClassCastException(true); }")
     1.8 +    @JavaScriptOnly(name = "castEx", value = ""
     1.9 +        + "function(obj, type) {\n"
    1.10 +        + "  var realType = obj.getClass__Ljava_lang_Class_2().getName__Ljava_lang_String_2();\n"
    1.11 +        + "  var msg = realType + ' cannot be cast to ' + type;\n"
    1.12 +        + "  var ex = vm.java_lang_ClassCastException(true);\n"
    1.13 +        + "  ex.constructor.cons__VLjava_lang_String_2.call(ex, msg);;\n"
    1.14 +        + "  throw ex;\n"
    1.15 +        + "}\n"
    1.16 +        + ""
    1.17 +    )
    1.18      private static void castEx() {
    1.19      }
    1.20