package de.ugoe.cs.eventbench.swt; import java.util.SortedSet; import org.eclipse.swt.widgets.Dialog; import org.eclipse.swt.widgets.Display; import org.eclipse.swt.widgets.Listener; import org.eclipse.swt.widgets.MessageBox; import org.eclipse.swt.widgets.Shell; import org.eclipse.swt.widgets.TableItem; import org.eclipse.swt.layout.GridLayout; import org.eclipse.swt.SWT; import org.eclipse.swt.widgets.Button; import org.eclipse.swt.layout.GridData; import org.eclipse.swt.widgets.Table; import org.eclipse.swt.widgets.TableColumn; import org.eclipse.swt.events.SelectionAdapter; import org.eclipse.swt.events.SelectionEvent; import org.eclipse.swt.graphics.Point; import de.ugoe.cs.eventbench.data.Event; public class EditSequenceDialog extends Dialog { protected Shell shell; private Table table; private TableColumn tblclmnEventType; private TableColumn tblclmnEventTarget; private java.util.List> sequence; private SortedSet targets; /** * Create the dialog. * * @param parent * @param style */ public EditSequenceDialog(Shell parent, int style, SortedSet targets) { super(parent, style); setText("SWT Dialog"); this.targets = targets; } /** * Open the dialog. */ public void open(java.util.List> sequence) { this.sequence = sequence; createContents(); shell.open(); shell.layout(); Display display = getParent().getDisplay(); while (!shell.isDisposed()) { if (!display.readAndDispatch()) { display.sleep(); } } } /** * Create contents of the dialog. */ private void createContents() { shell = new Shell(getParent(), SWT.SHELL_TRIM | SWT.BORDER | SWT.APPLICATION_MODAL); shell.setSize(450, 300); shell.setText(getText()); shell.setLayout(new GridLayout(3, false)); table = new Table(shell, SWT.BORDER | SWT.FULL_SELECTION); table.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true, 3, 1)); table.setHeaderVisible(true); table.setLinesVisible(true); tblclmnEventType = new TableColumn(table, SWT.NONE); tblclmnEventType.setWidth(100); tblclmnEventType.setText("Event Type"); tblclmnEventTarget = new TableColumn(table, SWT.NONE); tblclmnEventTarget.setWidth(100); tblclmnEventTarget.setText("Event Target"); // this listener makes the table entries multiline Listener paintListener = new Listener() { public void handleEvent(org.eclipse.swt.widgets.Event event) { switch (event.type) { case SWT.MeasureItem: { TableItem item = (TableItem) event.item; String text = item.getText(event.index); Point size = event.gc.textExtent(text); event.width = size.x; event.height = Math.max(event.height, size.y); break; } case SWT.PaintItem: { TableItem item = (TableItem) event.item; String text = item.getText(event.index); Point size = event.gc.textExtent(text); int offset = event.index == 0 ? Math.max(0, (event.height - size.y) / 2) : 0; event.gc.drawText(text, event.x, event.y + offset, true); break; } case SWT.EraseItem: { event.detail &= ~SWT.FOREGROUND; break; } } } }; table.addListener(SWT.MeasureItem, paintListener); table.addListener(SWT.PaintItem, paintListener); table.addListener(SWT.EraseItem, paintListener); updateTableContents(); Button btnInsertBefore = new Button(shell, SWT.NONE); btnInsertBefore.addSelectionListener(new SelectionAdapter() { @Override public void widgetSelected(SelectionEvent e) { int index = table.getSelectionIndex(); if (index == -1) { MessageBox messageBox = new MessageBox(shell, SWT.ERROR); messageBox.setMessage("No event selected!"); messageBox.setText("Error"); messageBox.open(); } else { openInsertDialog(index); } } }); btnInsertBefore.setText("Insert Before"); Button btnInsertAfter = new Button(shell, SWT.NONE); btnInsertAfter.addSelectionListener(new SelectionAdapter() { @Override public void widgetSelected(SelectionEvent e) { int index = table.getSelectionIndex(); if (index == -1) { MessageBox messageBox = new MessageBox(shell, SWT.ERROR); messageBox.setMessage("No event selected!"); messageBox.setText("Error"); messageBox.open(); } else { openInsertDialog(index + 1); } } }); btnInsertAfter.setText("Insert After"); Button btnClose = new Button(shell, SWT.NONE); btnClose.addSelectionListener(new SelectionAdapter() { @Override public void widgetSelected(SelectionEvent e) { shell.dispose(); } }); btnClose.setText("Close"); } private void updateTableContents() { table.removeAll(); for (Event event : sequence) { TableItem tableItem = new TableItem(table, SWT.NONE); String target = event.getTarget(); if (target != null) { // the target is split into multiple lines, as one line may // only be 259 characters in tables with Windows target = target.replace("].", "].\n"); } tableItem.setText(new String[] { event.getType(), target }); } for (int i = 0; i < table.getColumnCount(); i++) { table.getColumn(i).pack(); } } private void openInsertDialog(int position) { InsertAssertionDialog insertDialog = new InsertAssertionDialog(shell, SWT.NONE, targets); Event event = insertDialog.open(); if (event != null) { sequence.add(position, event); updateTableContents(); } } }