Package 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

Fields

Modifier and Type	Field	Description
protected NfaToProduction.StateAlias<TOKEN>	start
protected NfaToProduction.StateAlias<TOKEN>	stop

Constructor Summary

Constructors

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

Method Summary

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

StateAliasNfa

public 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<TOKEN>

getStart

public NfaToProduction.StateAlias<TOKEN> getStart()

Specified by:

getStart in interface Nfa<TOKEN>

getStop

public NfaToProduction.StateAlias<TOKEN> getStop()

Specified by:

getStop in interface Nfa<TOKEN>