changes to pass the location type check.
authoryeom <yeom>
Sat, 13 Oct 2012 01:52:42 +0000 (01:52 +0000)
committeryeom <yeom>
Sat, 13 Oct 2012 01:52:42 +0000 (01:52 +0000)
commit9e11ce79473fe199b045066b384fdfed8eb022ea
treeca0a0ebb38bc33b24b03af061ed0aa1f1851a504
parent54708994678c8a9ba91aebba7db71d95781e0bc2
changes to pass the location type check.
Robust/src/Analysis/SSJava/BuildLattice.java
Robust/src/Analysis/SSJava/HierarchyGraph.java
Robust/src/Analysis/SSJava/LocationInference.java
Robust/src/Analysis/SSJava/LocationSummary.java
Robust/src/Analysis/SSJava/MethodSummary.java