Ignore:
Timestamp:
08/17/12 11:38:43 (12 years ago)
Author:
sherbold
Message:
  • adapted to quest coding style
File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/MainWindow.java

    r526 r570  
     1 
    12package de.ugoe.cs.quest.ui.swt; 
    23 
    … …  
    2728 */ 
    2829public class MainWindow { 
    29          
    30         private List<String> startupCommands; 
    31  
    32         protected Shell shlEventbenchConsole; 
    33  
    34         protected TabItem consoleTab; 
    35         protected TabItem sequencesTab; 
    36         protected TabItem modelsTab; 
    37         protected TabItem dataTab; 
    38         protected ConsoleTabComposite consoleTabComposite; 
    39         protected SequencesTabComposite sequencesTabComposite; 
    40         protected ModelsTabComposite modelsTabComposite; 
    41         protected DataTabComposite dataTabComposite; 
    42  
    43         protected CommandHistoryDialog historyDialog; 
    44  
    45         public MainWindow(List<String> startupCommands) { 
    46                 this.startupCommands = startupCommands; 
    47         } 
    48          
    49         /** 
    50          * <p> 
    51          * Open the window. 
    52          * </p> 
    53          *  
    54          * @wbp.parser.entryPoint 
    55          */ 
    56         public void open() { 
    57                 Display display = Display.getDefault(); 
    58                 createContents(); 
    59                 new SWTConsole(consoleTabComposite.textConsoleOutput); 
    60                 historyDialog = new CommandHistoryDialog(shlEventbenchConsole, SWT.NONE); 
    61                 shlEventbenchConsole.open(); 
    62                 shlEventbenchConsole.layout(); 
    63                 for(String command : startupCommands ) { 
    64                         CommandExecuter.getInstance().exec(command); 
    65                 } 
    66                 while (!shlEventbenchConsole.isDisposed()) { 
    67                         if (!display.readAndDispatch()) { 
    68                                 display.sleep(); 
    69                         } 
    70                 } 
    71         } 
    72  
    73         /** 
    74          * <p> 
    75          * Create contents of the window. 
    76          * </p> 
    77          */ 
    78         protected void createContents() { 
    79                 shlEventbenchConsole = new Shell(); 
    80                 shlEventbenchConsole.setSize(800, 600); 
    81                 shlEventbenchConsole.setText("EventBench Console"); 
    82                 shlEventbenchConsole.setLayout(new GridLayout(1, false)); 
    83  
    84                 createMenu(); 
    85                 createTabs(); 
    86         } 
    87  
    88         /** 
    89          * </p> Creates the menu of the window. </p> 
    90          */ 
    91         private void createMenu() { 
    92                 Menu menu = new Menu(shlEventbenchConsole, SWT.BAR); 
    93                 shlEventbenchConsole.setMenuBar(menu); 
    94  
    95                 MenuItem mntmFile = new MenuItem(menu, SWT.CASCADE); 
    96                 mntmFile.setText("File"); 
    97  
    98                 Menu menu_1 = new Menu(mntmFile); 
    99                 mntmFile.setMenu(menu_1); 
    100  
    101                 MenuItem mntmShowHistory = new MenuItem(menu_1, SWT.NONE); 
    102                 mntmShowHistory.addSelectionListener(new SelectionAdapter() { 
    103                         @Override 
    104                         public void widgetSelected(SelectionEvent e) { 
    105                                 if (!historyDialog.isOpen()) { 
    106                                         historyDialog.open(); 
    107                                 } 
    108                         } 
    109                 }); 
    110                 mntmShowHistory.setText("Show History"); 
    111  
    112                 MenuItem mntmExecBatchFile = new MenuItem(menu_1, SWT.NONE); 
    113                 mntmExecBatchFile.addSelectionListener(new SelectionAdapter() { 
    114                         @Override 
    115                         public void widgetSelected(SelectionEvent e) { 
    116                                 FileDialog fileDialog = new FileDialog(shlEventbenchConsole, 
    117                                                 SWT.OPEN); 
    118                                 String filename = fileDialog.open(); 
    119                                 if (filename != null) { 
    120                                         String command = "exec '" + filename + "'"; 
    121                                         CommandExecuter.getInstance().exec(command); 
    122                                 } 
    123                         } 
    124                 }); 
    125                 mntmExecBatchFile.setText("Exec. Batch File"); 
    126  
    127                 new MenuItem(menu_1, SWT.SEPARATOR); 
    128  
    129                 MenuItem mntmLoad = new MenuItem(menu_1, SWT.NONE); 
    130                 mntmLoad.addSelectionListener(new SelectionAdapter() { 
    131                         @Override 
    132                         public void widgetSelected(SelectionEvent e) { 
    133                                 FileDialog fileDialog = new FileDialog(shlEventbenchConsole, 
    134                                                 SWT.OPEN); 
    135                                 String filename = fileDialog.open(); 
    136                                 if (filename != null) { 
    137                                         String command = "load '" + filename + "'"; 
    138                                         CommandExecuter.getInstance().exec(command); 
    139                                 } 
    140                         } 
    141                 }); 
    142                 mntmLoad.setText("Load..."); 
    143  
    144                 MenuItem mntmSave = new MenuItem(menu_1, SWT.NONE); 
    145                 mntmSave.addSelectionListener(new SelectionAdapter() { 
    146                         @Override 
    147                         public void widgetSelected(SelectionEvent e) { 
    148                                 FileDialog fileDialog = new FileDialog(shlEventbenchConsole, 
    149                                                 SWT.SAVE); 
    150                                 String filename = fileDialog.open(); 
    151                                 if (filename != null) { 
    152                                         String command = "save '" + filename + "'"; 
    153                                         CommandExecuter.getInstance().exec(command); 
    154                                 } 
    155                         } 
    156                 }); 
    157                 mntmSave.setText("Save..."); 
    158  
    159                 new MenuItem(menu_1, SWT.SEPARATOR); 
    160  
    161                 MenuItem mntmExit = new MenuItem(menu_1, SWT.NONE); 
    162                 mntmExit.addSelectionListener(new SelectionAdapter() { 
    163                         @Override 
    164                         public void widgetSelected(SelectionEvent e) { 
    165                                 shlEventbenchConsole.dispose(); 
    166                         } 
    167                 }); 
    168                 mntmExit.setText("Exit"); 
    169  
    170                 MenuItem mntmHelp = new MenuItem(menu, SWT.CASCADE); 
    171                 mntmHelp.setText("Help"); 
    172  
    173                 Menu menu_2 = new Menu(mntmHelp); 
    174                 mntmHelp.setMenu(menu_2); 
    175  
    176                 MenuItem mntmAbout = new MenuItem(menu_2, SWT.NONE); 
    177                 mntmAbout.addSelectionListener(new SelectionAdapter() { 
    178                         @Override 
    179                         public void widgetSelected(SelectionEvent e) { 
    180                                 AboutDialog aboutDialog = new AboutDialog(shlEventbenchConsole, 
    181                                                 SWT.NONE); 
    182                                 aboutDialog.open(); 
    183                         } 
    184                 }); 
    185                 mntmAbout.setText("About"); 
    186         } 
    187  
    188         /** 
    189          * <p> 
    190          * Creates the central TabFolder of the window. 
    191          * </p> 
    192          */ 
    193         private void createTabs() { 
    194                 TabFolder tabFolder = new TabFolder(shlEventbenchConsole, SWT.NONE); 
    195                 tabFolder.addSelectionListener(new SelectionAdapter() { 
    196                         @Override 
    197                         public void widgetSelected(SelectionEvent e) { 
    198                                 if (e.item == sequencesTab) { 
    199                                         sequencesTabComposite.updateSequenceList(); 
    200                                 } else if (e.item == modelsTab) { 
    201                                         modelsTabComposite.updateModelList(); 
    202                                 } else if (e.item == dataTab) { 
    203                                         dataTabComposite.updateDataList(); 
    204                                 } 
    205                         } 
    206                 }); 
    207                 tabFolder.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true, 1, 
    208                                 1)); 
    209  
    210                 consoleTab = new TabItem(tabFolder, SWT.NONE); 
    211                 consoleTab.setText("Console"); 
    212  
    213                 consoleTabComposite = new ConsoleTabComposite(tabFolder, 
    214                                 SWT.NO_BACKGROUND); 
    215                 consoleTab.setControl(consoleTabComposite); 
    216  
    217                 sequencesTab = new TabItem(tabFolder, SWT.NONE); 
    218                 sequencesTab.setText("Sequences"); 
    219  
    220                 sequencesTabComposite = new SequencesTabComposite(tabFolder, 
    221                                 SWT.NO_BACKGROUND); 
    222                 sequencesTab.setControl(sequencesTabComposite); 
    223  
    224                 modelsTab = new TabItem(tabFolder, SWT.NONE); 
    225                 modelsTab.setText("Models"); 
    226  
    227                 modelsTabComposite = new ModelsTabComposite(tabFolder, 
    228                                 SWT.NO_BACKGROUND); 
    229                 modelsTab.setControl(modelsTabComposite); 
    230  
    231                 dataTab = new TabItem(tabFolder, SWT.NONE); 
    232                 dataTab.setText("Data"); 
    233  
    234                 dataTabComposite = new DataTabComposite(tabFolder, SWT.NO_BACKGROUND); 
    235                 dataTab.setControl(dataTabComposite); 
    236         } 
     30 
     31    private List<String> startupCommands; 
     32 
     33    protected Shell shlEventbenchConsole; 
     34 
     35    protected TabItem consoleTab; 
     36    protected TabItem sequencesTab; 
     37    protected TabItem modelsTab; 
     38    protected TabItem dataTab; 
     39    protected ConsoleTabComposite consoleTabComposite; 
     40    protected SequencesTabComposite sequencesTabComposite; 
     41    protected ModelsTabComposite modelsTabComposite; 
     42    protected DataTabComposite dataTabComposite; 
     43 
     44    protected CommandHistoryDialog historyDialog; 
     45 
     46    public MainWindow(List<String> startupCommands) { 
     47        this.startupCommands = startupCommands; 
     48    } 
     49 
     50    /** 
     51     * <p> 
     52     * Open the window. 
     53     * </p> 
     54     *  
     55     * @wbp.parser.entryPoint 
     56     */ 
     57    public void open() { 
     58        Display display = Display.getDefault(); 
     59        createContents(); 
     60        new SWTConsole(consoleTabComposite.textConsoleOutput); 
     61        historyDialog = new CommandHistoryDialog(shlEventbenchConsole, SWT.NONE); 
     62        shlEventbenchConsole.open(); 
     63        shlEventbenchConsole.layout(); 
     64        for (String command : startupCommands) { 
     65            CommandExecuter.getInstance().exec(command); 
     66        } 
     67        while (!shlEventbenchConsole.isDisposed()) { 
     68            if (!display.readAndDispatch()) { 
     69                display.sleep(); 
     70            } 
     71        } 
     72    } 
     73 
     74    /** 
     75     * <p> 
     76     * Create contents of the window. 
     77     * </p> 
     78     */ 
     79    protected void createContents() { 
     80        shlEventbenchConsole = new Shell(); 
     81        shlEventbenchConsole.setSize(800, 600); 
     82        shlEventbenchConsole.setText("EventBench Console"); 
     83        shlEventbenchConsole.setLayout(new GridLayout(1, false)); 
     84 
     85        createMenu(); 
     86        createTabs(); 
     87    } 
     88 
     89    /** 
     90     * </p> Creates the menu of the window. </p> 
     91     */ 
     92    private void createMenu() { 
     93        Menu menu = new Menu(shlEventbenchConsole, SWT.BAR); 
     94        shlEventbenchConsole.setMenuBar(menu); 
     95 
     96        MenuItem mntmFile = new MenuItem(menu, SWT.CASCADE); 
     97        mntmFile.setText("File"); 
     98 
     99        Menu menu_1 = new Menu(mntmFile); 
     100        mntmFile.setMenu(menu_1); 
     101 
     102        MenuItem mntmShowHistory = new MenuItem(menu_1, SWT.NONE); 
     103        mntmShowHistory.addSelectionListener(new SelectionAdapter() { 
     104            @Override 
     105            public void widgetSelected(SelectionEvent e) { 
     106                if (!historyDialog.isOpen()) { 
     107                    historyDialog.open(); 
     108                } 
     109            } 
     110        }); 
     111        mntmShowHistory.setText("Show History"); 
     112 
     113        MenuItem mntmExecBatchFile = new MenuItem(menu_1, SWT.NONE); 
     114        mntmExecBatchFile.addSelectionListener(new SelectionAdapter() { 
     115            @Override 
     116            public void widgetSelected(SelectionEvent e) { 
     117                FileDialog fileDialog = new FileDialog(shlEventbenchConsole, SWT.OPEN); 
     118                String filename = fileDialog.open(); 
     119                if (filename != null) { 
     120                    String command = "exec '" + filename + "'"; 
     121                    CommandExecuter.getInstance().exec(command); 
     122                } 
     123            } 
     124        }); 
     125        mntmExecBatchFile.setText("Exec. Batch File"); 
     126 
     127        new MenuItem(menu_1, SWT.SEPARATOR); 
     128 
     129        MenuItem mntmLoad = new MenuItem(menu_1, SWT.NONE); 
     130        mntmLoad.addSelectionListener(new SelectionAdapter() { 
     131            @Override 
     132            public void widgetSelected(SelectionEvent e) { 
     133                FileDialog fileDialog = new FileDialog(shlEventbenchConsole, SWT.OPEN); 
     134                String filename = fileDialog.open(); 
     135                if (filename != null) { 
     136                    String command = "load '" + filename + "'"; 
     137                    CommandExecuter.getInstance().exec(command); 
     138                } 
     139            } 
     140        }); 
     141        mntmLoad.setText("Load..."); 
     142 
     143        MenuItem mntmSave = new MenuItem(menu_1, SWT.NONE); 
     144        mntmSave.addSelectionListener(new SelectionAdapter() { 
     145            @Override 
     146            public void widgetSelected(SelectionEvent e) { 
     147                FileDialog fileDialog = new FileDialog(shlEventbenchConsole, SWT.SAVE); 
     148                String filename = fileDialog.open(); 
     149                if (filename != null) { 
     150                    String command = "save '" + filename + "'"; 
     151                    CommandExecuter.getInstance().exec(command); 
     152                } 
     153            } 
     154        }); 
     155        mntmSave.setText("Save..."); 
     156 
     157        new MenuItem(menu_1, SWT.SEPARATOR); 
     158 
     159        MenuItem mntmExit = new MenuItem(menu_1, SWT.NONE); 
     160        mntmExit.addSelectionListener(new SelectionAdapter() { 
     161            @Override 
     162            public void widgetSelected(SelectionEvent e) { 
     163                shlEventbenchConsole.dispose(); 
     164            } 
     165        }); 
     166        mntmExit.setText("Exit"); 
     167 
     168        MenuItem mntmHelp = new MenuItem(menu, SWT.CASCADE); 
     169        mntmHelp.setText("Help"); 
     170 
     171        Menu menu_2 = new Menu(mntmHelp); 
     172        mntmHelp.setMenu(menu_2); 
     173 
     174        MenuItem mntmAbout = new MenuItem(menu_2, SWT.NONE); 
     175        mntmAbout.addSelectionListener(new SelectionAdapter() { 
     176            @Override 
     177            public void widgetSelected(SelectionEvent e) { 
     178                AboutDialog aboutDialog = new AboutDialog(shlEventbenchConsole, SWT.NONE); 
     179                aboutDialog.open(); 
     180            } 
     181        }); 
     182        mntmAbout.setText("About"); 
     183    } 
     184 
     185    /** 
     186     * <p> 
     187     * Creates the central TabFolder of the window. 
     188     * </p> 
     189     */ 
     190    private void createTabs() { 
     191        TabFolder tabFolder = new TabFolder(shlEventbenchConsole, SWT.NONE); 
     192        tabFolder.addSelectionListener(new SelectionAdapter() { 
     193            @Override 
     194            public void widgetSelected(SelectionEvent e) { 
     195                if (e.item == sequencesTab) { 
     196                    sequencesTabComposite.updateSequenceList(); 
     197                } 
     198                else if (e.item == modelsTab) { 
     199                    modelsTabComposite.updateModelList(); 
     200                } 
     201                else if (e.item == dataTab) { 
     202                    dataTabComposite.updateDataList(); 
     203                } 
     204            } 
     205        }); 
     206        tabFolder.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true, 1, 1)); 
     207 
     208        consoleTab = new TabItem(tabFolder, SWT.NONE); 
     209        consoleTab.setText("Console"); 
     210 
     211        consoleTabComposite = new ConsoleTabComposite(tabFolder, SWT.NO_BACKGROUND); 
     212        consoleTab.setControl(consoleTabComposite); 
     213 
     214        sequencesTab = new TabItem(tabFolder, SWT.NONE); 
     215        sequencesTab.setText("Sequences"); 
     216 
     217        sequencesTabComposite = new SequencesTabComposite(tabFolder, SWT.NO_BACKGROUND); 
     218        sequencesTab.setControl(sequencesTabComposite); 
     219 
     220        modelsTab = new TabItem(tabFolder, SWT.NONE); 
     221        modelsTab.setText("Models"); 
     222 
     223        modelsTabComposite = new ModelsTabComposite(tabFolder, SWT.NO_BACKGROUND); 
     224        modelsTab.setControl(modelsTabComposite); 
     225 
     226        dataTab = new TabItem(tabFolder, SWT.NONE); 
     227        dataTab.setText("Data"); 
     228 
     229        dataTabComposite = new DataTabComposite(tabFolder, SWT.NO_BACKGROUND); 
     230        dataTab.setControl(dataTabComposite); 
     231    } 
    237232} 
Note: See TracChangeset for help on using the changeset viewer.