source: trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/SequencesDialog.java @ 304

package de.ugoe.cs.eventbench.swt;

import java.util.Collection;
import java.util.SortedSet;
import java.util.TreeSet;

import org.eclipse.swt.widgets.Dialog;
import org.eclipse.swt.widgets.Display;
import org.eclipse.swt.widgets.MessageBox;
import org.eclipse.swt.widgets.Shell;
import org.eclipse.swt.layout.GridLayout;
import org.eclipse.swt.widgets.List;
import org.eclipse.swt.SWT;
import org.eclipse.swt.widgets.Button;
import org.eclipse.swt.layout.GridData;

import de.ugoe.cs.eventbench.SequenceInstanceOf;
import de.ugoe.cs.eventbench.data.Event;
import de.ugoe.cs.eventbench.data.GlobalDataContainer;
import org.eclipse.swt.events.SelectionAdapter;
import org.eclipse.swt.events.SelectionEvent;

public class SequencesDialog extends Dialog {

        private String sequencesName;
        
        private List sequenceList;
        private Collection<java.util.List<Event<?>>> sequences;
        private SortedSet<String> targets;
        
        protected Shell shell;

        /**
         * Create the dialog.
         * @param parent
         * @param style
         */
        public SequencesDialog(Shell parent, int style) {
                super(parent, style);
                setText("SWT Dialog");
        }

        /**
         * Open the dialog.
         */
        public void open(String sequencesName) {
                this.sequencesName = sequencesName;
                sequences = null;
                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(248, 299);
                shell.setText(getText());
                shell.setLayout(new GridLayout(2, false));
                
                sequenceList = new List(shell, SWT.BORDER | SWT.V_SCROLL);
                sequenceList.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true, 2, 1));
                updateSequenceList();
                
                Button btnShow = new Button(shell, SWT.NONE);
                btnShow.addSelectionListener(new SelectionAdapter() {
                        @Override
                        public void widgetSelected(SelectionEvent e) {
                                int index = sequenceList.getSelectionIndex();
                                if( index==-1 ) {
                                        MessageBox messageBox = new MessageBox(shell, SWT.ERROR);
                                        messageBox.setMessage("No sequence selected!");
                                        messageBox.setText("Error");
                                        messageBox.open();
                                } else {
                                        EditSequenceDialog editSequenceDialog = new EditSequenceDialog(shell, SWT.NONE, targets);
                                        int counter = 0;
                                        java.util.List<Event<?>> selectedSequence = null;
                                        for( java.util.List<Event<?>> sequence : sequences ) {
                                                if( counter==index ) {
                                                        selectedSequence = sequence;
                                                        break;
                                                }
                                                counter++;
                                        }
                                        editSequenceDialog.open(selectedSequence);
                                        updateSequenceList();
                                }
                        }
                });
                btnShow.setText("Show");
                
                Button btnClose = new Button(shell, SWT.NONE);
                btnClose.addSelectionListener(new SelectionAdapter() {
                        @Override
                        public void widgetSelected(SelectionEvent e) {
                                shell.dispose();
                        }
                });
                btnClose.setText("Close");

        }
        
        @SuppressWarnings("unchecked")
        private void updateSequenceList() {
                sequenceList.removeAll();
                Object dataObject = GlobalDataContainer.getInstance().getData(sequencesName);
                if( SequenceInstanceOf.isCollectionOfSequences(dataObject)) {
                        sequences = (Collection<java.util.List<Event<?>>>) dataObject;
                        int seqDigits = 4; // TODO calculate seqDigits dynamically
                        int counter = 1;
                        for( java.util.List<Event<?>> sequence : sequences ) {
                                String seqName = "#"+Integer.toString(counter, seqDigits)+": "+sequence.size();
                                sequenceList.add(seqName);
                                counter++;
                        }
                        Object targetObject = GlobalDataContainer.getInstance().getData(sequencesName+"_targets");
                        targets = null;
                        if( targetObject instanceof SortedSet ) {
                                if( !((SortedSet<?>) targetObject).isEmpty() ) {
                                        if( ((SortedSet<?>) targetObject).first() instanceof String ) {
                                                targets = (SortedSet<String>) targetObject;
                                        }
                                }
                        }
                        if( targets==null ) {
                                targets = new TreeSet<String>();
                                for( java.util.List<Event<?>> sequence : sequences ) {
                                        for( Event<?> event : sequence ) {
                                                String target = event.getTarget();
                                                if( target!=null ) {
                                                        targets.add(target);
                                                }
                                        }
                                }
                        }
                } else {
                        // TODO this should not happen - needs to be handled anyways
                }
        }

}