private void createDialog(Shell applicationShell) {
if (dialog == null || dialog.isDisposed()) {
dialog = new Shell(applicationShell, SWT.DIALOG_TRIM | SWT.RESIZE | SWT.APPLICATION_MODAL);
if (applicationShell.getImage() != null) {
dialog.setImage(applicationShell.getImage());
}
dialog.addListener(
SWT.Close,
new Listener() {
public void handleEvent(Event event) {
hideCustomPanelChildren();
}
});
dialog.addDisposeListener(
new DisposeListener() {
public void widgetDisposed(DisposeEvent arg0) {
disposeImages();
}
});
if (fileDialogMode != VFS_DIALOG_SAVEAS) {
dialog.setText(Messages.getString("VfsFileChooserDialog.openFile")); // $NON-NLS-1$
} else {
dialog.setText(Messages.getString("VfsFileChooserDialog.saveAs")); // $NON-NLS-1$
}
dialog.setLayout(new GridLayout());
dialog.setBackgroundMode(SWT.INHERIT_FORCE);
dialog.setBackground(dialog.getDisplay().getSystemColor(SWT.COLOR_WHITE));
createCustomUIPanel(dialog);
}
}
public View(Controller controller) {
this.controller = controller;
display = new Display();
shell = new Shell(display);
shell.setText("Gallant Animation Viewer");
shell.setLayout(new GridLayout());
}
public void setTitle(String title, boolean append) {
String text;
if (append == true) {
text = RadarConsts.PROGRAM_NAME + " " + RadarConsts.VERSION + " - " + title;
} else {
text = title;
}
mapShell.setText(text);
}
public static void main(String[] args) {
Display display = Display.getDefault();
Shell shell = new Shell(display);
@SuppressWarnings("unused")
MainWindow inst = new MainWindow(shell, SWT.NULL);
shell.setLayout(new FillLayout());
shell.setImage(SWTResourceManager.getImage("images/16x16.png"));
shell.setText("Change This Title");
shell.setBackgroundImage(SWTResourceManager.getImage("images/ToolbarBackground.gif"));
shell.layout();
shell.open();
while (!shell.isDisposed()) {
if (!display.readAndDispatch()) display.sleep();
}
}
private boolean save() {
if (file == null) return saveAs();
Cursor waitCursor = new Cursor(shell.getDisplay(), SWT.CURSOR_WAIT);
shell.setCursor(waitCursor);
TableItem[] items = table.getItems();
String[] lines = new String[items.length];
for (int i = 0; i < items.length; i++) {
String[] itemText = new String[table.getColumnCount()];
for (int j = 0; j < itemText.length; j++) {
itemText[j] = items[i].getText(j);
}
lines[i] = encodeLine(itemText);
}
FileWriter fileWriter = null;
try {
fileWriter = new FileWriter(file.getAbsolutePath(), false);
for (int i = 0; i < lines.length; i++) {
fileWriter.write(lines[i]);
}
} catch (FileNotFoundException e) {
displayError(resMessages.getString("File_not_found") + "\n" + file.getName());
return false;
} catch (IOException e) {
displayError(resMessages.getString("IO_error_write") + "\n" + file.getName());
return false;
} finally {
shell.setCursor(null);
waitCursor.dispose();
if (fileWriter != null) {
try {
fileWriter.close();
} catch (IOException e) {
displayError(resMessages.getString("IO_error_close") + "\n" + file.getName());
return false;
}
}
}
shell.setText(resMessages.getString("Title_bar") + file.getName());
isModified = false;
return true;
}
/**
* Opens the dialog and returns the input
*
* @return String
*/
public String open() {
// Create the dialog window
Shell shell = new Shell(getParent(), getStyle());
shell.setText(getText());
shell.setImage(UIUtils.getImageRegistry().get("sfdc_icon")); // $NON-NLS-1$
createContents(shell);
shell.pack();
shell.open();
Display display = getParent().getDisplay();
while (!shell.isDisposed()) {
if (!display.readAndDispatch()) {
display.sleep();
}
}
// Return the entered value, or null
return input;
}
MapShell(Display parent) {
display = parent;
mapShell = new Shell(display, SWT.MIN | SWT.CLOSE | SWT.RESIZE);
mapShell.setText(RadarConsts.PROGRAM_NAME + " " + RadarConsts.VERSION);
mapShell.addDisposeListener(
new DisposeListener() {
public void widgetDisposed(DisposeEvent e) {
saveWindowPosition();
}
});
mapShell.addListener(
SWT.Resize,
new Listener() {
public void handleEvent(Event event) {
renderMap();
}
});
mapShell.setBackground(parent.getSystemColor(SWT.COLOR_BLACK));
}
private void openAddressBook() {
FileDialog fileDialog = new FileDialog(shell, SWT.OPEN);
fileDialog.setFilterExtensions(new String[] {"*.adr;", "*.*"});
fileDialog.setFilterNames(
new String[] {
resAddressBook.getString("Book_filter_name") + " (*.adr)",
resAddressBook.getString("All_filter_name") + " (*.*)"
});
String name = fileDialog.open();
if (name == null) return;
File file = new File(name);
if (!file.exists()) {
displayError(
resAddressBook.getString("File")
+ file.getName()
+ " "
+ resAddressBook.getString("Does_not_exist"));
return;
}
Cursor waitCursor = shell.getDisplay().getSystemCursor(SWT.CURSOR_WAIT);
shell.setCursor(waitCursor);
FileReader fileReader = null;
BufferedReader bufferedReader = null;
String[] data = new String[0];
try {
fileReader = new FileReader(file.getAbsolutePath());
bufferedReader = new BufferedReader(fileReader);
String nextLine = bufferedReader.readLine();
while (nextLine != null) {
String[] newData = new String[data.length + 1];
System.arraycopy(data, 0, newData, 0, data.length);
newData[data.length] = nextLine;
data = newData;
nextLine = bufferedReader.readLine();
}
} catch (FileNotFoundException e) {
displayError(resAddressBook.getString("File_not_found") + "\n" + file.getName());
return;
} catch (IOException e) {
displayError(resAddressBook.getString("IO_error_read") + "\n" + file.getName());
return;
} finally {
shell.setCursor(null);
if (fileReader != null) {
try {
fileReader.close();
} catch (IOException e) {
displayError(resAddressBook.getString("IO_error_close") + "\n" + file.getName());
return;
}
}
}
String[][] tableInfo = new String[data.length][table.getColumnCount()];
int writeIndex = 0;
for (int i = 0; i < data.length; i++) {
String[] line = decodeLine(data[i]);
if (line != null) tableInfo[writeIndex++] = line;
}
if (writeIndex != data.length) {
String[][] result = new String[writeIndex][table.getColumnCount()];
System.arraycopy(tableInfo, 0, result, 0, writeIndex);
tableInfo = result;
}
Arrays.sort(tableInfo, new RowComparator(0));
for (int i = 0; i < tableInfo.length; i++) {
TableItem item = new TableItem(table, SWT.NONE);
item.setText(tableInfo[i]);
}
shell.setText(resAddressBook.getString("Title_bar") + fileDialog.getFileName());
isModified = false;
this.file = file;
}
private void newAddressBook() {
shell.setText(resAddressBook.getString("Title_bar") + resAddressBook.getString("New_title"));
file = null;
isModified = false;
}
private void openAddressBook(String name) {
if (name == null) return;
File file = new File(name);
if (!file.exists()) {
displayError(
resMessages.getString("File")
+ file.getName()
+ " "
+ resMessages.getString("Does_not_exist"));
return;
}
Cursor waitCursor = new Cursor(shell.getDisplay(), SWT.CURSOR_WAIT);
shell.setCursor(waitCursor);
FileReader fileReader = null;
BufferedReader bufferedReader = null;
String[] data = new String[0];
try {
fileReader = new FileReader(file.getAbsolutePath());
bufferedReader = new BufferedReader(fileReader);
String nextLine = bufferedReader.readLine();
while (nextLine != null) {
String[] newData = new String[data.length + 1];
System.arraycopy(data, 0, newData, 0, data.length);
newData[data.length] = nextLine;
data = newData;
nextLine = bufferedReader.readLine();
}
} catch (FileNotFoundException e) {
displayError(resMessages.getString("File_not_found") + "\n" + file.getName());
return;
} catch (IOException e) {
displayError(resMessages.getString("IO_error_read") + "\n" + file.getName());
return;
} finally {
shell.setCursor(null);
waitCursor.dispose();
if (fileReader != null) {
try {
fileReader.close();
} catch (IOException e) {
displayError(resMessages.getString("IO_error_close") + "\n" + file.getName());
return;
}
}
}
String[][] tableInfo = new String[data.length][table.getColumnCount()];
for (int i = 0; i < data.length; i++) {
tableInfo[i] = decodeLine(data[i]);
}
Arrays.sort(tableInfo, new RowComparator(0));
for (int i = 0; i < tableInfo.length; i++) {
TableItem item = new TableItem(table, SWT.NONE);
item.setText(tableInfo[i]);
}
shell.setText(resMessages.getString("Title_bar") + file.getName());
isModified = false;
this.file = file;
}
public Shell open(Display display) {
clipboard = new Clipboard(display);
shell = new Shell(display);
shell.setText("SWT Clipboard");
shell.setLayout(new FillLayout());
ScrolledComposite sc = new ScrolledComposite(shell, SWT.H_SCROLL | SWT.V_SCROLL);
Composite parent = new Composite(sc, SWT.NONE);
sc.setContent(parent);
parent.setLayout(new GridLayout(2, true));
Group copyGroup = new Group(parent, SWT.NONE);
copyGroup.setText("Copy From:");
GridData data = new GridData(GridData.FILL_BOTH);
copyGroup.setLayoutData(data);
copyGroup.setLayout(new GridLayout(3, false));
Group pasteGroup = new Group(parent, SWT.NONE);
pasteGroup.setText("Paste To:");
data = new GridData(GridData.FILL_BOTH);
pasteGroup.setLayoutData(data);
pasteGroup.setLayout(new GridLayout(3, false));
Group controlGroup = new Group(parent, SWT.NONE);
controlGroup.setText("Control API:");
data = new GridData(GridData.FILL_BOTH);
data.horizontalSpan = 2;
controlGroup.setLayoutData(data);
controlGroup.setLayout(new GridLayout(5, false));
Group typesGroup = new Group(parent, SWT.NONE);
typesGroup.setText("Available Types");
data = new GridData(GridData.FILL_BOTH);
data.horizontalSpan = 2;
typesGroup.setLayoutData(data);
typesGroup.setLayout(new GridLayout(2, false));
status = new Label(parent, SWT.BORDER);
data = new GridData(GridData.FILL_HORIZONTAL);
data.horizontalSpan = 2;
data.heightHint = 60;
status.setLayoutData(data);
createTextTransfer(copyGroup, pasteGroup);
createRTFTransfer(copyGroup, pasteGroup);
createHTMLTransfer(copyGroup, pasteGroup);
createFileTransfer(copyGroup, pasteGroup);
createMyTransfer(copyGroup, pasteGroup);
createControlTransfer(controlGroup);
createAvailableTypes(typesGroup);
sc.setMinSize(parent.computeSize(SWT.DEFAULT, SWT.DEFAULT));
sc.setExpandHorizontal(true);
sc.setExpandVertical(true);
Point size = shell.computeSize(SWT.DEFAULT, SWT.DEFAULT);
Rectangle monitorArea = shell.getMonitor().getClientArea();
shell.setSize(
Math.min(size.x, monitorArea.width - 20), Math.min(size.y, monitorArea.height - 20));
shell.open();
return shell;
}
/**
* Constructor to create an editor to update/create an ontology entry
*
* @param display - points back to the display
* @param oureditOntEntry - the entry being edited
* @param ontParent - the edited item's parent in the hierarchy
* @param newItem - true if this is a new item
*/
public EditOntEntry(
Display display, OntEntry oureditOntEntry, OntEntry ontParent, boolean newItem) {
super();
shell = new Shell(display, SWT.DIALOG_TRIM | SWT.PRIMARY_MODAL);
shell.setText("OntEntry Information");
GridLayout gridLayout = new GridLayout();
gridLayout.numColumns = 3;
gridLayout.marginHeight = 5;
gridLayout.makeColumnsEqualWidth = true;
shell.setLayout(gridLayout);
ourOntEntry = oureditOntEntry;
ourParent = ontParent;
if (newItem) {
ourOntEntry.setName("");
ourOntEntry.setImportance(Importance.MODERATE);
}
new Label(shell, SWT.NONE).setText("Name:");
nameField = new Text(shell, SWT.SINGLE | SWT.BORDER | SWT.H_SCROLL);
nameField.setText(ourOntEntry.getName());
GridData gridData =
new GridData(GridData.HORIZONTAL_ALIGN_FILL | GridData.VERTICAL_ALIGN_BEGINNING);
DisplayUtilities.setTextDimensions(nameField, gridData, 75);
gridData.horizontalSpan = 2;
nameField.setLayoutData(gridData);
new Label(shell, SWT.NONE).setText("Description:");
descArea = new Text(shell, SWT.MULTI | SWT.WRAP | SWT.BORDER | SWT.V_SCROLL);
descArea.setText(ourOntEntry.getDescription());
gridData = new GridData(GridData.HORIZONTAL_ALIGN_FILL);
DisplayUtilities.setTextDimensions(descArea, gridData, 75, 5);
gridData.horizontalSpan = 2;
gridData.heightHint = descArea.getLineHeight() * 3;
descArea.setLayoutData(gridData);
new Label(shell, SWT.NONE).setText("Importance:");
importanceBox = new Combo(shell, SWT.DROP_DOWN | SWT.READ_ONLY);
Enumeration impEnum = Importance.elements();
int l = 0;
Importance itype;
while (impEnum.hasMoreElements()) {
itype = (Importance) impEnum.nextElement();
importanceBox.add(itype.toString());
if (itype.toString().compareTo(ourOntEntry.getImportance().toString()) == 0) {
importanceBox.select(l);
}
l++;
}
// Error checking: if no such selection is valid, set it to select index 0
if (importanceBox.getSelectionIndex() == -1) {
importanceBox.select(0);
}
importanceBox.setLayoutData(new GridData(GridData.HORIZONTAL_ALIGN_FILL));
new Label(shell, SWT.NONE).setText(" ");
new Label(shell, SWT.NONE).setText(" ");
addButton = new Button(shell, SWT.PUSH);
gridData = new GridData(GridData.HORIZONTAL_ALIGN_FILL | GridData.VERTICAL_ALIGN_BEGINNING);
addButton.setLayoutData(gridData);
if (newItem) {
addButton.setText("Add");
addButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent event) {
canceled = false;
if (!nameField.getText().trim().equals("")) {
ConsistencyChecker checker =
new ConsistencyChecker(ourOntEntry.getID(), nameField.getText(), "OntEntries");
if (ourOntEntry.getName() == nameField.getText() || checker.check()) {
ourParent.addChild(ourOntEntry);
ourOntEntry.setLevel(ourParent.getLevel() + 1);
ourOntEntry.setName(nameField.getText());
ourOntEntry.setDescription(descArea.getText());
ourOntEntry.setImportance(
Importance.fromString(
importanceBox.getItem(importanceBox.getSelectionIndex())));
// comment before this made no sense...
ourOntEntry.setID(ourOntEntry.toDatabase(ourParent.getID()));
System.out.println("Name of added item = " + ourOntEntry.getName());
shell.close();
shell.dispose();
}
} else {
MessageBox mbox = new MessageBox(shell, SWT.ICON_ERROR);
mbox.setMessage("Need to provide the OntEntry name");
mbox.open();
}
}
});
} else {
addButton.setText("Save");
addButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent event) {
canceled = false;
ConsistencyChecker checker =
new ConsistencyChecker(ourOntEntry.getID(), nameField.getText(), "OntEntries");
if (ourOntEntry.getName() == nameField.getText() || checker.check()) {
ourOntEntry.setName(nameField.getText());
ourOntEntry.setDescription(descArea.getText());
ourOntEntry.setImportance(
Importance.fromString(
importanceBox.getItem(importanceBox.getSelectionIndex())));
// since this is a save, not an add, the type and parent are ignored
ourOntEntry.setID(ourOntEntry.toDatabase(0));
// RationaleDB db = RationaleDB.getHandle();
// db.addOntEntry(ourOntEntry);
shell.close();
shell.dispose();
}
}
});
}
cancelButton = new Button(shell, SWT.PUSH);
cancelButton.setText("Cancel");
gridData = new GridData(GridData.HORIZONTAL_ALIGN_FILL | GridData.VERTICAL_ALIGN_BEGINNING);
cancelButton.setLayoutData(gridData);
cancelButton.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent event) {
canceled = true;
shell.close();
shell.dispose();
}
});
shell.pack();
shell.open();
while (!shell.isDisposed()) {
if (!display.readAndDispatch()) display.sleep();
}
}
