void open(java.lang.String name) {
final java.lang.String textString;
if (name == null || name.length() == 0) {
return;
}
java.io.File file = new java.io.File(name);
if (!file.exists()) {
java.lang.String message =
MessageFormat.format(
resources.getString("Err_file_no_exist"), new java.lang.String[] {file.getName()});
displayError(message);
return;
}
try {
java.io.FileInputStream stream = new java.io.FileInputStream(file.getPath());
try {
java.io.Reader in = new java.io.BufferedReader(new java.io.InputStreamReader(stream));
char[] readBuffer = new char[2048];
java.lang.StringBuffer buffer = new java.lang.StringBuffer((int) file.length());
int n;
while ((n = in.read(readBuffer)) > 0) {
buffer.append(readBuffer, 0, (-n));
}
textString = buffer.toString();
stream.close();
} catch (java.io.IOException e) {
java.lang.String message =
MessageFormat.format(
resources.getString("Err_file_io"), new java.lang.String[] {file.getName()});
displayError(message);
return;
}
} catch (java.io.FileNotFoundException e) {
java.lang.String message =
MessageFormat.format(
resources.getString("Err_not_found"), new java.lang.String[] {file.getName()});
displayError(message);
return;
}
org.eclipse.swt.widgets.Display display = text.getDisplay();
display.asyncExec(
new java.lang.Runnable() {
public void run() {
text.setText(textString);
}
});
lineStyler.parseBlockComments(textString);
}
private void escaped_write(java.lang.String str) throws IOException {
for (int i = 0; i < str.length(); i++) {
char c = str.charAt(i);
if (c == '\n') {
bw.write("\\n");
} else if (c == '\\') {
bw.write("\\\\");
} else if (c < ' ' || c > '~') {
int val = c;
bw.write("\\#");
bw.write(java.lang.Integer.toString(val));
bw.write(';');
} else {
bw.write(c);
}
}
}