Starting to integrate reachability classes into ownership.
authorjjenista <jjenista>
Wed, 2 Jul 2008 18:37:05 +0000 (18:37 +0000)
committerjjenista <jjenista>
Wed, 2 Jul 2008 18:37:05 +0000 (18:37 +0000)
commit1fcd81450a20cad7c2e2d24d0225dc2034e30824
tree2275cf9ac7e08a1a53812303309afc49e5b4f89b
parente7b21430c1e58bf2f92d79499a612446821a9406
Starting to integrate reachability classes into ownership.
Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
Robust/src/Tests/OwnershipAnalysisTest/test01/makefile