org.eclipse.xtext.util.formallang

Class StringPda.StringPDAState

java.lang.Object

org.eclipse.xtext.util.formallang.StringNfa.StringNfaState

org.eclipse.xtext.util.formallang.StringPda.StringPDAState

Enclosing class:

StringPda

public class StringPda.StringPDAState
extends StringNfa.StringNfaState

Field Summary

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

name

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	StringPDAState(java.lang.String name)

Method Summary

Modifier and Type	Method and Description
StringPda.StringPDAState	followedBy(java.lang.String... states)
StringPda.StringPDAState	pop(java.lang.String pop)
StringPda.StringPDAState	push(java.lang.String push)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StringPDAState

protected StringPDAState(java.lang.String name)

Method Detail

followedBy

public StringPda.StringPDAState followedBy(java.lang.String... states)

Overrides:

followedBy in class StringNfa.StringNfaState

pop

public StringPda.StringPDAState pop(java.lang.String pop)

push

public StringPda.StringPDAState push(java.lang.String push)