Retooled edges and basic stuff is working again (finally) but reachability needs...
authorjjenista <jjenista>
Fri, 15 Aug 2008 00:26:02 +0000 (00:26 +0000)
committerjjenista <jjenista>
Fri, 15 Aug 2008 00:26:02 +0000 (00:26 +0000)
commit57efa8edcb098edacbe2240a25e8d70e71a7d71c
tree6cb1d45dc7861929d58848499753b5b8ef48db14
parent0b8de82a6f0b89492cd4ccc6fd73b40a48d11c87
Retooled edges and basic stuff is working again (finally) but reachability needs to be reintegrated
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/Tests/OwnershipAnalysisTest/test01/test01.java
Robust/src/Tests/OwnershipAnalysisTest/testGraphs/Main.java