Fixed a bug where OwnershipGraph.writeGraph() visits heap roots
authorjjenista <jjenista>
Fri, 30 Nov 2007 00:00:25 +0000 (00:00 +0000)
committerjjenista <jjenista>
Fri, 30 Nov 2007 00:00:25 +0000 (00:00 +0000)
commitbeda967dc54e046e122ea993d86c2fe92601c484
tree3aa8a2b3f6e3c325c731a779efad71c89b576cde
parentb7fabdfe7893dadcfe93d5a97db79bedab4709e5
Fixed a bug where OwnershipGraph.writeGraph() visits heap roots
that have already been visited by checking if the node is in the
visited set at the top of the traverseHeapNodes() instead of before
visiting children.

Also added more interesting examples in the testing directory.
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