public IntervalSet nextTokens(ATNState s) {if ( s.nextTokenWithinRule != null ) return s.nextTokenWithinRule;s.nextTokenWithinRule = nextTokens(s, null);s.nextTokenWithinRule.setReadonly(true);return s.nextTokenWithinRule;}

public virtual IntervalSet NextTokens(ATNState s){if (s.nextTokenWithinRule != null){return s.nextTokenWithinRule;}s.nextTokenWithinRule = NextTokens(s, null);s.nextTokenWithinRule.SetReadonly(true);return s.nextTokenWithinRule;}
