Fixed bug that heap regions from allocation sites are properly passed
authorjjenista <jjenista>
Tue, 11 Mar 2008 20:31:22 +0000 (20:31 +0000)
committerjjenista <jjenista>
Tue, 11 Mar 2008 20:31:22 +0000 (20:31 +0000)
commitbf065f7ae015d6625892f2e3bf1c2e6dfabf9416
tree8d7abe206dd73333fc49cbb9b0285c31b76ae9b6
parent8f886168bb9a41655b0d29ef43f4554a0e2f7ab0
Fixed bug that heap regions from allocation sites are properly passed
along when referenced in another ownership graph.  Preliminary testing
of allocation sites looks fine.
Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Tests/OwnershipAnalysisTest/README [new file with mode: 0644]
Robust/src/Tests/OwnershipAnalysisTest/test01/makefile
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
Robust/src/Tests/OwnershipAnalysisTest/test02/makefile [new file with mode: 0644]
Robust/src/Tests/OwnershipAnalysisTest/test02/test02.java [new file with mode: 0644]