org.eclipse.xtext.util.formallang

Class NfaUtil.NFAImpl<S>

java.lang.Object

org.eclipse.xtext.util.formallang.NfaUtil.NFAImpl<S>

All Implemented Interfaces:

DirectedGraph<S>, Nfa<S>

Enclosing class:

NfaUtil

public static class NfaUtil.NFAImpl<S>
extends java.lang.Object
implements Nfa<S>

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<S,java.util.List<S>>	followers
protected S	start
protected S	stop

Constructor Summary

Constructors

Constructor and Description
NfaUtil.NFAImpl(S startStates, S finalStates, java.util.Map<S,java.util.List<S>> followers)

Method Summary

Methods

Modifier and Type	Method and Description
java.util.List<S>	getFollowers(S node)
S	getStart()
S	getStop()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

followers

protected final java.util.Map<S,java.util.List<S>> followers

start

protected final S start

stop

protected final S stop

Constructor Detail

NfaUtil.NFAImpl

public NfaUtil.NFAImpl(S startStates,
               S finalStates,
               java.util.Map<S,java.util.List<S>> followers)

Method Detail

getFollowers

public java.util.List<S> getFollowers(S node)

Specified by:

getFollowers in interface DirectedGraph<S>

getStart

public S getStart()

Specified by:

getStart in interface Nfa<S>

getStop

public S getStop()

Specified by:

getStop in interface Nfa<S>