Bug fix that param2id tables need to initialized for every method before starting...
authorjjenista <jjenista>
Thu, 7 Aug 2008 18:37:09 +0000 (18:37 +0000)
committerjjenista <jjenista>
Thu, 7 Aug 2008 18:37:09 +0000 (18:37 +0000)
commite3ec14e226adad043ddcd9a648241a61cc6d1adb
tree5ef1b9e7405f08c4a2ef25dc1351d39c8537b2e1
parent73dc3aa78b1d145caa868820090dfd6c7ff3f237
Bug fix that param2id tables need to initialized for every method before starting analysis
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java