protected static class AbstractPDAProvider.RuleCallStackElement extends 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) |
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()
Copyright © 2015. All Rights Reserved.