org.eclipse.xtext.util.formallang
Class StringNfa

java.lang.Object
  extended by 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()