source: trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/swt/MainWindow.java @ 195

package de.ugoe.cs.eventbench.swt;

import org.eclipse.swt.widgets.Display;
import org.eclipse.swt.widgets.Shell;
import org.eclipse.swt.widgets.Menu;
import org.eclipse.swt.SWT;
import org.eclipse.swt.widgets.FileDialog;
import org.eclipse.swt.widgets.MenuItem;
import org.eclipse.swt.widgets.Text;
import org.eclipse.swt.widgets.TabFolder;
import org.eclipse.swt.widgets.TabItem;
import org.eclipse.swt.layout.GridLayout;
import org.eclipse.swt.layout.GridData;
import org.eclipse.swt.events.SelectionAdapter;
import org.eclipse.swt.events.SelectionEvent;

import de.ugoe.cs.util.console.CommandExecuter;

public class MainWindow {

        protected Shell shell;
        
        protected TabItem consoleTab;
        protected TabItem sequencesTab;
        protected TabItem modelsTab;
        protected TabItem dataTab;
        protected ConsoleTabComposite consoleTabComposite;
        protected SequencesTabComposite sequencesTabComposite;
        protected ModelsTabComposite modelsTabComposite;
        protected DataTabComposite dataTabComposite;
        
        protected CommandHistoryDialog historyDialog;


        /**
         * Open the window.
         * @wbp.parser.entryPoint
         */
        public void open() {
                Display display = Display.getDefault();
                createContents();
                new SWTConsole(getTextConsoleOutput());
                historyDialog = new CommandHistoryDialog(shell, SWT.NONE);
                shell.open();
                shell.layout();
                while (!shell.isDisposed()) {
                        if (!display.readAndDispatch()) {
                                display.sleep();
                        }
                }
        }

        /**
         * Create contents of the window.
         */
        protected void createContents() {
                shell = new Shell();
                shell.setSize(500, 300);
                shell.setText("SWT Application");
                shell.setLayout(new GridLayout(1, false));
                
                Menu menu = new Menu(shell, SWT.BAR);
                shell.setMenuBar(menu);
                
                MenuItem mntmFile = new MenuItem(menu, SWT.CASCADE);
                mntmFile.setText("File");
                
                Menu menu_1 = new Menu(mntmFile);
                mntmFile.setMenu(menu_1);
                
                MenuItem mntmShowHistory = new MenuItem(menu_1, SWT.NONE);
                mntmShowHistory.addSelectionListener(new SelectionAdapter() {
                        @Override
                        public void widgetSelected(SelectionEvent e) {
                                if( !historyDialog.isOpen()) {
                                        historyDialog.open();
                                }
                        }
                });
                mntmShowHistory.setText("Show History");
                
                MenuItem mntmExecBatchFile = new MenuItem(menu_1, SWT.NONE);
                mntmExecBatchFile.addSelectionListener(new SelectionAdapter() {
                        @Override
                        public void widgetSelected(SelectionEvent e) {
                                FileDialog fileDialog = new FileDialog(shell, SWT.OPEN);
                                String filename = fileDialog.open();
                                if( filename!=null ) {
                                        String command = "exec '" + filename + "'";
                                        CommandExecuter.getInstance().exec(command);
                                }
                        }
                });
                mntmExecBatchFile.setText("Exec. Batch File");
                
                new MenuItem(menu_1, SWT.SEPARATOR);
                
                MenuItem mntmLoad = new MenuItem(menu_1, SWT.NONE);
                mntmLoad.addSelectionListener(new SelectionAdapter() {
                        @Override
                        public void widgetSelected(SelectionEvent e) {
                                FileDialog fileDialog = new FileDialog(shell, SWT.OPEN);
                                String filename = fileDialog.open();
                                if( filename!=null ) {
                                        String command = "load '" + filename + "'";
                                        CommandExecuter.getInstance().exec(command);
                                }
                        }
                });
                mntmLoad.setText("Load...");
                
                MenuItem mntmSave = new MenuItem(menu_1, SWT.NONE);
                mntmSave.addSelectionListener(new SelectionAdapter() {
                        @Override
                        public void widgetSelected(SelectionEvent e) {
                                FileDialog fileDialog = new FileDialog(shell, SWT.SAVE);
                                String filename = fileDialog.open();
                                if( filename!=null ) {
                                        String command = "save '" + filename + "'";
                                        CommandExecuter.getInstance().exec(command);
                                }
                        }
                });
                mntmSave.setText("Save...");
                
                new MenuItem(menu_1, SWT.SEPARATOR);
                
                MenuItem mntmExit = new MenuItem(menu_1, SWT.NONE);
                mntmExit.addSelectionListener(new SelectionAdapter() {
                        @Override
                        public void widgetSelected(SelectionEvent e) {
                                shell.dispose();
                        }
                });
                mntmExit.setText("Exit");
                
                MenuItem mntmHelp = new MenuItem(menu, SWT.CASCADE);
                mntmHelp.setText("Help");
                
                Menu menu_2 = new Menu(mntmHelp);
                mntmHelp.setMenu(menu_2);
                
                MenuItem mntmAbout = new MenuItem(menu_2, SWT.NONE);
                mntmAbout.addSelectionListener(new SelectionAdapter() {
                        @Override
                        public void widgetSelected(SelectionEvent e) {
                                AboutDialog aboutDialog = new AboutDialog(shell, SWT.NONE);
                                aboutDialog.open();
                        }
                });
                mntmAbout.setText("About");
                
                TabFolder tabFolder = new TabFolder(shell, SWT.NONE);
                tabFolder.addSelectionListener(new SelectionAdapter() {
                        @Override
                        public void widgetSelected(SelectionEvent e) {
                                if( e.item == sequencesTab ) {
                                        sequencesTabComposite.updateSequenceList();
                                }
                                else if(e.item == modelsTab ) {
                                        modelsTabComposite.updateModelList();
                                }
                                else if(e.item == dataTab) {
                                        dataTabComposite.updateDataList();
                                }
                        }
                });
                tabFolder.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true, 1, 1));
                
                consoleTab = new TabItem(tabFolder, SWT.NONE);
                consoleTab.setText("Console");
                
                consoleTabComposite = new ConsoleTabComposite(tabFolder, SWT.NO_BACKGROUND);
                consoleTab.setControl(consoleTabComposite);
                
                sequencesTab = new TabItem(tabFolder, SWT.NONE);
                sequencesTab.setText("Sequences");
                
                sequencesTabComposite = new SequencesTabComposite(tabFolder, SWT.NO_BACKGROUND);
                sequencesTab.setControl(sequencesTabComposite);
                
                modelsTab = new TabItem(tabFolder, SWT.NONE);
                modelsTab.setText("Models");
                
                modelsTabComposite = new ModelsTabComposite(tabFolder, SWT.NO_BACKGROUND);
                modelsTab.setControl(modelsTabComposite);
                
                dataTab = new TabItem(tabFolder, SWT.NONE);
                dataTab.setText("Data");
                
                dataTabComposite = new DataTabComposite(tabFolder, SWT.NO_BACKGROUND);
                dataTab.setControl(dataTabComposite);
                
        }
        public Text getTextConsoleOutput() {
                return consoleTabComposite.textConsoleOutput;
        }
}