protected boolean |
AbstractPDAProvider.canReachContextEnd(AbstractPDAProvider.PDAContext<CTX> context,
AbstractPDAProvider.RuleCallStackElement stack,
INFAState<?,?> fromNfa,
org.eclipse.emf.ecore.EClass constructedType,
boolean returning,
boolean canReturn,
Set<Pair<Boolean,INFAState<?,?>>> visited) |
protected AbstractPDAProvider.PDAState |
AbstractPDAProvider.createState(AbstractPDAProvider.PDAContext<CTX> ctx,
AbstractPDAProvider.RuleCallStackElement stack,
INFAState<?,?> fromNfa,
org.eclipse.emf.ecore.EClass constructedType,
boolean returning,
boolean canReturn,
Set<Pair<Boolean,INFAState<?,?>>> visited) |
protected AbstractPDAProvider.PDAState |
AbstractPDAProvider.getState(AbstractPDAProvider.PDAContext<CTX> ctx,
INFAState<?,?> state,
boolean returning) |