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 Description protected
StringPDAState(java.lang.String name)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description StringPda.StringPDAState
followedBy(java.lang.String... states)
StringPda.StringPDAState
pop(java.lang.String pop)
StringPda.StringPDAState
push(java.lang.String push)
-
-
-
Method Detail
-
followedBy
public StringPda.StringPDAState followedBy(java.lang.String... states)
- Overrides:
followedBy
in classStringNfa.StringNfaState
-
pop
public StringPda.StringPDAState pop(java.lang.String pop)
-
push
public StringPda.StringPDAState push(java.lang.String push)
-
-