More reachability implementation, no token propagation yet.
authorjjenista <jjenista>
Tue, 15 Jul 2008 21:42:41 +0000 (21:42 +0000)
committerjjenista <jjenista>
Tue, 15 Jul 2008 21:42:41 +0000 (21:42 +0000)
commit4720a1389e07ebc94012b458c93d4e349dff2f74
tree213770e73e21ddf34012586c1be0f53a55cec10b
parent4a9f8ad0f03a075a27f19abf1c01ffcdff53e34f
More reachability implementation, no token propagation yet.
Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Analysis/OwnershipAnalysis/ReferenceEdgeProperties.java
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java