public class DOTGenerator
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
arrowhead |
protected Grammar |
grammar |
protected java.util.Set |
markedStates
To prevent infinite recursion when walking state machines, record
which states we've visited.
|
protected java.lang.String |
rankdir |
static org.antlr.stringtemplate.StringTemplateGroup |
stlib
Library of output templates; use
|
static boolean |
STRIP_NONREDUCED_STATES |
Constructor and Description |
---|
DOTGenerator(Grammar grammar)
This aspect is associated with a grammar
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getArrowheadType() |
java.lang.String |
getDOT(State startState)
Return a String containing a DOT description that, when displayed,
will show the incoming state machine visually.
|
protected java.lang.String |
getEdgeLabel(Transition edge)
Fix edge strings so they print out in DOT properly;
generate any gated predicates on edge too.
|
java.lang.String |
getRankdir() |
protected java.lang.String |
getStateLabel(State s) |
void |
setArrowheadType(java.lang.String arrowhead) |
void |
setRankdir(java.lang.String rankdir) |
protected void |
walkCreatingDFADOT(org.antlr.stringtemplate.StringTemplate dot,
DFAState s)
Do a depth-first walk of the state machine graph and
fill a DOT description template.
|
protected void |
walkRuleNFACreatingDOT(org.antlr.stringtemplate.StringTemplate dot,
State s)
Do a depth-first walk of the state machine graph and
fill a DOT description template.
|
public static final boolean STRIP_NONREDUCED_STATES
protected java.lang.String arrowhead
protected java.lang.String rankdir
public static org.antlr.stringtemplate.StringTemplateGroup stlib
protected java.util.Set markedStates
protected Grammar grammar
public DOTGenerator(Grammar grammar)
public java.lang.String getDOT(State startState)
protected void walkCreatingDFADOT(org.antlr.stringtemplate.StringTemplate dot, DFAState s)
protected void walkRuleNFACreatingDOT(org.antlr.stringtemplate.StringTemplate dot, State s)
protected java.lang.String getEdgeLabel(Transition edge)
protected java.lang.String getStateLabel(State s)
public java.lang.String getArrowheadType()
public void setArrowheadType(java.lang.String arrowhead)
public java.lang.String getRankdir()
public void setRankdir(java.lang.String rankdir)