org.eclipse.xtext.generator.serializer
Class SyntacticSequencerPDA2SimpleDot

java.lang.Object
  extended by org.eclipse.xtext.util.GraphvizDotBuilder
      extended by org.eclipse.xtext.generator.serializer.SyntacticSequencerPDA2SimpleDot

public class SyntacticSequencerPDA2SimpleDot
extends GraphvizDotBuilder


Nested Class Summary
 
Nested classes/interfaces inherited from class org.eclipse.xtext.util.GraphvizDotBuilder
GraphvizDotBuilder.Digraph, GraphvizDotBuilder.Edge, GraphvizDotBuilder.Node, GraphvizDotBuilder.Props
 
Field Summary
protected  SyntacticSequencerPDAProvider.SequencerPDAProvider pdaProvider
           
 
Fields inherited from class org.eclipse.xtext.util.GraphvizDotBuilder
log
 
Constructor Summary
SyntacticSequencerPDA2SimpleDot()
           
 
Method Summary
static void drawGrammar(IContextProvider contexts, java.lang.String path, Grammar grammar)
           
protected  GraphvizDotBuilder.Digraph drawGrammar(IPDAState pr)
           
protected  GraphvizDotBuilder.Props drawObject(java.lang.Object obj)
           
protected  void drawState(GraphvizDotBuilder.Digraph d, IPDAState state, java.util.Set<IPDAState> visited)
           
 
Methods inherited from class org.eclipse.xtext.util.GraphvizDotBuilder
draw, draw, draw, draw, getGraphvizBinary, id
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

pdaProvider

protected SyntacticSequencerPDAProvider.SequencerPDAProvider pdaProvider
Constructor Detail

SyntacticSequencerPDA2SimpleDot

public SyntacticSequencerPDA2SimpleDot()
Method Detail

drawGrammar

public static void drawGrammar(IContextProvider contexts,
                               java.lang.String path,
                               Grammar grammar)

drawObject

protected GraphvizDotBuilder.Props drawObject(java.lang.Object obj)
Specified by:
drawObject in class GraphvizDotBuilder

drawGrammar

protected GraphvizDotBuilder.Digraph drawGrammar(IPDAState pr)

drawState

protected void drawState(GraphvizDotBuilder.Digraph d,
                         IPDAState state,
                         java.util.Set<IPDAState> visited)