void createPage0() {
try {
xmlEditor = new XMLEditor();
int index = addPage(xmlEditor, getEditorInput());
setPageText(index, xmlEditor.getTitle() + " (Xml View)");
IDocument inputDocument =
xmlEditor.getDocumentProvider().getDocument(xmlEditor.getEditorInput());
String documentContent = inputDocument.get();
if (documentContent.isEmpty()) {
documentContent = "";
Bundle bundle = Platform.getBundle("reprotool.ide.txtspec");
URL url = bundle.getResource("schema/default.txtspec.xml");
try {
InputStream ir = url.openStream();
InputStreamReader isr = new InputStreamReader(ir);
BufferedReader br = new BufferedReader(isr);
String append;
if ((documentContent = (br.readLine())) != null) ;
while ((append = (br.readLine())) != null) documentContent += ("\n" + append);
br.close();
} catch (Exception e) {
System.err.println(e.getMessage() + " " + e.getCause().toString());
}
documentContent = documentContent.trim();
xmlEditor.setDocument(documentContent);
}
} catch (PartInitException e) {
ErrorDialog.openError(
getSite().getShell(), "Error creating xml text editor", null, e.getStatus());
}
}
/** Calculates the contents of page 2 when the it is activated. */
protected void pageChange(int newPageIndex) {
super.pageChange(newPageIndex);
if (newPageIndex == 1) {
IDocument inputDocument =
xmlEditor.getDocumentProvider().getDocument(xmlEditor.getEditorInput());
String documentContent = inputDocument.get();
TSEditor.setDocument(documentContent);
} else if (newPageIndex == 0) {
IDocument inputDocument =
xmlEditor.getDocumentProvider().getDocument(xmlEditor.getEditorInput());
String documentContent = inputDocument.get();
if (documentContent.isEmpty()) {
documentContent = "";
Bundle bundle = Platform.getBundle("reprotool.ide.txtspec");
URL url = bundle.getResource("schema/default.txtspec.xml");
try {
InputStream ir = url.openStream();
InputStreamReader isr = new InputStreamReader(ir);
BufferedReader br = new BufferedReader(isr);
String append;
if ((documentContent = (br.readLine())) != null) ;
while ((append = (br.readLine())) != null) documentContent += ("\n" + append);
br.close();
} catch (Exception e) {
System.err.println(e.getMessage() + " " + e.getCause().toString());
}
documentContent = documentContent.trim();
}
xmlEditor.setDocument(documentContent);
}
}