Tighten up use of canonical objects and halt system if a canonical object's hashcode...
authorjjenista <jjenista>
Wed, 1 Oct 2008 21:51:48 +0000 (21:51 +0000)
committerjjenista <jjenista>
Wed, 1 Oct 2008 21:51:48 +0000 (21:51 +0000)
commit9dd253fb3f37647f295d83bbaad2fbd92a15a216
tree8fdeffdc71fe85432fc0051b022f7792d9582073
parent4a6a69ac6e57eeb921cebc831141bae91ae91ae3
Tighten up use of canonical objects and halt system if a canonical object's hashcode changes.
Robust/src/Analysis/OwnershipAnalysis/ChangeTuple.java
Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java
Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java