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

protected

StringPda.StringPDAState(java.lang.String name)

Method Summary

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

StringPda.StringPDAState

protected StringPda.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)