Robust/src/Tests/OwnershipAnalysisTest/test03/test03.java

   1
   2 public class Parameter {
   3   flag w;
   4   Node root;
   5   public Parameter() {}
   6 }
   7
   8 public class Node {
   9   HashSet neighbors;
  10
  11   public Node() {
  12     neighbors = new HashSet();
  13   }
  14
  15   public static Node makeNode() {
  16     return new Node();
  17   }
  18
  19   public addNeighbor( Node n ) {
  20     neighbors.add( n );
  21   }
  22 }
  23
  24 task Startup( StartupObject s{ initialstate } ) {
  25
  26   Parameter p1 = new Parameter();
  27
  28   taskexit( s{ !initialstate } );
  29 }
  30
  31
  32 task MakeGraph( Parameter p1{ !w } ) {
  33
  34   while( false ) {
  35     Parameter p2 = new Parameter();
  36
  37     Node n1 = Node.makeNode();
  38     Node n2 = Node.makeNode();
  39     Node n3 = Node.makeNode();
  40
  41     n1.addNeighbor( n2 );
  42     n2.addNeighbor( n3 );
  43     n3.addNeighbor( n1 );
  44
  45     p2.root = n1;
  46   }
  47
  48   taskexit( p1{ w } );
  49 }