changes. it generates correct lattices.
authoryeom <yeom>
Thu, 8 Nov 2012 06:49:58 +0000 (06:49 +0000)
committeryeom <yeom>
Thu, 8 Nov 2012 06:49:58 +0000 (06:49 +0000)
commitf7b671e1dd0d86e45ef2ceb2d83fde738997720d
treed43b1df7f30e8d34df8912a17c63492d44c3f537
parent9e20e6312d78b49358821f39e34967cabb4a51c3
changes. it generates correct lattices.
Robust/src/Analysis/SSJava/BuildLattice.java
Robust/src/Analysis/SSJava/HierarchyGraph.java
Robust/src/Analysis/SSJava/LocationInference.java