simplenestedtestfinally.java

来自「配置文件」· Java 代码 · 共 70 行

package preverification.inputs;


public class SimpleNestedTestFinally {
  
  public void foo(int param) throws Exception {
    try {
      param = 1;
      
    } finally {
      if (param==1) {
          param = 3;
      }
    }
  }

}

/*
ATTRIBUTE StackMapStackMapTable[
  Frame:L0 locals[Object:preverification/inputs/SimpleNestedTestFinally, Integer] stack[Object:java/lang/Throwable]
  Frame:L1 locals[Object:preverification/inputs/SimpleNestedTestFinally, Integer, Top, Object:java/lang/Throwable] stack[]
  Frame:L2 locals[Object:preverification/inputs/SimpleNestedTestFinally, Integer] stack[]
  Frame:L3 locals[Object:preverification/inputs/SimpleNestedTestFinally, Integer] stack[]
] length:49
 L4 : 9
  ICONST_1
  ISTORE 1
  GOTO L2
 
 L0 : 11  // exception/finally handler
  ASTORE 3  // stores null exception for finally (type Top)
 L5 : 12
  ILOAD 1
  ICONST_1
  IF_ICMPNE L1
 L6 : 13
  ICONST_3
  ISTORE 1
 
 L1 : 15
  ALOAD 3
  ATHROW
 
 L2 : 12
  ILOAD 1
  ICONST_1
  IF_ICMPNE L3
 L7 : 13
  ICONST_3
  ISTORE 1
 
 L3 : 16
  RETURN
  
  TRYCATCHBLOCK L4 L0 L0 null
  LOCALVARIABLE this Lpreverification/inputs/SimpleNestedTestFinally; L4 L3 0
  LOCALVARIABLE param I L4 L3 1
  LINENUMBER  9 L4
  LINENUMBER 11 L0
  LINENUMBER 12 L5
  LINENUMBER 13 L6
  LINENUMBER 15 L1
  LINENUMBER 12 L2
  LINENUMBER 13 L7
  LINENUMBER 16 L3
  MAXSTACK = 2
  MAXLOCALS = 4
*/