2 public class Parameter1 {
12 neighbors = new HashSet();
15 public static Node makeNode() {
19 public addNeighbor( Node n ) {
24 // this empty task should still create a non-empty
25 // ownership graph showing parameter allocation
26 // look for the parameter s as a label referencing
27 // a heap region that is multi-object, flagged, not summary
28 task Startup( StartupObject s{ initialstate } ) {
30 Parameter1 p1 = new Parameter1();
32 taskexit( s{ !initialstate } );
36 task MakeGraph( Parameter1 p1{ !w } ) {
38 Node n1 = Node.makeNode();
39 Node n2 = Node.makeNode();
40 Node n3 = Node.makeNode();