1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
/* gnu.classpath.tools.gjdoc.ArrayCharacterIterator
Copyright (C) 2001 Free Software Foundation, Inc.
This file is part of GNU Classpath.
GNU Classpath is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.
GNU Classpath is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.
You should have received a copy of the GNU General Public License
along with GNU Classpath; see the file COPYING. If not, write to the
Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
02111-1307 USA. */
package gnu.classpath.tools.gjdoc;
import java.text.CharacterIterator;
public final class ArrayCharacterIterator implements CharacterIterator {
private char[] data;
private int beginIndex;
private int endIndex;
private int currentIndex;
public ArrayCharacterIterator(char[] data,
int beginIndex) {
this(data,beginIndex,data.length,beginIndex);
}
public ArrayCharacterIterator(char[] data,
int beginIndex,
int endIndex) {
this(data,beginIndex,endIndex,beginIndex);
}
public ArrayCharacterIterator(char[] data,
int beginIndex,
int endIndex,
int currentIndex) {
this.data=data;
this.beginIndex=beginIndex;
this.endIndex=endIndex;
this.currentIndex=currentIndex;
}
// Create a copy of this iterator
public Object clone() {
return new ArrayCharacterIterator(data,beginIndex,endIndex,currentIndex);
}
// Gets the character at the current position (as returned by getIndex()).
public char current() {
return (currentIndex>=beginIndex && currentIndex<endIndex) ? data[currentIndex] : DONE;
}
// Sets the position to getBeginIndex() and returns the character at that position.
public char first() {
return data[currentIndex=beginIndex];
}
// Returns the start index of the text.
public int getBeginIndex() {
return beginIndex;
}
// Returns the end index of the text.
public int getEndIndex() {
return endIndex;
}
// Returns the current index.
public int getIndex() {
return currentIndex;
}
// Sets the position to getEndIndex()-1 (getEndIndex() if the text is empty) and returns the character at that position.
public char last() {
return data[currentIndex=((endIndex>beginIndex)?endIndex-1:endIndex)];
}
// Increments the iterator's index by one and returns the character at the new index.
public char next() {
return (++currentIndex<endIndex)?data[currentIndex]:DONE;
}
// Decrements the iterator's index by one and returns the character at the new index.
public char previous() {
return (--currentIndex>=beginIndex)?data[currentIndex]:DONE;
}
// Sets the position to the specified position in the text and returns that character.
public char setIndex(int position) {
this.currentIndex=position;
return current();
}
}
|
