equals() and hashCode() methods are bunk
authorjjenista <jjenista>
Mon, 11 Aug 2008 23:10:45 +0000 (23:10 +0000)
committerjjenista <jjenista>
Mon, 11 Aug 2008 23:10:45 +0000 (23:10 +0000)
commit7450f183c332823b4bab2a714a3ef3f5f6da10cb
tree69ccdc89e7e163744dcf0fb409af5c0bf1bc66e2
parentf53e59475d07fc91b5146ccd791b7f5b4ba24d83
equals() and hashCode() methods are bunk
Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
Robust/src/Analysis/OwnershipAnalysis/LabelNode.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.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/Tests/OwnershipAnalysisTest/test01/test01.java