blob: 501ca3b2846dbeb3b496ae7d2c65df1684ac442d (
plain) (
blame)
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
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
|
package org.eclipse.cdt.internal.ui.text;
/*
* (c) Copyright IBM Corp. 2000, 2001.
* All Rights Reserved.
*/
import java.io.IOException;
import java.io.Reader;
/**
* Reads the text contents from a reader and computes for each character
* a potential substitution. The substitution may eat more characters than
* only the one passed into the computation routine.
*/
public abstract class SubstitutionTextReader extends SingleCharReader {
protected static final String LINE_DELIM= System.getProperty("line.separator", "\n"); //$NON-NLS-1$ //$NON-NLS-2$
private Reader fReader;
private boolean fWasWhiteSpace;
private int fCharAfterWhiteSpace;
private boolean fReadFromBuffer;
private StringBuffer fBuffer;
private int fIndex;
protected SubstitutionTextReader(Reader reader) {
fReader= reader;
fBuffer= new StringBuffer();
fIndex= 0;
fReadFromBuffer= false;
fCharAfterWhiteSpace= -1;
fWasWhiteSpace= true;
}
/**
* Implement to compute the substitution for the given character and
* if necessary subsequent characters. Use <code>nextChar</code>
* to read subsequent characters.
*/
protected abstract String computeSubstitution(int c) throws IOException;
/**
* Returns the internal reader.
*/
protected Reader getReader() {
return fReader;
}
/**
* Returns the next character.
*/
protected int nextChar() throws IOException {
fReadFromBuffer= (fBuffer.length() > 0);
if (fReadFromBuffer) {
char ch= fBuffer.charAt(fIndex++);
if (fIndex >= fBuffer.length()) {
fBuffer.setLength(0);
fIndex= 0;
}
return ch;
}
int ch= fCharAfterWhiteSpace;
if (ch == -1) {
ch= fReader.read();
}
if (Character.isWhitespace((char)ch)) {
do {
ch= fReader.read();
} while (Character.isWhitespace((char)ch));
if (ch != -1) {
fCharAfterWhiteSpace= ch;
return ' ';
}
} else {
fCharAfterWhiteSpace= -1;
}
return ch;
}
/**
* @see Reader#read()
*/
public int read() throws IOException {
int c;
do {
c= nextChar();
while (!fReadFromBuffer) {
String s= computeSubstitution(c);
if (s == null)
break;
if (s.length() > 0)
fBuffer.insert(0, s);
c= nextChar();
}
} while (fWasWhiteSpace && (c == ' '));
fWasWhiteSpace= (c == ' ' || c == '\r' || c == '\n');
return c;
}
/**
* @see Reader#ready()
*/
public boolean ready() throws IOException {
return fReader.ready();
}
/**
* @see Reader#close()
*/
public void close() throws IOException {
fReader.close();
}
/**
* @see Reader#reset()
*/
public void reset() throws IOException {
fReader.reset();
fWasWhiteSpace= true;
fCharAfterWhiteSpace= -1;
fBuffer.setLength(0);
fIndex= 0;
}
}
|
