00001 package edu.ksu.cis.bandera.bui;
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035 import edu.ksu.cis.bandera.spin.*;
00036 import edu.ksu.cis.bandera.specification.datastructure.*;
00037 import java.io.*;
00038 import java.util.*;
00039 import edu.ksu.cis.bandera.bui.session.*;
00040 import edu.ksu.cis.bandera.bui.session.datastructure.*;
00041 import edu.ksu.cis.bandera.jjjc.*;
00042 import edu.ksu.cis.bandera.specification.assertion.datastructure.*;
00043 import edu.ksu.cis.bandera.specification.predicate.datastructure.*;
00044 import edu.ksu.cis.bandera.dspin.*;
00045 import java.awt.*;
00046 import java.awt.event.*;
00047 import javax.swing.*;
00048 public class SessionManager extends JFrame {
00049 static ClasspathManager classpathManager;
00050 static IncludedManager includedManager;
00051 static SessionInfo info;
00052 boolean inNameFocusLost = false;
00053 private JButton ivjOkButton = null;
00054 private JTextField ivjClasspathTextField = null;
00055 private JButton ivjEditClasspathButton = null;
00056 private JButton ivjEditSourceButton = null;
00057 private JLabel ivjSourceLabel = null;
00058 private JTextField ivjSourceTextField = null;
00059 private JButton ivjEditIncludedButton = null;
00060 private JLabel ivjIncludedLabel = null;
00061 private JList ivjIncludedList = null;
00062 private JScrollPane ivjIncludedScrollPane = null;
00063 private JPanel ivjAbstractionPanel = null;
00064 private JPanel ivjCheckerPanel = null;
00065 private JPanel ivjCompilerPanel = null;
00066 private JPanel ivjPropertyPanel = null;
00067 private JButton ivjNewButton = null;
00068 private JButton ivjRemoveButton = null;
00069 private JLabel ivjSessionsLabel = null;
00070 private JPanel ivjSessionsPanel = null;
00071 private JScrollPane ivjSessionsScrollPane = null;
00072 private JLabel ivjNameLabel = null;
00073 private JTextField ivjNameTextField = null;
00074 private JList ivjSessionsList = null;
00075 private JLabel ivjClasspathLabel = null;
00076 private JButton ivjActivateButton = null;
00077 private JButton ivjInfoButton = null;
00078 private JPanel ivjSessionManagerContentPane = null;
00079 private JTabbedPane ivjSessionManagerTabbedPane = null;
00080 private JLabel ivjOutputNameLabel = null;
00081 private JTextField ivjOutputNameTextField = null;
00082 private JPanel ivjMiscPanel = null;
00083 private JLabel ivjDescriptionLabel = null;
00084 private JScrollPane ivjDescriptionScrollPane = null;
00085 private JTextArea ivjDescriptionTextArea = null;
00086 private JButton ivjEditWorkingDirectoryButton = null;
00087 private JLabel ivjWorkingDirectoryLabel = null;
00088 private JTextField ivjWorkingDirectoryTextField = null;
00089 private static java.awt.Color bg = new Color(204, 204, 204);
00090 IvjEventHandler ivjEventHandler = new IvjEventHandler();
00091 private JLabel ivjAssertionLabel = null;
00092 private JTextField ivjAssertionTextField = null;
00093 private JButton ivjEditAssertionButton = null;
00094 private JButton ivjEditSpecificationButton = null;
00095 private JButton ivjEditTemporalButton = null;
00096 private JPanel ivjFillerPanel1 = null;
00097 private JLabel ivjSpecificationLabel = null;
00098 private JTextField ivjSpecificationTextField = null;
00099 private JLabel ivjTemporalLabel = null;
00100 private JTextField ivjTemporalTextField = null;
00101 private JLabel ivjAbstractionLabel = null;
00102 private JPanel ivjAbstractionOptionPanel = null;
00103 private JTextField ivjAbstractionTextField = null;
00104 private JPanel ivjFillerPanel2 = null;
00105 private JCheckBox ivjInlineAbstractionCheckBox = null;
00106 private JCheckBox ivjDSpinCheckBox = null;
00107 private JButton ivjDSpinOptionButton = null;
00108 private JTextField ivjDSpinTextField = null;
00109 private JButton ivjEditAbstractionButton = null;
00110 private JCheckBox ivjSMVCheckBox = null;
00111 private JButton ivjSMVOptionButton = null;
00112 private JTextField ivjSMVTextField = null;
00113 private JCheckBox ivjSpinCheckBox = null;
00114 private JButton ivjSpinOptionButton = null;
00115 private JTextField ivjSpinTextField = null;
00116 private JPanel ivjFillerPanel4 = null;
00117 private JCheckBox ivjJPFCheckBox = null;
00118 private JButton ivjJPFOptionButton = null;
00119 private JTextField ivjJPFTextField = null;
00120
00121 class IvjEventHandler implements java.awt.event.ActionListener, java.awt.event.FocusListener, java.awt.event.KeyListener, javax.swing.event.ListSelectionListener {
00122 public void actionPerformed(java.awt.event.ActionEvent e) {
00123 if (e.getSource() == SessionManager.this.getEditSourceButton())
00124 connEtoC1();
00125 if (e.getSource() == SessionManager.this.getNewButton())
00126 connEtoC2();
00127 if (e.getSource() == SessionManager.this.getRemoveButton())
00128 connEtoC6();
00129 if (e.getSource() == SessionManager.this.getActivateButton())
00130 connEtoC3();
00131 if (e.getSource() == SessionManager.this.getEditClasspathButton())
00132 connEtoC7();
00133 if (e.getSource() == SessionManager.this.getEditIncludedButton())
00134 connEtoC8();
00135 if (e.getSource() == SessionManager.this.getInfoButton())
00136 connEtoC9();
00137 if (e.getSource() == SessionManager.this.getEditWorkingDirectoryButton())
00138 connEtoC11();
00139 if (e.getSource() == SessionManager.this.getOkButton())
00140 connEtoC14();
00141 if (e.getSource() == SessionManager.this.getEditSpecificationButton())
00142 connEtoC15();
00143 if (e.getSource() == SessionManager.this.getEditTemporalButton())
00144 connEtoC16();
00145 if (e.getSource() == SessionManager.this.getEditAssertionButton())
00146 connEtoC17();
00147 if (e.getSource() == SessionManager.this.getEditAbstractionButton())
00148 connEtoC18();
00149 if (e.getSource() == SessionManager.this.getSpinOptionButton())
00150 connEtoC19();
00151 if (e.getSource() == SessionManager.this.getDSpinOptionButton())
00152 connEtoC20();
00153 if (e.getSource() == SessionManager.this.getSMVOptionButton())
00154 connEtoC21();
00155 if (e.getSource() == SessionManager.this.getSpinCheckBox())
00156 connEtoC22();
00157 if (e.getSource() == SessionManager.this.getDSpinCheckBox())
00158 connEtoC23();
00159 if (e.getSource() == SessionManager.this.getJPFCheckBox())
00160 connEtoC24();
00161 if (e.getSource() == SessionManager.this.getJPFOptionButton())
00162 connEtoC25();
00163 if (e.getSource() == SessionManager.this.getSMVCheckBox())
00164 connEtoC26();
00165 };
00166 public void focusGained(java.awt.event.FocusEvent e) {};
00167 public void focusLost(java.awt.event.FocusEvent e) {
00168 if (e.getSource() == SessionManager.this.getNameTextField())
00169 connEtoC10(e);
00170 };
00171 public void keyPressed(java.awt.event.KeyEvent e) {
00172 if (e.getSource() == SessionManager.this.getNameTextField())
00173 connEtoC5();
00174 if (e.getSource() == SessionManager.this.getOutputNameTextField())
00175 connEtoC12();
00176 if (e.getSource() == SessionManager.this.getDescriptionTextArea())
00177 connEtoC13();
00178 };
00179 public void keyReleased(java.awt.event.KeyEvent e) {
00180 if (e.getSource() == SessionManager.this.getNameTextField())
00181 connEtoC5();
00182 if (e.getSource() == SessionManager.this.getOutputNameTextField())
00183 connEtoC12();
00184 if (e.getSource() == SessionManager.this.getDescriptionTextArea())
00185 connEtoC13();
00186 };
00187 public void keyTyped(java.awt.event.KeyEvent e) {
00188 if (e.getSource() == SessionManager.this.getNameTextField())
00189 connEtoC5();
00190 if (e.getSource() == SessionManager.this.getOutputNameTextField())
00191 connEtoC12();
00192 if (e.getSource() == SessionManager.this.getDescriptionTextArea())
00193 connEtoC13();
00194 };
00195 public void valueChanged(javax.swing.event.ListSelectionEvent e) {
00196 if (e.getSource() == SessionManager.this.getSessionsList())
00197 connEtoC4();
00198 };
00199 };
00200 private JLabel ivjArrayLengthLabel = null;
00201 private JTextField ivjArrayLengthTextField = null;
00202 private JPanel ivjBirBounds = null;
00203 private JLabel ivjInstancesLabel = null;
00204 private JTextField ivjInstancesTextField = null;
00205 private JLabel ivjIntConstantLabel = null;
00206 private JPanel ivjJPanel2 = null;
00207 private JTextField ivjMaxTextField = null;
00208 private JTextField ivjMinTextField = null;
00209
00210
00211
00212 public SessionManager() {
00213 super();
00214 initialize();
00215 }
00216
00217
00218
00219
00220 public SessionManager(String title) {
00221 super(title);
00222 }
00223
00224
00225
00226 public void activateButton_ActionEvents() {
00227 BUI.bui.spinOption = new SpinOption();
00228 BUI.bui.dSpinOption = new DSpinOption();
00229 BUI.bui.spinOption.spinOptions = new SpinOptions();
00230 BUI.bui.dSpinOption.spinOptions = new DSpinOptions();
00231
00232 Session session = (Session) getSessionsList().getSelectedValue();
00233 if (session == BUI.sessions.getActiveSession())
00234 return;
00235 if (BUI.sessions.getActiveSession() != null) {
00236 Session ses = BUI.sessions.getActiveSession();
00237 if (!updateBirBounds(ses)) return;
00238 ses.saveOptions();
00239 }
00240
00241 System.setProperty("user.dir", BUI.originalUserDir);
00242
00243 PredicateSet.reset();
00244 AssertionSet.reset();
00245 BUI.predicateBrowser.updateTree();
00246 BUI.assertionBrowser.updateTree();
00247 if (session != null) {
00248 String filename = session.getFilename() == null ? "" : session.getFilename();
00249 String classpath = session.getClasspath();
00250 String workingDirectory = session.getWorkingDirectory();
00251 String specFilename = session.getSpecFilename() == null ? "" : session.getSpecFilename();
00252 String abpsFilename = session.getAbsFilename() == null ? "" : session.getAbsFilename();
00253
00254 if (!new File(workingDirectory).isDirectory()) {
00255 workingDirectory = ".";
00256 }
00257 if (!new File(filename).exists()) {
00258 File f = new File(workingDirectory + File.pathSeparator + filename);
00259 if (f.exists()) {
00260 try {
00261 filename = f.getCanonicalPath();
00262 } catch (Exception e) {
00263 filename = workingDirectory + File.pathSeparator + filename;
00264 }
00265 } else {
00266 if (!"".equals(filename))
00267 JOptionPane.showMessageDialog(this, "Source file '" + filename + "' cannot be found", "File not found", JOptionPane.INFORMATION_MESSAGE);
00268 filename = null;
00269 }
00270 }
00271 if (!new File(specFilename).exists()) {
00272 File f = new File(workingDirectory + File.pathSeparator + specFilename);
00273 if (f.exists()) {
00274 try {
00275 specFilename = f.getCanonicalPath();
00276 } catch (Exception e) {
00277 specFilename = workingDirectory + File.pathSeparator + specFilename;
00278 }
00279 } else {
00280 if (!"".equals(specFilename))
00281 JOptionPane.showMessageDialog(this, "Specification file '" + specFilename + "' cannot be found", "File not found", JOptionPane.INFORMATION_MESSAGE);
00282 specFilename = null;
00283 }
00284 }
00285 BUI.sessions.setActiveSession(session);
00286 getSourceTextField().setText((filename != null) ? filename : "");
00287 {
00288 StringBuffer buffer = new StringBuffer("");
00289 String newClasspath = "";
00290 for (StringTokenizer t = new StringTokenizer(classpath, File.pathSeparator); t.hasMoreTokens();) {
00291 File f = new File(t.nextToken());
00292 if (!f.exists()) {
00293 buffer.append("File/directory '" + f.getAbsolutePath() + "' does not exist\n");
00294 } else {
00295 try {
00296 newClasspath += f.getCanonicalPath() + File.pathSeparator;
00297 } catch (Exception e) {
00298 newClasspath += f.getAbsolutePath() + File.pathSeparator;
00299 }
00300 }
00301 }
00302 if (buffer.length() > 0) {
00303 JOptionPane.showMessageDialog(this, buffer.toString(), "File or directory not found", JOptionPane.INFORMATION_MESSAGE);
00304 }
00305 classpath = newClasspath.substring(0, newClasspath.length() - 1);
00306 }
00307 if (!new File(abpsFilename).exists()) {
00308 File f = new File(workingDirectory + File.pathSeparator + abpsFilename);
00309 if (f.exists()) {
00310 try {
00311 abpsFilename = f.getCanonicalPath();
00312 } catch (Exception e) {
00313 abpsFilename = workingDirectory + File.pathSeparator + abpsFilename;
00314 }
00315 } else {
00316 if (!"".equals(abpsFilename))
00317 JOptionPane.showMessageDialog(this, "Abstraction file '" + abpsFilename + "' cannot be found", "File not found", JOptionPane.INFORMATION_MESSAGE);
00318 abpsFilename = null;
00319 }
00320 }
00321 getClasspathTextField().setText(classpath);
00322 getSpecificationTextField().setText(specFilename != null ? specFilename : "");
00323 getAbstractionTextField().setText(abpsFilename != null ? abpsFilename : "");
00324 getOutputNameTextField().setText(session.getOutputName());
00325 getWorkingDirectoryTextField().setText(workingDirectory);
00326 getDescriptionTextArea().setText(session.getDescription());
00327 getDescriptionScrollPane().validate();
00328 if (!".".equals(workingDirectory))
00329 System.setProperty("user.dir", session.getWorkingDirectory());
00330 Vector v = new Vector();
00331 String[] included = session.getIncludedPackagesOrTypes();
00332 if (included != null) {
00333 for (int i = 0; i < included.length; i++) {
00334 v.add(included[i]);
00335 }
00336 }
00337 getIncludedList().setValueIsAdjusting(true);
00338 getIncludedList().setListData(v);
00339 getIncludedList().setValueIsAdjusting(false);
00340 getIncludedScrollPane().validate();
00341 getIncludedScrollPane().repaint();
00342 getSessionsList().repaint();
00343 CompilationManager.setFilename(filename);
00344 CompilationManager.setClasspath(classpath);
00345 CompilationManager.setIncludedPackagesOrTypes(session.getIncludedPackagesOrTypes());
00346
00347 if (!BUI.doJJJC) {
00348 BUI.bui.j3CToolBarButton_ActionEvents();
00349 }
00350
00351 if (session.isDoSlicer() != BUI.doSlicer) {
00352 BUI.bui.slicerToolBarButton_ActionEvents();
00353 }
00354
00355 if (session.isDoSLABS() != BUI.doSLABS) {
00356 BUI.bui.aBPSToolBarButton_ActionEvents();
00357 }
00358
00359 if (session.isDoChecker() != BUI.doChecker) {
00360 BUI.bui.bircToolBarButton_ActionEvents();
00361 }
00362
00363 if (specFilename != null) {
00364 try {
00365 BUI.propertyManager.loadFile(specFilename);
00366 } catch (Exception e) {
00367 e.printStackTrace();
00368 }
00369 } else {
00370 BUI.propertyManager.reset();
00371 }
00372
00373 Property property = BUI.property;
00374
00375 BUI.propertyManager.updateLists();
00376
00377 HashSet set = new HashSet();
00378 for (Iterator i = session.getActiveAssertions().iterator(); i.hasNext();) {
00379 set.add(property.getAssertionProperty((String) i.next()));
00380 }
00381
00382 if (session.getActiveTemporal() != null)
00383 if (property.getTemporalLogicProperty(session.getActiveTemporal()) != null)
00384 BUI.propertyManager.selectTemporalLogicProperty(property.getTemporalLogicProperty(session.getActiveTemporal()));
00385
00386 BUI.propertyManager.selectAssertionProperties(set);
00387
00388 updateProperty();
00389
00390 if (session.isUseJPF()) {
00391 JPFOption.parseOptions(session.getJpfOptions());
00392 getJPFCheckBox().setSelected(true);
00393 getJPFOptionButton().setEnabled(true);
00394 } else {
00395 getJPFCheckBox().setSelected(false);
00396 getJPFOptionButton().setEnabled(false);
00397 BUI.jpfOption.setVisible(false);
00398 }
00399
00400 if (session.isUseSPIN()) {
00401 StringTokenizer t = new StringTokenizer(session.getSpinOptions(), "+");
00402 BUI.bui.spinOption.parseCompileOptions(t.nextToken());
00403 BUI.bui.spinOption.parsepaneOptions(t.nextToken());
00404 getSpinCheckBox().setSelected(true);
00405 getSpinOptionButton().setEnabled(true);
00406 } else {
00407 getSpinCheckBox().setSelected(false);
00408 getSpinOptionButton().setEnabled(false);
00409 BUI.bui.spinOption.setVisible(false);
00410 }
00411
00412 if (session.isUseDSPIN()) {
00413 StringTokenizer t = new StringTokenizer(session.getSpinOptions(), "+");
00414 BUI.bui.dSpinOption.parseCompileOptions(t.nextToken());
00415 BUI.bui.dSpinOption.parsepaneOptions(t.nextToken());
00416 getDSpinCheckBox().setSelected(true);
00417 getDSpinOptionButton().setEnabled(true);
00418 } else {
00419 getDSpinCheckBox().setSelected(false);
00420 getDSpinOptionButton().setEnabled(false);
00421 BUI.bui.dSpinOption.setVisible(false);
00422 }
00423
00424 if (session.isUseSMV())
00425 {
00426 getSMVCheckBox().setSelected(true);
00427 getSMVOptionButton().setEnabled(false);
00428 } else {
00429 getSMVCheckBox().setSelected(false);
00430 getSMVOptionButton().setEnabled(false);
00431
00432 }
00433
00434 if (abpsFilename != null)
00435 BUI.typeGUI.setFile(new File(abpsFilename));
00436
00437
00438 getMinTextField().setText(String.valueOf(session.getBirMinIntRange()));
00439 getMaxTextField().setText(String.valueOf(session.getBirMaxIntRange()));
00440 getArrayLengthTextField().setText(String.valueOf(session.getBirMaxArrayLen()));
00441 getInstancesTextField().setText(String.valueOf(session.getBirMaxInstances()));
00442
00443 updateInfo(session);
00444 }
00445 updateEnabled();
00446 }
00447
00448
00449
00450
00451 private void connEtoC1() {
00452 try {
00453
00454
00455 this.editSourceButton_ActionEvents();
00456
00457
00458 } catch (java.lang.Throwable ivjExc) {
00459
00460
00461 handleException(ivjExc);
00462 }
00463 }
00464
00465
00466
00467
00468
00469 private void connEtoC10(java.awt.event.FocusEvent arg1) {
00470 try {
00471
00472
00473 this.nameTextField_FocusLost();
00474
00475
00476 } catch (java.lang.Throwable ivjExc) {
00477
00478
00479 handleException(ivjExc);
00480 }
00481 }
00482
00483
00484
00485
00486 private void connEtoC11() {
00487 try {
00488
00489
00490 this.editWorkingDirectoryButton_ActionEvents();
00491
00492
00493 } catch (java.lang.Throwable ivjExc) {
00494
00495
00496 handleException(ivjExc);
00497 }
00498 }
00499
00500
00501
00502
00503 private void connEtoC12() {
00504 try {
00505
00506
00507 this.outputNameTextField_KeyEvents();
00508
00509
00510 } catch (java.lang.Throwable ivjExc) {
00511
00512
00513 handleException(ivjExc);
00514 }
00515 }
00516
00517
00518
00519
00520 private void connEtoC13() {
00521 try {
00522
00523
00524 this.descriptionTextArea_KeyEvents();
00525
00526
00527 } catch (java.lang.Throwable ivjExc) {
00528
00529
00530 handleException(ivjExc);
00531 }
00532 }
00533
00534
00535
00536
00537 private void connEtoC14() {
00538 try {
00539
00540
00541 this.okButton_ActionEvents();
00542
00543
00544 } catch (java.lang.Throwable ivjExc) {
00545
00546
00547 handleException(ivjExc);
00548 }
00549 }
00550
00551
00552
00553
00554 private void connEtoC15() {
00555 try {
00556
00557
00558 this.editSpecificationButton_ActionEvents();
00559
00560
00561 } catch (java.lang.Throwable ivjExc) {
00562
00563
00564 handleException(ivjExc);
00565 }
00566 }
00567
00568
00569
00570
00571 private void connEtoC16() {
00572 try {
00573
00574
00575 this.editTemporalButton_ActionEvents();
00576
00577
00578 } catch (java.lang.Throwable ivjExc) {
00579
00580
00581 handleException(ivjExc);
00582 }
00583 }
00584
00585
00586
00587
00588 private void connEtoC17() {
00589 try {
00590
00591
00592 this.editAssertionButton_ActionEvents();
00593
00594
00595 } catch (java.lang.Throwable ivjExc) {
00596
00597
00598 handleException(ivjExc);
00599 }
00600 }
00601
00602
00603
00604
00605 private void connEtoC18() {
00606 try {
00607
00608
00609 this.editAbstractionButton_ActionEvents();
00610
00611
00612 } catch (java.lang.Throwable ivjExc) {
00613
00614
00615 handleException(ivjExc);
00616 }
00617 }
00618
00619
00620
00621
00622 private void connEtoC19() {
00623 try {
00624
00625
00626 this.spinOptionButton_ActionEvents();
00627
00628
00629 } catch (java.lang.Throwable ivjExc) {
00630
00631
00632 handleException(ivjExc);
00633 }
00634 }
00635
00636
00637
00638
00639 private void connEtoC2() {
00640 try {
00641
00642
00643 this.newButton_ActionEvents();
00644
00645
00646 } catch (java.lang.Throwable ivjExc) {
00647
00648
00649 handleException(ivjExc);
00650 }
00651 }
00652
00653
00654
00655
00656 private void connEtoC20() {
00657 try {
00658
00659
00660 this.dSpinOptionButton_ActionEvents();
00661
00662
00663 } catch (java.lang.Throwable ivjExc) {
00664
00665
00666 handleException(ivjExc);
00667 }
00668 }
00669
00670
00671
00672
00673 private void connEtoC21() {
00674 try {
00675
00676
00677 this.sMVOptionButton_ActionEvents();
00678
00679
00680 } catch (java.lang.Throwable ivjExc) {
00681
00682
00683 handleException(ivjExc);
00684 }
00685 }
00686
00687
00688
00689
00690 private void connEtoC22() {
00691 try {
00692
00693
00694 this.spinCheckBox_ActionEvents();
00695
00696
00697 } catch (java.lang.Throwable ivjExc) {
00698
00699
00700 handleException(ivjExc);
00701 }
00702 }
00703
00704
00705
00706
00707 private void connEtoC23() {
00708 try {
00709
00710
00711 this.dSpinCheckBox_ActionEvents();
00712
00713
00714 } catch (java.lang.Throwable ivjExc) {
00715
00716
00717 handleException(ivjExc);
00718 }
00719 }
00720
00721
00722
00723
00724 private void connEtoC24() {
00725 try {
00726
00727
00728 this.jPFCheckBox_ActionEvents();
00729
00730
00731 } catch (java.lang.Throwable ivjExc) {
00732
00733
00734 handleException(ivjExc);
00735 }
00736 }
00737
00738
00739
00740
00741 private void connEtoC25() {
00742 try {
00743
00744
00745 this.jPFOptionButton_ActionEvents();
00746
00747
00748 } catch (java.lang.Throwable ivjExc) {
00749
00750
00751 handleException(ivjExc);
00752 }
00753 }
00754
00755
00756
00757
00758 private void connEtoC26() {
00759 try {
00760
00761
00762 this.sMVCheckBox_ActionEvents();
00763
00764
00765 } catch (java.lang.Throwable ivjExc) {
00766
00767
00768 handleException(ivjExc);
00769 }
00770 }
00771
00772
00773
00774
00775 private void connEtoC3() {
00776 try {
00777
00778
00779 this.activateButton_ActionEvents();
00780
00781
00782 } catch (java.lang.Throwable ivjExc) {
00783
00784
00785 handleException(ivjExc);
00786 }
00787 }
00788
00789
00790
00791
00792 private void connEtoC4() {
00793 try {
00794
00795
00796 this.sessionsList_ListSelectionEvents();
00797
00798
00799 } catch (java.lang.Throwable ivjExc) {
00800
00801
00802 handleException(ivjExc);
00803 }
00804 }
00805
00806
00807
00808
00809 private void connEtoC5() {
00810 try {
00811
00812
00813 this.nameTextField_KeyEvents();
00814
00815
00816 } catch (java.lang.Throwable ivjExc) {
00817
00818
00819 handleException(ivjExc);
00820 }
00821 }
00822
00823
00824
00825
00826 private void connEtoC6() {
00827 try {
00828
00829
00830 this.removeButton_ActionEvents();
00831
00832
00833 } catch (java.lang.Throwable ivjExc) {
00834
00835
00836 handleException(ivjExc);
00837 }
00838 }
00839
00840
00841
00842
00843 private void connEtoC7() {
00844 try {
00845
00846
00847 this.editClasspathButton_ActionEvents();
00848
00849
00850 } catch (java.lang.Throwable ivjExc) {
00851
00852
00853 handleException(ivjExc);
00854 }
00855 }
00856
00857
00858
00859
00860 private void connEtoC8() {
00861 try {
00862
00863
00864 this.editIncludedButton_ActionEvents();
00865
00866
00867 } catch (java.lang.Throwable ivjExc) {
00868
00869
00870 handleException(ivjExc);
00871 }
00872 }
00873
00874
00875
00876
00877 private void connEtoC9() {
00878 try {
00879
00880
00881 this.infoButton_ActionEvents();
00882
00883
00884 } catch (java.lang.Throwable ivjExc) {
00885
00886
00887 handleException(ivjExc);
00888 }
00889 }
00890
00891
00892
00893 public void descriptionTextArea_KeyEvents() {
00894 Session session = BUI.sessions.getActiveSession();
00895 if (session != null) {
00896 session.setDescription(getDescriptionTextArea().getText().trim());
00897 BUI.sessions.setSaved(false);
00898 updateInfo(session);
00899 }
00900 }
00901
00902
00903
00904 public void dSpinCheckBox_ActionEvents() {
00905 getDSpinOptionButton().setEnabled(getDSpinCheckBox().isSelected());
00906 BUI.sessions.getActiveSession().setUseDSPIN(getDSpinCheckBox().isSelected());
00907 }
00908
00909
00910
00911 public void dSpinOptionButton_ActionEvents() {
00912 BUI.bui.dSpinOption.setVisible(true);
00913 }
00914
00915
00916
00917 public void edit_ActionEvents() {
00918 return;
00919 }
00920
00921
00922
00923 public void editAbstractionButton_ActionEvents() {
00924 File f1 = new File(System.getProperty("user.dir"));
00925 File f2 = new File(getAbstractionTextField().getText());
00926 if (!f2.exists()) {
00927 FileChooser.chooser.setCurrentDirectory(f1);
00928 } else {
00929 FileChooser.chooser.setCurrentDirectory(f2.getParentFile());
00930 }
00931 FileChooser.chooser.setSelectedFile(new File(""));
00932 FileChooser.chooser.setFileFilter(FileChooser.ABSTRACTION);
00933 FileChooser.chooser.setFileSelectionMode(FileChooser.FILES_ONLY);
00934
00935 if (FileChooser.chooser.showDialog(this, "Select") == FileChooser.APPROVE_OPTION) {
00936 try {
00937 if (FileChooser.chooser.getSelectedFile().exists()) {
00938 File file = FileChooser.chooser.getSelectedFile();
00939 getAbstractionTextField().setText(file.getAbsolutePath());
00940 Session session = BUI.sessions.getActiveSession();
00941 BUI.typeGUI.setFile(file);
00942 if (session != null) {
00943 session.setAbsFilename(file.getAbsolutePath());
00944 BUI.sessions.setSaved(false);
00945 updateInfo(session);
00946 }
00947 } else {
00948 JOptionPane.showMessageDialog(this, "File '" + FileChooser.chooser.getSelectedFile().getCanonicalPath()
00949 + "' does not exist", "Error", JOptionPane.ERROR_MESSAGE);
00950 }
00951 } catch (Exception e) {
00952 JOptionPane.showMessageDialog(this, e.getMessage(), "Error", JOptionPane.ERROR_MESSAGE);
00953 }
00954 }
00955 }
00956
00957
00958
00959 public void editAssertionButton_ActionEvents() {
00960 BUI.propertyManager.setVisible(true);
00961 BUI.propertyManager.requestFocus();
00962 BUI.propertyManager.getPropertyManagerTabbedPane().setSelectedIndex(2);
00963 }
00964
00965
00966
00967 public void editClasspathButton_ActionEvents() {
00968 TreeSet ts = new TreeSet();
00969 StringTokenizer t = new StringTokenizer(getClasspathTextField().getText(), File.pathSeparator);
00970 while (t.hasMoreTokens()) {
00971 ts.add(t.nextToken().toString().trim());
00972 }
00973 classpathManager.getClasspathList().setValueIsAdjusting(true);
00974 classpathManager.getClasspathList().setListData(new Vector(ts));
00975 classpathManager.getClasspathList().setValueIsAdjusting(false);
00976 classpathManager.getClasspathScrollPane().validate();
00977 classpathManager.setVisible(true);
00978
00979 }
00980
00981
00982
00983 public void editIncludedButton_ActionEvents() {
00984 TreeSet ts = new TreeSet();
00985 ListModel listModel = getIncludedList().getModel();
00986 int size = listModel.getSize();
00987 for (int i = 0; i < size; i++) {
00988 ts.add(listModel.getElementAt(i).toString().trim());
00989 }
00990 includedManager.getIncludedList().setValueIsAdjusting(true);
00991 includedManager.getIncludedList().setListData(new Vector(ts));
00992 includedManager.getIncludedList().setValueIsAdjusting(false);
00993 includedManager.getIncludedScrollPane().validate();
00994 includedManager.setVisible(true);
00995 }
00996
00997
00998
00999 public void editSourceButton_ActionEvents() {
01000 File f1 = new File(System.getProperty("user.dir"));
01001 File f2 = new File(getSourceTextField().getText());
01002 if (!f2.exists()) {
01003 FileChooser.chooser.setCurrentDirectory(f1);
01004 } else {
01005 FileChooser.chooser.setCurrentDirectory(f2.getParentFile());
01006 }
01007 FileChooser.chooser.setSelectedFile(new File(""));
01008 FileChooser.chooser.setFileFilter(FileChooser.JAVA);
01009 FileChooser.chooser.setFileSelectionMode(FileChooser.FILES_ONLY);
01010
01011 if (FileChooser.chooser.showDialog(this, "Select") == FileChooser.APPROVE_OPTION) {
01012 try {
01013 if (FileChooser.chooser.getSelectedFile().exists()) {
01014 String filename = FileChooser.chooser.getSelectedFile().getCanonicalPath();
01015 getSourceTextField().setText(filename);
01016 Session session = BUI.sessions.getActiveSession();
01017 if (session != null) {
01018 CompilationManager.setFilename(filename);
01019 session.setFilename(filename);
01020 BUI.sessions.setSaved(false);
01021 updateInfo(session);
01022 }
01023 } else {
01024 JOptionPane.showMessageDialog(this, "File '" + FileChooser.chooser.getSelectedFile().getCanonicalPath()
01025 + "' does not exist", "Error", JOptionPane.ERROR_MESSAGE);
01026 }
01027 } catch (Exception e) {
01028 JOptionPane.showMessageDialog(this, e.getMessage(), "Error", JOptionPane.ERROR_MESSAGE);
01029 }
01030 }
01031 }
01032
01033
01034
01035 public void editSpecificationButton_ActionEvents() {
01036 BUI.propertyManager.setVisible(true);
01037 BUI.propertyManager.requestFocus();
01038 BUI.propertyManager.getPropertyManagerTabbedPane().setSelectedIndex(0);
01039 String filename = getSpecificationTextField().getText();
01040 if (filename.equals("") && BUI.propertyManager.isDialogClean()) BUI.propertyManager.openButton_ActionEvents();
01041 }
01042
01043
01044
01045 public void editTemporalButton_ActionEvents() {
01046 BUI.propertyManager.setVisible(true);
01047 BUI.propertyManager.requestFocus();
01048 BUI.propertyManager.getPropertyManagerTabbedPane().setSelectedIndex(1);
01049 }
01050
01051
01052
01053 public void editWorkingDirectoryButton_ActionEvents() {
01054 FileChooser.chooser.setFileFilter(FileChooser.DIRECTORY);
01055 FileChooser.chooser.setSelectedFile(new File(""));
01056 FileChooser.chooser.setFileSelectionMode(FileChooser.DIRECTORIES_ONLY);
01057
01058 if (FileChooser.chooser.showDialog(this, "Select") == FileChooser.APPROVE_OPTION) {
01059 try {
01060 if (FileChooser.chooser.getSelectedFile().exists()) {
01061 String filename = FileChooser.chooser.getSelectedFile().getCanonicalPath();
01062 getWorkingDirectoryTextField().setText(filename);
01063 System.setProperty("user.dir", filename);
01064 Session session = BUI.sessions.getActiveSession();
01065 if (session != null) {
01066 session.setWorkingDirectory(filename);
01067 BUI.sessions.setSaved(false);
01068 updateInfo(session);
01069 }
01070 } else {
01071 JOptionPane.showMessageDialog(this, "Directory '" + FileChooser.chooser.getSelectedFile().getCanonicalPath()
01072 + "' does not exist", "Error", JOptionPane.ERROR_MESSAGE);
01073 }
01074 } catch (Exception e) {
01075 JOptionPane.showMessageDialog(this, e.getMessage(), "Error", JOptionPane.ERROR_MESSAGE);
01076 }
01077 }
01078 }
01079
01080
01081
01082
01083
01084 private javax.swing.JLabel getAbstractionLabel() {
01085 if (ivjAbstractionLabel == null) {
01086 try {
01087 ivjAbstractionLabel = new javax.swing.JLabel();
01088 ivjAbstractionLabel.setName("AbstractionLabel");
01089 ivjAbstractionLabel.setText("Abstraction File:");
01090 ivjAbstractionLabel.setForeground(java.awt.Color.black);
01091
01092
01093 } catch (java.lang.Throwable ivjExc) {
01094
01095
01096 handleException(ivjExc);
01097 }
01098 }
01099 return ivjAbstractionLabel;
01100 }
01101
01102
01103
01104
01105
01106 private javax.swing.JPanel getAbstractionOptionPanel() {
01107 if (ivjAbstractionOptionPanel == null) {
01108 try {
01109 ivjAbstractionOptionPanel = new javax.swing.JPanel();
01110 ivjAbstractionOptionPanel.setName("AbstractionOptionPanel");
01111 ivjAbstractionOptionPanel.setBorder(BorderFactory.createTitledBorder(BorderFactory.createEtchedBorder(), "Options"));
01112 ivjAbstractionOptionPanel.setLayout(new java.awt.GridBagLayout());
01113 ivjAbstractionOptionPanel.setBackground(new java.awt.Color(204,204,255));
01114
01115 java.awt.GridBagConstraints constraintsInlineAbstractionCheckBox = new java.awt.GridBagConstraints();
01116 constraintsInlineAbstractionCheckBox.gridx = 0; constraintsInlineAbstractionCheckBox.gridy = 0;
01117 constraintsInlineAbstractionCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01118 constraintsInlineAbstractionCheckBox.weightx = 1.0;
01119 constraintsInlineAbstractionCheckBox.insets = new java.awt.Insets(10, 10, 0, 10);
01120 getAbstractionOptionPanel().add(getInlineAbstractionCheckBox(), constraintsInlineAbstractionCheckBox);
01121
01122 java.awt.GridBagConstraints constraintsFillerPanel2 = new java.awt.GridBagConstraints();
01123 constraintsFillerPanel2.gridx = 0; constraintsFillerPanel2.gridy = 1;
01124 constraintsFillerPanel2.fill = java.awt.GridBagConstraints.BOTH;
01125 constraintsFillerPanel2.weightx = 1.0;
01126 constraintsFillerPanel2.weighty = 1.0;
01127 constraintsFillerPanel2.insets = new java.awt.Insets(4, 4, 4, 4);
01128 getAbstractionOptionPanel().add(getFillerPanel2(), constraintsFillerPanel2);
01129
01130 ((javax.swing.border.TitledBorder) ivjAbstractionOptionPanel.getBorder()).setTitleColor(Color.black);
01131
01132 } catch (java.lang.Throwable ivjExc) {
01133
01134
01135 handleException(ivjExc);
01136 }
01137 }
01138 return ivjAbstractionOptionPanel;
01139 }
01140
01141
01142
01143
01144
01145 private javax.swing.JPanel getAbstractionPanel() {
01146 if (ivjAbstractionPanel == null) {
01147 try {
01148 ivjAbstractionPanel = new javax.swing.JPanel();
01149 ivjAbstractionPanel.setName("AbstractionPanel");
01150 ivjAbstractionPanel.setLayout(new java.awt.GridBagLayout());
01151 ivjAbstractionPanel.setBackground(new java.awt.Color(204,204,255));
01152
01153 java.awt.GridBagConstraints constraintsAbstractionLabel = new java.awt.GridBagConstraints();
01154 constraintsAbstractionLabel.gridx = 0; constraintsAbstractionLabel.gridy = 0;
01155 constraintsAbstractionLabel.fill = java.awt.GridBagConstraints.HORIZONTAL;
01156 constraintsAbstractionLabel.insets = new java.awt.Insets(10, 10, 0, 0);
01157 getAbstractionPanel().add(getAbstractionLabel(), constraintsAbstractionLabel);
01158
01159 java.awt.GridBagConstraints constraintsAbstractionTextField = new java.awt.GridBagConstraints();
01160 constraintsAbstractionTextField.gridx = 1; constraintsAbstractionTextField.gridy = 0;
01161 constraintsAbstractionTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
01162 constraintsAbstractionTextField.weightx = 1.0;
01163 constraintsAbstractionTextField.insets = new java.awt.Insets(10, 10, 0, 0);
01164 getAbstractionPanel().add(getAbstractionTextField(), constraintsAbstractionTextField);
01165
01166 java.awt.GridBagConstraints constraintsEditAbstractionButton = new java.awt.GridBagConstraints();
01167 constraintsEditAbstractionButton.gridx = 2; constraintsEditAbstractionButton.gridy = 0;
01168 constraintsEditAbstractionButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01169 constraintsEditAbstractionButton.insets = new java.awt.Insets(10, 10, 0, 10);
01170 getAbstractionPanel().add(getEditAbstractionButton(), constraintsEditAbstractionButton);
01171
01172 java.awt.GridBagConstraints constraintsAbstractionOptionPanel = new java.awt.GridBagConstraints();
01173 constraintsAbstractionOptionPanel.gridx = 0; constraintsAbstractionOptionPanel.gridy = 1;
01174 constraintsAbstractionOptionPanel.gridwidth = 3;
01175 constraintsAbstractionOptionPanel.fill = java.awt.GridBagConstraints.BOTH;
01176 constraintsAbstractionOptionPanel.weightx = 1.0;
01177 constraintsAbstractionOptionPanel.weighty = 1.0;
01178 constraintsAbstractionOptionPanel.insets = new java.awt.Insets(15, 8, 10, 8);
01179 getAbstractionPanel().add(getAbstractionOptionPanel(), constraintsAbstractionOptionPanel);
01180
01181
01182 } catch (java.lang.Throwable ivjExc) {
01183
01184
01185 handleException(ivjExc);
01186 }
01187 }
01188 return ivjAbstractionPanel;
01189 }
01190
01191
01192
01193
01194
01195 private javax.swing.JTextField getAbstractionTextField() {
01196 if (ivjAbstractionTextField == null) {
01197 try {
01198 ivjAbstractionTextField = new javax.swing.JTextField();
01199 ivjAbstractionTextField.setName("AbstractionTextField");
01200 ivjAbstractionTextField.setBorder(BorderFactory.createLoweredBevelBorder());
01201 ivjAbstractionTextField.setEditable(false);
01202
01203
01204 } catch (java.lang.Throwable ivjExc) {
01205
01206
01207 handleException(ivjExc);
01208 }
01209 }
01210 return ivjAbstractionTextField;
01211 }
01212
01213
01214
01215
01216
01217 private javax.swing.JButton getActivateButton() {
01218 if (ivjActivateButton == null) {
01219 try {
01220 ivjActivateButton = new javax.swing.JButton();
01221 ivjActivateButton.setName("ActivateButton");
01222 ivjActivateButton.setMnemonic('a');
01223 ivjActivateButton.setText("Activate");
01224 ivjActivateButton.setBackground(new java.awt.Color(204,204,255));
01225 ivjActivateButton.setEnabled(false);
01226
01227
01228 } catch (java.lang.Throwable ivjExc) {
01229
01230
01231 handleException(ivjExc);
01232 }
01233 }
01234 return ivjActivateButton;
01235 }
01236
01237
01238
01239
01240
01241 private javax.swing.JLabel getArrayLengthLabel() {
01242 if (ivjArrayLengthLabel == null) {
01243 try {
01244 ivjArrayLengthLabel = new javax.swing.JLabel();
01245 ivjArrayLengthLabel.setName("ArrayLengthLabel");
01246 ivjArrayLengthLabel.setText("Max. array length:");
01247 ivjArrayLengthLabel.setForeground(java.awt.Color.black);
01248
01249
01250 } catch (java.lang.Throwable ivjExc) {
01251
01252
01253 handleException(ivjExc);
01254 }
01255 }
01256 return ivjArrayLengthLabel;
01257 }
01258
01259
01260
01261
01262
01263 private javax.swing.JTextField getArrayLengthTextField() {
01264 if (ivjArrayLengthTextField == null) {
01265 try {
01266 ivjArrayLengthTextField = new javax.swing.JTextField();
01267 ivjArrayLengthTextField.setName("ArrayLengthTextField");
01268 ivjArrayLengthTextField.setBorder(BorderFactory.createLoweredBevelBorder());
01269 ivjArrayLengthTextField.setText("");
01270 ivjArrayLengthTextField.setNextFocusableComponent(getInstancesTextField());
01271
01272
01273 } catch (java.lang.Throwable ivjExc) {
01274
01275
01276 handleException(ivjExc);
01277 }
01278 }
01279 return ivjArrayLengthTextField;
01280 }
01281
01282
01283
01284
01285
01286 private javax.swing.JLabel getAssertionLabel() {
01287 if (ivjAssertionLabel == null) {
01288 try {
01289 ivjAssertionLabel = new javax.swing.JLabel();
01290 ivjAssertionLabel.setName("AssertionLabel");
01291 ivjAssertionLabel.setText("Assertion Property Specification:");
01292 ivjAssertionLabel.setForeground(java.awt.Color.black);
01293
01294
01295 } catch (java.lang.Throwable ivjExc) {
01296
01297
01298 handleException(ivjExc);
01299 }
01300 }
01301 return ivjAssertionLabel;
01302 }
01303
01304
01305
01306
01307
01308 private javax.swing.JTextField getAssertionTextField() {
01309 if (ivjAssertionTextField == null) {
01310 try {
01311 ivjAssertionTextField = new javax.swing.JTextField();
01312 ivjAssertionTextField.setName("AssertionTextField");
01313 ivjAssertionTextField.setBorder(BorderFactory.createLoweredBevelBorder());
01314 ivjAssertionTextField.setEditable(false);
01315
01316
01317 } catch (java.lang.Throwable ivjExc) {
01318
01319
01320 handleException(ivjExc);
01321 }
01322 }
01323 return ivjAssertionTextField;
01324 }
01325
01326
01327
01328
01329
01330 private javax.swing.JPanel getBirBounds() {
01331 if (ivjBirBounds == null) {
01332 try {
01333 ivjBirBounds = new javax.swing.JPanel();
01334 ivjBirBounds.setName("BirBounds");
01335 ivjBirBounds.setLayout(new java.awt.BorderLayout());
01336 ivjBirBounds.setBackground(new java.awt.Color(204,204,255));
01337 getBirBounds().add(getJPanel2(), "Center");
01338
01339
01340 } catch (java.lang.Throwable ivjExc) {
01341
01342
01343 handleException(ivjExc);
01344 }
01345 }
01346 return ivjBirBounds;
01347 }
01348
01349
01350
01351
01352 private static void getBuilderData() {
01353
01354
01355
01356
01357
01358
01359
01360
01361
01362
01363
01364
01365
01366
01367
01368
01369
01370
01371
01372
01373
01374
01375
01376
01377
01378
01379
01380
01381
01382
01383
01384
01385
01386
01387
01388
01389
01390
01391
01392
01393
01394
01395
01396
01397
01398
01399
01400
01401
01402
01403
01404
01405
01406
01407
01408
01409
01410
01411
01412
01413
01414
01415
01416
01417
01418
01419
01420
01421
01422
01423
01424
01425
01426
01427
01428
01429
01430
01431
01432
01433
01434
01435
01436
01437
01438
01439
01440
01441
01442
01443
01444
01445
01446
01447
01448
01449
01450
01451
01452
01453
01454
01455
01456
01457
01458
01459
01460
01461
01462
01463
01464
01465
01466
01467
01468
01469
01470
01471
01472
01473
01474
01475 }
01476
01477
01478
01479
01480
01481 private javax.swing.JPanel getCheckerPanel() {
01482 if (ivjCheckerPanel == null) {
01483 try {
01484 ivjCheckerPanel = new javax.swing.JPanel();
01485 ivjCheckerPanel.setName("CheckerPanel");
01486 ivjCheckerPanel.setLayout(new java.awt.GridBagLayout());
01487 ivjCheckerPanel.setBackground(new java.awt.Color(204,204,255));
01488
01489 java.awt.GridBagConstraints constraintsSpinCheckBox = new java.awt.GridBagConstraints();
01490 constraintsSpinCheckBox.gridx = 0; constraintsSpinCheckBox.gridy = 1;
01491 constraintsSpinCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01492 constraintsSpinCheckBox.insets = new java.awt.Insets(10, 10, 0, 0);
01493 getCheckerPanel().add(getSpinCheckBox(), constraintsSpinCheckBox);
01494
01495 java.awt.GridBagConstraints constraintsDSpinCheckBox = new java.awt.GridBagConstraints();
01496 constraintsDSpinCheckBox.gridx = 0; constraintsDSpinCheckBox.gridy = 2;
01497 constraintsDSpinCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01498 constraintsDSpinCheckBox.insets = new java.awt.Insets(10, 10, 0, 0);
01499 getCheckerPanel().add(getDSpinCheckBox(), constraintsDSpinCheckBox);
01500
01501 java.awt.GridBagConstraints constraintsSMVCheckBox = new java.awt.GridBagConstraints();
01502 constraintsSMVCheckBox.gridx = 0; constraintsSMVCheckBox.gridy = 3;
01503 constraintsSMVCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01504 constraintsSMVCheckBox.insets = new java.awt.Insets(10, 10, 0, 4);
01505 getCheckerPanel().add(getSMVCheckBox(), constraintsSMVCheckBox);
01506
01507 java.awt.GridBagConstraints constraintsSpinTextField = new java.awt.GridBagConstraints();
01508 constraintsSpinTextField.gridx = 1; constraintsSpinTextField.gridy = 1;
01509 constraintsSpinTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
01510 constraintsSpinTextField.weightx = 1.0;
01511 constraintsSpinTextField.insets = new java.awt.Insets(10, 10, 0, 0);
01512 getCheckerPanel().add(getSpinTextField(), constraintsSpinTextField);
01513
01514 java.awt.GridBagConstraints constraintsDSpinTextField = new java.awt.GridBagConstraints();
01515 constraintsDSpinTextField.gridx = 1; constraintsDSpinTextField.gridy = 2;
01516 constraintsDSpinTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
01517 constraintsDSpinTextField.weightx = 1.0;
01518 constraintsDSpinTextField.insets = new java.awt.Insets(10, 10, 0, 0);
01519 getCheckerPanel().add(getDSpinTextField(), constraintsDSpinTextField);
01520
01521 java.awt.GridBagConstraints constraintsSMVTextField = new java.awt.GridBagConstraints();
01522 constraintsSMVTextField.gridx = 1; constraintsSMVTextField.gridy = 3;
01523 constraintsSMVTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
01524 constraintsSMVTextField.weightx = 1.0;
01525 constraintsSMVTextField.insets = new java.awt.Insets(10, 10, 0, 0);
01526 getCheckerPanel().add(getSMVTextField(), constraintsSMVTextField);
01527
01528 java.awt.GridBagConstraints constraintsSpinOptionButton = new java.awt.GridBagConstraints();
01529 constraintsSpinOptionButton.gridx = 2; constraintsSpinOptionButton.gridy = 1;
01530 constraintsSpinOptionButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01531 constraintsSpinOptionButton.insets = new java.awt.Insets(10, 10, 0, 10);
01532 getCheckerPanel().add(getSpinOptionButton(), constraintsSpinOptionButton);
01533
01534 java.awt.GridBagConstraints constraintsDSpinOptionButton = new java.awt.GridBagConstraints();
01535 constraintsDSpinOptionButton.gridx = 2; constraintsDSpinOptionButton.gridy = 2;
01536 constraintsDSpinOptionButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01537 constraintsDSpinOptionButton.insets = new java.awt.Insets(10, 10, 0, 10);
01538 getCheckerPanel().add(getDSpinOptionButton(), constraintsDSpinOptionButton);
01539
01540 java.awt.GridBagConstraints constraintsSMVOptionButton = new java.awt.GridBagConstraints();
01541 constraintsSMVOptionButton.gridx = 2; constraintsSMVOptionButton.gridy = 3;
01542 constraintsSMVOptionButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01543 constraintsSMVOptionButton.insets = new java.awt.Insets(10, 10, 0, 10);
01544 getCheckerPanel().add(getSMVOptionButton(), constraintsSMVOptionButton);
01545
01546 java.awt.GridBagConstraints constraintsJPFCheckBox = new java.awt.GridBagConstraints();
01547 constraintsJPFCheckBox.gridx = 0; constraintsJPFCheckBox.gridy = 0;
01548 constraintsJPFCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01549 constraintsJPFCheckBox.insets = new java.awt.Insets(10, 10, 0, 0);
01550 getCheckerPanel().add(getJPFCheckBox(), constraintsJPFCheckBox);
01551
01552 java.awt.GridBagConstraints constraintsJPFTextField = new java.awt.GridBagConstraints();
01553 constraintsJPFTextField.gridx = 1; constraintsJPFTextField.gridy = 0;
01554 constraintsJPFTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
01555 constraintsJPFTextField.weightx = 1.0;
01556 constraintsJPFTextField.insets = new java.awt.Insets(10, 10, 0, 0);
01557 getCheckerPanel().add(getJPFTextField(), constraintsJPFTextField);
01558
01559 java.awt.GridBagConstraints constraintsJPFOptionButton = new java.awt.GridBagConstraints();
01560 constraintsJPFOptionButton.gridx = 2; constraintsJPFOptionButton.gridy = 0;
01561 constraintsJPFOptionButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01562 constraintsJPFOptionButton.insets = new java.awt.Insets(10, 10, 0, 10);
01563 getCheckerPanel().add(getJPFOptionButton(), constraintsJPFOptionButton);
01564
01565 java.awt.GridBagConstraints constraintsFillerPanel4 = new java.awt.GridBagConstraints();
01566 constraintsFillerPanel4.gridx = 0; constraintsFillerPanel4.gridy = 4;
01567 constraintsFillerPanel4.gridwidth = 3;
01568 constraintsFillerPanel4.fill = java.awt.GridBagConstraints.BOTH;
01569 constraintsFillerPanel4.weightx = 1.0;
01570 constraintsFillerPanel4.weighty = 1.0;
01571 constraintsFillerPanel4.insets = new java.awt.Insets(4, 4, 4, 4);
01572 getCheckerPanel().add(getFillerPanel4(), constraintsFillerPanel4);
01573
01574
01575 } catch (java.lang.Throwable ivjExc) {
01576
01577
01578 handleException(ivjExc);
01579 }
01580 }
01581 return ivjCheckerPanel;
01582 }
01583
01584
01585
01586
01587
01588 private javax.swing.JLabel getClasspathLabel() {
01589 if (ivjClasspathLabel == null) {
01590 try {
01591 ivjClasspathLabel = new javax.swing.JLabel();
01592 ivjClasspathLabel.setName("ClasspathLabel");
01593 ivjClasspathLabel.setDisplayedMnemonic('c');
01594 ivjClasspathLabel.setText("Classpath:");
01595 ivjClasspathLabel.setForeground(java.awt.Color.black);
01596
01597
01598 } catch (java.lang.Throwable ivjExc) {
01599
01600
01601 handleException(ivjExc);
01602 }
01603 }
01604 return ivjClasspathLabel;
01605 }
01606
01607
01608
01609
01610
01611 public javax.swing.JTextField getClasspathTextField() {
01612 if (ivjClasspathTextField == null) {
01613 try {
01614 ivjClasspathTextField = new javax.swing.JTextField();
01615 ivjClasspathTextField.setName("ClasspathTextField");
01616 ivjClasspathTextField.setBorder(BorderFactory.createLoweredBevelBorder());
01617 ivjClasspathTextField.setFocusAccelerator('c');
01618 ivjClasspathTextField.setEditable(false);
01619 ivjClasspathTextField.setEnabled(true);
01620
01621
01622 } catch (java.lang.Throwable ivjExc) {
01623
01624
01625 handleException(ivjExc);
01626 }
01627 }
01628 return ivjClasspathTextField;
01629 }
01630
01631
01632
01633
01634
01635 private javax.swing.JPanel getCompilerPanel() {
01636 if (ivjCompilerPanel == null) {
01637 try {
01638 ivjCompilerPanel = new javax.swing.JPanel();
01639 ivjCompilerPanel.setName("CompilerPanel");
01640 ivjCompilerPanel.setLayout(new java.awt.GridBagLayout());
01641 ivjCompilerPanel.setBackground(new java.awt.Color(204,204,255));
01642
01643 java.awt.GridBagConstraints constraintsClasspathLabel = new java.awt.GridBagConstraints();
01644 constraintsClasspathLabel.gridx = 0; constraintsClasspathLabel.gridy = 1;
01645 constraintsClasspathLabel.fill = java.awt.GridBagConstraints.BOTH;
01646 constraintsClasspathLabel.insets = new java.awt.Insets(0, 10, 10, 0);
01647 getCompilerPanel().add(getClasspathLabel(), constraintsClasspathLabel);
01648
01649 java.awt.GridBagConstraints constraintsClasspathTextField = new java.awt.GridBagConstraints();
01650 constraintsClasspathTextField.gridx = 1; constraintsClasspathTextField.gridy = 1;
01651 constraintsClasspathTextField.fill = java.awt.GridBagConstraints.BOTH;
01652 constraintsClasspathTextField.weightx = 1.0;
01653 constraintsClasspathTextField.insets = new java.awt.Insets(0, 10, 10, 0);
01654 getCompilerPanel().add(getClasspathTextField(), constraintsClasspathTextField);
01655
01656 java.awt.GridBagConstraints constraintsEditClasspathButton = new java.awt.GridBagConstraints();
01657 constraintsEditClasspathButton.gridx = 2; constraintsEditClasspathButton.gridy = 1;
01658 constraintsEditClasspathButton.fill = java.awt.GridBagConstraints.BOTH;
01659 constraintsEditClasspathButton.insets = new java.awt.Insets(0, 10, 10, 10);
01660 getCompilerPanel().add(getEditClasspathButton(), constraintsEditClasspathButton);
01661
01662 java.awt.GridBagConstraints constraintsSourceLabel = new java.awt.GridBagConstraints();
01663 constraintsSourceLabel.gridx = 0; constraintsSourceLabel.gridy = 0;
01664 constraintsSourceLabel.fill = java.awt.GridBagConstraints.BOTH;
01665 constraintsSourceLabel.insets = new java.awt.Insets(10, 10, 10, 0);
01666 getCompilerPanel().add(getSourceLabel(), constraintsSourceLabel);
01667
01668 java.awt.GridBagConstraints constraintsSourceTextField = new java.awt.GridBagConstraints();
01669 constraintsSourceTextField.gridx = 1; constraintsSourceTextField.gridy = 0;
01670 constraintsSourceTextField.fill = java.awt.GridBagConstraints.BOTH;
01671 constraintsSourceTextField.weightx = 1.0;
01672 constraintsSourceTextField.insets = new java.awt.Insets(10, 10, 10, 0);
01673 getCompilerPanel().add(getSourceTextField(), constraintsSourceTextField);
01674
01675 java.awt.GridBagConstraints constraintsEditSourceButton = new java.awt.GridBagConstraints();
01676 constraintsEditSourceButton.gridx = 2; constraintsEditSourceButton.gridy = 0;
01677 constraintsEditSourceButton.fill = java.awt.GridBagConstraints.BOTH;
01678 constraintsEditSourceButton.insets = new java.awt.Insets(10, 10, 10, 10);
01679 getCompilerPanel().add(getEditSourceButton(), constraintsEditSourceButton);
01680
01681 java.awt.GridBagConstraints constraintsIncludedLabel = new java.awt.GridBagConstraints();
01682 constraintsIncludedLabel.gridx = 0; constraintsIncludedLabel.gridy = 2;
01683 constraintsIncludedLabel.gridwidth = 2;
01684 constraintsIncludedLabel.fill = java.awt.GridBagConstraints.BOTH;
01685 constraintsIncludedLabel.weightx = 1.0;
01686 constraintsIncludedLabel.insets = new java.awt.Insets(10, 10, 5, 0);
01687 getCompilerPanel().add(getIncludedLabel(), constraintsIncludedLabel);
01688
01689 java.awt.GridBagConstraints constraintsIncludedScrollPane = new java.awt.GridBagConstraints();
01690 constraintsIncludedScrollPane.gridx = 0; constraintsIncludedScrollPane.gridy = 3;
01691 constraintsIncludedScrollPane.gridwidth = 3;
01692 constraintsIncludedScrollPane.fill = java.awt.GridBagConstraints.BOTH;
01693 constraintsIncludedScrollPane.weightx = 1.0;
01694 constraintsIncludedScrollPane.weighty = 1.0;
01695 constraintsIncludedScrollPane.insets = new java.awt.Insets(0, 10, 10, 10);
01696 getCompilerPanel().add(getIncludedScrollPane(), constraintsIncludedScrollPane);
01697
01698 java.awt.GridBagConstraints constraintsEditIncludedButton = new java.awt.GridBagConstraints();
01699 constraintsEditIncludedButton.gridx = 2; constraintsEditIncludedButton.gridy = 2;
01700 constraintsEditIncludedButton.fill = java.awt.GridBagConstraints.BOTH;
01701 constraintsEditIncludedButton.insets = new java.awt.Insets(10, 10, 5, 10);
01702 getCompilerPanel().add(getEditIncludedButton(), constraintsEditIncludedButton);
01703
01704
01705 } catch (java.lang.Throwable ivjExc) {
01706
01707
01708 handleException(ivjExc);
01709 }
01710 }
01711 return ivjCompilerPanel;
01712 }
01713
01714
01715
01716
01717
01718 private javax.swing.JLabel getDescriptionLabel() {
01719 if (ivjDescriptionLabel == null) {
01720 try {
01721 ivjDescriptionLabel = new javax.swing.JLabel();
01722 ivjDescriptionLabel.setName("DescriptionLabel");
01723 ivjDescriptionLabel.setDisplayedMnemonic('s');
01724 ivjDescriptionLabel.setText("Description:");
01725 ivjDescriptionLabel.setForeground(java.awt.Color.black);
01726
01727
01728 } catch (java.lang.Throwable ivjExc) {
01729
01730
01731 handleException(ivjExc);
01732 }
01733 }
01734 return ivjDescriptionLabel;
01735 }
01736
01737
01738
01739
01740
01741 private javax.swing.JScrollPane getDescriptionScrollPane() {
01742 if (ivjDescriptionScrollPane == null) {
01743 try {
01744 ivjDescriptionScrollPane = new javax.swing.JScrollPane();
01745 ivjDescriptionScrollPane.setName("DescriptionScrollPane");
01746 ivjDescriptionScrollPane.setBorder(BorderFactory.createLoweredBevelBorder());
01747 ivjDescriptionScrollPane.setHorizontalScrollBarPolicy(javax.swing.JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
01748 getDescriptionScrollPane().setViewportView(getDescriptionTextArea());
01749
01750
01751 } catch (java.lang.Throwable ivjExc) {
01752
01753
01754 handleException(ivjExc);
01755 }
01756 }
01757 return ivjDescriptionScrollPane;
01758 }
01759
01760
01761
01762
01763
01764 private javax.swing.JTextArea getDescriptionTextArea() {
01765 if (ivjDescriptionTextArea == null) {
01766 try {
01767 ivjDescriptionTextArea = new javax.swing.JTextArea();
01768 ivjDescriptionTextArea.setName("DescriptionTextArea");
01769 ivjDescriptionTextArea.setLineWrap(true);
01770 ivjDescriptionTextArea.setBounds(0, 0, 157, 117);
01771 ivjDescriptionTextArea.setFocusAccelerator('s');
01772
01773
01774 } catch (java.lang.Throwable ivjExc) {
01775
01776
01777 handleException(ivjExc);
01778 }
01779 }
01780 return ivjDescriptionTextArea;
01781 }
01782
01783
01784
01785
01786
01787 private javax.swing.JCheckBox getDSpinCheckBox() {
01788 if (ivjDSpinCheckBox == null) {
01789 try {
01790 ivjDSpinCheckBox = new javax.swing.JCheckBox();
01791 ivjDSpinCheckBox.setName("DSpinCheckBox");
01792 ivjDSpinCheckBox.setOpaque(false);
01793 ivjDSpinCheckBox.setText("DSpin");
01794 ivjDSpinCheckBox.setEnabled(false);
01795
01796
01797 } catch (java.lang.Throwable ivjExc) {
01798
01799
01800 handleException(ivjExc);
01801 }
01802 }
01803 return ivjDSpinCheckBox;
01804 }
01805
01806
01807
01808
01809
01810 private javax.swing.JButton getDSpinOptionButton() {
01811 if (ivjDSpinOptionButton == null) {
01812 try {
01813 ivjDSpinOptionButton = new javax.swing.JButton();
01814 ivjDSpinOptionButton.setName("DSpinOptionButton");
01815 ivjDSpinOptionButton.setText("Options");
01816 ivjDSpinOptionButton.setBackground(new java.awt.Color(204,204,255));
01817 ivjDSpinOptionButton.setEnabled(false);
01818
01819
01820 } catch (java.lang.Throwable ivjExc) {
01821
01822
01823 handleException(ivjExc);
01824 }
01825 }
01826 return ivjDSpinOptionButton;
01827 }
01828
01829
01830
01831
01832
01833 private javax.swing.JTextField getDSpinTextField() {
01834 if (ivjDSpinTextField == null) {
01835 try {
01836 ivjDSpinTextField = new javax.swing.JTextField();
01837 ivjDSpinTextField.setName("DSpinTextField");
01838 ivjDSpinTextField.setBorder(BorderFactory.createLoweredBevelBorder());
01839 ivjDSpinTextField.setEditable(false);
01840
01841
01842 } catch (java.lang.Throwable ivjExc) {
01843
01844
01845 handleException(ivjExc);
01846 }
01847 }
01848 return ivjDSpinTextField;
01849 }
01850
01851
01852
01853
01854
01855 private javax.swing.JButton getEditAbstractionButton() {
01856 if (ivjEditAbstractionButton == null) {
01857 try {
01858 ivjEditAbstractionButton = new javax.swing.JButton();
01859 ivjEditAbstractionButton.setName("EditAbstractionButton");
01860 ivjEditAbstractionButton.setText("Edit");
01861 ivjEditAbstractionButton.setBackground(new java.awt.Color(204,204,255));
01862
01863
01864 } catch (java.lang.Throwable ivjExc) {
01865
01866
01867 handleException(ivjExc);
01868 }
01869 }
01870 return ivjEditAbstractionButton;
01871 }
01872
01873
01874
01875
01876
01877 private javax.swing.JButton getEditAssertionButton() {
01878 if (ivjEditAssertionButton == null) {
01879 try {
01880 ivjEditAssertionButton = new javax.swing.JButton();
01881 ivjEditAssertionButton.setName("EditAssertionButton");
01882 ivjEditAssertionButton.setText("Edit");
01883 ivjEditAssertionButton.setBackground(new java.awt.Color(204,204,255));
01884
01885
01886 } catch (java.lang.Throwable ivjExc) {
01887
01888
01889 handleException(ivjExc);
01890 }
01891 }
01892 return ivjEditAssertionButton;
01893 }
01894
01895
01896
01897
01898
01899 private javax.swing.JButton getEditClasspathButton() {
01900 if (ivjEditClasspathButton == null) {
01901 try {
01902 ivjEditClasspathButton = new javax.swing.JButton();
01903 ivjEditClasspathButton.setName("EditClasspathButton");
01904 ivjEditClasspathButton.setMnemonic('c');
01905 ivjEditClasspathButton.setText("Edit");
01906 ivjEditClasspathButton.setBackground(new java.awt.Color(204,204,255));
01907
01908
01909 } catch (java.lang.Throwable ivjExc) {
01910
01911
01912 handleException(ivjExc);
01913 }
01914 }
01915 return ivjEditClasspathButton;
01916 }
01917
01918
01919
01920
01921
01922 private javax.swing.JButton getEditIncludedButton() {
01923 if (ivjEditIncludedButton == null) {
01924 try {
01925 ivjEditIncludedButton = new javax.swing.JButton();
01926 ivjEditIncludedButton.setName("EditIncludedButton");
01927 ivjEditIncludedButton.setMnemonic('i');
01928 ivjEditIncludedButton.setText("Edit");
01929 ivjEditIncludedButton.setBackground(new java.awt.Color(204,204,255));
01930
01931
01932 } catch (java.lang.Throwable ivjExc) {
01933
01934
01935 handleException(ivjExc);
01936 }
01937 }
01938 return ivjEditIncludedButton;
01939 }
01940
01941
01942
01943
01944
01945 private javax.swing.JButton getEditSourceButton() {
01946 if (ivjEditSourceButton == null) {
01947 try {
01948 ivjEditSourceButton = new javax.swing.JButton();
01949 ivjEditSourceButton.setName("EditSourceButton");
01950 ivjEditSourceButton.setMnemonic('s');
01951 ivjEditSourceButton.setText("Edit");
01952 ivjEditSourceButton.setBackground(new java.awt.Color(204,204,255));
01953
01954
01955 } catch (java.lang.Throwable ivjExc) {
01956
01957
01958 handleException(ivjExc);
01959 }
01960 }
01961 return ivjEditSourceButton;
01962 }
01963
01964
01965
01966
01967
01968 private javax.swing.JButton getEditSpecificationButton() {
01969 if (ivjEditSpecificationButton == null) {
01970 try {
01971 ivjEditSpecificationButton = new javax.swing.JButton();
01972 ivjEditSpecificationButton.setName("EditSpecificationButton");
01973 ivjEditSpecificationButton.setText("Edit");
01974 ivjEditSpecificationButton.setBackground(new java.awt.Color(204,204,255));
01975
01976
01977 } catch (java.lang.Throwable ivjExc) {
01978
01979
01980 handleException(ivjExc);
01981 }
01982 }
01983 return ivjEditSpecificationButton;
01984 }
01985
01986
01987
01988
01989
01990 private javax.swing.JButton getEditTemporalButton() {
01991 if (ivjEditTemporalButton == null) {
01992 try {
01993 ivjEditTemporalButton = new javax.swing.JButton();
01994 ivjEditTemporalButton.setName("EditTemporalButton");
01995 ivjEditTemporalButton.setText("Edit");
01996 ivjEditTemporalButton.setBackground(new java.awt.Color(204,204,255));
01997
01998
01999 } catch (java.lang.Throwable ivjExc) {
02000
02001
02002 handleException(ivjExc);
02003 }
02004 }
02005 return ivjEditTemporalButton;
02006 }
02007
02008
02009
02010
02011
02012 private javax.swing.JButton getEditWorkingDirectoryButton() {
02013 if (ivjEditWorkingDirectoryButton == null) {
02014 try {
02015 ivjEditWorkingDirectoryButton = new javax.swing.JButton();
02016 ivjEditWorkingDirectoryButton.setName("EditWorkingDirectoryButton");
02017 ivjEditWorkingDirectoryButton.setMnemonic('d');
02018 ivjEditWorkingDirectoryButton.setText("Edit");
02019 ivjEditWorkingDirectoryButton.setBackground(new java.awt.Color(204,204,255));
02020
02021
02022 } catch (java.lang.Throwable ivjExc) {
02023
02024
02025 handleException(ivjExc);
02026 }
02027 }
02028 return ivjEditWorkingDirectoryButton;
02029 }
02030
02031
02032
02033
02034
02035 private javax.swing.JPanel getFillerPanel1() {
02036 if (ivjFillerPanel1 == null) {
02037 try {
02038 ivjFillerPanel1 = new javax.swing.JPanel();
02039 ivjFillerPanel1.setName("FillerPanel1");
02040 ivjFillerPanel1.setLayout(null);
02041 ivjFillerPanel1.setBackground(new java.awt.Color(204,204,255));
02042
02043
02044 } catch (java.lang.Throwable ivjExc) {
02045
02046
02047 handleException(ivjExc);
02048 }
02049 }
02050 return ivjFillerPanel1;
02051 }
02052
02053
02054
02055
02056
02057 private javax.swing.JPanel getFillerPanel2() {
02058 if (ivjFillerPanel2 == null) {
02059 try {
02060 ivjFillerPanel2 = new javax.swing.JPanel();
02061 ivjFillerPanel2.setName("FillerPanel2");
02062 ivjFillerPanel2.setLayout(null);
02063 ivjFillerPanel2.setBackground(new java.awt.Color(204,204,255));
02064
02065
02066 } catch (java.lang.Throwable ivjExc) {
02067
02068
02069 handleException(ivjExc);
02070 }
02071 }
02072 return ivjFillerPanel2;
02073 }
02074
02075
02076
02077
02078
02079 private javax.swing.JPanel getFillerPanel4() {
02080 if (ivjFillerPanel4 == null) {
02081 try {
02082 ivjFillerPanel4 = new javax.swing.JPanel();
02083 ivjFillerPanel4.setName("FillerPanel4");
02084 ivjFillerPanel4.setLayout(null);
02085 ivjFillerPanel4.setBackground(new java.awt.Color(204,204,255));
02086
02087
02088 } catch (java.lang.Throwable ivjExc) {
02089
02090
02091 handleException(ivjExc);
02092 }
02093 }
02094 return ivjFillerPanel4;
02095 }
02096
02097
02098
02099
02100
02101 private javax.swing.JLabel getIncludedLabel() {
02102 if (ivjIncludedLabel == null) {
02103 try {
02104 ivjIncludedLabel = new javax.swing.JLabel();
02105 ivjIncludedLabel.setName("IncludedLabel");
02106 ivjIncludedLabel.setDisplayedMnemonic('i');
02107 ivjIncludedLabel.setText("Included Package or Type:");
02108 ivjIncludedLabel.setForeground(java.awt.Color.black);
02109
02110
02111 } catch (java.lang.Throwable ivjExc) {
02112
02113
02114 handleException(ivjExc);
02115 }
02116 }
02117 return ivjIncludedLabel;
02118 }
02119
02120
02121
02122
02123
02124 public javax.swing.JList getIncludedList() {
02125 if (ivjIncludedList == null) {
02126 try {
02127 ivjIncludedList = new javax.swing.JList();
02128 ivjIncludedList.setName("IncludedList");
02129 ivjIncludedList.setBackground(java.awt.Color.lightGray);
02130 ivjIncludedList.setBounds(0, 0, 586, 182);
02131
02132
02133 } catch (java.lang.Throwable ivjExc) {
02134
02135
02136 handleException(ivjExc);
02137 }
02138 }
02139 return ivjIncludedList;
02140 }
02141
02142
02143
02144
02145
02146 public javax.swing.JScrollPane getIncludedScrollPane() {
02147 if (ivjIncludedScrollPane == null) {
02148 try {
02149 ivjIncludedScrollPane = new javax.swing.JScrollPane();
02150 ivjIncludedScrollPane.setName("IncludedScrollPane");
02151 ivjIncludedScrollPane.setBorder(BorderFactory.createLoweredBevelBorder());
02152 getIncludedScrollPane().setViewportView(getIncludedList());
02153
02154
02155 } catch (java.lang.Throwable ivjExc) {
02156
02157
02158 handleException(ivjExc);
02159 }
02160 }
02161 return ivjIncludedScrollPane;
02162 }
02163
02164
02165
02166
02167
02168 private javax.swing.JButton getInfoButton() {
02169 if (ivjInfoButton == null) {
02170 try {
02171 ivjInfoButton = new javax.swing.JButton();
02172 ivjInfoButton.setName("InfoButton");
02173 ivjInfoButton.setMnemonic('i');
02174 ivjInfoButton.setText("Info");
02175 ivjInfoButton.setBackground(new java.awt.Color(204,204,255));
02176 ivjInfoButton.setEnabled(true);
02177
02178
02179 } catch (java.lang.Throwable ivjExc) {
02180
02181
02182 handleException(ivjExc);
02183 }
02184 }
02185 return ivjInfoButton;
02186 }
02187
02188
02189
02190
02191
02192 private javax.swing.JCheckBox getInlineAbstractionCheckBox() {
02193 if (ivjInlineAbstractionCheckBox == null) {
02194 try {
02195 ivjInlineAbstractionCheckBox = new javax.swing.JCheckBox();
02196 ivjInlineAbstractionCheckBox.setName("InlineAbstractionCheckBox");
02197 ivjInlineAbstractionCheckBox.setSelected(true);
02198 ivjInlineAbstractionCheckBox.setOpaque(false);
02199 ivjInlineAbstractionCheckBox.setText("Inline Abstraction");
02200 ivjInlineAbstractionCheckBox.setEnabled(false);
02201
02202
02203 } catch (java.lang.Throwable ivjExc) {
02204
02205
02206 handleException(ivjExc);
02207 }
02208 }
02209 return ivjInlineAbstractionCheckBox;
02210 }
02211
02212
02213
02214
02215
02216 private javax.swing.JLabel getInstancesLabel() {
02217 if (ivjInstancesLabel == null) {
02218 try {
02219 ivjInstancesLabel = new javax.swing.JLabel();
02220 ivjInstancesLabel.setName("InstancesLabel");
02221 ivjInstancesLabel.setText("Max. instances per class");
02222 ivjInstancesLabel.setForeground(java.awt.Color.black);
02223
02224
02225 } catch (java.lang.Throwable ivjExc) {
02226
02227
02228 handleException(ivjExc);
02229 }
02230 }
02231 return ivjInstancesLabel;
02232 }
02233
02234
02235
02236
02237
02238 private javax.swing.JTextField getInstancesTextField() {
02239 if (ivjInstancesTextField == null) {
02240 try {
02241 ivjInstancesTextField = new javax.swing.JTextField();
02242 ivjInstancesTextField.setName("InstancesTextField");
02243 ivjInstancesTextField.setBorder(BorderFactory.createLoweredBevelBorder());
02244 ivjInstancesTextField.setText("");
02245 ivjInstancesTextField.setNextFocusableComponent(getOkButton());
02246
02247
02248 } catch (java.lang.Throwable ivjExc) {
02249
02250
02251 handleException(ivjExc);
02252 }
02253 }
02254 return ivjInstancesTextField;
02255 }
02256
02257
02258
02259
02260
02261 private javax.swing.JLabel getIntConstantLabel() {
02262 if (ivjIntConstantLabel == null) {
02263 try {
02264 ivjIntConstantLabel = new javax.swing.JLabel();
02265 ivjIntConstantLabel.setName("IntConstantLabel");
02266 ivjIntConstantLabel.setText("Integer constant range:");
02267 ivjIntConstantLabel.setForeground(java.awt.Color.black);
02268 ivjIntConstantLabel.setRequestFocusEnabled(false);
02269
02270
02271 } catch (java.lang.Throwable ivjExc) {
02272
02273
02274 handleException(ivjExc);
02275 }
02276 }
02277 return ivjIntConstantLabel;
02278 }
02279
02280
02281
02282
02283
02284 private javax.swing.JPanel getJPanel2() {
02285 if (ivjJPanel2 == null) {
02286 try {
02287 ivjJPanel2 = new javax.swing.JPanel();
02288 ivjJPanel2.setName("JPanel2");
02289 ivjJPanel2.setBorder(BorderFactory.createTitledBorder( BorderFactory.createEtchedBorder(), "BIRC Constants"));
02290 ivjJPanel2.setLayout(new java.awt.GridBagLayout());
02291 ivjJPanel2.setBackground(new java.awt.Color(204,204,255));
02292
02293 java.awt.GridBagConstraints constraintsIntConstantLabel = new java.awt.GridBagConstraints();
02294 constraintsIntConstantLabel.gridx = 0; constraintsIntConstantLabel.gridy = 0;
02295 constraintsIntConstantLabel.fill = java.awt.GridBagConstraints.HORIZONTAL;
02296 constraintsIntConstantLabel.insets = new java.awt.Insets(10, 10, 0, 0);
02297 getJPanel2().add(getIntConstantLabel(), constraintsIntConstantLabel);
02298
02299 java.awt.GridBagConstraints constraintsArrayLengthLabel = new java.awt.GridBagConstraints();
02300 constraintsArrayLengthLabel.gridx = 0; constraintsArrayLengthLabel.gridy = 1;
02301 constraintsArrayLengthLabel.fill = java.awt.GridBagConstraints.HORIZONTAL;
02302 constraintsArrayLengthLabel.insets = new java.awt.Insets(10, 10, 0, 0);
02303 getJPanel2().add(getArrayLengthLabel(), constraintsArrayLengthLabel);
02304
02305 java.awt.GridBagConstraints constraintsInstancesLabel = new java.awt.GridBagConstraints();
02306 constraintsInstancesLabel.gridx = 0; constraintsInstancesLabel.gridy = 2;
02307 constraintsInstancesLabel.fill = java.awt.GridBagConstraints.HORIZONTAL;
02308 constraintsInstancesLabel.insets = new java.awt.Insets(10, 10, 10, 0);
02309 getJPanel2().add(getInstancesLabel(), constraintsInstancesLabel);
02310
02311 java.awt.GridBagConstraints constraintsMinTextField = new java.awt.GridBagConstraints();
02312 constraintsMinTextField.gridx = 1; constraintsMinTextField.gridy = 0;
02313 constraintsMinTextField.fill = java.awt.GridBagConstraints.BOTH;
02314 constraintsMinTextField.weightx = 1.0;
02315 constraintsMinTextField.insets = new java.awt.Insets(10, 10, 0, 10);
02316 getJPanel2().add(getMinTextField(), constraintsMinTextField);
02317
02318 java.awt.GridBagConstraints constraintsArrayLengthTextField = new java.awt.GridBagConstraints();
02319 constraintsArrayLengthTextField.gridx = 1; constraintsArrayLengthTextField.gridy = 1;
02320 constraintsArrayLengthTextField.gridwidth = 2;
02321 constraintsArrayLengthTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
02322 constraintsArrayLengthTextField.weightx = 1.0;
02323 constraintsArrayLengthTextField.insets = new java.awt.Insets(10, 10, 0, 10);
02324 getJPanel2().add(getArrayLengthTextField(), constraintsArrayLengthTextField);
02325
02326 java.awt.GridBagConstraints constraintsInstancesTextField = new java.awt.GridBagConstraints();
02327 constraintsInstancesTextField.gridx = 1; constraintsInstancesTextField.gridy = 2;
02328 constraintsInstancesTextField.gridwidth = 2;
02329 constraintsInstancesTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
02330 constraintsInstancesTextField.weightx = 1.0;
02331 constraintsInstancesTextField.insets = new java.awt.Insets(10, 10, 10, 10);
02332 getJPanel2().add(getInstancesTextField(), constraintsInstancesTextField);
02333
02334 java.awt.GridBagConstraints constraintsMaxTextField = new java.awt.GridBagConstraints();
02335 constraintsMaxTextField.gridx = 2; constraintsMaxTextField.gridy = 0;
02336 constraintsMaxTextField.fill = java.awt.GridBagConstraints.BOTH;
02337 constraintsMaxTextField.weightx = 1.0;
02338 constraintsMaxTextField.insets = new java.awt.Insets(10, 10, 0, 10);
02339 getJPanel2().add(getMaxTextField(), constraintsMaxTextField);
02340
02341
02342 } catch (java.lang.Throwable ivjExc) {
02343
02344
02345 handleException(ivjExc);
02346 }
02347 }
02348 return ivjJPanel2;
02349 }
02350
02351
02352
02353
02354
02355 private javax.swing.JCheckBox getJPFCheckBox() {
02356 if (ivjJPFCheckBox == null) {
02357 try {
02358 ivjJPFCheckBox = new javax.swing.JCheckBox();
02359 ivjJPFCheckBox.setName("JPFCheckBox");
02360 ivjJPFCheckBox.setOpaque(false);
02361 ivjJPFCheckBox.setText("JPF");
02362 ivjJPFCheckBox.setEnabled(false);
02363
02364
02365 } catch (java.lang.Throwable ivjExc) {
02366
02367
02368 handleException(ivjExc);
02369 }
02370 }
02371 return ivjJPFCheckBox;
02372 }
02373
02374
02375
02376
02377
02378 private javax.swing.JButton getJPFOptionButton() {
02379 if (ivjJPFOptionButton == null) {
02380 try {
02381 ivjJPFOptionButton = new javax.swing.JButton();
02382 ivjJPFOptionButton.setName("JPFOptionButton");
02383 ivjJPFOptionButton.setText("Options");
02384 ivjJPFOptionButton.setBackground(new java.awt.Color(204,204,255));
02385 ivjJPFOptionButton.setEnabled(false);
02386
02387
02388 } catch (java.lang.Throwable ivjExc) {
02389
02390
02391 handleException(ivjExc);
02392 }
02393 }
02394 return ivjJPFOptionButton;
02395 }
02396
02397
02398
02399
02400
02401 private javax.swing.JTextField getJPFTextField() {
02402 if (ivjJPFTextField == null) {
02403 try {
02404 ivjJPFTextField = new javax.swing.JTextField();
02405 ivjJPFTextField.setName("JPFTextField");
02406 ivjJPFTextField.setBorder(BorderFactory.createLoweredBevelBorder());
02407 ivjJPFTextField.setEditable(false);
02408
02409
02410 } catch (java.lang.Throwable ivjExc) {
02411
02412
02413 handleException(ivjExc);
02414 }
02415 }
02416 return ivjJPFTextField;
02417 }
02418
02419
02420
02421
02422
02423 private javax.swing.JTextField getMaxTextField() {
02424 if (ivjMaxTextField == null) {
02425 try {
02426 ivjMaxTextField = new javax.swing.JTextField();
02427 ivjMaxTextField.setName("MaxTextField");
02428 ivjMaxTextField.setBorder(BorderFactory.createLoweredBevelBorder());
02429 ivjMaxTextField.setAlignmentY(java.awt.Component.BOTTOM_ALIGNMENT);
02430 ivjMaxTextField.setText("");
02431 ivjMaxTextField.setNextFocusableComponent(getArrayLengthTextField());
02432
02433
02434 } catch (java.lang.Throwable ivjExc) {
02435
02436
02437 handleException(ivjExc);
02438 }
02439 }
02440 return ivjMaxTextField;
02441 }
02442
02443
02444
02445
02446
02447 private javax.swing.JTextField getMinTextField() {
02448 if (ivjMinTextField == null) {
02449 try {
02450 ivjMinTextField = new javax.swing.JTextField();
02451 ivjMinTextField.setName("MinTextField");
02452 ivjMinTextField.setBorder(BorderFactory.createLoweredBevelBorder());
02453 ivjMinTextField.setText("");
02454 ivjMinTextField.setNextFocusableComponent(getMaxTextField());
02455
02456
02457 } catch (java.lang.Throwable ivjExc) {
02458
02459
02460 handleException(ivjExc);
02461 }
02462 }
02463 return ivjMinTextField;
02464 }
02465
02466
02467
02468
02469
02470 private javax.swing.JPanel getMiscPanel() {
02471 if (ivjMiscPanel == null) {
02472 try {
02473 ivjMiscPanel = new javax.swing.JPanel();
02474 ivjMiscPanel.setName("MiscPanel");
02475 ivjMiscPanel.setLayout(new java.awt.GridBagLayout());
02476 ivjMiscPanel.setBackground(new java.awt.Color(204,204,255));
02477
02478 java.awt.GridBagConstraints constraintsWorkingDirectoryLabel = new java.awt.GridBagConstraints();
02479 constraintsWorkingDirectoryLabel.gridx = 0; constraintsWorkingDirectoryLabel.gridy = 1;
02480 constraintsWorkingDirectoryLabel.fill = java.awt.GridBagConstraints.BOTH;
02481 constraintsWorkingDirectoryLabel.insets = new java.awt.Insets(4, 10, 4, 4);
02482 getMiscPanel().add(getWorkingDirectoryLabel(), constraintsWorkingDirectoryLabel);
02483
02484 java.awt.GridBagConstraints constraintsWorkingDirectoryTextField = new java.awt.GridBagConstraints();
02485 constraintsWorkingDirectoryTextField.gridx = 1; constraintsWorkingDirectoryTextField.gridy = 1;
02486 constraintsWorkingDirectoryTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
02487 constraintsWorkingDirectoryTextField.weightx = 1.0;
02488 constraintsWorkingDirectoryTextField.insets = new java.awt.Insets(4, 4, 4, 4);
02489 getMiscPanel().add(getWorkingDirectoryTextField(), constraintsWorkingDirectoryTextField);
02490
02491 java.awt.GridBagConstraints constraintsEditWorkingDirectoryButton = new java.awt.GridBagConstraints();
02492 constraintsEditWorkingDirectoryButton.gridx = 2; constraintsEditWorkingDirectoryButton.gridy = 1;
02493 constraintsEditWorkingDirectoryButton.fill = java.awt.GridBagConstraints.BOTH;
02494 constraintsEditWorkingDirectoryButton.insets = new java.awt.Insets(4, 4, 4, 10);
02495 getMiscPanel().add(getEditWorkingDirectoryButton(), constraintsEditWorkingDirectoryButton);
02496
02497 java.awt.GridBagConstraints constraintsOutputNameLabel = new java.awt.GridBagConstraints();
02498 constraintsOutputNameLabel.gridx = 0; constraintsOutputNameLabel.gridy = 0;
02499 constraintsOutputNameLabel.fill = java.awt.GridBagConstraints.BOTH;
02500 constraintsOutputNameLabel.insets = new java.awt.Insets(10, 10, 4, 4);
02501 getMiscPanel().add(getOutputNameLabel(), constraintsOutputNameLabel);
02502
02503 java.awt.GridBagConstraints constraintsOutputNameTextField = new java.awt.GridBagConstraints();
02504 constraintsOutputNameTextField.gridx = 1; constraintsOutputNameTextField.gridy = 0;
02505 constraintsOutputNameTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
02506 constraintsOutputNameTextField.weightx = 1.0;
02507 constraintsOutputNameTextField.insets = new java.awt.Insets(10, 4, 4, 4);
02508 getMiscPanel().add(getOutputNameTextField(), constraintsOutputNameTextField);
02509
02510 java.awt.GridBagConstraints constraintsDescriptionLabel = new java.awt.GridBagConstraints();
02511 constraintsDescriptionLabel.gridx = 0; constraintsDescriptionLabel.gridy = 2;
02512 constraintsDescriptionLabel.gridwidth = 3;
02513 constraintsDescriptionLabel.fill = java.awt.GridBagConstraints.BOTH;
02514 constraintsDescriptionLabel.weightx = 1.0;
02515 constraintsDescriptionLabel.insets = new java.awt.Insets(20, 10, 5, 10);
02516 getMiscPanel().add(getDescriptionLabel(), constraintsDescriptionLabel);
02517
02518 java.awt.GridBagConstraints constraintsDescriptionScrollPane = new java.awt.GridBagConstraints();
02519 constraintsDescriptionScrollPane.gridx = 0; constraintsDescriptionScrollPane.gridy = 3;
02520 constraintsDescriptionScrollPane.gridwidth = 3;
02521 constraintsDescriptionScrollPane.fill = java.awt.GridBagConstraints.BOTH;
02522 constraintsDescriptionScrollPane.weightx = 1.0;
02523 constraintsDescriptionScrollPane.weighty = 1.0;
02524 constraintsDescriptionScrollPane.insets = new java.awt.Insets(0, 10, 10, 10);
02525 getMiscPanel().add(getDescriptionScrollPane(), constraintsDescriptionScrollPane);
02526
02527
02528 } catch (java.lang.Throwable ivjExc) {
02529
02530
02531 handleException(ivjExc);
02532 }
02533 }
02534 return ivjMiscPanel;
02535 }
02536
02537
02538
02539
02540
02541 private javax.swing.JLabel getNameLabel() {
02542 if (ivjNameLabel == null) {
02543 try {
02544 ivjNameLabel = new javax.swing.JLabel();
02545 ivjNameLabel.setName("NameLabel");
02546 ivjNameLabel.setDisplayedMnemonic('m');
02547 ivjNameLabel.setText("Name:");
02548 ivjNameLabel.setForeground(java.awt.Color.black);
02549
02550
02551 } catch (java.lang.Throwable ivjExc) {
02552
02553
02554 handleException(ivjExc);
02555 }
02556 }
02557 return ivjNameLabel;
02558 }
02559
02560
02561
02562
02563
02564 private javax.swing.JTextField getNameTextField() {
02565 if (ivjNameTextField == null) {
02566 try {
02567 ivjNameTextField = new javax.swing.JTextField();
02568 ivjNameTextField.setName("NameTextField");
02569 ivjNameTextField.setBorder(BorderFactory.createLoweredBevelBorder());
02570 ivjNameTextField.setFocusAccelerator('m');
02571 ivjNameTextField.setEditable(false);
02572
02573
02574 } catch (java.lang.Throwable ivjExc) {
02575
02576
02577 handleException(ivjExc);
02578 }
02579 }
02580 return ivjNameTextField;
02581 }
02582
02583
02584
02585
02586
02587 private javax.swing.JButton getNewButton() {
02588 if (ivjNewButton == null) {
02589 try {
02590 ivjNewButton = new javax.swing.JButton();
02591 ivjNewButton.setName("NewButton");
02592 ivjNewButton.setMnemonic('n');
02593 ivjNewButton.setText("New");
02594 ivjNewButton.setBackground(new java.awt.Color(204,204,255));
02595
02596
02597 } catch (java.lang.Throwable ivjExc) {
02598
02599
02600 handleException(ivjExc);
02601 }
02602 }
02603 return ivjNewButton;
02604 }
02605
02606
02607
02608
02609
02610 private javax.swing.JButton getOkButton() {
02611 if (ivjOkButton == null) {
02612 try {
02613 ivjOkButton = new javax.swing.JButton();
02614 ivjOkButton.setName("OkButton");
02615 ivjOkButton.setMnemonic('o');
02616 ivjOkButton.setText("Ok");
02617 ivjOkButton.setBackground(new java.awt.Color(204,204,255));
02618
02619
02620 } catch (java.lang.Throwable ivjExc) {
02621
02622
02623 handleException(ivjExc);
02624 }
02625 }
02626 return ivjOkButton;
02627 }
02628
02629
02630
02631
02632
02633 private javax.swing.JLabel getOutputNameLabel() {
02634 if (ivjOutputNameLabel == null) {
02635 try {
02636 ivjOutputNameLabel = new javax.swing.JLabel();
02637 ivjOutputNameLabel.setName("OutputNameLabel");
02638 ivjOutputNameLabel.setDisplayedMnemonic('n');
02639 ivjOutputNameLabel.setText("Output Name:");
02640 ivjOutputNameLabel.setForeground(java.awt.Color.black);
02641
02642
02643 } catch (java.lang.Throwable ivjExc) {
02644
02645
02646 handleException(ivjExc);
02647 }
02648 }
02649 return ivjOutputNameLabel;
02650 }
02651
02652
02653
02654
02655
02656 private javax.swing.JTextField getOutputNameTextField() {
02657 if (ivjOutputNameTextField == null) {
02658 try {
02659 ivjOutputNameTextField = new javax.swing.JTextField();
02660 ivjOutputNameTextField.setName("OutputNameTextField");
02661 ivjOutputNameTextField.setBorder(BorderFactory.createLoweredBevelBorder());
02662 ivjOutputNameTextField.setFocusAccelerator('n');
02663 ivjOutputNameTextField.setEnabled(true);
02664 ivjOutputNameTextField.setEditable(true);
02665
02666
02667 } catch (java.lang.Throwable ivjExc) {
02668
02669
02670 handleException(ivjExc);
02671 }
02672 }
02673 return ivjOutputNameTextField;
02674 }
02675
02676
02677
02678
02679
02680 private javax.swing.JPanel getPropertyPanel() {
02681 if (ivjPropertyPanel == null) {
02682 try {
02683 ivjPropertyPanel = new javax.swing.JPanel();
02684 ivjPropertyPanel.setName("PropertyPanel");
02685 ivjPropertyPanel.setLayout(new java.awt.GridBagLayout());
02686 ivjPropertyPanel.setBackground(new java.awt.Color(204,204,255));
02687
02688 java.awt.GridBagConstraints constraintsSpecificationLabel = new java.awt.GridBagConstraints();
02689 constraintsSpecificationLabel.gridx = 0; constraintsSpecificationLabel.gridy = 0;
02690 constraintsSpecificationLabel.fill = java.awt.GridBagConstraints.HORIZONTAL;
02691 constraintsSpecificationLabel.anchor = java.awt.GridBagConstraints.WEST;
02692 constraintsSpecificationLabel.insets = new java.awt.Insets(10, 10, 0, 0);
02693 getPropertyPanel().add(getSpecificationLabel(), constraintsSpecificationLabel);
02694
02695 java.awt.GridBagConstraints constraintsSpecificationTextField = new java.awt.GridBagConstraints();
02696 constraintsSpecificationTextField.gridx = 1; constraintsSpecificationTextField.gridy = 0;
02697 constraintsSpecificationTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
02698 constraintsSpecificationTextField.weightx = 1.0;
02699 constraintsSpecificationTextField.insets = new java.awt.Insets(10, 10, 0, 0);
02700 getPropertyPanel().add(getSpecificationTextField(), constraintsSpecificationTextField);
02701
02702 java.awt.GridBagConstraints constraintsEditSpecificationButton = new java.awt.GridBagConstraints();
02703 constraintsEditSpecificationButton.gridx = 2; constraintsEditSpecificationButton.gridy = 0;
02704 constraintsEditSpecificationButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
02705 constraintsEditSpecificationButton.insets = new java.awt.Insets(10, 10, 0, 10);
02706 getPropertyPanel().add(getEditSpecificationButton(), constraintsEditSpecificationButton);
02707
02708 java.awt.GridBagConstraints constraintsTemporalLabel = new java.awt.GridBagConstraints();
02709 constraintsTemporalLabel.gridx = 0; constraintsTemporalLabel.gridy = 1;
02710 constraintsTemporalLabel.fill = java.awt.GridBagConstraints.HORIZONTAL;
02711 constraintsTemporalLabel.anchor = java.awt.GridBagConstraints.WEST;
02712 constraintsTemporalLabel.insets = new java.awt.Insets(10, 10, 0, 0);
02713 getPropertyPanel().add(getTemporalLabel(), constraintsTemporalLabel);
02714
02715 java.awt.GridBagConstraints constraintsTemporalTextField = new java.awt.GridBagConstraints();
02716 constraintsTemporalTextField.gridx = 1; constraintsTemporalTextField.gridy = 1;
02717 constraintsTemporalTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
02718 constraintsTemporalTextField.weightx = 1.0;
02719 constraintsTemporalTextField.insets = new java.awt.Insets(10, 10, 0, 0);
02720 getPropertyPanel().add(getTemporalTextField(), constraintsTemporalTextField);
02721
02722 java.awt.GridBagConstraints constraintsEditTemporalButton = new java.awt.GridBagConstraints();
02723 constraintsEditTemporalButton.gridx = 2; constraintsEditTemporalButton.gridy = 1;
02724 constraintsEditTemporalButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
02725 constraintsEditTemporalButton.insets = new java.awt.Insets(10, 10, 0, 10);
02726 getPropertyPanel().add(getEditTemporalButton(), constraintsEditTemporalButton);
02727
02728 java.awt.GridBagConstraints constraintsAssertionLabel = new java.awt.GridBagConstraints();
02729 constraintsAssertionLabel.gridx = 0; constraintsAssertionLabel.gridy = 2;
02730 constraintsAssertionLabel.fill = java.awt.GridBagConstraints.HORIZONTAL;
02731 constraintsAssertionLabel.anchor = java.awt.GridBagConstraints.WEST;
02732 constraintsAssertionLabel.insets = new java.awt.Insets(10, 10, 0, 0);
02733 getPropertyPanel().add(getAssertionLabel(), constraintsAssertionLabel);
02734
02735 java.awt.GridBagConstraints constraintsAssertionTextField = new java.awt.GridBagConstraints();
02736 constraintsAssertionTextField.gridx = 1; constraintsAssertionTextField.gridy = 2;
02737 constraintsAssertionTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
02738 constraintsAssertionTextField.weightx = 1.0;
02739 constraintsAssertionTextField.insets = new java.awt.Insets(10, 10, 0, 0);
02740 getPropertyPanel().add(getAssertionTextField(), constraintsAssertionTextField);
02741
02742 java.awt.GridBagConstraints constraintsEditAssertionButton = new java.awt.GridBagConstraints();
02743 constraintsEditAssertionButton.gridx = 2; constraintsEditAssertionButton.gridy = 2;
02744 constraintsEditAssertionButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
02745 constraintsEditAssertionButton.insets = new java.awt.Insets(10, 10, 0, 10);
02746 getPropertyPanel().add(getEditAssertionButton(), constraintsEditAssertionButton);
02747
02748 java.awt.GridBagConstraints constraintsFillerPanel1 = new java.awt.GridBagConstraints();
02749 constraintsFillerPanel1.gridx = 0; constraintsFillerPanel1.gridy = 3;
02750 constraintsFillerPanel1.gridwidth = 3;
02751 constraintsFillerPanel1.fill = java.awt.GridBagConstraints.BOTH;
02752 constraintsFillerPanel1.weightx = 1.0;
02753 constraintsFillerPanel1.weighty = 1.0;
02754 constraintsFillerPanel1.insets = new java.awt.Insets(4, 4, 4, 4);
02755 getPropertyPanel().add(getFillerPanel1(), constraintsFillerPanel1);
02756
02757
02758 } catch (java.lang.Throwable ivjExc) {
02759
02760
02761 handleException(ivjExc);
02762 }
02763 }
02764 return ivjPropertyPanel;
02765 }
02766
02767
02768
02769
02770
02771 private javax.swing.JButton getRemoveButton() {
02772 if (ivjRemoveButton == null) {
02773 try {
02774 ivjRemoveButton = new javax.swing.JButton();
02775 ivjRemoveButton.setName("RemoveButton");
02776 ivjRemoveButton.setMnemonic('r');
02777 ivjRemoveButton.setText("Remove");
02778 ivjRemoveButton.setBackground(new java.awt.Color(204,204,255));
02779 ivjRemoveButton.setEnabled(false);
02780
02781
02782 } catch (java.lang.Throwable ivjExc) {
02783
02784
02785 handleException(ivjExc);
02786 }
02787 }
02788 return ivjRemoveButton;
02789 }
02790
02791
02792
02793
02794
02795 private javax.swing.JPanel getSessionManagerContentPane() {
02796 if (ivjSessionManagerContentPane == null) {
02797 try {
02798 ivjSessionManagerContentPane = new javax.swing.JPanel();
02799 ivjSessionManagerContentPane.setName("SessionManagerContentPane");
02800 ivjSessionManagerContentPane.setBorder(new javax.swing.border.EtchedBorder());
02801 ivjSessionManagerContentPane.setLayout(new java.awt.BorderLayout());
02802 ivjSessionManagerContentPane.setBackground(new java.awt.Color(204,204,255));
02803 getSessionManagerContentPane().add(getOkButton(), "South");
02804 getSessionManagerContentPane().add(getSessionManagerTabbedPane(), "North");
02805
02806
02807 } catch (java.lang.Throwable ivjExc) {
02808
02809
02810 handleException(ivjExc);
02811 }
02812 }
02813 return ivjSessionManagerContentPane;
02814 }
02815
02816
02817
02818
02819
02820 private javax.swing.JTabbedPane getSessionManagerTabbedPane() {
02821 if (ivjSessionManagerTabbedPane == null) {
02822 try {
02823 ivjSessionManagerTabbedPane = new javax.swing.JTabbedPane();
02824 ivjSessionManagerTabbedPane.setName("SessionManagerTabbedPane");
02825 ivjSessionManagerTabbedPane.setTabPlacement(javax.swing.JTabbedPane.TOP);
02826 ivjSessionManagerTabbedPane.insertTab("Sessions", null, getSessionsPanel(), null, 0);
02827 ivjSessionManagerTabbedPane.insertTab("Compiler", null, getCompilerPanel(), null, 1);
02828 ivjSessionManagerTabbedPane.insertTab("Property", null, getPropertyPanel(), null, 2);
02829 ivjSessionManagerTabbedPane.insertTab("Abstraction", null, getAbstractionPanel(), null, 3);
02830 ivjSessionManagerTabbedPane.insertTab("Birc", null, getBirBounds(), null, 4);
02831 ivjSessionManagerTabbedPane.setBackgroundAt(4, new java.awt.Color(153,153,153));
02832 ivjSessionManagerTabbedPane.insertTab("Checker", null, getCheckerPanel(), null, 5);
02833 ivjSessionManagerTabbedPane.insertTab("Misc", null, getMiscPanel(), null, 6);
02834
02835
02836 } catch (java.lang.Throwable ivjExc) {
02837
02838
02839 handleException(ivjExc);
02840 }
02841 }
02842 return ivjSessionManagerTabbedPane;
02843 }
02844
02845
02846
02847
02848
02849 private javax.swing.JLabel getSessionsLabel() {
02850 if (ivjSessionsLabel == null) {
02851 try {
02852 ivjSessionsLabel = new javax.swing.JLabel();
02853 ivjSessionsLabel.setName("SessionsLabel");
02854 ivjSessionsLabel.setText("Sessions:");
02855 ivjSessionsLabel.setForeground(java.awt.Color.black);
02856
02857
02858 } catch (java.lang.Throwable ivjExc) {
02859
02860
02861 handleException(ivjExc);
02862 }
02863 }
02864 return ivjSessionsLabel;
02865 }
02866
02867
02868
02869
02870
02871 public javax.swing.JList getSessionsList() {
02872 if (ivjSessionsList == null) {
02873 try {
02874 ivjSessionsList = new javax.swing.JList();
02875 ivjSessionsList.setName("SessionsList");
02876 ivjSessionsList.setBackground(java.awt.Color.lightGray);
02877 ivjSessionsList.setBounds(0, 0, 160, 120);
02878 ivjSessionsList.setSelectionMode(javax.swing.ListSelectionModel.SINGLE_SELECTION);
02879
02880 class ListRenderer extends JLabel implements ListCellRenderer {
02881 public ListRenderer() {
02882 setOpaque(true);
02883
02884
02885 }
02886 public Component getListCellRendererComponent(JList list, Object value, int index, boolean isSelected, boolean cellHasFocus) {
02887 if (isSelected) {
02888 setBackground(list.getSelectionBackground());
02889 setForeground(list.getSelectionForeground());
02890 } else {
02891 setBackground(list.getBackground());
02892 setForeground(list.getForeground());
02893 }
02894 if (value == BUI.sessions.getActiveSession()) {
02895 setIcon(IconLibrary.arrow);
02896 } else {
02897 setIcon(IconLibrary.earrow);
02898 }
02899 setText(value.toString());
02900 return this;
02901 }
02902 }
02903 ivjSessionsList.setCellRenderer(new ListRenderer());
02904
02905 } catch (java.lang.Throwable ivjExc) {
02906
02907
02908 handleException(ivjExc);
02909 }
02910 }
02911 return ivjSessionsList;
02912 }
02913
02914
02915
02916
02917
02918 private javax.swing.JPanel getSessionsPanel() {
02919 if (ivjSessionsPanel == null) {
02920 try {
02921 ivjSessionsPanel = new javax.swing.JPanel();
02922 ivjSessionsPanel.setName("SessionsPanel");
02923 ivjSessionsPanel.setLayout(new java.awt.GridBagLayout());
02924 ivjSessionsPanel.setBackground(new java.awt.Color(204,204,255));
02925
02926 java.awt.GridBagConstraints constraintsSessionsLabel = new java.awt.GridBagConstraints();
02927 constraintsSessionsLabel.gridx = 0; constraintsSessionsLabel.gridy = 0;
02928 constraintsSessionsLabel.fill = java.awt.GridBagConstraints.BOTH;
02929 constraintsSessionsLabel.weightx = 1.0;
02930 constraintsSessionsLabel.insets = new java.awt.Insets(10, 10, 5, 10);
02931 getSessionsPanel().add(getSessionsLabel(), constraintsSessionsLabel);
02932
02933 java.awt.GridBagConstraints constraintsSessionsScrollPane = new java.awt.GridBagConstraints();
02934 constraintsSessionsScrollPane.gridx = 0; constraintsSessionsScrollPane.gridy = 1;
02935 constraintsSessionsScrollPane.gridheight = 6;
02936 constraintsSessionsScrollPane.fill = java.awt.GridBagConstraints.BOTH;
02937 constraintsSessionsScrollPane.weightx = 1.0;
02938 constraintsSessionsScrollPane.weighty = 1.0;
02939 constraintsSessionsScrollPane.insets = new java.awt.Insets(0, 10, 10, 10);
02940 getSessionsPanel().add(getSessionsScrollPane(), constraintsSessionsScrollPane);
02941
02942 java.awt.GridBagConstraints constraintsNewButton = new java.awt.GridBagConstraints();
02943 constraintsNewButton.gridx = 1; constraintsNewButton.gridy = 2;
02944 constraintsNewButton.fill = java.awt.GridBagConstraints.BOTH;
02945 constraintsNewButton.insets = new java.awt.Insets(0, 0, 10, 10);
02946 getSessionsPanel().add(getNewButton(), constraintsNewButton);
02947
02948 java.awt.GridBagConstraints constraintsRemoveButton = new java.awt.GridBagConstraints();
02949 constraintsRemoveButton.gridx = 1; constraintsRemoveButton.gridy = 3;
02950 constraintsRemoveButton.fill = java.awt.GridBagConstraints.BOTH;
02951 constraintsRemoveButton.insets = new java.awt.Insets(0, 0, 10, 10);
02952 getSessionsPanel().add(getRemoveButton(), constraintsRemoveButton);
02953
02954 java.awt.GridBagConstraints constraintsNameLabel = new java.awt.GridBagConstraints();
02955 constraintsNameLabel.gridx = 1; constraintsNameLabel.gridy = 5;
02956 constraintsNameLabel.fill = java.awt.GridBagConstraints.BOTH;
02957 constraintsNameLabel.insets = new java.awt.Insets(5, 0, 0, 10);
02958 getSessionsPanel().add(getNameLabel(), constraintsNameLabel);
02959
02960 java.awt.GridBagConstraints constraintsNameTextField = new java.awt.GridBagConstraints();
02961 constraintsNameTextField.gridx = 1; constraintsNameTextField.gridy = 6;
02962 constraintsNameTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
02963 constraintsNameTextField.anchor = java.awt.GridBagConstraints.NORTH;
02964 constraintsNameTextField.weightx = 0.1;
02965 constraintsNameTextField.insets = new java.awt.Insets(5, 0, 10, 10);
02966 getSessionsPanel().add(getNameTextField(), constraintsNameTextField);
02967
02968 java.awt.GridBagConstraints constraintsActivateButton = new java.awt.GridBagConstraints();
02969 constraintsActivateButton.gridx = 1; constraintsActivateButton.gridy = 1;
02970 constraintsActivateButton.fill = java.awt.GridBagConstraints.BOTH;
02971 constraintsActivateButton.insets = new java.awt.Insets(0, 0, 10, 10);
02972 getSessionsPanel().add(getActivateButton(), constraintsActivateButton);
02973
02974 java.awt.GridBagConstraints constraintsInfoButton = new java.awt.GridBagConstraints();
02975 constraintsInfoButton.gridx = 1; constraintsInfoButton.gridy = 4;
02976 constraintsInfoButton.fill = java.awt.GridBagConstraints.BOTH;
02977 constraintsInfoButton.insets = new java.awt.Insets(0, 0, 10, 10);
02978 getSessionsPanel().add(getInfoButton(), constraintsInfoButton);
02979
02980
02981 } catch (java.lang.Throwable ivjExc) {
02982
02983
02984 handleException(ivjExc);
02985 }
02986 }
02987 return ivjSessionsPanel;
02988 }
02989
02990
02991
02992
02993
02994 private javax.swing.JScrollPane getSessionsScrollPane() {
02995 if (ivjSessionsScrollPane == null) {
02996 try {
02997 ivjSessionsScrollPane = new javax.swing.JScrollPane();
02998 ivjSessionsScrollPane.setName("SessionsScrollPane");
02999 ivjSessionsScrollPane.setBorder(BorderFactory.createLoweredBevelBorder());
03000 getSessionsScrollPane().setViewportView(getSessionsList());
03001
03002
03003 } catch (java.lang.Throwable ivjExc) {
03004
03005
03006 handleException(ivjExc);
03007 }
03008 }
03009 return ivjSessionsScrollPane;
03010 }
03011
03012
03013
03014
03015
03016 private javax.swing.JCheckBox getSMVCheckBox() {
03017 if (ivjSMVCheckBox == null) {
03018 try {
03019 ivjSMVCheckBox = new javax.swing.JCheckBox();
03020 ivjSMVCheckBox.setName("SMVCheckBox");
03021 ivjSMVCheckBox.setOpaque(false);
03022 ivjSMVCheckBox.setText("SMV");
03023 ivjSMVCheckBox.setEnabled(false);
03024
03025
03026 } catch (java.lang.Throwable ivjExc) {
03027
03028
03029 handleException(ivjExc);
03030 }
03031 }
03032 return ivjSMVCheckBox;
03033 }
03034
03035
03036
03037
03038
03039 private javax.swing.JButton getSMVOptionButton() {
03040 if (ivjSMVOptionButton == null) {
03041 try {
03042 ivjSMVOptionButton = new javax.swing.JButton();
03043 ivjSMVOptionButton.setName("SMVOptionButton");
03044 ivjSMVOptionButton.setText("Options");
03045 ivjSMVOptionButton.setBackground(new java.awt.Color(204,204,255));
03046 ivjSMVOptionButton.setEnabled(false);
03047
03048
03049 } catch (java.lang.Throwable ivjExc) {
03050
03051
03052 handleException(ivjExc);
03053 }
03054 }
03055 return ivjSMVOptionButton;
03056 }
03057
03058
03059
03060
03061
03062 private javax.swing.JTextField getSMVTextField() {
03063 if (ivjSMVTextField == null) {
03064 try {
03065 ivjSMVTextField = new javax.swing.JTextField();
03066 ivjSMVTextField.setName("SMVTextField");
03067 ivjSMVTextField.setBorder(BorderFactory.createLoweredBevelBorder());
03068 ivjSMVTextField.setEditable(false);
03069 ivjSMVTextField.setEnabled(false);
03070
03071
03072 } catch (java.lang.Throwable ivjExc) {
03073
03074
03075 handleException(ivjExc);
03076 }
03077 }
03078 return ivjSMVTextField;
03079 }
03080
03081
03082
03083
03084
03085 private javax.swing.JLabel getSourceLabel() {
03086 if (ivjSourceLabel == null) {
03087 try {
03088 ivjSourceLabel = new javax.swing.JLabel();
03089 ivjSourceLabel.setName("SourceLabel");
03090 ivjSourceLabel.setDisplayedMnemonic('s');
03091 ivjSourceLabel.setText("Source:");
03092 ivjSourceLabel.setForeground(java.awt.Color.black);
03093
03094
03095 } catch (java.lang.Throwable ivjExc) {
03096
03097
03098 handleException(ivjExc);
03099 }
03100 }
03101 return ivjSourceLabel;
03102 }
03103
03104
03105
03106
03107
03108 private javax.swing.JTextField getSourceTextField() {
03109 if (ivjSourceTextField == null) {
03110 try {
03111 ivjSourceTextField = new javax.swing.JTextField();
03112 ivjSourceTextField.setName("SourceTextField");
03113 ivjSourceTextField.setBorder(BorderFactory.createLoweredBevelBorder());
03114 ivjSourceTextField.setFocusAccelerator('s');
03115 ivjSourceTextField.setEditable(false);
03116 ivjSourceTextField.setEnabled(true);
03117
03118
03119 } catch (java.lang.Throwable ivjExc) {
03120
03121
03122 handleException(ivjExc);
03123 }
03124 }
03125 return ivjSourceTextField;
03126 }
03127
03128
03129
03130
03131
03132 private javax.swing.JLabel getSpecificationLabel() {
03133 if (ivjSpecificationLabel == null) {
03134 try {
03135 ivjSpecificationLabel = new javax.swing.JLabel();
03136 ivjSpecificationLabel.setName("SpecificationLabel");
03137 ivjSpecificationLabel.setText("Specification File:");
03138 ivjSpecificationLabel.setForeground(java.awt.Color.black);
03139
03140
03141 } catch (java.lang.Throwable ivjExc) {
03142
03143
03144 handleException(ivjExc);
03145 }
03146 }
03147 return ivjSpecificationLabel;
03148 }
03149
03150
03151
03152
03153
03154 private javax.swing.JTextField getSpecificationTextField() {
03155 if (ivjSpecificationTextField == null) {
03156 try {
03157 ivjSpecificationTextField = new javax.swing.JTextField();
03158 ivjSpecificationTextField.setName("SpecificationTextField");
03159 ivjSpecificationTextField.setBorder(BorderFactory.createLoweredBevelBorder());
03160 ivjSpecificationTextField.setEditable(false);
03161
03162 ivjSpecificationTextField.setText("");
03163
03164 } catch (java.lang.Throwable ivjExc) {
03165
03166
03167 handleException(ivjExc);
03168 }
03169 }
03170 return ivjSpecificationTextField;
03171 }
03172
03173
03174
03175
03176
03177 private javax.swing.JCheckBox getSpinCheckBox() {
03178 if (ivjSpinCheckBox == null) {
03179 try {
03180 ivjSpinCheckBox = new javax.swing.JCheckBox();
03181 ivjSpinCheckBox.setName("SpinCheckBox");
03182 ivjSpinCheckBox.setOpaque(false);
03183 ivjSpinCheckBox.setText("Spin");
03184 ivjSpinCheckBox.setEnabled(false);
03185
03186 ivjSpinCheckBox.setEnabled(false);
03187
03188 } catch (java.lang.Throwable ivjExc) {
03189
03190
03191 handleException(ivjExc);
03192 }
03193 }
03194 return ivjSpinCheckBox;
03195 }
03196
03197
03198
03199
03200
03201 private javax.swing.JButton getSpinOptionButton() {
03202 if (ivjSpinOptionButton == null) {
03203 try {
03204 ivjSpinOptionButton = new javax.swing.JButton();
03205 ivjSpinOptionButton.setName("SpinOptionButton");
03206 ivjSpinOptionButton.setText("Options");
03207 ivjSpinOptionButton.setBackground(new java.awt.Color(204,204,255));
03208 ivjSpinOptionButton.setEnabled(false);
03209
03210
03211 } catch (java.lang.Throwable ivjExc) {
03212
03213
03214 handleException(ivjExc);
03215 }
03216 }
03217 return ivjSpinOptionButton;
03218 }
03219
03220
03221
03222
03223
03224 private javax.swing.JTextField getSpinTextField() {
03225 if (ivjSpinTextField == null) {
03226 try {
03227 ivjSpinTextField = new javax.swing.JTextField();
03228 ivjSpinTextField.setName("SpinTextField");
03229 ivjSpinTextField.setBorder(BorderFactory.createLoweredBevelBorder());
03230 ivjSpinTextField.setEditable(false);
03231
03232
03233 } catch (java.lang.Throwable ivjExc) {
03234
03235
03236 handleException(ivjExc);
03237 }
03238 }
03239 return ivjSpinTextField;
03240 }
03241
03242
03243
03244
03245
03246 private javax.swing.JLabel getTemporalLabel() {
03247 if (ivjTemporalLabel == null) {
03248 try {
03249 ivjTemporalLabel = new javax.swing.JLabel();
03250 ivjTemporalLabel.setName("TemporalLabel");
03251 ivjTemporalLabel.setText("Temporal Property Specification:");
03252 ivjTemporalLabel.setForeground(java.awt.Color.black);
03253
03254
03255 } catch (java.lang.Throwable ivjExc) {
03256
03257
03258 handleException(ivjExc);
03259 }
03260 }
03261 return ivjTemporalLabel;
03262 }
03263
03264
03265
03266
03267
03268 private javax.swing.JTextField getTemporalTextField() {
03269 if (ivjTemporalTextField == null) {
03270 try {
03271 ivjTemporalTextField = new javax.swing.JTextField();
03272 ivjTemporalTextField.setName("TemporalTextField");
03273 ivjTemporalTextField.setBorder(BorderFactory.createLoweredBevelBorder());
03274 ivjTemporalTextField.setEditable(false);
03275
03276
03277 } catch (java.lang.Throwable ivjExc) {
03278
03279
03280 handleException(ivjExc);
03281 }
03282 }
03283 return ivjTemporalTextField;
03284 }
03285
03286
03287
03288
03289
03290 private javax.swing.JLabel getWorkingDirectoryLabel() {
03291 if (ivjWorkingDirectoryLabel == null) {
03292 try {
03293 ivjWorkingDirectoryLabel = new javax.swing.JLabel();
03294 ivjWorkingDirectoryLabel.setName("WorkingDirectoryLabel");
03295 ivjWorkingDirectoryLabel.setDisplayedMnemonic('d');
03296 ivjWorkingDirectoryLabel.setText("Working Directory:");
03297 ivjWorkingDirectoryLabel.setForeground(java.awt.Color.black);
03298
03299
03300 } catch (java.lang.Throwable ivjExc) {
03301
03302
03303 handleException(ivjExc);
03304 }
03305 }
03306 return ivjWorkingDirectoryLabel;
03307 }
03308
03309
03310
03311
03312
03313 private javax.swing.JTextField getWorkingDirectoryTextField() {
03314 if (ivjWorkingDirectoryTextField == null) {
03315 try {
03316 ivjWorkingDirectoryTextField = new javax.swing.JTextField();
03317 ivjWorkingDirectoryTextField.setName("WorkingDirectoryTextField");
03318 ivjWorkingDirectoryTextField.setBorder(BorderFactory.createLoweredBevelBorder());
03319 ivjWorkingDirectoryTextField.setEditable(false);
03320
03321
03322 } catch (java.lang.Throwable ivjExc) {
03323
03324
03325 handleException(ivjExc);
03326 }
03327 }
03328 return ivjWorkingDirectoryTextField;
03329 }
03330
03331
03332
03333
03334 private void handleException(java.lang.Throwable exception) {
03335
03336
03337
03338
03339 }
03340
03341
03342
03343 public void infoButton_ActionEvents() {
03344 Session session = (Session) getSessionsList().getSelectedValue();
03345 info.setVisible(true);
03346 updateInfo(session);
03347 }
03348
03349
03350
03351
03352
03353 private void initConnections() throws java.lang.Exception {
03354
03355
03356 getEditSourceButton().addActionListener(ivjEventHandler);
03357 getNewButton().addActionListener(ivjEventHandler);
03358 getSessionsList().addListSelectionListener(ivjEventHandler);
03359 getNameTextField().addKeyListener(ivjEventHandler);
03360 getRemoveButton().addActionListener(ivjEventHandler);
03361 getActivateButton().addActionListener(ivjEventHandler);
03362 getEditClasspathButton().addActionListener(ivjEventHandler);
03363 getEditIncludedButton().addActionListener(ivjEventHandler);
03364 getInfoButton().addActionListener(ivjEventHandler);
03365 getNameTextField().addFocusListener(ivjEventHandler);
03366 getOutputNameTextField().addKeyListener(ivjEventHandler);
03367 getDescriptionTextArea().addKeyListener(ivjEventHandler);
03368 getEditWorkingDirectoryButton().addActionListener(ivjEventHandler);
03369 getOkButton().addActionListener(ivjEventHandler);
03370 getEditSpecificationButton().addActionListener(ivjEventHandler);
03371 getEditTemporalButton().addActionListener(ivjEventHandler);
03372 getEditAssertionButton().addActionListener(ivjEventHandler);
03373 getEditAbstractionButton().addActionListener(ivjEventHandler);
03374 getSpinOptionButton().addActionListener(ivjEventHandler);
03375 getDSpinOptionButton().addActionListener(ivjEventHandler);
03376 getSMVOptionButton().addActionListener(ivjEventHandler);
03377 getSpinCheckBox().addActionListener(ivjEventHandler);
03378 getDSpinCheckBox().addActionListener(ivjEventHandler);
03379 getJPFCheckBox().addActionListener(ivjEventHandler);
03380 getJPFOptionButton().addActionListener(ivjEventHandler);
03381 getSMVCheckBox().addActionListener(ivjEventHandler);
03382 }
03383
03384
03385
03386
03387 private void initialize() {
03388 try {
03389
03390
03391 setName("SessionWizard");
03392 setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE);
03393 setSize(520, 351);
03394 setTitle("Session Manager");
03395 setContentPane(getSessionManagerContentPane());
03396 initConnections();
03397 } catch (java.lang.Throwable ivjExc) {
03398 handleException(ivjExc);
03399 }
03400
03401 classpathManager = new ClasspathManager();
03402 includedManager = new IncludedManager();
03403 info = new SessionInfo();
03404 getMinTextField().setText(String.valueOf(edu.ksu.cis.bandera.util.DefaultValues.birMinIntRange));
03405 getMaxTextField().setText(String.valueOf(edu.ksu.cis.bandera.util.DefaultValues.birMaxIntRange));
03406 getArrayLengthTextField().setText(String.valueOf(edu.ksu.cis.bandera.util.DefaultValues.birMaxArrayLen));
03407 getInstancesTextField().setText(String.valueOf(edu.ksu.cis.bandera.util.DefaultValues.birMaxInstances));
03408 updateEnabled();
03409
03410 }
03411
03412
03413
03414 public void jPFCheckBox_ActionEvents() {
03415 getJPFOptionButton().setEnabled(getJPFCheckBox().isSelected());
03416 BUI.sessions.getActiveSession().setUseJPF(getJPFCheckBox().isSelected());
03417 }
03418
03419
03420
03421 public void jPFOptionButton_ActionEvents() {
03422 BUI.jpfOption.setVisible(true);
03423 }
03424
03425
03426
03427
03428 public static void main(java.lang.String[] args) {
03429 try {
03430 SessionManager aSessionManager;
03431 aSessionManager = new SessionManager();
03432 aSessionManager.addWindowListener(new java.awt.event.WindowAdapter() {
03433 public void windowClosing(java.awt.event.WindowEvent e) {
03434 System.exit(0);
03435 };
03436 });
03437 aSessionManager.setVisible(true);
03438 } catch (Throwable exception) {
03439 System.err.println("Exception occurred in main() of javax.swing.JFrame");
03440 exception.printStackTrace(System.out);
03441 }
03442 }
03443
03444
03445
03446 public void nameTextField_FocusLost() {
03447 String s = getNameTextField().getText().trim();
03448 if (!inNameFocusLost && !Util.isValidId(s) && (getSessionsList().getSelectedValue() != null)) {
03449 inNameFocusLost = true;
03450 do {
03451 s = JOptionPane.showInputDialog("Please input a valid session name");
03452 } while ((s == null) || !Util.isValidId(s));
03453 getNameTextField().setText(s);
03454 Session session = (Session) getSessionsList().getSelectedValue();
03455 session.setName(getNameTextField().getText().trim());
03456 getSessionsList().repaint();
03457 BUI.sessions.setSaved(false);
03458 updateInfo(session);
03459 inNameFocusLost = false;
03460 }
03461 }
03462
03463
03464
03465 public void nameTextField_KeyEvents() {
03466 Session session = (Session) getSessionsList().getSelectedValue();
03467 if (session != null) {
03468 session.setName(getNameTextField().getText().trim());
03469 getSessionsList().repaint();
03470 BUI.sessions.setSaved(false);
03471 updateInfo(session);
03472 }
03473 }
03474
03475
03476
03477 public void newButton_ActionEvents() {
03478 String prefix = "Untitled";
03479 Session session = null;
03480 for (int i = 1; i <= 32000; i++) {
03481 String name = prefix + i;
03482 if (BUI.sessions.getSession(name) == null) {
03483 session = new Session(name);
03484 BUI.sessions.putSession(session);
03485 break;
03486 }
03487 }
03488 getSessionsList().setValueIsAdjusting(true);
03489 getSessionsList().setListData(BUI.sessions.getSessions());
03490 getSessionsList().setValueIsAdjusting(false);
03491 getSessionsList().setSelectedValue(session, true);
03492 getNameTextField().setText(session.getName());
03493 getSessionsScrollPane().validate();
03494 getSessionsScrollPane().repaint();
03495 getNameTextField().validate();
03496 getNameTextField().repaint();
03497 BUI.sessions.setSaved(false);
03498 updateInfo(session);
03499 getActivateButton().setEnabled(true);
03500 getNameTextField().setEditable(true);
03501 getRemoveButton().setEnabled(true);
03502 }
03503
03504
03505
03506 public void okButton_ActionEvents() {
03507 if (!updateBirBounds(BUI.sessions.getActiveSession())) return;
03508
03509 info.setVisible(false);
03510 setVisible(false);
03511 BUI.bui.requestFocus();
03512 }
03513
03514
03515
03516 public void outputNameTextField_KeyEvents() {
03517 Session session = BUI.sessions.getActiveSession();
03518 if (session != null) {
03519 session.setOutputName(getOutputNameTextField().getText().trim());
03520 BUI.sessions.setSaved(false);
03521 updateInfo(session);
03522 }
03523 }
03524
03525
03526
03527 public void removeButton_ActionEvents() {
03528 Session session = (Session) getSessionsList().getSelectedValue();
03529 BUI.sessions.removeSession(session);
03530 getSessionsList().setValueIsAdjusting(true);
03531 getSessionsList().setListData(BUI.sessions.getSessions());
03532 getSessionsList().setValueIsAdjusting(false);
03533 getSessionsScrollPane().validate();
03534 getSessionsScrollPane().repaint();
03535 getNameTextField().setText("");
03536
03537 if (BUI.sessions.getActiveSession() == session) {
03538 BUI.sessions.setActiveSession(null);
03539 getSourceTextField().setText("");
03540 getClasspathTextField().setText("");
03541 getIncludedList().setValueIsAdjusting(true);
03542 getIncludedList().setListData(new Vector());
03543 getIncludedList().setValueIsAdjusting(false);
03544 getIncludedScrollPane().validate();
03545 }
03546 BUI.sessions.setSaved(false);
03547 updateInfo(null);
03548 updateEnabled();
03549 getNameTextField().setEditable(false);
03550 getActivateButton().setEnabled(false);
03551 getRemoveButton().setEnabled(false);
03552 }
03553
03554
03555
03556 public void sessionsList_ListSelectionEvents() {
03557 Session session = (Session) getSessionsList().getSelectedValue();
03558 getNameTextField().setText(session.getName());
03559 getNameTextField().setEditable(session == BUI.sessions.getActiveSession());
03560 getRemoveButton().setEnabled(true);
03561 getActivateButton().setEnabled(true);
03562 updateInfo(session);
03563 }
03564 public void setVisible(boolean x)
03565 {
03566 if (x) pack();
03567 super.setVisible(x);
03568 }
03569
03570
03571
03572 public void sMVCheckBox_ActionEvents() {
03573 BUI.sessions.getActiveSession().setUseSMV(getSMVCheckBox().isSelected());
03574 }
03575
03576
03577
03578 public void sMVOptionButton_ActionEvents() {
03579 return;
03580 }
03581
03582
03583
03584 public void spinCheckBox_ActionEvents() {
03585 getSpinOptionButton().setEnabled(getSpinCheckBox().isSelected());
03586 BUI.sessions.getActiveSession().setUseSPIN(getSpinCheckBox().isSelected());
03587 if (getSpinCheckBox().isSelected()) {
03588 SpinOption.spinOptions = new SpinOptions();
03589 Session s = BUI.sessions.getActiveSession();
03590 StringTokenizer t = new StringTokenizer(s.getSpinOptions(), "+");
03591 BUI.spinOption.parseCompileOptions(t.nextToken());
03592 BUI.spinOption.parsepaneOptions(t.nextToken());
03593 }
03594 }
03595
03596
03597
03598 public void spinOptionButton_ActionEvents() {
03599 BUI.bui.spinOption.setVisible(true);
03600 }
03601 private boolean updateBirBounds(Session ses)
03602 {
03603 int min, max, arlen, colen;
03604 if (ses != null)
03605 {
03606 try {
03607 min = Integer.parseInt(getMinTextField().getText());
03608 max = Integer.parseInt(getMaxTextField().getText());
03609 if (min > max) throw new Exception("Illegal integer value, you should input minimum range less than maximum.");
03610 } catch (Exception e){
03611 getMinTextField().setText(String.valueOf(edu.ksu.cis.bandera.util.DefaultValues.birMinIntRange));
03612 getMaxTextField().setText(String.valueOf(edu.ksu.cis.bandera.util.DefaultValues.birMaxIntRange));
03613 JOptionPane.showMessageDialog(this, e.getMessage(), "Information", JOptionPane.INFORMATION_MESSAGE);
03614 return false;
03615 }
03616 try {
03617 arlen = Integer.parseInt(getArrayLengthTextField().getText().trim());
03618 } catch (Exception e){
03619 getArrayLengthTextField().setText(String.valueOf(edu.ksu.cis.bandera.util.DefaultValues.birMaxArrayLen));
03620 JOptionPane.showMessageDialog(this, "Illegal max array length value", "Information", JOptionPane.INFORMATION_MESSAGE);
03621 return false;
03622 }
03623 try {
03624 colen = Integer.parseInt(getInstancesTextField().getText().trim());
03625 } catch (Exception e){
03626 getInstancesTextField().setText(String.valueOf(edu.ksu.cis.bandera.util.DefaultValues.birMaxInstances));
03627 JOptionPane.showMessageDialog(this, "Illegal collection size value", "Information", JOptionPane.INFORMATION_MESSAGE);
03628 return false;
03629 }
03630
03631 ses.setBirMinIntRange(min);
03632 ses.setBirMaxIntRange(max);
03633 ses.setBirMaxArrayLen(arlen);
03634 ses.setBirMaxInstances(colen);
03635 }
03636 return true;
03637 }
03638
03639
03640
03641 private void updateEnabled() {
03642 Session ses = BUI.sessions.getActiveSession();
03643 if (ses == null) {
03644 getNameTextField().setEditable(false);
03645 getEditSourceButton().setEnabled(false);
03646 getEditClasspathButton().setEnabled(false);
03647 getEditIncludedButton().setEnabled(false);
03648 getOutputNameTextField().setEditable(false);
03649 getEditWorkingDirectoryButton().setEnabled(false);
03650 getDescriptionTextArea().setEditable(false);
03651 getDescriptionTextArea().setBackground(bg);
03652 getEditSpecificationButton().setEnabled(false);
03653 getEditTemporalButton().setEnabled(false);
03654 getEditAssertionButton().setEnabled(false);
03655 getSpinCheckBox().setEnabled(false);
03656 getJPFCheckBox().setEnabled(false);
03657 getSMVCheckBox().setEnabled(false);
03658 getDSpinCheckBox().setEnabled(false);
03659 getMinTextField().setEditable(false);
03660 getMaxTextField().setEditable(false);
03661 getArrayLengthTextField().setEditable(false);
03662 getInstancesTextField().setEditable(false);
03663 } else {
03664 getNameTextField().setEditable(true);
03665 getEditSourceButton().setEnabled(true);
03666 getEditClasspathButton().setEnabled(true);
03667 getEditIncludedButton().setEnabled(true);
03668 getOutputNameTextField().setEditable(true);
03669 getEditWorkingDirectoryButton().setEnabled(true);
03670 getDescriptionTextArea().setEditable(true);
03671 getDescriptionTextArea().setBackground(Color.white);
03672 getEditSpecificationButton().setEnabled(true);
03673 getEditTemporalButton().setEnabled(true);
03674 getEditAssertionButton().setEnabled(true);
03675 getSpinCheckBox().setEnabled(true);
03676 getJPFCheckBox().setEnabled(true);
03677 getSMVCheckBox().setEnabled(true);
03678 getDSpinCheckBox().setEnabled(true);
03679 getMinTextField().setEditable(true);
03680 getMaxTextField().setEditable(true);
03681 getArrayLengthTextField().setEditable(true);
03682 getInstancesTextField().setEditable(true);
03683 getMinTextField().setText(String.valueOf(ses.getBirMinIntRange()));
03684 getMaxTextField().setText(String.valueOf(ses.getBirMaxIntRange()));
03685 getArrayLengthTextField().setText(String.valueOf(ses.getBirMaxArrayLen()));
03686 getInstancesTextField().setText(String.valueOf(ses.getBirMaxInstances()));
03687 }
03688 }
03689
03690
03691
03692
03693 void updateInfo(Session session) {
03694 if (session != null) {
03695 info.getInfoTextArea().setText(session.getInfo());
03696 } else {
03697 info.getInfoTextArea().setText("");
03698 }
03699 info.getInfoScrollPane().validate();
03700 info.getInfoScrollPane().repaint();
03701 }
03702
03703
03704
03705 public void updateProperty() {
03706 Property property = BUI.property;
03707 String t = "";
03708 try {
03709 t = property.getActivatedTemporalLogicProperty().getName();
03710 getTemporalTextField().setText(t);
03711 BUI.sessions.getActiveSession().setActiveTemporal(t);
03712 } catch (Exception e) {
03713 getTemporalTextField().setText("");
03714 }
03715 t = "";
03716 BUI.sessions.getActiveSession().getActiveAssertions().clear();
03717 for (Iterator i = property.getActivatedAssertionProperties().iterator(); i.hasNext();) {
03718 String s = ((AssertionProperty) i.next()).getName();
03719 t += (s + ", ");
03720 BUI.sessions.getActiveSession().addActiveAssertion(s);
03721 }
03722 getAssertionTextField().setText(t.length() > 0 ? t.substring(0, t.length() - 2) : "");
03723
03724 t = BUI.sessions.getActiveSession().getSpecFilename();
03725 getSpecificationTextField().setText(t == null ? "" : t);
03726 t = BUI.sessions.getActiveSession().getAbsFilename();
03727 getAbstractionTextField().setText(t == null ? "" : t);
03728 }
03729
03730
03731
03732 public void updateSessionManager() {
03733 getSessionsList().setValueIsAdjusting(true);
03734 getSessionsList().setListData(BUI.sessions.getSessions());
03735 getSessionsList().setValueIsAdjusting(false);
03736 getSessionsScrollPane().validate();
03737 getSessionsScrollPane().repaint();
03738 getNameTextField().setText("");
03739 }
03740 }
