Authors: russell@unturf.com · brackishbert@gmail.com · foxhop.net · TimeHexOn.com Patches, unit tests, benchmarks, whitepaper, and outreach briefs. Public domain — no copyright claimed. Use freely.
79 lines
2.1 KiB
Java
79 lines
2.1 KiB
Java
/* /nodynamiccopyright/ */
|
|
|
|
import java.io.BufferedReader;
|
|
import java.io.FileReader;
|
|
|
|
public class TestCaseTry {
|
|
|
|
@AliveRange(varName="o", bytecodeStart=3, bytecodeLength=8)
|
|
@AliveRange(varName="o", bytecodeStart=15, bytecodeLength=1)
|
|
void m0(String[] args) {
|
|
Object o;
|
|
try {
|
|
o = "";
|
|
o.hashCode();
|
|
} catch (RuntimeException e) {}
|
|
o = "";
|
|
}
|
|
|
|
@AliveRange(varName="o", bytecodeStart=3, bytecodeLength=16)
|
|
@AliveRange(varName="o", bytecodeStart=23, bytecodeLength=8)
|
|
@AliveRange(varName="o", bytecodeStart=35, bytecodeLength=11)
|
|
void m1() {
|
|
Object o;
|
|
try {
|
|
o = "";
|
|
o.hashCode();
|
|
} catch (RuntimeException e) {
|
|
}
|
|
finally {
|
|
o = "finally";
|
|
o.hashCode();
|
|
}
|
|
o = "";
|
|
}
|
|
|
|
@AliveRange(varName="o", bytecodeStart=3, bytecodeLength=16)
|
|
@AliveRange(varName="o", bytecodeStart=23, bytecodeLength=16)
|
|
@AliveRange(varName="o", bytecodeStart=43, bytecodeLength=11)
|
|
void m2() {
|
|
Object o;
|
|
try {
|
|
o = "";
|
|
o.hashCode();
|
|
} catch (RuntimeException e) {
|
|
o = "catch";
|
|
o.hashCode();
|
|
}
|
|
finally {
|
|
o = "finally";
|
|
o.hashCode();
|
|
}
|
|
o = "";
|
|
}
|
|
|
|
@AliveRange(varName="o", bytecodeStart=20, bytecodeLength=12)
|
|
@AliveRange(varName="o", bytecodeStart=50, bytecodeLength=3)
|
|
@AliveRange(varName="o", bytecodeStart=57, bytecodeLength=1)
|
|
void m3() {
|
|
Object o;
|
|
try (BufferedReader br =
|
|
new BufferedReader(new FileReader("aFile"))) {
|
|
o = "inside try";
|
|
o.hashCode();
|
|
} catch (Exception e) {}
|
|
o = "";
|
|
}
|
|
|
|
@AliveRange(varName="o", bytecodeStart=12, bytecodeLength=43)
|
|
@AliveRange(varName="o", bytecodeStart=59, bytecodeLength=1)
|
|
void m4() {
|
|
String o;
|
|
try (BufferedReader br =
|
|
new BufferedReader(new FileReader(o = "aFile"))) {
|
|
o = "inside try";
|
|
o.hashCode();
|
|
} catch (Exception e) {}
|
|
o = "";
|
|
}
|
|
}
|