changes: 1) fixes problems in the original EyeTracking benchmark 2) fix a bug in...
authoryeom <yeom>
Sat, 3 Nov 2012 06:17:21 +0000 (06:17 +0000)
committeryeom <yeom>
Sat, 3 Nov 2012 06:17:21 +0000 (06:17 +0000)
commit9d767c1f5cef3242ff67473368e5ad327c340bfa
tree1201ef69abda497a4ce4c145f215251b798eff2f
parent8d750e51bc5fa6b54ed568859dd8a6a25ad9e4c4
changes: 1) fixes problems in the original EyeTracking benchmark 2) fix a bug in the definitely written analysis. It didn't keep cleared shared location type set correctly in certain cases,

Inference engine generated annotations again for the EyeTracking, but it has location type errors.
28 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/Analysis/SSJava/SSJavaAnalysis.java
Robust/src/Benchmarks/SSJava/EyeTracking/ClassifierTree.java
Robust/src/Benchmarks/SSJava/EyeTracking/EyeDetector.java
Robust/src/Benchmarks/SSJava/EyeTracking/EyePosition.java
Robust/src/Benchmarks/SSJava/EyeTracking/FaceAndEyePosition.java
Robust/src/Benchmarks/SSJava/EyeTracking/LEA.java
Robust/src/Benchmarks/SSJava/EyeTracking/LEAImplementation.java
Robust/src/Benchmarks/SSJava/EyeTracking/Point.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Classifier.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/ClassifierTree.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/DeviationScanner.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/DummyCaptureDevice.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/EyeDetector.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/EyePosition.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/FaceAndEyePosition.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/ICaptureDevice.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Image.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/IntegralImageData.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/LEA.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/LEAImplementation.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Point.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Rectangle2D.java
Robust/src/Benchmarks/SSJava/EyeTrackingInfer/ScanArea.java