Uses of Class
jflex.chars.Interval.IntervalIterator