1) it passes the linear type checking 2) start annotations 3) removes unnecessary...
authoryeom <yeom>
Sat, 17 Sep 2011 23:27:54 +0000 (23:27 +0000)
committeryeom <yeom>
Sat, 17 Sep 2011 23:27:54 +0000 (23:27 +0000)
commit4cf04d9fa926d0fed7c6ffc64aaee45d88f5ad15
treeaa19ef3db00ecc432781563824dec6c3690e9c42
parent835736146e4bd56942706d7c0957358bf180ec25
1) it passes the linear type checking 2) start annotations 3) removes unnecessary class libraries
15 files changed:
Robust/src/Analysis/SSJava/LinearTypeCheck.java
Robust/src/Analysis/SSJava/SSJavaAnalysis.java
Robust/src/Benchmarks/SSJava/EyeTracking/Classifier.java
Robust/src/Benchmarks/SSJava/EyeTracking/ClassifierTree.java
Robust/src/Benchmarks/SSJava/EyeTracking/Deviation.java [deleted file]
Robust/src/Benchmarks/SSJava/EyeTracking/DeviationScanner.java
Robust/src/Benchmarks/SSJava/EyeTracking/EyeInfoPanel.java [deleted file]
Robust/src/Benchmarks/SSJava/EyeTracking/IEyeMovementListener.java [deleted file]
Robust/src/Benchmarks/SSJava/EyeTracking/LATTICE.java [new file with mode: 0644]
Robust/src/Benchmarks/SSJava/EyeTracking/LEA.java
Robust/src/Benchmarks/SSJava/EyeTracking/LEAImplementation.java
Robust/src/Benchmarks/SSJava/EyeTracking/StaticSizeArrayList.java [deleted file]
Robust/src/ClassLibrary/SSJava/ArrayList.java [deleted file]
Robust/src/ClassLibrary/SSJava/ArrayListIterator.java [deleted file]
Robust/src/ClassLibrary/SSJava/Iterator.java [deleted file]