Compute set of tokens that can follow {@code s} in the ATN in the
specified {@code ctx}.
<p>If {@code ctx} is {@code null} and {@code stopState} or the end of the
rule containing {@code s} is reached, {@link Token#EPSILON} is added to
the result set. If {@code ctx} is not {@code null} and {@code addEOF} is
{@code true} and {@code stopState} or the end of the outermost rule is
reached, {@link Token#EOF} is added to the result set.</p>
@param s the ATN state.
@param stopState the ATN state to stop at. This can be a
{@link BlockEndState} to detect epsilon paths through a closure.
@param ctx The outer context, or {@code null} if the outer context should
not be used.
@param look The result lookahead set.
@param lookBusy A set used for preventing epsilon closures in the ATN
from causing a stack overflow. Outside code should pass
{@code new HashSet<ATNConfig>} for this argument.
@param calledRuleStack A set used for preventing left recursion in the
ATN from causing a stack overflow. Outside code should pass
{@code new BitSet()} for this argument.
@param seeThruPreds {@code true} to true semantic predicates as
implicitly {@code true} and "see through them", otherwise {@code false}
to treat semantic predicates as opaque and add {@link #HIT_PRED} to the
result if one is encountered.
@param addEOF Add {@link Token#EOF} to the result if the end of the
outermost context is reached. This parameter has no effect if {@code ctx}
is {@code null}.
Compute set of tokens that can follow {@code s} in the ATN in the specified {@code ctx}.
<p>If {@code ctx} is {@code null} and {@code stopState} or the end of the rule containing {@code s} is reached, {@link Token#EPSILON} is added to the result set. If {@code ctx} is not {@code null} and {@code addEOF} is {@code true} and {@code stopState} or the end of the outermost rule is reached, {@link Token#EOF} is added to the result set.</p>
@param s the ATN state. @param stopState the ATN state to stop at. This can be a {@link BlockEndState} to detect epsilon paths through a closure. @param ctx The outer context, or {@code null} if the outer context should not be used. @param look The result lookahead set. @param lookBusy A set used for preventing epsilon closures in the ATN from causing a stack overflow. Outside code should pass {@code new HashSet<ATNConfig>} for this argument. @param calledRuleStack A set used for preventing left recursion in the ATN from causing a stack overflow. Outside code should pass {@code new BitSet()} for this argument. @param seeThruPreds {@code true} to true semantic predicates as implicitly {@code true} and "see through them", otherwise {@code false} to treat semantic predicates as opaque and add {@link #HIT_PRED} to the result if one is encountered. @param addEOF Add {@link Token#EOF} to the result if the end of the outermost context is reached. This parameter has no effect if {@code ctx} is {@code null}.