Made a big change to reference edges, touched a lot of code.
authorjjenista <jjenista>
Tue, 12 Aug 2008 23:09:48 +0000 (23:09 +0000)
committerjjenista <jjenista>
Tue, 12 Aug 2008 23:09:48 +0000 (23:09 +0000)
commit473fc4921dcecab1415c96d1c2b93a76efd1ac9f
treee3e5f0b502afb18f74d9c2012896ed25691bcebf
parentc1586dec011c7c08fd5d2b03a582ccc093e53448
Made a big change to reference edges, touched a lot of code.
This commit is stable, but reachability needs to be added back
in, a little bit at a time with testing to make sure everything
gets put back together.
12 files changed:
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/ReferenceEdge.java [new file with mode: 0644]
Robust/src/Analysis/OwnershipAnalysis/ReferenceEdgeProperties.java [deleted file]
Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
Robust/src/Tests/OwnershipAnalysisTest/testGraphs/Main.java
Robust/src/Tests/OwnershipAnalysisTest/testTokens/Main.java