Added fields to ReferenceEdgeProperties and combed over all classes that need proper...
authorjjenista <jjenista>
Wed, 6 Aug 2008 19:33:14 +0000 (19:33 +0000)
committerjjenista <jjenista>
Wed, 6 Aug 2008 19:33:14 +0000 (19:33 +0000)
commit73dc3aa78b1d145caa868820090dfd6c7ff3f237
treee8162f2c36e6e72d3453a1a565a69e0cb738ed44
parent8d5c756e0a08eb81b1b8851a09a0151cb7eae52b
Added fields to ReferenceEdgeProperties and combed over all classes that need proper equals and hashcode methods
Robust/src/Analysis/OwnershipAnalysis/ChangeTuple.java
Robust/src/Analysis/OwnershipAnalysis/ChangeTupleSet.java
Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
Robust/src/Analysis/OwnershipAnalysis/LabelNode.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipNode.java
Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
Robust/src/Analysis/OwnershipAnalysis/ReferenceEdgeProperties.java
Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java