1 // Copyright 2006-2007 all rights reserved; see LICENSE file for BSD-style license
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;
11 import java.lang.reflect.*;
14 implements GraphViz.ToGraphViz {
16 // GraphViz //////////////////////////////////////////////////////////////////////////////
18 public GraphViz.StateNode toGraphViz(GraphViz gv) {
19 if (gv.hasNode(this)) return gv.createNode(this);
20 GraphViz.StateNode n = gv.createNode(this);
23 n.shape = "rectangle";
24 //if (pred()!=null) n.edge(pred, "");
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);
37 public boolean isTransparent() { return false; }
38 public boolean isHidden() { return false; }