Lines Matching defs:number
32 * A utility class that implements a number list that keeps track of which
43 * The maximum number of intervals that we keep track of is
45 * sequence numbers are deleted from the list. The earliest sequence number
47 * number, or expectedNumber, is one greater than the latest sequence
48 * number in the list.
50 * The list keeps track the first token number that should have arrived
52 * the first valid token number but before windowStart. That would happen
53 * if the number of elements (intervals) exceeds MAX_INTERVALS and some
87 * Returns the index for the entry into which this number will fit. If
89 * which precedes this number. It returns -1 if the number needs to be
92 private int getIntervalIndex(int number) {
98 if (entry.compareTo(number) <= 0)
106 * number.
108 * The following represents the number line with positions of
150 synchronized public final void getProps(int number, MessageProp prop) {
158 // System.out.println("TokenTracker.getProps(): number=" + number);
161 int pos = getIntervalIndex(number);
168 if (number == expectedNumber) {
173 if (entry != null && entry.contains(number))
181 if (number > expectedNumber) {
183 } else if (number >= windowStart) {
185 } else if (number >= initNumber) {
194 if (number > expectedNumber) {
195 if (number < initNumber) {
198 if (number >= windowStart) {
207 } else if (number < windowStart) {
216 add(number, pos);
219 expectedNumber = number+1;
230 * Adds the number to the list just after the entry that is currently
231 * at position prevEntryPos. If prevEntryPos is -1, then the number
234 private void add(int number, int prevEntryPos) {
246 // Can this number simply be added to the previous interval?
247 if (number == (entryBefore.getEnd() + 1)) {
248 entryBefore.setEnd(number);
253 // Now check the interval that follows this number
259 // Can this number simply be added to the next interval?
260 if (number == (entryAfter.getStart() - 1)) {
262 entryAfter.setStart(number);
279 * At this point we know that the number will start a new interval
285 entry = new Entry(number);
301 entry.setStart(number);
302 entry.setEnd(number);
324 windowStart = number;
364 Entry(int number) {
365 start = number;
366 end = number;
371 * the number, 0 if the the number is contained in the interval,
372 * and -1 if the interval occurs after the number.
374 final int compareTo(int number) {
375 if (start > number)
377 else if (end < number)
383 final boolean contains(int number) {
384 return (number >= start &&
385 number <= end);
388 final void append(int number) {
389 if (number == (end + 1))
390 end = number;