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 Description static class
StringNfa.StringNfaFactory
protected class
StringNfa.StringNfaState
-
Constructor Summary
Constructors Constructor Description StringNfa(java.lang.String start, java.lang.String stop)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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()
-
-
-
Method Detail
-
getFollowers
public java.lang.Iterable<java.lang.String> getFollowers(java.lang.String state)
- Specified by:
getFollowers
in interfaceDirectedGraph<java.lang.String>
-
getStart
public java.lang.String getStart()
-
start
public StringNfa.StringNfaState start()
-
state
public StringNfa.StringNfaState state(java.lang.String state)
-
stop
public StringNfa.StringNfaState stop()
-
-