src/edu/berkeley/sbp/Node.java

   1 // Copyright 2006-2007 all rights reserved; see LICENSE file for BSD-style license
   2
   3 package edu.berkeley.sbp;
   4 import edu.berkeley.sbp.*;
   5 import edu.berkeley.sbp.util.*;
   6 import edu.berkeley.sbp.Parser.Table.*;
   7 import edu.berkeley.sbp.Sequence.Pos;
   8 import edu.berkeley.sbp.Sequence.Pos;
   9 import java.io.*;
  10 import java.util.*;
  11 import java.lang.reflect.*;
  12
  13 class Node
  14     implements GraphViz.ToGraphViz {
  15
  16     // GraphViz //////////////////////////////////////////////////////////////////////////////
  17
  18     public GraphViz.StateNode toGraphViz(GraphViz gv) {
  19         if (gv.hasNode(this)) return gv.createNode(this);
  20         GraphViz.StateNode n = gv.createNode(this);
  21         /*
  22         n.label = ""+f;
  23         n.shape = "rectangle";
  24         //if (pred()!=null) n.edge(pred, "");
  25         n.color = "blue";
  26         if (phase() != null)
  27             ((GraphViz.Group)phase().toGraphViz(gv)).add(n);
  28         n.label = "state["+state.toInt()+"]";
  29         n.shape = "rectangle";
  30         boolean haspreds = false;
  31         for(ResultNode r : results) n.edge(r, "");
  32         n.color = state.doomed ? "red" : "green";
  33         ((GraphViz.Group)phase().toGraphViz(gv)).add(n);
  34         */
  35         return n;
  36     }
  37     public boolean isTransparent() { return false; }
  38     public boolean isHidden() { return false; }
  39 }