protected static class AbstractPDAProvider.PDAState extends java.lang.Object implements IPDAState
IPDAState.PDAStateType
Modifier and Type | Field and Description |
---|---|
protected AbstractElement |
element |
protected java.util.Set<IPDAState> |
followers |
protected IPDAState.PDAStateType |
type |
Constructor and Description |
---|
AbstractPDAProvider.PDAState(IPDAState.PDAStateType type,
AbstractElement element) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<IPDAState> |
getFollowers() |
AbstractElement |
getGrammarElement() |
IPDAState.PDAStateType |
getType() |
java.lang.String |
toString() |
protected AbstractElement element
protected java.util.Set<IPDAState> followers
protected IPDAState.PDAStateType type
public AbstractPDAProvider.PDAState(IPDAState.PDAStateType type, AbstractElement element)
public java.util.Collection<IPDAState> getFollowers()
getFollowers
in interface IPDAState
public AbstractElement getGrammarElement()
getGrammarElement
in interface IPDAState
public IPDAState.PDAStateType getType()
public java.lang.String toString()
toString
in class java.lang.Object