Class StringPda
- java.lang.Object
-
- org.eclipse.xtext.util.formallang.StringNfa
-
- org.eclipse.xtext.util.formallang.StringPda
-
- All Implemented Interfaces:
DirectedGraph<java.lang.String>
,Nfa<java.lang.String>
,Pda<java.lang.String,java.lang.String>
public class StringPda extends StringNfa implements Pda<java.lang.String,java.lang.String>
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
StringPda.StringPdaFactory<T>
class
StringPda.StringPDAState
-
Nested classes/interfaces inherited from class org.eclipse.xtext.util.formallang.StringNfa
StringNfa.StringNfaFactory, StringNfa.StringNfaState
-
-
Constructor Summary
Constructors Constructor Description StringPda(java.lang.String start, java.lang.String stop)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
getPop(java.lang.String state)
java.lang.String
getPush(java.lang.String state)
StringPda.StringPDAState
start()
StringPda.StringPDAState
state(java.lang.String state)
StringPda.StringPDAState
stop()
-
Methods inherited from class org.eclipse.xtext.util.formallang.StringNfa
getFollowers, getStart, getStop
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface org.eclipse.xtext.util.formallang.DirectedGraph
getFollowers
-
-
-
-
Method Detail
-
getPop
public java.lang.String getPop(java.lang.String state)
-
getPush
public java.lang.String getPush(java.lang.String state)
-
start
public StringPda.StringPDAState start()
-
state
public StringPda.StringPDAState state(java.lang.String state)
-
stop
public StringPda.StringPDAState stop()
-
-