org.eclipse.xtext.util.formallang
Class NfaGraphFormatter

java.lang.Object
  extended by org.eclipse.xtext.util.formallang.NfaGraphFormatter

public class NfaGraphFormatter
extends java.lang.Object

Author:
Moritz Eysholdt - Initial contribution and API

Nested Class Summary
protected static class NfaGraphFormatter.Canvas
           
protected static class NfaGraphFormatter.Node
           
 
Constructor Summary
NfaGraphFormatter()
           
 
Method Summary
protected
<STATE> NfaGraphFormatter.Node
createNodes(Nfa<STATE> nfa, STATE state, java.util.Map<STATE,java.lang.Integer> names, Wrapper<java.lang.Integer> lastName)
           
<STATE> java.lang.String
format(Nfa<STATE> nfa)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

NfaGraphFormatter

public NfaGraphFormatter()
Method Detail

format

public <STATE> java.lang.String format(Nfa<STATE> nfa)

createNodes

protected <STATE> NfaGraphFormatter.Node createNodes(Nfa<STATE> nfa,
                                                     STATE state,
                                                     java.util.Map<STATE,java.lang.Integer> names,
                                                     Wrapper<java.lang.Integer> lastName)