1 | /* This file is part of the project "Hilbert II" - http://www.qedeq.org |
2 | * |
3 | * Copyright 2000-2014, Michael Meyling <mime@qedeq.org>. |
4 | * |
5 | * "Hilbert II" is free software; you can redistribute |
6 | * it and/or modify it under the terms of the GNU General Public |
7 | * License as published by the Free Software Foundation; either |
8 | * version 2 of the License, or (at your option) any later version. |
9 | * |
10 | * This program is distributed in the hope that it will be useful, |
11 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
12 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
13 | * GNU General Public License for more details. |
14 | */ |
15 | |
16 | package org.qedeq.base.io; |
17 | |
18 | import java.io.File; |
19 | import java.io.IOException; |
20 | import java.io.InputStream; |
21 | import java.io.Reader; |
22 | import java.math.BigInteger; |
23 | |
24 | import org.qedeq.base.utility.StringUtility; |
25 | |
26 | |
27 | /** |
28 | * This class provides convenient methods for parsing input. |
29 | * |
30 | * @author Michael Meyling |
31 | */ |
32 | public class TextInput extends InputStream { |
33 | |
34 | /** Char marking end of data. */ |
35 | public static final int EOF = -1; |
36 | |
37 | /** Char marking end of input line. */ |
38 | // public final static char CR = '\n'; // LATER mime 20050613: delete if running on all platforms |
39 | public static final char CR = '\012'; |
40 | |
41 | /** String for marking current reading position. */ |
42 | private static final String MARKER = "#####"; |
43 | |
44 | /** Holds the data. */ |
45 | private final StringBuffer source; |
46 | |
47 | /** Current line number (starting with 0). */ |
48 | private int lineNumber = 0; |
49 | |
50 | /** Current column (starting with 0). */ |
51 | private int column = 0; |
52 | |
53 | /** Current reading position (starting with 0). */ |
54 | private int position = 0; |
55 | |
56 | /** Maximum int value as BigInteger. */ |
57 | private BigInteger maxIntValue = BigInteger.valueOf(Integer.MAX_VALUE); |
58 | |
59 | /** |
60 | * Constructor using <code>Reader</code> source. |
61 | * |
62 | * @param reader Data source. This reader will be closed (even if reading fails). |
63 | * @throws IOException Reading failed. |
64 | * @throws NullPointerException Argument was a null pointer. |
65 | */ |
66 | public TextInput(final Reader reader) throws IOException { |
67 | try { |
68 | if (reader == null) { |
69 | throw new NullPointerException( |
70 | "no null pointer as argument accepted"); |
71 | } |
72 | this.source = new StringBuffer(); |
73 | // TODO mime 20080307: optimize reading |
74 | int c; |
75 | while (-1 != (c = reader.read())) { |
76 | this.source.append((char) c); |
77 | } |
78 | } finally { |
79 | IoUtility.close(reader); |
80 | } |
81 | } |
82 | |
83 | /** |
84 | * Constructor using <code>StringBuffer</code> source. |
85 | * |
86 | * @param source data source |
87 | * @throws NullPointerException Argument was a null pointer. |
88 | */ |
89 | public TextInput(final StringBuffer source) { |
90 | if (source == null) { |
91 | throw new NullPointerException( |
92 | "no null pointer as argument accepted"); |
93 | } |
94 | this.source = source; |
95 | } |
96 | |
97 | /** |
98 | * Constructor using <code>String</code> source. |
99 | * |
100 | * @param source data source |
101 | * @throws NullPointerException Argument was a null pointer. |
102 | */ |
103 | public TextInput(final String source) { |
104 | if (source == null) { |
105 | throw new NullPointerException( |
106 | "no null pointer as argument accepted"); |
107 | } |
108 | this.source = new StringBuffer(source); |
109 | } |
110 | |
111 | |
112 | /** |
113 | * Constructor using <code>FILE</code> source. |
114 | * |
115 | * @param file Data source. |
116 | * @param encoding Take this encoding for file. |
117 | * @throws IOException File reading failed. |
118 | * @throws NullPointerException One argument was a null pointer. |
119 | */ |
120 | public TextInput(final File file, final String encoding) throws IOException { |
121 | if (file == null) { |
122 | throw new NullPointerException( |
123 | "no null pointer as argument accepted"); |
124 | } |
125 | this.source = new StringBuffer(); |
126 | IoUtility.loadFile(file, source, encoding); |
127 | } |
128 | |
129 | /** |
130 | * Reads a single character and increments the reading position |
131 | * by one. If no characters are left, <code>-1</code> is returned. |
132 | * Otherwise a cast to <code>char</code> gives the character read. |
133 | * |
134 | * @return Character read, if there are no more chars |
135 | * <code>-1</code> is returned. |
136 | */ |
137 | public final int read() { |
138 | if (position >= source.length()) { |
139 | return EOF; |
140 | } |
141 | if (getChar() == CR) { |
142 | lineNumber++; |
143 | column = 0; |
144 | } else { |
145 | column++; |
146 | } |
147 | return source.charAt(position++); |
148 | } |
149 | |
150 | /** |
151 | * Decrements the reading position by one and reads a single character. |
152 | * If no characters are left, <code>-1</code> is returned. |
153 | * Otherwise a cast to <code>char</code> gives the character read. |
154 | * |
155 | * @return Character read, if there are no more chars |
156 | * <code>-1</code> is returned. |
157 | */ |
158 | public final int readInverse() { |
159 | if (position <= 0) { |
160 | return -1; |
161 | } |
162 | final char c = source.charAt(--position); |
163 | if (c == CR) { |
164 | lineNumber--; |
165 | int pos = source.lastIndexOf("" + CR, position - 1); |
166 | if (pos < 0) { |
167 | column = position; |
168 | } else { |
169 | column = position - 1 - pos; |
170 | } |
171 | } else { |
172 | column--; |
173 | if (column < 0) { |
174 | throw new IllegalStateException("column less then 0"); |
175 | } |
176 | } |
177 | return c; |
178 | } |
179 | |
180 | /** |
181 | * Reads a given amount of characters and increments the reading position |
182 | * accordingly. |
183 | * |
184 | * @param number amount of characters to read |
185 | * @return string read |
186 | */ |
187 | public final String readString(final int number) { |
188 | final StringBuffer result = new StringBuffer(number); |
189 | for (int i = 0; i < number; i++) { |
190 | final int c = read(); |
191 | if (c != -1) { |
192 | result.append((char) c); |
193 | } else { |
194 | break; |
195 | } |
196 | } |
197 | return result.toString(); |
198 | } |
199 | |
200 | /** |
201 | * Skips a given amount of characters and increments the reading position |
202 | * accordingly. |
203 | * |
204 | * @param number Amount of characters to read. Must be positive - if not nothing happens. |
205 | */ |
206 | public final void forward(final int number) { |
207 | for (int i = 0; i < number; i++) { |
208 | final int c = read(); |
209 | if (c == -1) { |
210 | break; |
211 | } |
212 | } |
213 | } |
214 | |
215 | /** |
216 | * Skips until a given keyword is reached. The position afterwards is at the start |
217 | * of the keyword or at the end of the text (if the keyword is not found). |
218 | * |
219 | * @param search Look for this keyword. |
220 | * @return Was the keyword found? |
221 | */ |
222 | public final boolean forward(final String search) { |
223 | final int pos = source.indexOf(search, position); |
224 | if (pos < 0) { |
225 | setPosition(getMaximumPosition()); |
226 | return false; |
227 | } |
228 | setPosition(pos); |
229 | return true; |
230 | } |
231 | |
232 | /** |
233 | * Reads a single character and does not change the reading |
234 | * position. If no characters are left, <code>-1</code> is returned. |
235 | * Otherwise a cast to <code>char</code> gives the character read. |
236 | * |
237 | * @return Character read at current position, if there are no more chars |
238 | * <code>-1</code> is returned |
239 | */ |
240 | public final int getChar() { |
241 | if (position >= source.length()) { |
242 | return -1; |
243 | } |
244 | return source.charAt(position); |
245 | } |
246 | |
247 | /** |
248 | * Reads a single character and does not change the reading |
249 | * position. If offset addition leads out of the source, |
250 | * <code>-1</code> is returned. Otherwise a cast to <code>char</code> |
251 | * gives the character read. |
252 | * |
253 | * @param skip Offset from current reading position. Maybe negative. |
254 | * @return Character read, if position is out of scope |
255 | * <code>-1</code> is returned. |
256 | */ |
257 | public final int getChar(final int skip) { |
258 | if (position + skip < 0 || position + skip >= source.length()) { |
259 | return -1; |
260 | } |
261 | return source.charAt(position + skip); |
262 | } |
263 | |
264 | |
265 | /** |
266 | * Reads a substring. Doesn't change reading position. Throws never an Exception. |
267 | * |
268 | * @param from Absolute reading position. |
269 | * @param to Read to this position. |
270 | * @return Resulting string. |
271 | */ |
272 | public final String getSubstring(final int from, final int to) { |
273 | if (from >= to) { |
274 | return ""; |
275 | } |
276 | final int l = source.length(); |
277 | final int f = (from < 0 ? 0 : (from > l ? l : from)); |
278 | final int t = (to < 0 ? 0 : (to > l ? l : to)); |
279 | return source.substring(f, t); |
280 | } |
281 | |
282 | /** |
283 | * Get complete input source. Doesn't change reading position. |
284 | * |
285 | * @return Complete input string. |
286 | */ |
287 | public final String asString() { |
288 | return source.toString(); |
289 | } |
290 | |
291 | /** |
292 | * Replace given interval with given string. |
293 | * If the current reading position is in the interval it is set |
294 | * to the end of the interval. |
295 | * |
296 | * @param from Absolute reading position. |
297 | * @param to Read to this position. |
298 | * @param replacement Replacement for interval. |
299 | */ |
300 | public final void replace(final int from, final int to, final String replacement) { |
301 | source.replace(from, to, replacement); |
302 | if (position > from && position < to) { |
303 | setPosition(from + replacement.length()); |
304 | } else if (position > from) { // correct row (and column) information |
305 | setPosition(position - to + from + replacement.length()); |
306 | } |
307 | } |
308 | |
309 | /** |
310 | * Skips white space, beginning from reading position. |
311 | * Changes reading position to next non white space |
312 | * character. |
313 | */ |
314 | public final void skipWhiteSpace() { |
315 | while (!isEmpty() && Character.isWhitespace((char) getChar())) { |
316 | read(); |
317 | } |
318 | } |
319 | |
320 | /** |
321 | * Skips white space, beginning from reading position. |
322 | * Changes reading position to next non white space |
323 | * character. |
324 | */ |
325 | public final void skipWhiteSpaceInverse() { |
326 | while (getPosition() > 0 && Character.isWhitespace((char) getChar(-1))) { |
327 | readInverse(); |
328 | } |
329 | } |
330 | |
331 | /** |
332 | * Skip current position back to beginning of an XML tag. |
333 | * This is mainly something like <code><tagName</code>. |
334 | * |
335 | * @throws IllegalArgumentException No begin of XML tag found. |
336 | */ |
337 | public final void skipBackToBeginOfXmlTag() { |
338 | if ('<' == getChar()) { |
339 | return; |
340 | } |
341 | boolean quoted = false; |
342 | do { |
343 | if (-1 == readInverse()) { |
344 | throw new IllegalArgumentException("begin of xml tag not found"); |
345 | } |
346 | if ('\"' == getChar()) { |
347 | quoted = !quoted; |
348 | } |
349 | } while (quoted || '<' != getChar()); |
350 | } |
351 | |
352 | /** |
353 | * Skip forward to end of line. |
354 | */ |
355 | public final void skipToEndOfLine() { |
356 | int c = 0; |
357 | do { |
358 | c = read(); |
359 | } while (!isEmpty() && c != CR); |
360 | } |
361 | |
362 | /** |
363 | * Skip current position forward to end of an XML tag. It is assumed the current position is |
364 | * within the the XML tag. Now we search for <code>></code>. Quoted data is skipped. |
365 | * |
366 | * @throws IllegalArgumentException No end of XML tag found. |
367 | */ |
368 | public final void skipForwardToEndOfXmlTag() { |
369 | if ('>' == getChar()) { |
370 | return; |
371 | } |
372 | boolean quoted = false; |
373 | while (!isEmpty() && (quoted || '>' != getChar())) { |
374 | int c = read(); |
375 | if ('\"' == c) { |
376 | quoted = !quoted; |
377 | } |
378 | } |
379 | if (isEmpty()) { |
380 | throw new IllegalArgumentException("end of xml tag not found"); |
381 | } |
382 | read(); // skip '>' |
383 | } |
384 | |
385 | /** |
386 | * Reads tag or attribute name out of XML stream. Whitespace is skipped and |
387 | * characters are read till "=" or ">" or "< or whitespace is |
388 | * found. We must be within the tag, so we can not start with something like <. |
389 | * |
390 | * @return Name of tag or attribute. |
391 | * @throws IllegalArgumentException Next non white space character is "=" |
392 | * or ">". |
393 | */ |
394 | public final String readNextXmlName() { |
395 | skipWhiteSpace(); |
396 | if (isEmpty() || '=' == getChar() || '>' == getChar() || '<' == getChar()) { |
397 | throw new IllegalArgumentException( |
398 | "begin of attribute or tag expected"); |
399 | } |
400 | StringBuffer buffer = new StringBuffer(); |
401 | while (!isEmpty() && '=' != getChar() && '>' != getChar() && '<' != getChar() |
402 | && !Character.isWhitespace((char) getChar())) { |
403 | buffer.append((char) read()); |
404 | } |
405 | return buffer.toString(); |
406 | } |
407 | |
408 | /** |
409 | * Reads attribute value out of XML stream. Whitespace is skipped and an "=" |
410 | * is expected to follow. Again whitespace is skipped. If no quotation mark follows |
411 | * characters are read till whitespace or ">" occurs. Otherwise data is |
412 | * read till an ending quotation mark comes. |
413 | * |
414 | * @return Value read. |
415 | * @throws IllegalArgumentException Following had not one of the following forms: |
416 | * <pre> |
417 | * = "value" |
418 | * </pre> |
419 | * <pre> |
420 | * = value |
421 | * </pre> |
422 | */ |
423 | public final String readNextAttributeValue() { |
424 | skipWhiteSpace(); |
425 | if (isEmpty() || '=' != getChar()) { |
426 | throw new IllegalArgumentException( |
427 | "\"=\" expected"); |
428 | } |
429 | read(); // read = |
430 | skipWhiteSpace(); |
431 | if (isEmpty() || '>' == getChar()) { |
432 | throw new IllegalArgumentException( |
433 | "attribute value expected"); |
434 | } |
435 | StringBuffer buffer = new StringBuffer(); |
436 | if ('\"' == getChar()) { |
437 | read(); // read " |
438 | while (!isEmpty() && '\"' != getChar()) { |
439 | buffer.append((char) read()); |
440 | } |
441 | if ('\"' != getChar()) { |
442 | throw new IllegalArgumentException("\" expected"); |
443 | } |
444 | read(); // read " |
445 | } else { |
446 | while (!isEmpty() && '>' != getChar() |
447 | && !Character.isWhitespace((char) getChar())) { |
448 | buffer.append((char) read()); |
449 | } |
450 | } |
451 | return StringUtility.unescapeXml(buffer.toString()); |
452 | } |
453 | |
454 | /** |
455 | * Is there no data left for reading? |
456 | * |
457 | * @return is all data read? |
458 | */ |
459 | public final boolean isEmpty() { |
460 | return position >= source.length(); |
461 | } |
462 | |
463 | /** |
464 | * Is there no data left for reading after skipping? |
465 | * |
466 | * @param skip Add this number to current position. |
467 | * @return Is data empty at that new position? |
468 | */ |
469 | public final boolean isEmpty(final int skip) { |
470 | return position + skip >= source.length(); |
471 | } |
472 | |
473 | /** |
474 | * Reads the next string containing only letters or digits, |
475 | * leading whitespace is skipped. |
476 | * Changes reading position. |
477 | * |
478 | * @return read string |
479 | * @throws IllegalArgumentException if no such characters could |
480 | * be found |
481 | */ |
482 | public final String readLetterDigitString() { |
483 | skipWhiteSpace(); |
484 | if (isEmpty() || !Character.isLetterOrDigit((char) getChar())) { |
485 | read(); // for showing correct position |
486 | throw new IllegalArgumentException( |
487 | "letter or digit expected"); |
488 | } |
489 | StringBuffer buffer = new StringBuffer(); |
490 | while (!isEmpty() && Character.isLetterOrDigit((char) getChar())) { |
491 | buffer.append((char) read()); |
492 | } |
493 | return buffer.toString(); |
494 | } |
495 | |
496 | /** |
497 | * Reads the next string until whitespace occurs, |
498 | * leading whitespace is skipped. |
499 | * Changes (probably) reading position. |
500 | * |
501 | * @return read string |
502 | */ |
503 | public final String readStringTilWhitespace() { |
504 | skipWhiteSpace(); |
505 | StringBuffer buffer = new StringBuffer(); |
506 | while (!isEmpty() && !Character.isWhitespace((char) getChar())) { |
507 | buffer.append((char) read()); |
508 | } |
509 | return buffer.toString(); |
510 | } |
511 | |
512 | /** |
513 | * Reads the next integer, leading whitespace is skipped. Signs like - or + are not |
514 | * accepted. Resulting integer |
515 | * Changes reading position. |
516 | * |
517 | * @return Read integer. |
518 | * @throws IllegalArgumentException if no digits where found or |
519 | * the number was to big for an <code>int</code> |
520 | */ |
521 | public final int readNonNegativeInt() { |
522 | skipWhiteSpace(); |
523 | if (isEmpty() || !Character.isDigit((char) getChar())) { |
524 | read(); // for showing correct position |
525 | throw new IllegalArgumentException( |
526 | "digit expected"); |
527 | } |
528 | StringBuffer buffer = new StringBuffer(); |
529 | while (!isEmpty() && Character.isDigit((char) getChar())) { |
530 | buffer.append((char) read()); |
531 | } |
532 | final BigInteger big = new BigInteger(buffer.toString()); |
533 | if (1 == big.compareTo(maxIntValue)) { |
534 | throw new IllegalArgumentException("this integer is to large! Maximum possible value is " |
535 | + maxIntValue); |
536 | } |
537 | return big.intValue(); |
538 | } |
539 | |
540 | /** |
541 | * Reads the next (big) integer, leading whitespace is skipped. |
542 | * The first character might be a minus sign, the rest must be |
543 | * digits. Leading zero digits are not allowed, also "-0" is not |
544 | * accepted. <p> |
545 | * Changes reading position. |
546 | * |
547 | * @return read integer |
548 | * @throws IllegalArgumentException if no digits where found. |
549 | */ |
550 | public final String readCounter() { |
551 | skipWhiteSpace(); |
552 | if (isEmpty()) { |
553 | throw new IllegalArgumentException("integer expected"); |
554 | } |
555 | StringBuffer buffer = new StringBuffer(); |
556 | if (getChar() == '-') { |
557 | buffer.append(read()); |
558 | } |
559 | final int begin = getPosition(); |
560 | if (!Character.isDigit((char) getChar())) { |
561 | throw new IllegalArgumentException("digit expected"); |
562 | } |
563 | while (!isEmpty() && Character.isDigit((char) getChar())) { |
564 | buffer.append((char) read()); |
565 | } |
566 | if (buffer.length() >= 2 && ('0' == buffer.charAt(0) |
567 | || '-' == buffer.charAt(0) && '0' == buffer.charAt(1))) { |
568 | setPosition(begin); // for showing correct position |
569 | throw new IllegalArgumentException("no leading zeros allowed"); |
570 | } |
571 | return buffer.toString(); |
572 | } |
573 | |
574 | /** |
575 | * Reads the next quoted string, leading whitespace is skipped. |
576 | * A correctly quoted string could be created by adding a leading and |
577 | * a trailing quote character and doubling each other quote character. |
578 | * The resulting string is dequoted. |
579 | * Changes reading position. |
580 | * |
581 | * @return Dequoted string read. |
582 | * @throws IllegalArgumentException No correctly quoted string was found. |
583 | */ |
584 | public final String readQuoted() { |
585 | skipWhiteSpace(); |
586 | if (isEmpty() || read() != '\"') { |
587 | throw new IllegalArgumentException( |
588 | "\" expected"); |
589 | } |
590 | StringBuffer unquoted = new StringBuffer(); |
591 | char c; |
592 | do { |
593 | if (isEmpty()) { |
594 | throw new IllegalArgumentException( |
595 | "ending \" expected"); |
596 | } |
597 | c = (char) read(); |
598 | if (c != '\"') { |
599 | unquoted.append(c); |
600 | } else { // c == '\"' |
601 | if (isEmpty() || getChar() != '\"') { |
602 | break; // success |
603 | } |
604 | unquoted.append((char) read()); |
605 | } |
606 | } while (true); |
607 | return unquoted.toString(); |
608 | } |
609 | |
610 | /** |
611 | * Returns the current line number. |
612 | * |
613 | * @return Current line number (starting with line 1). |
614 | */ |
615 | public final int getRow() { |
616 | return lineNumber + 1; |
617 | } |
618 | |
619 | /** |
620 | * Returns the current column number. |
621 | * |
622 | * @return Current column number (starting with line 1). |
623 | */ |
624 | public final int getColumn() { |
625 | return column + 1; |
626 | } |
627 | |
628 | /** |
629 | * Returns the current line. |
630 | * |
631 | * @return Current line. |
632 | */ |
633 | public final String getLine() { |
634 | int min = position - 1; |
635 | while (min >= 0 && source.charAt(min) != CR) { |
636 | min--; |
637 | } |
638 | int max = position; |
639 | while (max < source.length() |
640 | && source.charAt(max) != CR) { |
641 | max++; |
642 | } |
643 | if (min + 1 >= max) { |
644 | return ""; |
645 | } |
646 | return source.substring(min + 1, max); |
647 | } |
648 | |
649 | /** |
650 | * Returns the current position. Starting with 0. This is the number of characters |
651 | * from the beginning. |
652 | * |
653 | * @return Current position. |
654 | */ |
655 | public final int getPosition() { |
656 | return position; |
657 | } |
658 | |
659 | /** |
660 | * Returns the current position. |
661 | * |
662 | * @return Current position. |
663 | */ |
664 | public final SourcePosition getSourcePosition() { |
665 | return new SourcePosition(getRow(), getColumn()); |
666 | } |
667 | |
668 | /** |
669 | * Returns the highest position number possible. This is equal |
670 | * to the length of the source. |
671 | * |
672 | * @return Maximum position. |
673 | */ |
674 | public final int getMaximumPosition() { |
675 | return source.length(); |
676 | } |
677 | |
678 | /** |
679 | * Sets the current position (and indirectly the row and column number). |
680 | * |
681 | * @param position Set current position to this value. |
682 | */ |
683 | public final void setPosition(final int position) { |
684 | if (position >= source.length()) { |
685 | this.position = source.length(); |
686 | } else if (this.position != position) { |
687 | if (position < this.position) { |
688 | this.position = 0; |
689 | this.lineNumber = 0; |
690 | this.column = 0; |
691 | for (int i = 0; i < position; i++) { // Q & D |
692 | read(); |
693 | } |
694 | } else { |
695 | for (int i = this.position; i < position; i++) { |
696 | read(); |
697 | } |
698 | } |
699 | } |
700 | } |
701 | |
702 | /** |
703 | * Sets the current position (and indirectly the row and column number). |
704 | * |
705 | * @param position Set current position to this value. |
706 | */ |
707 | public final void setPosition(final SourcePosition position) { |
708 | setRow(position.getRow()); |
709 | setColumn(position.getColumn()); |
710 | } |
711 | |
712 | /** |
713 | * Adds a given position to the current one and changes the row and column number accordingly. |
714 | * A delta position with one row and one column doesn't change the current position. |
715 | * |
716 | * @param delta Add this position to current one. |
717 | */ |
718 | public final void addPosition(final SourcePosition delta) { |
719 | addRow(delta.getRow() - 1); |
720 | addColumn(delta.getColumn() - 1); |
721 | } |
722 | |
723 | /** |
724 | * Sets the current line number (and indirectly the position). |
725 | * |
726 | * @param row Move to this line number. |
727 | */ |
728 | public final void setRow(final int row) { |
729 | int r = row; |
730 | // check if row is under lower bound |
731 | if (r <= 0) { |
732 | r = 1; |
733 | } |
734 | // check if already at wanted position |
735 | if (getRow() == r) { |
736 | return; |
737 | } |
738 | // check if already at end of file |
739 | if (getPosition() >= source.length() && getRow() >= r) { |
740 | return; |
741 | } |
742 | if (getRow() > r) { |
743 | // reset to begin of file |
744 | this.position = 0; |
745 | this.lineNumber = 0; |
746 | this.column = 0; |
747 | } |
748 | while (getRow() < r) { |
749 | if (EOF == read()) { |
750 | return; |
751 | } |
752 | } |
753 | } |
754 | |
755 | /** |
756 | * Get given byte position as {@link SourcePosition}. |
757 | * |
758 | * @param find Get row and column information for this byte position. |
759 | * @return Row and column information. |
760 | */ |
761 | public final SourcePosition getPosition(final int find) { |
762 | int r = 0; |
763 | int c = 0; |
764 | int i = 0; |
765 | while (i < source.length() && i < find) { |
766 | if (CR == source.charAt(i)) { |
767 | r++; |
768 | c = 0; |
769 | } else { |
770 | c++; |
771 | } |
772 | i++; |
773 | } |
774 | return new SourcePosition(r + 1, c + 1); |
775 | } |
776 | |
777 | /** |
778 | * Get given byte position as {@link SourcePosition}. |
779 | * |
780 | * @param position Get row and column information for this byte position. |
781 | * @return Row and column information. |
782 | */ |
783 | public final int getPosition(final SourcePosition position) { |
784 | int find = 0; |
785 | int r = 0; |
786 | |
787 | while (++r < position.getRow()) { |
788 | find = source.indexOf("" + CR, find); |
789 | if (-1 == find) { |
790 | break; |
791 | } |
792 | } |
793 | if (find < 0) { |
794 | find = source.length(); |
795 | } |
796 | find += position.getColumn(); |
797 | if (find > source.length()) { |
798 | find = source.length(); |
799 | } |
800 | return find; |
801 | } |
802 | |
803 | /** |
804 | * Get source area as string. |
805 | * |
806 | * @param area Get this area as string. |
807 | * @return Area itself. |
808 | */ |
809 | public final String getSourceArea(final SourceArea area) { |
810 | return source.substring(getPosition(area.getStartPosition()), |
811 | getPosition(area.getEndPosition())); |
812 | } |
813 | |
814 | /** |
815 | * Add the following rows and reset column (if <code>number == 0</code>). |
816 | * |
817 | * @param number Add this number of rows. |
818 | */ |
819 | public final void addRow(final int number) { |
820 | setRow(getRow() + number); |
821 | } |
822 | |
823 | /** |
824 | * Sets the current column position (and indirectly the position). |
825 | * If <code>column</code> is out of range the minimum value (1) or the maximum possible column |
826 | * value is taken. |
827 | * |
828 | * @param column Move to this column. First column has the number one. |
829 | */ |
830 | public final void setColumn(final int column) { |
831 | int c = column; |
832 | // check if column is out of lower bound |
833 | if (c <= 0) { |
834 | c = 1; |
835 | } |
836 | // check if already at wanted position |
837 | if (getColumn() == c) { |
838 | return; |
839 | } |
840 | if (getColumn() > c) { |
841 | do { |
842 | this.position--; |
843 | this.column--; |
844 | } while (getColumn() > c); |
845 | return; |
846 | } |
847 | while (getChar() != CR && getChar() != EOF && getColumn() < c) { |
848 | read(); |
849 | } |
850 | } |
851 | |
852 | /** |
853 | * Add the following columns. |
854 | * |
855 | * @param number Add this number of columns. |
856 | */ |
857 | public final void addColumn(final int number) { |
858 | setColumn(getColumn() + number); |
859 | } |
860 | |
861 | /** |
862 | * Show reading position. |
863 | * |
864 | * @return current line with mark at current reading position |
865 | */ |
866 | public final String showLinePosition() { |
867 | final String line = getLine(); |
868 | final StringBuffer buffer = new StringBuffer(); |
869 | final int col = getColumn() - 1; |
870 | if (col > 0) { |
871 | if (col < line.length()) { |
872 | buffer.append(line.substring(0, col)); |
873 | } else { |
874 | buffer.append(line); |
875 | } |
876 | } |
877 | buffer.append(MARKER); |
878 | if (col < line.length()) { |
879 | buffer.append(line.substring(col)); |
880 | } |
881 | return buffer.toString(); |
882 | } |
883 | |
884 | // LATER mime 20050608: remove if no use |
885 | /* |
886 | public final int findCaretPosition(final int line, final int column, final String source) { |
887 | if (line == 1) { |
888 | return 0; |
889 | } |
890 | int k = 1; |
891 | for (int j = 0; j < source.length(); j++) { |
892 | if (source.charAt(j) == '\n') { |
893 | k++; |
894 | } |
895 | if (k == line) { |
896 | j += column - 1; |
897 | if (j > source.length()) { |
898 | j = source.length(); |
899 | } |
900 | return j; |
901 | } |
902 | } |
903 | return 0; |
904 | } |
905 | */ |
906 | |
907 | } |