Robust/src/Tests/disjoint/cc-paper-example/test.java

   1 public class Graph {
   2   public Node n;
   3 }
   4
   5 public class Node {
   6   public Config c;
   7   public Node   n;
   8 }
   9
  10 public class Config {
  11 }
  12
  13
  14
  15 public class Test {
  16
  17   static public Node nodeFactory() {
  18     return disjoint N new Node();
  19   }
  20
  21   static public void main( String[] args ) {
  22     Graph g  = disjoint G new Graph();
  23     Node  u  = nodeFactory();
  24     Node  v  = nodeFactory();
  25     Config c = disjoint C new Config();
  26
  27     g.n = u;
  28     u.n = v; u.c = c;
  29     v.n = u; v.c = c;
  30   }
  31 }