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>

Nested Class Summary

Nested Classes

Modifier and Type	Class and 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

Field Summary

Fields

Modifier and Type	Field and Description
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

Constructors

Constructor and Description
StringPda(java.lang.String start, java.lang.String stop)

Method Summary

Modifier and Type	Method and 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.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