Altered ownership graph to dot file by removing label nodes, marking allocation
authorjjenista <jjenista>
Mon, 31 Mar 2008 20:47:54 +0000 (20:47 +0000)
committerjjenista <jjenista>
Mon, 31 Mar 2008 20:47:54 +0000 (20:47 +0000)
commitfab04c072b2b3dc57e8c5ea894e0f872dc474d9a
tree94fb7fc3b407dd37f1a4e669ab0d7b63d624a20b
parent49542b0a938fc58b4f6a35a6b7a9b314460fa6ca
Altered ownership graph to dot file by removing label nodes, marking allocation
site nodes with the object type, numbering heap regions allocated for a parameter
by the parameter index and tested that initial parameter relfexive edges get
clobbered by code that introduces a self-reference.
Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Tests/OwnershipAnalysisTest/test01/MAKESURETOTESTTHIS [deleted file]
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
Robust/src/Tests/OwnershipAnalysisTest/test02/test02.java