OwnershipGraph and Node classes are working and tested.
authorjjenista <jjenista>
Wed, 28 Nov 2007 21:51:44 +0000 (21:51 +0000)
committerjjenista <jjenista>
Wed, 28 Nov 2007 21:51:44 +0000 (21:51 +0000)
commitcc701f275ad8d87f04457591a978cc4ec3f3f9e6
tree5033211aa40e61bff3ad31aa428db2faa1619e49
parent83329d8e805fdf702bd013c11a67e4a19c398d1c
OwnershipGraph and Node classes are working and tested.
OwnershipAnalysis does not correctly construct the ownership
graph for a simple program, consider this version of that
class invalid.
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipHeapRegionNode.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipLabelNode.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipNode.java
Robust/src/Tests/OwnershipAnalysisTest/test01/makefile
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java
Robust/src/Tests/OwnershipAnalysisTest/testGraphs/Main.java [new file with mode: 0644]
Robust/src/Tests/OwnershipAnalysisTest/testGraphs/makefile [new file with mode: 0644]