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>

Author:

Moritz Eysholdt - Initial contribution and API

Nested Class Summary

protected class

StringNfa.StringNfaState

Field Summary

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

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

Method Summary

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()