/** Creates the "Control" group. */
void createControlGroup() {
/*
* Create the "Control" group. This is the group on the
* right half of each example tab. It consists of the
* style group, the display group and the size group.
*/
controlGroup = new Group(tabFolderPage, SWT.NONE);
GridLayout gridLayout = new GridLayout();
controlGroup.setLayout(gridLayout);
gridLayout.numColumns = 2;
gridLayout.makeColumnsEqualWidth = true;
controlGroup.setLayoutData(
new GridData(GridData.HORIZONTAL_ALIGN_FILL | GridData.VERTICAL_ALIGN_FILL));
controlGroup.setText(ControlExample.getResourceString("Parameters"));
/*
* Create a group to hold the dialog style combo box and
* create dialog button.
*/
dialogStyleGroup = new Group(controlGroup, SWT.NONE);
dialogStyleGroup.setLayout(new GridLayout());
GridData gridData = new GridData(GridData.HORIZONTAL_ALIGN_CENTER);
gridData.horizontalSpan = 2;
dialogStyleGroup.setLayoutData(gridData);
dialogStyleGroup.setText(ControlExample.getResourceString("Dialog_Type"));
}
/**
* 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();
}
}
/** Initializes the GUI. */
private void initGUI() {
try {
getShell()
.addDisposeListener(
new DisposeListener() {
public void widgetDisposed(DisposeEvent evt) {
shellWidgetDisposed(evt);
}
});
getShell()
.addControlListener(
new ControlAdapter() {
public void controlResized(ControlEvent evt) {
shellControlResized(evt);
}
});
getShell()
.addControlListener(
new ControlAdapter() {
public void controlMoved(ControlEvent evt) {
shellControlMoved(evt);
}
});
GridLayout thisLayout = new GridLayout();
this.setLayout(thisLayout);
{
GridData toolBarLData = new GridData();
toolBarLData.grabExcessHorizontalSpace = true;
toolBarLData.horizontalAlignment = GridData.FILL;
toolBar = new ToolBar(this, SWT.FLAT);
toolBar.setLayoutData(toolBarLData);
toolBar.setBackgroundImage(SWTResourceManager.getImage("images/ToolbarBackground.gif"));
{
newToolItem = new ToolItem(toolBar, SWT.NONE);
newToolItem.setImage(SWTResourceManager.getImage("images/new.gif"));
newToolItem.setToolTipText("New");
}
{
openToolItem = new ToolItem(toolBar, SWT.NONE);
openToolItem.setToolTipText("Open");
openToolItem.setImage(SWTResourceManager.getImage("images/open.gif"));
openToolItem.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent evt) {
openToolItemWidgetSelected(evt);
}
});
}
{
saveToolItem = new ToolItem(toolBar, SWT.NONE);
saveToolItem.setToolTipText("Save");
saveToolItem.setImage(SWTResourceManager.getImage("images/save.gif"));
}
}
{
clientArea = new Composite(this, SWT.NONE);
GridData clientAreaLData = new GridData();
clientAreaLData.grabExcessHorizontalSpace = true;
clientAreaLData.grabExcessVerticalSpace = true;
clientAreaLData.horizontalAlignment = GridData.FILL;
clientAreaLData.verticalAlignment = GridData.FILL;
clientArea.setLayoutData(clientAreaLData);
clientArea.setLayout(null);
}
{
statusArea = new Composite(this, SWT.NONE);
GridLayout statusAreaLayout = new GridLayout();
statusAreaLayout.makeColumnsEqualWidth = true;
statusAreaLayout.horizontalSpacing = 0;
statusAreaLayout.marginHeight = 0;
statusAreaLayout.marginWidth = 0;
statusAreaLayout.verticalSpacing = 0;
statusAreaLayout.marginLeft = 3;
statusAreaLayout.marginRight = 3;
statusAreaLayout.marginTop = 3;
statusAreaLayout.marginBottom = 3;
statusArea.setLayout(statusAreaLayout);
GridData statusAreaLData = new GridData();
statusAreaLData.horizontalAlignment = GridData.FILL;
statusAreaLData.grabExcessHorizontalSpace = true;
statusArea.setLayoutData(statusAreaLData);
statusArea.setBackground(SWTResourceManager.getColor(239, 237, 224));
{
statusText = new Label(statusArea, SWT.BORDER);
statusText.setText(" Ready");
GridData txtStatusLData = new GridData();
txtStatusLData.horizontalAlignment = GridData.FILL;
txtStatusLData.grabExcessHorizontalSpace = true;
txtStatusLData.verticalIndent = 3;
statusText.setLayoutData(txtStatusLData);
}
}
thisLayout.verticalSpacing = 0;
thisLayout.marginWidth = 0;
thisLayout.marginHeight = 0;
thisLayout.horizontalSpacing = 0;
thisLayout.marginTop = 3;
this.setSize(474, 312);
{
menu1 = new Menu(getShell(), SWT.BAR);
getShell().setMenuBar(menu1);
{
fileMenuItem = new MenuItem(menu1, SWT.CASCADE);
fileMenuItem.setText("&File");
{
fileMenu = new Menu(fileMenuItem);
{
newFileMenuItem = new MenuItem(fileMenu, SWT.PUSH);
newFileMenuItem.setText("&New");
newFileMenuItem.setImage(SWTResourceManager.getImage("images/new.gif"));
}
{
openFileMenuItem = new MenuItem(fileMenu, SWT.PUSH);
openFileMenuItem.setText("&Open");
openFileMenuItem.setImage(SWTResourceManager.getImage("images/open.gif"));
openFileMenuItem.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent evt) {
openFileMenuItemWidgetSelected(evt);
}
});
}
{
closeFileMenuItem = new MenuItem(fileMenu, SWT.CASCADE);
closeFileMenuItem.setText("Close");
}
{
fileMenuSep1 = new MenuItem(fileMenu, SWT.SEPARATOR);
}
{
saveFileMenuItem = new MenuItem(fileMenu, SWT.PUSH);
saveFileMenuItem.setText("&Save");
saveFileMenuItem.setImage(SWTResourceManager.getImage("images/save.gif"));
saveFileMenuItem.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent evt) {
saveFileMenuItemWidgetSelected(evt);
}
});
}
{
fileMenuSep2 = new MenuItem(fileMenu, SWT.SEPARATOR);
}
{
exitMenuItem = new MenuItem(fileMenu, SWT.CASCADE);
exitMenuItem.setText("E&xit");
exitMenuItem.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent evt) {
exitMenuItemWidgetSelected(evt);
}
});
}
fileMenuItem.setMenu(fileMenu);
}
}
{
helpMenuItem = new MenuItem(menu1, SWT.CASCADE);
helpMenuItem.setText("&Help");
{
helpMenu = new Menu(helpMenuItem);
{
aboutMenuItem = new MenuItem(helpMenu, SWT.CASCADE);
aboutMenuItem.setText("&About");
aboutMenuItem.addSelectionListener(
new SelectionAdapter() {
public void widgetSelected(SelectionEvent evt) {
aboutMenuItemWidgetSelected(evt);
}
});
}
helpMenuItem.setMenu(helpMenu);
}
}
}
} catch (Exception e) {
e.printStackTrace();
}
}