changes: now Inference engine works fine with the EyeTracking benchmark.
authoryeom <yeom>
Sun, 4 Nov 2012 07:24:34 +0000 (07:24 +0000)
committeryeom <yeom>
Sun, 4 Nov 2012 07:24:34 +0000 (07:24 +0000)
commitd45bb251bdc1196d7848094fa2ccd566b39e021c
tree6beb02f301ef0661eb396643bb0981c10e56fde1
parent9d767c1f5cef3242ff67473368e5ad327c340bfa
changes: now Inference engine works fine with the EyeTracking benchmark.
13 files changed:
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java
Robust/src/Analysis/SSJava/FlowDownCheck.java
Robust/src/Analysis/SSJava/FlowGraph.java
Robust/src/Analysis/SSJava/FlowNode.java
Robust/src/Analysis/SSJava/LocationInference.java
Robust/src/Benchmarks/SSJava/EyeTracking/DeviationScanner.java
Robust/src/Benchmarks/SSJava/EyeTracking/EyePosition.java
Robust/src/Benchmarks/SSJava/EyeTracking/LEA.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/DeviationScanner.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/LEA.java
Robust/src/ClassLibrary/SSJava/SSJAVA.java
Robust/src/ClassLibrary/SSJavaInfer/SSJAVA.java
Robust/src/ClassLibrary/SSJavaInfer/String.java