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

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.xtext.util.GraphvizDotBuilder

GraphvizDotBuilder.Digraph, GraphvizDotBuilder.Edge, GraphvizDotBuilder.Node, GraphvizDotBuilder.Props

Field Summary

Fields

Modifier and Type	Field and Description
protected com.google.common.base.Function<STATE,java.lang.String>	stateFormatter

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

log

Constructor Summary

Constructors

Constructor and Description
NfaToDot()

Method Summary

Modifier and Type	Method and Description
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)