org.eclipse.xtext.util.formallang
Class StringPda

java.lang.Object
  extended by org.eclipse.xtext.util.formallang.StringNfa
      extended by 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

Nested Class Summary
 class StringPda.StringPDAState
           
 
Nested classes/interfaces inherited from class org.eclipse.xtext.util.formallang.StringNfa
StringNfa.StringNfaState
 
Field Summary
protected  java.util.Map<java.lang.String,java.lang.String> pops
           
protected  java.util.Map<java.lang.String,java.lang.String> pushs
           
 
Fields inherited from class org.eclipse.xtext.util.formallang.StringNfa
followers, start, stop
 
Constructor Summary
StringPda(java.lang.String start, java.lang.String stop)
           
 
Method Summary
 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.Nfa
getStart, getStop
 
Methods inherited from interface org.eclipse.xtext.util.formallang.DirectedGraph
getFollowers
 

Field Detail

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
Constructor Detail

StringPda

public StringPda(java.lang.String start,
                 java.lang.String stop)
Method Detail

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