org.eclipse.xtext.util.formallang
Class NfaFormatter

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

public class NfaFormatter
extends java.lang.Object

Author:
Moritz Eysholdt - Initial contribution and API

Nested Class Summary
protected static class NfaFormatter.Canvas
           
protected static class NfaFormatter.Node
           
 
Constructor Summary
NfaFormatter()
           
 
Method Summary
protected
<STATE> NfaFormatter.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

NfaFormatter

public NfaFormatter()
Method Detail

format

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

createNodes

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