org.eclipse.xtext.util.formallang
Class NfaToDot<STATE>

java.lang.Object
  org.eclipse.xtext.util.GraphvizDotBuilder
      org.eclipse.xtext.util.formallang.NfaToDot<STATE>

public class NfaToDot<STATE>
extends GraphvizDotBuilder

Author:

Moritz Eysholdt - Initial contribution and API

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 com.google.common.base.Function<STATE,java.lang.String>

stateFormatter

Fields inherited from class org.eclipse.xtext.util.GraphvizDotBuilder

log

Constructor Summary

NfaToDot()

Method Summary

protected GraphvizDotBuilder.Node	create(GraphvizDotBuilder.Digraph result, Nfa<STATE> nfa, STATE state)
protected GraphvizDotBuilder.Edge	create(GraphvizDotBuilder.Digraph result, Nfa<STATE> nfa, STATE from, STATE to)
protected void	draw(GraphvizDotBuilder.Digraph result, Nfa<STATE> nfa)
protected GraphvizDotBuilder.Props	drawObject(java.lang.Object obj)
NfaToDot<STATE>	setStateFormatter(com.google.common.base.Function<STATE,java.lang.String> stateFormatter)
protected java.lang.String	stateToString(Nfa<STATE> nfa, STATE state)

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

stateFormatter

protected com.google.common.base.Function<STATE,java.lang.String> stateFormatter

Constructor Detail

NfaToDot

public NfaToDot()

Method Detail

create

protected GraphvizDotBuilder.Node create(GraphvizDotBuilder.Digraph result,
                                         Nfa<STATE> nfa,
                                         STATE state)

create

protected GraphvizDotBuilder.Edge create(GraphvizDotBuilder.Digraph result,
                                         Nfa<STATE> nfa,
                                         STATE from,
                                         STATE to)

draw

protected void draw(GraphvizDotBuilder.Digraph result,
                    Nfa<STATE> nfa)

drawObject

protected GraphvizDotBuilder.Props drawObject(java.lang.Object obj)

Specified by:

drawObject in class GraphvizDotBuilder

setStateFormatter

public NfaToDot<STATE> setStateFormatter(com.google.common.base.Function<STATE,java.lang.String> stateFormatter)

stateToString

protected java.lang.String stateToString(Nfa<STATE> nfa,
                                         STATE state)