SyntacticSequencerPDAProvider.NavigablePDA (org.eclipse.xtext 2.30.0 API)

java.lang.Object
- org.eclipse.xtext.serializer.analysis.SyntacticSequencerPDAProvider.NavigablePDA

All Implemented Interfaces:

org.eclipse.xtext.util.formallang.DirectedGraph<ISyntacticSequencerPDAProvider.ISynState>, org.eclipse.xtext.util.formallang.Nfa<ISyntacticSequencerPDAProvider.ISynState>, org.eclipse.xtext.util.formallang.Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>

Enclosing class:

SyntacticSequencerPDAProvider
```
protected static class SyntacticSequencerPDAProvider.NavigablePDA
extends java.lang.Object
implements org.eclipse.xtext.util.formallang.Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>
```

Field Summary

Fields
Modifier and Type Field Description

protected ISyntacticSequencerPDAProvider.ISynNavigable navigable

Constructor Summary

Constructors
Constructor Description

NavigablePDA(ISyntacticSequencerPDAProvider.ISynNavigable navigable)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.lang.Iterable<ISyntacticSequencerPDAProvider.ISynState>`	`getFollowers(ISyntacticSequencerPDAProvider.ISynState node)`
`RuleCall`	`getPop(ISyntacticSequencerPDAProvider.ISynState state)`
`RuleCall`	`getPush(ISyntacticSequencerPDAProvider.ISynState state)`
`ISyntacticSequencerPDAProvider.ISynState`	`getStart()`
`ISyntacticSequencerPDAProvider.ISynState`	`getStop()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - navigable
```
protected ISyntacticSequencerPDAProvider.ISynNavigable navigable
```
- Constructor Detail
  - NavigablePDA
```
public NavigablePDA(ISyntacticSequencerPDAProvider.ISynNavigable navigable)
```
- Method Detail
  - getFollowers
```
public java.lang.Iterable<ISyntacticSequencerPDAProvider.ISynState> getFollowers(ISyntacticSequencerPDAProvider.ISynState node)
```
    Specified by:
    
    getFollowers in interface org.eclipse.xtext.util.formallang.DirectedGraph<ISyntacticSequencerPDAProvider.ISynState>
  - getPop
```
public RuleCall getPop(ISyntacticSequencerPDAProvider.ISynState state)
```
    Specified by:
    
    getPop in interface org.eclipse.xtext.util.formallang.Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>
  - getPush
```
public RuleCall getPush(ISyntacticSequencerPDAProvider.ISynState state)
```
    Specified by:
    
    getPush in interface org.eclipse.xtext.util.formallang.Pda<ISyntacticSequencerPDAProvider.ISynState,RuleCall>
  - getStart
```
public ISyntacticSequencerPDAProvider.ISynState getStart()
```
    Specified by:
    
    getStart in interface org.eclipse.xtext.util.formallang.Nfa<ISyntacticSequencerPDAProvider.ISynState>
  - getStop
```
public ISyntacticSequencerPDAProvider.ISynState getStop()
```
    Specified by:
    
    getStop in interface org.eclipse.xtext.util.formallang.Nfa<ISyntacticSequencerPDAProvider.ISynState>