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