protected static class AbstractPDAProvider.PDAContext<CTX>
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected CTX |
context |
protected java.util.Map<INFAState<?,?>,AbstractPDAProvider.PDAState> |
elements |
protected java.util.Map<INFAState<?,?>,AbstractPDAProvider.PDAState> |
ruleCallEnter |
protected java.util.Map<INFAState<?,?>,AbstractPDAProvider.PDAState> |
ruleCallExit |
protected AbstractPDAProvider.PDAState |
start |
protected AbstractPDAProvider.PDAState |
stop |
Constructor and Description |
---|
AbstractPDAProvider.PDAContext(CTX context) |
Modifier and Type | Method and Description |
---|---|
protected void |
setStart(AbstractPDAProvider.PDAState start) |
protected void |
setStop(AbstractPDAProvider.PDAState stop) |
protected CTX context
protected java.util.Map<INFAState<?,?>,AbstractPDAProvider.PDAState> elements
protected java.util.Map<INFAState<?,?>,AbstractPDAProvider.PDAState> ruleCallEnter
protected java.util.Map<INFAState<?,?>,AbstractPDAProvider.PDAState> ruleCallExit
protected AbstractPDAProvider.PDAState start
protected AbstractPDAProvider.PDAState stop
public AbstractPDAProvider.PDAContext(CTX context)
protected void setStart(AbstractPDAProvider.PDAState start)
protected void setStop(AbstractPDAProvider.PDAState stop)