comparison dwtx/jface/internal/text/html/SubstitutionTextReader.d @ 136:6dcb0baaa031

Regex removal of throws decls, some instanceof
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:20:40 +0200
parents 51e6e63f930e
children 93a6ec48fd28
comparison
equal deleted inserted replaced
135:65801ad2b265 136:6dcb0baaa031
85 /** 85 /**
86 * Returns the next character. 86 * Returns the next character.
87 * @return the next character 87 * @return the next character
88 * @throws IOException in case reading the character fails 88 * @throws IOException in case reading the character fails
89 */ 89 */
90 protected int nextChar() throws IOException { 90 protected int nextChar() {
91 fReadFromBuffer= (fBuffer.length() > 0); 91 fReadFromBuffer= (fBuffer.length() > 0);
92 if (fReadFromBuffer) { 92 if (fReadFromBuffer) {
93 char ch= fBuffer.charAt(fIndex++); 93 char ch= fBuffer.charAt(fIndex++);
94 if (fIndex >= fBuffer.length()) { 94 if (fIndex >= fBuffer.length()) {
95 fBuffer.setLength(0); 95 fBuffer.setLength(0);
117 } 117 }
118 118
119 /** 119 /**
120 * @see Reader#read() 120 * @see Reader#read()
121 */ 121 */
122 public int read() throws IOException { 122 public int read() {
123 int c; 123 int c;
124 do { 124 do {
125 125
126 c= nextChar(); 126 c= nextChar();
127 while (!fReadFromBuffer) { 127 while (!fReadFromBuffer) {
139 } 139 }
140 140
141 /** 141 /**
142 * @see Reader#ready() 142 * @see Reader#ready()
143 */ 143 */
144 public bool ready() throws IOException { 144 public bool ready() {
145 return fReader.ready(); 145 return fReader.ready();
146 } 146 }
147 147
148 /** 148 /**
149 * @see Reader#close() 149 * @see Reader#close()
150 */ 150 */
151 public void close() throws IOException { 151 public void close() {
152 fReader.close(); 152 fReader.close();
153 } 153 }
154 154
155 /** 155 /**
156 * @see Reader#reset() 156 * @see Reader#reset()
157 */ 157 */
158 public void reset() throws IOException { 158 public void reset() {
159 fReader.reset(); 159 fReader.reset();
160 fWasWhiteSpace= true; 160 fWasWhiteSpace= true;
161 fCharAfterWhiteSpace= -1; 161 fCharAfterWhiteSpace= -1;
162 fBuffer.setLength(0); 162 fBuffer.setLength(0);
163 fIndex= 0; 163 fIndex= 0;