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<String>, Nfa<String>, Pda<String,String>

public class StringPda
extends StringNfa
implements Pda<String,String>

Author:

Moritz Eysholdt - Initial contribution and API

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 Map<String,String>	pops
protected Map<String,String>	pushs

Fields inherited from class org.eclipse.xtext.util.formallang.StringNfa

followers, start, stop

Constructor Summary

Constructors

Constructor and Description
StringPda(String start, String stop)

Method Summary

Methods

Modifier and Type	Method and Description
String	getPop(String state)
String	getPush(String state)
StringPda.StringPDAState	start()
StringPda.StringPDAState	state(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 Map<String,String> pops

pushs

protected final Map<String,String> pushs

Constructor Detail

StringPda

public StringPda(String start,
         String stop)

Method Detail

getPop

public String getPop(String state)

Specified by:

getPop in interface Pda<String,String>

getPush

public String getPush(String state)

Specified by:

getPush in interface Pda<String,String>

start

public StringPda.StringPDAState start()

Overrides:

start in class StringNfa

state

public StringPda.StringPDAState state(String state)

Overrides:

state in class StringNfa

stop

public StringPda.StringPDAState stop()

Overrides:

stop in class StringNfa