| Modifier and Type | Field and Description |
|---|---|
| protected String | |
| protected Grammar | |
| protected Set | markedStates
To prevent infinite recursion when walking state machines, record which states we've visited. |
| protected String | |
| public static STGroup | stlib
Library of output templates; use |
| public static final boolean |
| Access | Constructor and Description |
|---|---|
| public |
| Modifier and Type | Method and Description |
|---|---|
| public String | |
| public String | |
| protected String | getEdgeLabel(Transition edge)
Fix edge strings so they print out in DOT properly; generate any gated predicates on edge too. |
| public String | |
| protected String | |
| public void | |
| public void | |
| protected void | walkCreatingDFADOT(ST dot, DFAState s)
Do a depth-first walk of the state machine graph and fill a DOT description template. |
| protected void | walkRuleNFACreatingDOT(ST dot, State s)
Do a depth-first walk of the state machine graph and fill a DOT description template. |
| arrowhead | back to summary |
|---|---|
| protected String arrowhead | |
| grammar | back to summary |
|---|---|
| protected Grammar grammar | |
| markedStates | back to summary |
|---|---|
| protected Set<Object> markedStates To prevent infinite recursion when walking state machines, record which states we've visited. Make a new set every time you start walking in case you reuse this object. | |
| rankdir | back to summary |
|---|---|
| protected String rankdir | |
| stlib | back to summary |
|---|---|
| public static STGroup stlib Library of output templates; use | |
| STRIP_NONREDUCED_STATES | back to summary |
|---|---|
| public static final boolean STRIP_NONREDUCED_STATES | |
| DOTGenerator | back to summary |
|---|---|
| public DOTGenerator(Grammar grammar) This aspect is associated with a grammar | |
| getArrowheadType | back to summary |
|---|---|
| public String getArrowheadType() | |
| getDOT | back to summary |
|---|---|
| public String getDOT(State startState) Return a String containing a DOT description that, when displayed, will show the incoming state machine visually. All nodes reachable from startState will be included. | |
| getEdgeLabel | back to summary |
|---|---|
| protected String getEdgeLabel(Transition edge) Fix edge strings so they print out in DOT properly; generate any gated predicates on edge too. | |
| getRankdir | back to summary |
|---|---|
| public String getRankdir() | |
| getStateLabel | back to summary |
|---|---|
| protected String getStateLabel(State s) | |
| setArrowheadType | back to summary |
|---|---|
| public void setArrowheadType(String arrowhead) | |
| setRankdir | back to summary |
|---|---|
| public void setRankdir(String rankdir) | |
| walkCreatingDFADOT | back to summary |
|---|---|
| protected void walkCreatingDFADOT(ST dot, DFAState s) Do a depth-first walk of the state machine graph and fill a DOT description template. Keep filling the states and edges attributes. | |
| walkRuleNFACreatingDOT | back to summary |
|---|---|
| protected void walkRuleNFACreatingDOT(ST dot, State s) Do a depth-first walk of the state machine graph and fill a DOT description template. Keep filling the states and edges attributes. We know this is an NFA for a rule so don't traverse edges to other rules and don't go past rule end state. | |