Package org.eclipse.xtext.util.formallang

Class NfaGraphFormatter

java.lang.Object

org.eclipse.xtext.util.formallang.NfaGraphFormatter

public class NfaGraphFormatter
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static class	NfaGraphFormatter.Canvas
protected static class	NfaGraphFormatter.Node

Constructor Summary

Constructors

Constructor	Description
NfaGraphFormatter()

Method Summary

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