a bunch of fixes.
authoryeom <yeom>
Sat, 7 Jul 2012 02:08:11 +0000 (02:08 +0000)
committeryeom <yeom>
Sat, 7 Jul 2012 02:08:11 +0000 (02:08 +0000)
commit031636263ce6e4b6f35f3d9162460eb0ef536c2a
tree09b38b5f9dc30674b79ab01ba40872345ad1003a
parentf0aec2e998d39bd8474da2e98da70bbf7a4f5b15
a bunch of fixes.
Robust/src/Analysis/SSJava/FlowGraph.java
Robust/src/Analysis/SSJava/FlowNode.java
Robust/src/Analysis/SSJava/Location.java
Robust/src/Analysis/SSJava/LocationInference.java
Robust/src/Analysis/SSJava/MethodLocationInfo.java [new file with mode: 0644]
Robust/src/Analysis/SSJava/NodeTupleSet.java
Robust/src/Analysis/SSJava/SSJavaAnalysis.java
Robust/src/Analysis/SSJava/SSJavaInferenceEngine.java [deleted file]
Robust/src/Analysis/SSJava/SSJavaLattice.java
Robust/src/Util/Lattice.java