the last piece for the inheritance checking...
authoryeom <yeom>
Wed, 5 Dec 2012 01:44:47 +0000 (01:44 +0000)
committeryeom <yeom>
Wed, 5 Dec 2012 01:44:47 +0000 (01:44 +0000)
commit7bc545e61609c3274ae70619762f1000a7863a6c
treeb9b397dccb22dfc79026790adb050e6962509585
parentddac34bb8ed87db61d32630e714e7f006a077c8e
the last piece for the inheritance checking...
Robust/src/Analysis/SSJava/HierarchyGraph.java
Robust/src/Analysis/SSJava/LocationInference.java