org.eclipse.xtext.util.formallang
Class NfaToProduction.StateAliasNfa<TOKEN>

java.lang.Object
  org.eclipse.xtext.util.formallang.NfaToProduction.StateAliasNfa<TOKEN>

All Implemented Interfaces:

DirectedGraph<NfaToProduction.StateAlias<TOKEN>>, Nfa<NfaToProduction.StateAlias<TOKEN>>

Enclosing class:

NfaToProduction

protected static class NfaToProduction.StateAliasNfa<TOKEN>
extends java.lang.Object
implements Nfa<NfaToProduction.StateAlias<TOKEN>>

Field Summary

protected NfaToProduction.StateAlias<TOKEN>	start
protected NfaToProduction.StateAlias<TOKEN>	stop

Constructor Summary

NfaToProduction.StateAliasNfa(NfaToProduction.StateAlias<TOKEN> start, NfaToProduction.StateAlias<TOKEN> stop)

Method Summary

java.lang.Iterable<NfaToProduction.StateAlias<TOKEN>>	getFollowers(NfaToProduction.StateAlias<TOKEN> state)
NfaToProduction.StateAlias<TOKEN>	getStart()
NfaToProduction.StateAlias<TOKEN>	getStop()

Methods inherited from class java.lang.Object

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

Field Detail

start

protected NfaToProduction.StateAlias<TOKEN> start

stop

protected NfaToProduction.StateAlias<TOKEN> stop

Constructor Detail

NfaToProduction.StateAliasNfa

public NfaToProduction.StateAliasNfa(NfaToProduction.StateAlias<TOKEN> start,
                                     NfaToProduction.StateAlias<TOKEN> stop)

Method Detail

getFollowers

public java.lang.Iterable<NfaToProduction.StateAlias<TOKEN>> getFollowers(NfaToProduction.StateAlias<TOKEN> state)

Specified by:

getFollowers in interface DirectedGraph<NfaToProduction.StateAlias<TOKEN>>

getStart

public NfaToProduction.StateAlias<TOKEN> getStart()

Specified by:

getStart in interface Nfa<NfaToProduction.StateAlias<TOKEN>>

getStop

public NfaToProduction.StateAlias<TOKEN> getStop()

Specified by:

getStop in interface Nfa<NfaToProduction.StateAlias<TOKEN>>