org.eclipse.xtext.util.formallang

Class StringNfa

java.lang.Object

org.eclipse.xtext.util.formallang.StringNfa

All Implemented Interfaces:

DirectedGraph<java.lang.String>, Nfa<java.lang.String>

Direct Known Subclasses:

StringPda

public class StringNfa
extends java.lang.Object
implements Nfa<java.lang.String>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	StringNfa.StringNfaFactory
protected class	StringNfa.StringNfaState

Field Summary

Fields

Modifier and Type	Field and Description
protected com.google.common.collect.Multimap<java.lang.String,java.lang.String>	followers
protected java.lang.String	start
protected java.lang.String	stop

Constructor Summary

Constructors

Constructor and Description
StringNfa(java.lang.String start, java.lang.String stop)

Method Summary

Modifier and Type	Method and Description
java.lang.Iterable<java.lang.String>	getFollowers(java.lang.String state)
java.lang.String	getStart()
java.lang.String	getStop()
StringNfa.StringNfaState	start()
StringNfa.StringNfaState	state(java.lang.String state)
StringNfa.StringNfaState	stop()

Methods inherited from class java.lang.Object

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

Field Detail

followers

protected final com.google.common.collect.Multimap<java.lang.String,java.lang.String> followers

start

protected final java.lang.String start

stop

protected final java.lang.String stop

Constructor Detail

StringNfa

public StringNfa(java.lang.String start,
                 java.lang.String stop)

Method Detail

getFollowers

public java.lang.Iterable<java.lang.String> getFollowers(java.lang.String state)

Specified by:

getFollowers in interface DirectedGraph<java.lang.String>

getStart

public java.lang.String getStart()

Specified by:

getStart in interface Nfa<java.lang.String>

getStop

public java.lang.String getStop()

Specified by:

getStop in interface Nfa<java.lang.String>

start

public StringNfa.StringNfaState start()

state

public StringNfa.StringNfaState state(java.lang.String state)

stop

public StringNfa.StringNfaState stop()