Found a bug in OwnershipGraph.java when writing out the .dot file. If
authorjjenista <jjenista>
Wed, 28 Nov 2007 22:24:28 +0000 (22:24 +0000)
committerjjenista <jjenista>
Wed, 28 Nov 2007 22:24:28 +0000 (22:24 +0000)
commit6e12ddb6312d62dad20b4024954aa2505f7fdfe5
tree39eb9029aab4bdf0288b90bab1aa06fb6883afbf
parentcc701f275ad8d87f04457591a978cc4ec3f3f9e6
Found a bug in OwnershipGraph.java when writing out the .dot file.  If
a heap region that is listed as a heap root, such as an incoming parameter,
and some other heap region creates a reference to it, then it will be
traversed twice, once from it's own heap root starting point, and once when
the referencing heap region's heap root is traversed.  Altered the graph
writing code to use a shared hashset to decide if a heap region has been
visited.
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Tests/OwnershipAnalysisTest/test01/makefile