HeapRegionNode and ReferenceEdge both have had the equals() and hashCode()
authorjjenista <jjenista>
Fri, 15 Aug 2008 18:47:49 +0000 (18:47 +0000)
committerjjenista <jjenista>
Fri, 15 Aug 2008 18:47:49 +0000 (18:47 +0000)
commitffb52167b226337c265430e5e131a8b175a2667d
treec1067b57e999159929f8ae706ea81e2cf93d6c79
parent57efa8edcb098edacbe2240a25e8d70e71a7d71c
HeapRegionNode and ReferenceEdge both have had the equals() and hashCode()
methods updated to exclude transient attributes like reachability information.
If these objects are put into work sets and those attributes are changed they
have become different objects, according to the hash set.  So equals() was changed
and other methods are used for determining equality in other situations, like
asking whether heap region nodes in different graphs are equivalent.

Also, a few other minor changes.
Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipNode.java
Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
Robust/src/Tests/OwnershipAnalysisTest/testGraphs/Main.java