take out all of ssjava stuff from state class and start re-organizing codes to reflec...
authoryeom <yeom>
Fri, 13 May 2011 23:55:21 +0000 (23:55 +0000)
committeryeom <yeom>
Fri, 13 May 2011 23:55:21 +0000 (23:55 +0000)
commite5b2a0989e82014b8cec2ef1d7044457f04fd4df
tree6f2731379a90b251dcaf062caab7168c426fbcb7
parent523b8d286cff9310fff8158f3123b12f7a2ddddc
take out all of ssjava stuff from state class and start re-organizing codes to reflect recent changes(separate lattices for fields and local vars, default lattice, ...)
Robust/src/Analysis/SSJava/FlowDownCheck.java
Robust/src/Analysis/SSJava/MethodLattice.java [new file with mode: 0644]
Robust/src/Analysis/SSJava/SSJavaAnalysis.java
Robust/src/Analysis/SSJava/SSJavaLattice.java [new file with mode: 0644]
Robust/src/IR/State.java