Lines Matching defs:position

357     private int position;
386 // A store of a position that the scanner may fall back to
786 savedScannerPosition = position;
790 this.position = savedScannerPosition;
796 this.position = savedScannerPosition;
822 position = hasNextPosition;
832 position = hasNextPosition;
843 int p = buf.position();
844 buf.position(buf.limit());
863 // Restore current position and limit for reading
864 buf.limit(buf.position());
865 buf.position(p);
873 position : savedScannerPosition;
874 buf.position(offset);
879 position -= offset;
889 position -= offset;
906 if ((sourceClosed) && (position == buf.limit()))
918 matcher.region(position, buf.limit());
922 position = matcher.end();
925 if (position == buf.limit())
937 * The position is advanced to the end of that complete token
952 matcher.region(position, buf.limit());
962 position = matcher.end();
967 if (position == buf.limit()) {
980 matcher.region(position, buf.limit());
982 if (foundNextDelim && (matcher.end() == position)) {
1007 matcher.region(position, tokenEnd);
1010 position = matcher.end();
1026 matcher.region(position, buf.limit());
1029 position = matcher.end();
1051 horizonLimit = position + horizon;
1055 matcher.region(position, searchLimit);
1074 position = matcher.end();
1089 // the current position
1093 matcher.region(position, buf.limit());
1100 position = matcher.end();
1353 sb.append("[position=" + position + "]");
1567 * separator at the end. The position is set to the beginning of the next
1621 * position is unchanged. This method may block waiting for input that
1654 int horizonForLine = endPosition - position;
1689 * null is returned and the scanner's position remains unchanged. This
1693 * points beyond its current position. Note that a match may be clipped
1741 * current position, then no input is skipped and a
1745 * the scanner's current position, patterns that can match a lot of
1769 position = matcher.end();
1929 position = matcher.start(); // don't skip bad token
2035 position = matcher.start(); // don't skip bad token
2165 position = matcher.start(); // don't skip bad token
2270 position = matcher.start(); // don't skip bad token
2390 position = matcher.start(); // don't skip bad token
2458 position = matcher.start(); // don't skip bad token
2564 position = matcher.start(); // don't skip bad token
2627 position = matcher.start(); // don't skip bad token