protected static class AbstractPDAProvider.RuleCallStackElement
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected AbstractPDAProvider.RuleCallStackElement |
parent |
protected INFAState<?,?> |
ruleCall |
protected boolean |
stopCheck |
Constructor and Description |
---|
AbstractPDAProvider.RuleCallStackElement(AbstractPDAProvider.RuleCallStackElement parent,
INFAState<?,?> ruleCall) |
Modifier and Type | Method and Description |
---|---|
AbstractPDAProvider.RuleCallStackElement |
cloneWithoutVisited() |
protected AbstractPDAProvider.RuleCallStackElement |
getParent() |
protected INFAState<?,?> |
getRuleCall() |
boolean |
hasEnteredTwice(INFAState<?,?> element) |
java.lang.String |
toString() |
protected AbstractPDAProvider.RuleCallStackElement parent
protected INFAState<?,?> ruleCall
protected boolean stopCheck
public AbstractPDAProvider.RuleCallStackElement(AbstractPDAProvider.RuleCallStackElement parent, INFAState<?,?> ruleCall)
protected AbstractPDAProvider.RuleCallStackElement getParent()
public boolean hasEnteredTwice(INFAState<?,?> element)
public AbstractPDAProvider.RuleCallStackElement cloneWithoutVisited()
protected INFAState<?,?> getRuleCall()
public java.lang.String toString()
toString
in class java.lang.Object