org.eclipse.xtext.util.formallang
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>
- Author:
- Moritz Eysholdt - Initial contribution and API
Field Summary |
protected java.util.Map<java.lang.String,java.lang.String> |
pops
|
protected java.util.Map<java.lang.String,java.lang.String> |
pushs
|
Constructor Summary |
StringPda(java.lang.String start,
java.lang.String stop)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
pops
protected final java.util.Map<java.lang.String,java.lang.String> pops
pushs
protected final java.util.Map<java.lang.String,java.lang.String> pushs
StringPda
public StringPda(java.lang.String start,
java.lang.String stop)
getPop
public java.lang.String getPop(java.lang.String state)
- Specified by:
getPop
in interface Pda<java.lang.String,java.lang.String>
getPush
public java.lang.String getPush(java.lang.String state)
- Specified by:
getPush
in interface Pda<java.lang.String,java.lang.String>
start
public StringPda.StringPDAState start()
- Overrides:
start
in class StringNfa
state
public StringPda.StringPDAState state(java.lang.String state)
- Overrides:
state
in class StringNfa
stop
public StringPda.StringPDAState stop()
- Overrides:
stop
in class StringNfa