Properly use transitive closure of allocation sites when resolving
authorjjenista <jjenista>
Wed, 16 Apr 2008 17:54:30 +0000 (17:54 +0000)
committerjjenista <jjenista>
Wed, 16 Apr 2008 17:54:30 +0000 (17:54 +0000)
commit126d6464a100bed2851492f87accf74a24c020dc
tree66aeb462a31709c640e7f0b4d43d5ea31b62437d
parent10d8a002da4db0c85c53c1bfb202daedff01cc1d
Properly use transitive closure of allocation sites when resolving
a FlatCall node, and related extensions to the node classes.

Needs some cleanup though!
Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Tests/OwnershipAnalysisTest/test01/makefile
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java