20 |
|
|
21 |
package gnu.classpath.tools; |
package gnu.classpath.tools; |
22 |
|
|
23 |
|
import java.io.BufferedReader; |
24 |
import java.io.File; |
import java.io.File; |
25 |
import java.io.FileInputStream; |
import java.io.FileInputStream; |
26 |
import java.io.FileOutputStream; |
import java.io.FileOutputStream; |
27 |
|
import java.io.FileReader; |
28 |
import java.io.IOException; |
import java.io.IOException; |
29 |
import java.io.InputStream; |
import java.io.InputStream; |
30 |
import java.io.OutputStream; |
import java.io.OutputStream; |
170 |
buffer.getChars(0, buffer.length(), result, 0); |
buffer.getChars(0, buffer.length(), result, 0); |
171 |
return result; |
return result; |
172 |
} |
} |
173 |
|
|
174 |
|
public static String getLineFromFile(File file, int line) |
175 |
|
throws IOException |
176 |
|
{ |
177 |
|
FileReader reader = new FileReader(file); |
178 |
|
BufferedReader bufferedReader = new BufferedReader(reader); |
179 |
|
while (line > 1) { |
180 |
|
bufferedReader.readLine(); |
181 |
|
-- line; |
182 |
|
} |
183 |
|
String result = bufferedReader.readLine(); |
184 |
|
reader.close(); |
185 |
|
return result; |
186 |
|
} |
187 |
|
|
188 |
|
public static String getColumnDisplayLine(int column) |
189 |
|
{ |
190 |
|
StringBuffer result = new StringBuffer(); |
191 |
|
while (column > 0) { |
192 |
|
result.append(' '); |
193 |
|
--column; |
194 |
|
} |
195 |
|
result.append('^'); |
196 |
|
return result.toString(); |
197 |
|
} |
198 |
|
|
199 |
} |
} |