public class SyntacticSequencerPDA2ExtendedDot extends GraphvizDotBuilder
GraphvizDotBuilder.Digraph, GraphvizDotBuilder.Edge, GraphvizDotBuilder.Node, GraphvizDotBuilder.Props
Modifier and Type | Field and Description |
---|---|
protected ISyntacticSequencerPDAProvider |
pdaProvider |
log
Constructor and Description |
---|
SyntacticSequencerPDA2ExtendedDot() |
SyntacticSequencerPDA2ExtendedDot(ISyntacticSequencerPDAProvider pdaProvider) |
Modifier and Type | Method and Description |
---|---|
protected GraphvizDotBuilder.Digraph |
drawGrammar(ISyntacticSequencerPDAProvider.ISynState pr) |
protected GraphvizDotBuilder.Props |
drawObject(java.lang.Object obj) |
protected void |
drawState(GraphvizDotBuilder.Digraph d,
ISyntacticSequencerPDAProvider.ISynState state,
java.util.Set<ISyntacticSequencerPDAProvider.ISynState> visited) |
draw, draw, draw, draw, getGraphvizBinary, id
@Inject protected ISyntacticSequencerPDAProvider pdaProvider
public SyntacticSequencerPDA2ExtendedDot(ISyntacticSequencerPDAProvider pdaProvider)
public SyntacticSequencerPDA2ExtendedDot()
protected GraphvizDotBuilder.Props drawObject(java.lang.Object obj)
drawObject
in class GraphvizDotBuilder
protected GraphvizDotBuilder.Digraph drawGrammar(ISyntacticSequencerPDAProvider.ISynState pr)
protected void drawState(GraphvizDotBuilder.Digraph d, ISyntacticSequencerPDAProvider.ISynState state, java.util.Set<ISyntacticSequencerPDAProvider.ISynState> visited)