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); } } }