closure(dfa.nfa.getState(c.state), c.alt, c.context,
closure(ruleTarget, alt, newContext, semanticContext, d, collectPredicates); NFAState continueState = edgeToRule.followState; closure(continueState, alt, newContext, semanticContext, d, collectPredicates); closure((NFAState)transition0.target, alt, context, closure((NFAState)transition0.target, alt, context, closure((NFAState)transition1.target, alt, context,
closure(ruleTarget, alt, newContext, semanticContext, d, collectPredicates); NFAState continueState = edgeToRule.followState; closure(continueState, alt, newContext, semanticContext, d, collectPredicates); closure((NFAState)transition0.target, alt, context, closure((NFAState)transition0.target, alt, context, closure((NFAState)transition1.target, alt, context,
closure(dfa.nfa.getState(c.state), c.alt, c.context,
closure(ruleTarget, alt, newContext, semanticContext, d, collectPredicates); NFAState continueState = edgeToRule.followState; closure(continueState, alt, newContext, semanticContext, d, collectPredicates); closure((NFAState)transition0.target, alt, context, closure((NFAState)transition0.target, alt, context, closure((NFAState)transition1.target, alt, context,
closure(dfa.nfa.getState(c.state), c.alt, c.context,
closure(ruleTarget, alt, newContext, semanticContext, d, collectPredicates); NFAState continueState = edgeToRule.followState; closure(continueState, alt, newContext, semanticContext, d, collectPredicates); closure((NFAState)transition0.target, alt, context, closure((NFAState)transition0.target, alt, context, closure((NFAState)transition1.target, alt, context,
closure(dfa.nfa.getState(c.state), c.alt, c.context,
closure(t); // add any NFA states reachable via epsilon
closure(t); // add any NFA states reachable via epsilon
closure(t); // add any NFA states reachable via epsilon
closure(t); // add any NFA states reachable via epsilon