aoqi@0: /* /nodynamiccopyright/ */
aoqi@0: 
aoqi@0: import java.io.BufferedReader;
aoqi@0: import java.io.FileReader;
aoqi@0: 
aoqi@0: public class TestCaseTry {
aoqi@0: 
aoqi@0:     @AliveRange(varName="o", bytecodeStart=3, bytecodeLength=8)
aoqi@0:     @AliveRange(varName="o", bytecodeStart=15, bytecodeLength=1)
aoqi@0:     void m0(String[] args) {
aoqi@0:         Object o;
aoqi@0:         try {
aoqi@0:             o = "";
aoqi@0:             o.hashCode();
aoqi@0:         } catch (RuntimeException e) {}
aoqi@0:         o = "";
aoqi@0:     }
aoqi@0: 
aoqi@0:     @AliveRange(varName="o", bytecodeStart=3, bytecodeLength=16)
vromero@2709:     @AliveRange(varName="o", bytecodeStart=23, bytecodeLength=8)
vromero@2709:     @AliveRange(varName="o", bytecodeStart=35, bytecodeLength=11)
aoqi@0:     void m1() {
aoqi@0:         Object o;
aoqi@0:         try {
aoqi@0:             o = "";
aoqi@0:             o.hashCode();
aoqi@0:         } catch (RuntimeException e) {
aoqi@0:         }
aoqi@0:         finally {
aoqi@0:             o = "finally";
aoqi@0:             o.hashCode();
aoqi@0:         }
aoqi@0:         o = "";
aoqi@0:     }
aoqi@0: 
aoqi@0:     @AliveRange(varName="o", bytecodeStart=3, bytecodeLength=16)
vromero@2709:     @AliveRange(varName="o", bytecodeStart=23, bytecodeLength=16)
vromero@2709:     @AliveRange(varName="o", bytecodeStart=43, bytecodeLength=11)
aoqi@0:     void m2() {
aoqi@0:         Object o;
aoqi@0:         try {
aoqi@0:             o = "";
aoqi@0:             o.hashCode();
aoqi@0:         } catch (RuntimeException e) {
aoqi@0:             o = "catch";
aoqi@0:             o.hashCode();
aoqi@0:         }
aoqi@0:         finally {
aoqi@0:             o = "finally";
aoqi@0:             o.hashCode();
aoqi@0:         }
aoqi@0:         o = "";
aoqi@0:     }
aoqi@0: 
aoqi@0:     @AliveRange(varName="o", bytecodeStart=22, bytecodeLength=38)
vromero@2709:     @AliveRange(varName="o", bytecodeStart=103, bytecodeLength=3)
vromero@2709:     @AliveRange(varName="o", bytecodeStart=110, bytecodeLength=1)
aoqi@0:     void m3() {
aoqi@0:         Object o;
aoqi@0:         try (BufferedReader br =
aoqi@0:                   new BufferedReader(new FileReader("aFile"))) {
aoqi@0:             o = "inside try";
aoqi@0:             o.hashCode();
aoqi@0:         } catch (Exception e) {}
aoqi@0:         o = "";
aoqi@0:     }
aoqi@0: 
aoqi@0:     @AliveRange(varName="o", bytecodeStart=12, bytecodeLength=96)
aoqi@0:     @AliveRange(varName="o", bytecodeStart=112, bytecodeLength=1)
aoqi@0:     void m4() {
aoqi@0:         String o;
aoqi@0:         try (BufferedReader br =
aoqi@0:                   new BufferedReader(new FileReader(o = "aFile"))) {
aoqi@0:             o = "inside try";
aoqi@0:             o.hashCode();
aoqi@0:         } catch (Exception e) {}
aoqi@0:         o = "";
aoqi@0:     }
aoqi@0: }