public void endElement(java.lang.String uri, java.lang.String localName, java.lang.String qName)
throws SAXException {
try {
if (qName.equals("p") || qName.equals("description")) {
writer.write(getText());
accumulator.setLength(0);
}
if (qName.equals("description")) {
counting = false;
}
if (!counting) {
writer.write(getText());
accumulator.setLength(0);
writer.write("</" + qName + ">\n");
} else {
if (qName.equals("row")) {
accumulator.append(" ");
}
if (qName.equals("p")) {
writer.write("\n");
accumulator.append(" ");
}
}
} catch (Exception e) {
// e.printStackTrace();
throw new GrobidException("An exception occured while running Grobid.", e);
}
}
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);
}
}
}
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);
}
public void createPartControl(org.eclipse.swt.widgets.Composite frame) {
final org.eclipse.swt.examples.hoverhelp.HoverHelp.ToolTipHandler tooltip =
new org.eclipse.swt.examples.hoverhelp.HoverHelp.ToolTipHandler(frame.getShell());
org.eclipse.swt.layout.GridLayout layout = new org.eclipse.swt.layout.GridLayout();
layout.numColumns = 3;
frame.setLayout(layout);
java.lang.String platform = SWT.getPlatform();
java.lang.String helpKey = "F1";
if (platform.equals("gtk")) {
helpKey = "Ctrl+F1";
}
if (platform.equals("carbon") || platform.equals("cocoa")) {
helpKey = "Help";
}
org.eclipse.swt.widgets.ToolBar bar = new org.eclipse.swt.widgets.ToolBar(frame, SWT.BORDER);
for (int i = 0; i < 5; i++) {
org.eclipse.swt.widgets.ToolItem item = new org.eclipse.swt.widgets.ToolItem(bar, SWT.PUSH);
item.setText(
getResourceString("ToolItem.text", new java.lang.Object[] {new java.lang.Integer(i)}));
item.setData(
"TIP_TEXT",
getResourceString("ToolItem.tooltip", new java.lang.Object[] {item.getText(), helpKey}));
item.setData(
"TIP_HELPTEXTHANDLER",
new org.eclipse.swt.examples.hoverhelp.HoverHelp.ToolTipHelpTextHandler() {
public java.lang.String getHelpText(org.eclipse.swt.widgets.Widget widget) {
org.eclipse.swt.widgets.Item item = (org.eclipse.swt.widgets.Item) widget;
return getResourceString("ToolItem.help", new java.lang.Object[] {item.getText()});
}
});
}
org.eclipse.swt.layout.GridData gridData = new org.eclipse.swt.layout.GridData();
gridData.horizontalSpan = 3;
bar.setLayoutData(gridData);
tooltip.activateHoverHelp(bar);
org.eclipse.swt.widgets.Table table = new org.eclipse.swt.widgets.Table(frame, SWT.BORDER);
for (int i = 0; i < 4; i++) {
org.eclipse.swt.widgets.TableItem item =
new org.eclipse.swt.widgets.TableItem(table, SWT.PUSH);
item.setText(getResourceString("Item", new java.lang.Object[] {new java.lang.Integer(i)}));
item.setData("TIP_IMAGE", images[hhiInformation]);
item.setText(
getResourceString("TableItem.text", new java.lang.Object[] {new java.lang.Integer(i)}));
item.setData(
"TIP_TEXT",
getResourceString("TableItem.tooltip", new java.lang.Object[] {item.getText(), helpKey}));
item.setData(
"TIP_HELPTEXTHANDLER",
new org.eclipse.swt.examples.hoverhelp.HoverHelp.ToolTipHelpTextHandler() {
public java.lang.String getHelpText(org.eclipse.swt.widgets.Widget widget) {
org.eclipse.swt.widgets.Item item = (org.eclipse.swt.widgets.Item) widget;
return getResourceString("TableItem.help", new java.lang.Object[] {item.getText()});
}
});
}
table.setLayoutData(new org.eclipse.swt.layout.GridData(GridData.VERTICAL_ALIGN_FILL));
tooltip.activateHoverHelp(table);
org.eclipse.swt.widgets.Tree tree = new org.eclipse.swt.widgets.Tree(frame, SWT.BORDER);
for (int i = 0; i < 4; i++) {
org.eclipse.swt.widgets.TreeItem item = new org.eclipse.swt.widgets.TreeItem(tree, SWT.PUSH);
item.setText(getResourceString("Item", new java.lang.Object[] {new java.lang.Integer(i)}));
item.setData("TIP_IMAGE", images[hhiWarning]);
item.setText(
getResourceString("TreeItem.text", new java.lang.Object[] {new java.lang.Integer(i)}));
item.setData(
"TIP_TEXT",
getResourceString("TreeItem.tooltip", new java.lang.Object[] {item.getText(), helpKey}));
item.setData(
"TIP_HELPTEXTHANDLER",
new org.eclipse.swt.examples.hoverhelp.HoverHelp.ToolTipHelpTextHandler() {
public java.lang.String getHelpText(org.eclipse.swt.widgets.Widget widget) {
org.eclipse.swt.widgets.Item item = (org.eclipse.swt.widgets.Item) widget;
return getResourceString("TreeItem.help", new java.lang.Object[] {item.getText()});
}
});
}
tree.setLayoutData(new org.eclipse.swt.layout.GridData(GridData.VERTICAL_ALIGN_FILL));
tooltip.activateHoverHelp(tree);
org.eclipse.swt.widgets.Button button = new org.eclipse.swt.widgets.Button(frame, SWT.PUSH);
button.setText(getResourceString("Hello.text"));
button.setData("TIP_TEXT", getResourceString("Hello.tooltip"));
tooltip.activateHoverHelp(button);
}
private void initActions() {
for (int i = 0; i < tools.length; ++i) {
final org.eclipse.swt.examples.paint.Tool tool = tools[i];
java.lang.String group = tool.group;
if (group.equals("tool")) {
tool.action =
new java.lang.Runnable() {
public void run() {
setPaintTool(tool.id);
}
};
} else {
if (group.equals("fill")) {
tool.action =
new java.lang.Runnable() {
public void run() {
setFillType(tool.id);
}
};
} else {
if (group.equals("linestyle")) {
tool.action =
new java.lang.Runnable() {
public void run() {
setLineStyle(tool.id);
}
};
} else {
if (group.equals("options")) {
tool.action =
new java.lang.Runnable() {
public void run() {
org.eclipse.swt.widgets.FontDialog fontDialog =
new org.eclipse.swt.widgets.FontDialog(
paintSurface.getShell(), SWT.PRIMARY_MODAL);
org.eclipse.swt.graphics.FontData[] fontDatum =
toolSettings.commonFont.getFontData();
if (fontDatum != null && fontDatum.length > 0) {
fontDialog.setFontList(fontDatum);
}
fontDialog.setText(getResourceString("options.Font.dialog.title"));
paintSurface.hideRubberband();
org.eclipse.swt.graphics.FontData fontData = fontDialog.open();
paintSurface.showRubberband();
if (fontData != null) {
try {
org.eclipse.swt.graphics.Font font =
new org.eclipse.swt.graphics.Font(
mainComposite.getDisplay(), fontData);
toolSettings.commonFont = font;
updateToolSettings();
} catch (org.eclipse.swt.SWTException ex) {
}
}
}
};
}
}
}
}
}
}