badcatch1.j

kaffe Java 解释器语言,源码,Java的子集系统,开放源代码

.class  BadCatch1
.super  java/lang/Object

.method public static main([Ljava/lang/String;)V

    .limit stack 3
    .limit locals 2
.line 8
.line 10
.catch BadCatch1 from Label1 to Label2 using Label2
Label1:
    new BadCatch1
    dup
    invokespecial BadCatch1/<init>()V
    athrow
Label2:
    astore_1
.line 14
    getstatic java/lang/System/out Ljava/io/PrintStream;
    ldc "Caught"
    invokevirtual java/io/PrintStream/println(Ljava/lang/String;)V
.line 16
    return
.end method

.method <init>()V
    .limit stack 1
    .limit locals 1
.line 2
    aload_0
    invokespecial java/lang/Object/<init>()V
.line 2
    return
.end method

; No line numbers
; Expected Output:
; java.lang.VerifyError: (class: BadCatch1, method: main signature: ([Ljava/lang/String;)V) catch_type not a subclass of Throwable
;	at java.lang.reflect.Method.invoke0(Method.java:XXXXnative)
;	at java.lang.reflect.Method.invoke(Method.java:XXXX)
;	at DieAfter.main(DieAfter.java:XXXX)

; JanosVM Expected Output:
; java.lang.VerifyError: (class: BadCatch1, method: main signature: ([Ljava/lang/String;)V) catch_type not a subclass of Throwable