|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.eclipse.xtext.util.formallang.NfaGraphFormatter
public class NfaGraphFormatter
Nested Class Summary | |
---|---|
protected static class |
NfaGraphFormatter.Canvas
|
protected static class |
NfaGraphFormatter.Node
|
Constructor Summary | |
---|---|
NfaGraphFormatter()
|
Method Summary | ||
---|---|---|
protected
|
createNodes(Nfa<STATE> nfa,
STATE state,
java.util.Map<STATE,java.lang.Integer> names,
Wrapper<java.lang.Integer> lastName)
|
|
|
format(Nfa<STATE> nfa)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public NfaGraphFormatter()
Method Detail |
---|
public <STATE> java.lang.String format(Nfa<STATE> nfa)
protected <STATE> NfaGraphFormatter.Node createNodes(Nfa<STATE> nfa, STATE state, java.util.Map<STATE,java.lang.Integer> names, Wrapper<java.lang.Integer> lastName)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |