00001 package edu.ksu.cis.bandera.bui;
00002
00003 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
00004 * Bandera, a Java(TM) analysis and transformation toolkit *
00005 * Copyright (C) 2000 Robby (robby@cis.ksu.edu) *
00006 * All rights reserved. *
00007 * *
00008 * This work was done as a project in the SAnToS Laboratory, *
00009 * Department of Computing and Information Sciences, Kansas State *
00010 * University, USA (http://www.cis.ksu.edu/santos). *
00011 * It is understood that any modification not identified as such is *
00012 * not covered by the preceding statement. *
00013 * *
00014 * This work is free software; you can redistribute it and/or *
00015 * modify it under the terms of the GNU Library General Public *
00016 * License as published by the Free Software Foundation; either *
00017 * version 2 of the License, or (at your option) any later version. *
00018 * *
00019 * This work is distributed in the hope that it will be useful, *
00020 * but WITHOUT ANY WARRANTY; without even the implied warranty of *
00021 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *
00022 * Library General Public License for more details. *
00023 * *
00024 * You should have received a copy of the GNU Library General Public *
00025 * License along with this toolkit; if not, write to the *
00026 * Free Software Foundation, Inc., 59 Temple Place - Suite 330, *
00027 * Boston, MA 02111-1307, USA. *
00028 * *
00029 * Java is a trademark of Sun Microsystems, Inc. *
00030 * *
00031 * To submit a bug report, send a comment, or get the latest news on *
00032 * this project and other SAnToS projects, please visit the web-site *
00033 * http://www.cis.ksu.edu/santos *
00034 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
00035 import java.util.*;
00036 import java.awt.*;
00037 import javax.swing.*;
00038 import edu.ksu.cis.bandera.spin.*;
00039 public class SpinOption extends JDialog implements java.awt.event.ActionListener, java.awt.event.FocusListener {
00040 private JPanel ivjBottomPanel = null;
00041 private JPanel ivjCorrectnessPanel = null;
00042 private JPanel ivjJDialogContentPane = null;
00043 private JLabel ivjJLabel2 = null;
00044 private JLabel ivjJLabel3 = null;
00045 private JPanel ivjLabelPanel = null;
00046 private JPanel ivjModePanel = null;
00047 private JButton ivjOkbutton = null;
00048 private JPanel ivjRunPanel = null;
00049 private JPanel ivjTrapPanel = null;
00050 private JLabel ivjJLabel1 = null;
00051 private JLabel ivjJLabel4 = null;
00052 public static edu.ksu.cis.bandera.spin.SpinOptions spinOptions = new SpinOptions();
00053 private JCheckBox ivjAssertionsCheckBox = null;
00054 private JCheckBox ivjCompressionCheckBox = null;
00055 private JTextField ivjErrorsTextField = null;
00056 private JRadioButton ivjExhaustiveRadioButton = null;
00057 private JRadioButton ivjHashCompactRadioButton = null;
00058 private JRadioButton ivjLivenessRadioButton = null;
00059 private JCheckBox ivjNeverClaimCheckBox = null;
00060 private JCheckBox ivjPartialOrderCheckBox = null;
00061 private JRadioButton ivjSaftyRadioButton = null;
00062 private JCheckBox ivjShortestCheckBox = null;
00063 private JRadioButton ivjSupertraceRadioButton = null;
00064 IvjEventHandler ivjEventHandler = new IvjEventHandler();
00065 private JCheckBox ivjSaveTrailCheckBox = null;
00066 private JTextField ivjPhysicalTextField = null;
00067 private JTextField ivjDepthTextField = null;
00068 private JTextField ivjStateTextField = null;
00069 private JPanel ivjFillerPanel1 = null;
00070 private JPanel ivjFillerPanel2 = null;
00071 private JPanel ivjFillerPanel3 = null;
00072 private JPanel ivjFillerPanel4 = null;
00073 private JCheckBox ivjResourceBoundedCheckBox = null;
00074
00075 class IvjEventHandler implements java.awt.event.ActionListener, java.awt.event.FocusListener {
00076 public void actionPerformed(java.awt.event.ActionEvent e) {
00077 if (e.getSource() == SpinOption.this.getNeverClaimCheckBox())
00078 connEtoC1(e);
00079 if (e.getSource() == SpinOption.this.getLivenessRadioButton())
00080 connEtoC2(e);
00081 if (e.getSource() == SpinOption.this.getSaftyRadioButton())
00082 connEtoC3(e);
00083 if (e.getSource() == SpinOption.this.getExhaustiveRadioButton())
00084 connEtoC4(e);
00085 if (e.getSource() == SpinOption.this.getSupertraceRadioButton())
00086 connEtoC5(e);
00087 if (e.getSource() == SpinOption.this.getHashCompactRadioButton())
00088 connEtoC6(e);
00089 if (e.getSource() == SpinOption.this.getOkbutton())
00090 connEtoC7(e);
00091 if (e.getSource() == SpinOption.this.getSaveTrailCheckBox())
00092 connEtoC8(e);
00093 if (e.getSource() == SpinOption.this.getShortestCheckBox())
00094 connEtoC9(e);
00095 if (e.getSource() == SpinOption.this.getPartialOrderCheckBox())
00096 connEtoC10(e);
00097 if (e.getSource() == SpinOption.this.getCompressionCheckBox())
00098 connEtoC11(e);
00099 if (e.getSource() == SpinOption.this.getAssertionsCheckBox())
00100 connEtoC16();
00101 if (e.getSource() == SpinOption.this.getResourceBoundedCheckBox())
00102 connEtoC17(e);
00103 };
00104 public void focusGained(java.awt.event.FocusEvent e) {};
00105 public void focusLost(java.awt.event.FocusEvent e) {
00106 if (e.getSource() == SpinOption.this.getPhysicalTextField())
00107 connEtoC12(e);
00108 if (e.getSource() == SpinOption.this.getStateTextField())
00109 connEtoC13(e);
00110 if (e.getSource() == SpinOption.this.getDepthTextField())
00111 connEtoC14(e);
00112 if (e.getSource() == SpinOption.this.getErrorsTextField())
00113 connEtoC15(e);
00114 };
00115 };
00116 /* SpinOption.spinOptions.setApplyNeverClaim(false);
00117 SpinOption.spinOptions.setAcceptanceCycles(false);
00118 SpinOption.spinOptions.setSafety(true);*/
00119 /**
00120 * SpinOptionDlg constructor comment.
00121 */
00122 public SpinOption() {
00123 super();
00124 initialize();
00125 }
00126 /**
00127 * SpinOptionDlg constructor comment.
00128 * @param owner java.awt.Dialog
00129 */
00130 public SpinOption(java.awt.Dialog owner) {
00131 super(owner);
00132 }
00133 /**
00134 * SpinOptionDlg constructor comment.
00135 * @param owner java.awt.Dialog
00136 * @param title java.lang.String
00137 */
00138 public SpinOption(java.awt.Dialog owner, String title) {
00139 super(owner, title);
00140 }
00141 /**
00142 * SpinOptionDlg constructor comment.
00143 * @param owner java.awt.Dialog
00144 * @param title java.lang.String
00145 * @param modal boolean
00146 */
00147 public SpinOption(java.awt.Dialog owner, String title, boolean modal) {
00148 super(owner, title, modal);
00149 }
00150 /**
00151 * SpinOptionDlg constructor comment.
00152 * @param owner java.awt.Dialog
00153 * @param modal boolean
00154 */
00155 public SpinOption(java.awt.Dialog owner, boolean modal) {
00156 super(owner, modal);
00157 }
00158 /**
00159 * SpinOptionDlg constructor comment.
00160 * @param owner java.awt.Frame
00161 */
00162 public SpinOption(java.awt.Frame owner) {
00163 super(owner);
00164 }
00165 /**
00166 * SpinOptionDlg constructor comment.
00167 * @param owner java.awt.Frame
00168 * @param title java.lang.String
00169 */
00170 public SpinOption(java.awt.Frame owner, String title) {
00171 super(owner, title);
00172 }
00173 /**
00174 * SpinOptionDlg constructor comment.
00175 * @param owner java.awt.Frame
00176 * @param title java.lang.String
00177 * @param modal boolean
00178 */
00179 public SpinOption(java.awt.Frame owner, String title, boolean modal) {
00180 super(owner, title, modal);
00181 }
00182 /**
00183 * SpinOptionDlg constructor comment.
00184 * @param owner java.awt.Frame
00185 * @param modal boolean
00186 */
00187 public SpinOption(java.awt.Frame owner, boolean modal) {
00188 super(owner, modal);
00189 }
00190 /**
00191 * actionPerformed method comment.
00192 */
00193 public void actionPerformed(java.awt.event.ActionEvent e) {}
00194 /**
00195 * Comment
00196 */
00197 public void assertionsCheckBox_ActionEvents() {
00198 getAssertionsCheckBox().setSelected(true);
00199 //spinOptions.setAssertions(getAssertionsCheckBox().isSelected());
00200 }
00201 /**
00202 * Comment
00203 */
00204 public void compressionCheckBox_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
00205 spinOptions.setCompression(getCompressionCheckBox().isSelected());
00206 //return;
00207 }
00208 /**
00209 * connEtoC1: (NeverClaimCheckBox.action.actionPerformed(java.awt.event.ActionEvent) --> SpinOptionDlg.neverClaimCheckBox_ActionPerformed(Ljava.awt.event.ActionEvent;)V)
00210 * @param arg1 java.awt.event.ActionEvent
00211 */
00212 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00213 private void connEtoC1(java.awt.event.ActionEvent arg1) {
00214 try {
00215 // user code begin {1}
00216 // user code end
00217 this.neverClaimCheckBox_ActionPerformed(arg1);
00218 // user code begin {2}
00219 // user code end
00220 } catch (java.lang.Throwable ivjExc) {
00221 // user code begin {3}
00222 // user code end
00223 handleException(ivjExc);
00224 }
00225 }
00226 /**
00227 * connEtoC10: (PartialOrderCheckBox.action.actionPerformed(java.awt.event.ActionEvent) --> SpinOptionDlg.partialOrderCheckBox_ActionPerformed(Ljava.awt.event.ActionEvent;)V)
00228 * @param arg1 java.awt.event.ActionEvent
00229 */
00230 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00231 private void connEtoC10(java.awt.event.ActionEvent arg1) {
00232 try {
00233 // user code begin {1}
00234 // user code end
00235 this.partialOrderCheckBox_ActionPerformed(arg1);
00236 // user code begin {2}
00237 // user code end
00238 } catch (java.lang.Throwable ivjExc) {
00239 // user code begin {3}
00240 // user code end
00241 handleException(ivjExc);
00242 }
00243 }
00244 /**
00245 * connEtoC11: (CompressionCheckBox.action.actionPerformed(java.awt.event.ActionEvent) --> SpinOptionDlg.compressionCheckBox_ActionPerformed(Ljava.awt.event.ActionEvent;)V)
00246 * @param arg1 java.awt.event.ActionEvent
00247 */
00248 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00249 private void connEtoC11(java.awt.event.ActionEvent arg1) {
00250 try {
00251 // user code begin {1}
00252 // user code end
00253 this.compressionCheckBox_ActionPerformed(arg1);
00254 // user code begin {2}
00255 // user code end
00256 } catch (java.lang.Throwable ivjExc) {
00257 // user code begin {3}
00258 // user code end
00259 handleException(ivjExc);
00260 }
00261 }
00262 /**
00263 * connEtoC12: (PhysicalFieldMemory.focus.focusLost(java.awt.event.FocusEvent) --> SpinOptionDlg.jTextFieldMemory_FocusLost(Ljava.awt.event.FocusEvent;)V)
00264 * @param arg1 java.awt.event.FocusEvent
00265 */
00266 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00267 private void connEtoC12(java.awt.event.FocusEvent arg1) {
00268 try {
00269 // user code begin {1}
00270 // user code end
00271 this.physicalTextField_FocusLost(arg1);
00272 // user code begin {2}
00273 // user code end
00274 } catch (java.lang.Throwable ivjExc) {
00275 // user code begin {3}
00276 // user code end
00277 handleException(ivjExc);
00278 }
00279 }
00280 /**
00281 * connEtoC13: (StateTextField.focus.focusLost(java.awt.event.FocusEvent) --> SpinOptionDlg.stateTextField_FocusLost(Ljava.awt.event.FocusEvent;)V)
00282 * @param arg1 java.awt.event.FocusEvent
00283 */
00284 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00285 private void connEtoC13(java.awt.event.FocusEvent arg1) {
00286 try {
00287 // user code begin {1}
00288 // user code end
00289 this.stateTextField_FocusLost(arg1);
00290 // user code begin {2}
00291 // user code end
00292 } catch (java.lang.Throwable ivjExc) {
00293 // user code begin {3}
00294 // user code end
00295 handleException(ivjExc);
00296 }
00297 }
00298 /**
00299 * connEtoC14: (DepthTextField.focus.focusLost(java.awt.event.FocusEvent) --> SpinOptionDlg.depthTextField_FocusLost(Ljava.awt.event.FocusEvent;)V)
00300 * @param arg1 java.awt.event.FocusEvent
00301 */
00302 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00303 private void connEtoC14(java.awt.event.FocusEvent arg1) {
00304 try {
00305 // user code begin {1}
00306 // user code end
00307 this.depthTextField_FocusLost(arg1);
00308 // user code begin {2}
00309 // user code end
00310 } catch (java.lang.Throwable ivjExc) {
00311 // user code begin {3}
00312 // user code end
00313 handleException(ivjExc);
00314 }
00315 }
00316 /**
00317 * connEtoC15: (ErrorsTextField.focus.focusLost(java.awt.event.FocusEvent) --> SpinOptionDlg.errorsTextField_FocusLost(Ljava.awt.event.FocusEvent;)V)
00318 * @param arg1 java.awt.event.FocusEvent
00319 */
00320 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00321 private void connEtoC15(java.awt.event.FocusEvent arg1) {
00322 try {
00323 // user code begin {1}
00324 // user code end
00325 this.errorsTextField_FocusLost(arg1);
00326 // user code begin {2}
00327 // user code end
00328 } catch (java.lang.Throwable ivjExc) {
00329 // user code begin {3}
00330 // user code end
00331 handleException(ivjExc);
00332 }
00333 }
00334 /**
00335 * connEtoC16: (AssertionsCheckBox.action. --> SpinOption.assertionsCheckBox_ActionEvents()V)
00336 */
00337 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00338 private void connEtoC16() {
00339 try {
00340 // user code begin {1}
00341 // user code end
00342 this.assertionsCheckBox_ActionEvents();
00343 // user code begin {2}
00344 // user code end
00345 } catch (java.lang.Throwable ivjExc) {
00346 // user code begin {3}
00347 // user code end
00348 handleException(ivjExc);
00349 }
00350 }
00351 /**
00352 * connEtoC17: (ResourceBoundedCheckBox.action.actionPerformed(java.awt.event.ActionEvent) --> SpinOption.resourceBoundedCheckBox_ActionPerformed()V)
00353 * @param arg1 java.awt.event.ActionEvent
00354 */
00355 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00356 private void connEtoC17(java.awt.event.ActionEvent arg1) {
00357 try {
00358 // user code begin {1}
00359 // user code end
00360 this.resourceBoundedCheckBox_ActionPerformed();
00361 // user code begin {2}
00362 // user code end
00363 } catch (java.lang.Throwable ivjExc) {
00364 // user code begin {3}
00365 // user code end
00366 handleException(ivjExc);
00367 }
00368 }
00369 /**
00370 * connEtoC2: (LivenessRadioButton.action.actionPerformed(java.awt.event.ActionEvent) --> SpinOptionDlg.livenessRadioButton_ActionPerformed(Ljava.awt.event.ActionEvent;)V)
00371 * @param arg1 java.awt.event.ActionEvent
00372 */
00373 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00374 private void connEtoC2(java.awt.event.ActionEvent arg1) {
00375 try {
00376 // user code begin {1}
00377 // user code end
00378 this.livenessRadioButton_ActionPerformed(arg1);
00379 // user code begin {2}
00380 // user code end
00381 } catch (java.lang.Throwable ivjExc) {
00382 // user code begin {3}
00383 // user code end
00384 handleException(ivjExc);
00385 }
00386 }
00387 /**
00388 * connEtoC3: (SaftyRadioButton.action.actionPerformed(java.awt.event.ActionEvent) --> SpinOptionDlg.saftyRadioButton_ActionPerformed(Ljava.awt.event.ActionEvent;)V)
00389 * @param arg1 java.awt.event.ActionEvent
00390 */
00391 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00392 private void connEtoC3(java.awt.event.ActionEvent arg1) {
00393 try {
00394 // user code begin {1}
00395 // user code end
00396 this.saftyRadioButton_ActionPerformed(arg1);
00397 // user code begin {2}
00398 // user code end
00399 } catch (java.lang.Throwable ivjExc) {
00400 // user code begin {3}
00401 // user code end
00402 handleException(ivjExc);
00403 }
00404 }
00405 /**
00406 * connEtoC4: (ExhaustiveRadioButton.action.actionPerformed(java.awt.event.ActionEvent) --> SpinOptionDlg.exhaustiveRadioButton_ActionPerformed(Ljava.awt.event.ActionEvent;)V)
00407 * @param arg1 java.awt.event.ActionEvent
00408 */
00409 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00410 private void connEtoC4(java.awt.event.ActionEvent arg1) {
00411 try {
00412 // user code begin {1}
00413 // user code end
00414 this.exhaustiveRadioButton_ActionPerformed(arg1);
00415 // user code begin {2}
00416 // user code end
00417 } catch (java.lang.Throwable ivjExc) {
00418 // user code begin {3}
00419 // user code end
00420 handleException(ivjExc);
00421 }
00422 }
00423 /**
00424 * connEtoC5: (SupertraceRadioButton.action.actionPerformed(java.awt.event.ActionEvent) --> SpinOptionDlg.supertraceRadioButton_ActionPerformed(Ljava.awt.event.ActionEvent;)V)
00425 * @param arg1 java.awt.event.ActionEvent
00426 */
00427 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00428 private void connEtoC5(java.awt.event.ActionEvent arg1) {
00429 try {
00430 // user code begin {1}
00431 // user code end
00432 this.supertraceRadioButton_ActionPerformed(arg1);
00433 // user code begin {2}
00434 // user code end
00435 } catch (java.lang.Throwable ivjExc) {
00436 // user code begin {3}
00437 // user code end
00438 handleException(ivjExc);
00439 }
00440 }
00441 /**
00442 * connEtoC6: (HashCompactRadioButton.action.actionPerformed(java.awt.event.ActionEvent) --> SpinOptionDlg.hashCompactRadioButton_ActionPerformed(Ljava.awt.event.ActionEvent;)V)
00443 * @param arg1 java.awt.event.ActionEvent
00444 */
00445 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00446 private void connEtoC6(java.awt.event.ActionEvent arg1) {
00447 try {
00448 // user code begin {1}
00449 // user code end
00450 this.hashCompactRadioButton_ActionPerformed(arg1);
00451 // user code begin {2}
00452 // user code end
00453 } catch (java.lang.Throwable ivjExc) {
00454 // user code begin {3}
00455 // user code end
00456 handleException(ivjExc);
00457 }
00458 }
00459 /**
00460 * connEtoC7: (Okbutton.action.actionPerformed(java.awt.event.ActionEvent) --> SpinOptionDlg.okbutton_ActionPerformed(Ljava.awt.event.ActionEvent;)V)
00461 * @param arg1 java.awt.event.ActionEvent
00462 */
00463 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00464 private void connEtoC7(java.awt.event.ActionEvent arg1) {
00465 try {
00466 // user code begin {1}
00467 // user code end
00468 this.okbutton_ActionPerformed(arg1);
00469 // user code begin {2}
00470 // user code end
00471 } catch (java.lang.Throwable ivjExc) {
00472 // user code begin {3}
00473 // user code end
00474 handleException(ivjExc);
00475 }
00476 }
00477 /**
00478 * connEtoC8: (SaveTrailCheckBox.action.actionPerformed(java.awt.event.ActionEvent) --> SpinOptionDlg.saverailCheckBox_ActionPerformed(Ljava.awt.event.ActionEvent;)V)
00479 * @param arg1 java.awt.event.ActionEvent
00480 */
00481 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00482 private void connEtoC8(java.awt.event.ActionEvent arg1) {
00483 try {
00484 // user code begin {1}
00485 // user code end
00486 this.saverailCheckBox_ActionPerformed(arg1);
00487 // user code begin {2}
00488 // user code end
00489 } catch (java.lang.Throwable ivjExc) {
00490 // user code begin {3}
00491 // user code end
00492 handleException(ivjExc);
00493 }
00494 }
00495 /**
00496 * connEtoC9: (ShortestCheckBox.action.actionPerformed(java.awt.event.ActionEvent) --> SpinOptionDlg.shortestCheckBox_ActionPerformed(Ljava.awt.event.ActionEvent;)V)
00497 * @param arg1 java.awt.event.ActionEvent
00498 */
00499 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00500 private void connEtoC9(java.awt.event.ActionEvent arg1) {
00501 try {
00502 // user code begin {1}
00503 // user code end
00504 this.shortestCheckBox_ActionPerformed(arg1);
00505 // user code begin {2}
00506 // user code end
00507 } catch (java.lang.Throwable ivjExc) {
00508 // user code begin {3}
00509 // user code end
00510 handleException(ivjExc);
00511 }
00512 }
00513 /**
00514 * Comment
00515 */
00516 public void depthTextField_FocusLost(java.awt.event.FocusEvent focusEvent) {
00517 try {
00518 spinOptions.setSearchDepth(Integer.parseInt(getDepthTextField().getText()));
00519 } catch (Exception e) {
00520 JOptionPane.showMessageDialog(null, e.getMessage(), "Error", JOptionPane.ERROR_MESSAGE);
00521 getDepthTextField().setText("" + spinOptions.getSearchDepth());
00522 }
00523 //return;
00524 }
00525 /**
00526 * Comment
00527 */
00528 public void errorsTextField_FocusLost(java.awt.event.FocusEvent focusEvent) {
00529 try {
00530 spinOptions.setStopAtError(Integer.parseInt(getErrorsTextField().getText()));
00531 } catch (Exception e) {
00532 JOptionPane.showMessageDialog(null, e.getMessage(), "Error", JOptionPane.ERROR_MESSAGE);
00533 getErrorsTextField().setText("" + spinOptions.getStopAtError());
00534 }
00535 //return;
00536 }
00537 /**
00538 * Comment
00539 */
00540 public void exhaustiveRadioButton_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
00541 spinOptions.setSearchMode(SpinOptions.Exhaustive);
00542 //return;
00543 }
00544 /**
00545 * focusGained method comment.
00546 */
00547 public void focusGained(java.awt.event.FocusEvent e) {}
00548 /**
00549 * focusLost method comment.
00550 */
00551 public void focusLost(java.awt.event.FocusEvent e) {}
00552 /**
00553 * Return the JCheckBox1 property value.
00554 * @return javax.swing.JCheckBox
00555 */
00556 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00557 private javax.swing.JCheckBox getAssertionsCheckBox() {
00558 if (ivjAssertionsCheckBox == null) {
00559 try {
00560 ivjAssertionsCheckBox = new javax.swing.JCheckBox();
00561 ivjAssertionsCheckBox.setName("AssertionsCheckBox");
00562 ivjAssertionsCheckBox.setSelected(true);
00563 ivjAssertionsCheckBox.setText("Assertions");
00564 ivjAssertionsCheckBox.setBackground(new java.awt.Color(204,204,255));
00565 // user code begin {1}
00566 ivjAssertionsCheckBox.setSelected(false);
00567 // user code end
00568 } catch (java.lang.Throwable ivjExc) {
00569 // user code begin {2}
00570 // user code end
00571 handleException(ivjExc);
00572 }
00573 }
00574 return ivjAssertionsCheckBox;
00575 }
00576 /**
00577 * Return the BottomPanel property value.
00578 * @return javax.swing.JPanel
00579 */
00580 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00581 private javax.swing.JPanel getBottomPanel() {
00582 if (ivjBottomPanel == null) {
00583 try {
00584 ivjBottomPanel = new javax.swing.JPanel();
00585 ivjBottomPanel.setName("BottomPanel");
00586 ivjBottomPanel.setBorder(new javax.swing.border.CompoundBorder());
00587 ivjBottomPanel.setLayout(new java.awt.GridBagLayout());
00588 ivjBottomPanel.setBackground(new java.awt.Color(204,204,255));
00589
00590 java.awt.GridBagConstraints constraintsCorrectnessPanel = new java.awt.GridBagConstraints();
00591 constraintsCorrectnessPanel.gridx = 0; constraintsCorrectnessPanel.gridy = 0;
00592 constraintsCorrectnessPanel.fill = java.awt.GridBagConstraints.BOTH;
00593 constraintsCorrectnessPanel.weightx = 1.0;
00594 constraintsCorrectnessPanel.weighty = 1.0;
00595 constraintsCorrectnessPanel.insets = new java.awt.Insets(10, 10, 0, 0);
00596 getBottomPanel().add(getCorrectnessPanel(), constraintsCorrectnessPanel);
00597
00598 java.awt.GridBagConstraints constraintsModePanel = new java.awt.GridBagConstraints();
00599 constraintsModePanel.gridx = 1; constraintsModePanel.gridy = 0;
00600 constraintsModePanel.fill = java.awt.GridBagConstraints.BOTH;
00601 constraintsModePanel.weightx = 1.0;
00602 constraintsModePanel.weighty = 1.0;
00603 constraintsModePanel.insets = new java.awt.Insets(10, 10, 0, 10);
00604 getBottomPanel().add(getModePanel(), constraintsModePanel);
00605
00606 java.awt.GridBagConstraints constraintsLabelPanel = new java.awt.GridBagConstraints();
00607 constraintsLabelPanel.gridx = 0; constraintsLabelPanel.gridy = 1;
00608 constraintsLabelPanel.gridwidth = 2;
00609 constraintsLabelPanel.fill = java.awt.GridBagConstraints.BOTH;
00610 constraintsLabelPanel.weightx = 1.0;
00611 constraintsLabelPanel.weighty = 1.0;
00612 constraintsLabelPanel.insets = new java.awt.Insets(10, 12, 0, 12);
00613 getBottomPanel().add(getLabelPanel(), constraintsLabelPanel);
00614
00615 java.awt.GridBagConstraints constraintsTrapPanel = new java.awt.GridBagConstraints();
00616 constraintsTrapPanel.gridx = 0; constraintsTrapPanel.gridy = 2;
00617 constraintsTrapPanel.fill = java.awt.GridBagConstraints.BOTH;
00618 constraintsTrapPanel.weightx = 1.0;
00619 constraintsTrapPanel.weighty = 1.0;
00620 constraintsTrapPanel.insets = new java.awt.Insets(10, 10, 10, 0);
00621 getBottomPanel().add(getTrapPanel(), constraintsTrapPanel);
00622
00623 java.awt.GridBagConstraints constraintsRunPanel = new java.awt.GridBagConstraints();
00624 constraintsRunPanel.gridx = 1; constraintsRunPanel.gridy = 2;
00625 constraintsRunPanel.fill = java.awt.GridBagConstraints.BOTH;
00626 constraintsRunPanel.weightx = 1.0;
00627 constraintsRunPanel.weighty = 1.0;
00628 constraintsRunPanel.insets = new java.awt.Insets(10, 10, 10, 10);
00629 getBottomPanel().add(getRunPanel(), constraintsRunPanel);
00630 // user code begin {1}
00631 // user code end
00632 } catch (java.lang.Throwable ivjExc) {
00633 // user code begin {2}
00634 // user code end
00635 handleException(ivjExc);
00636 }
00637 }
00638 return ivjBottomPanel;
00639 }
00640 /**
00641 *
00642 */
00643 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00644 private static void getBuilderData() {
00645 /*V1.1
00646 **start of data**
00647 D0CB838494G88G88GF9F0E1AAGGGGGGGGGGGG8CGGGE2F5E9ECE4E5F2A0E4E1F4E14DBD8DDCD4D576D4D4EE5ABF5B5822322222242456B6AAAC36E50BD6EA29282C5832328D4BED29E857F6ED575DFDBA08142418189828230202A29F0A0608FCA8AA4A182C10E1D2BAB0A3B34E400CB303C2217E4F3D771D7B5E3CF9634C9074DBFF3F631BF76E793A671E7B796E3D8859AB42664C1A1DAD88336688623FAFE689027DA5C18832160DC2DC06562291E47FD682AC94924DE9704C0134308FAD
00648 1AACA17CE8863C9743FB787B964D92783DC878D52975997861C5CF83249D3EF45A9B6757D3F482754C256F9FEAB361B99F208CF02DC43F1668DF38B2C74477417BFC71B701D9338521F1A521295B1CA343A70BF4F910D68620DDC5E80AD766096923819781B099A0F5A5234DG1A0F28F5A78FD40AF4B1993F908C9BAFCC7F04681249C7B02DE23C234427A02CCBA70E50883F5E379E1E554D162E9A23213744626CAD69B4BBCBBA74BD8623C3DF5251EB2E2AEA311BFB8E58DDE6DBCF0335CB18C9EDBC3EB90372
00649 8BC29C3C0FD8CDF02FEEA6FE29035FEDG7655E8673B7B2BC5BB0E3DF30B20FDF524D7BB93D6B37BD2D7CBF6D6BEE4189B16CF64FF35B2D364AB03F793G4B43834D0581640159FF43CA34BFB99F6DFFFB8D111FD7E051D4G688A90FF4FDA02B7407BGC0C881666B0F3518AF2B69F6A139F4F47A82AF790AACE07919D4A0652BE27F58D9CBE9BC5DE7A1B11135867482B482D881C681C4826452B8361FD8874F7A8E57CEDBF7372D275EEE5FE1B5B8765B8CC6AB7C2E2A029491F75058E9F3988401452AE5F331
00650 0ABD88F1EB5C6314G4B5B578246D6686C6B053E955753F8D1662D6138BDBDC9141132C64A5B183544EF57FDC17C16893F895FCEG060F2378A9B2BCAB5FE49ABF645DDE8879DF07FE8EA9C4DBB2FFFE25B0266B077439AA36B4CF3CA6BD22185990DBAC5942FCFCC5B771F18A60B3B6C0BD832884E883685B00BEFE7044A6DFBE5E5B63B2BAFA7456165E8E3B5E615A51EB36C20C093EBE3272FC3ED68346E78E180F79A5E2133C0CE6BCF8CE55AF76181169A19B18BFA2B7C8FEE13AEF712ABBE103E7EC4C67E5
00651 789D2D93D3B630B254F03C0962D3E5F8D6362934EE5146354422B1GB07A3B8A89BE3E04512F66F2A6D2FCCE2904E7F29E2072493B8952024BAC9AD63E9BEC244D8CAB37E8E2GA68124GE4EE34E88A812AB7E2994F31147AD90F1AE5654BF89F36FC86CFE31F4B215F5B63F469FBBA0D07748E333E43EAF48AA24DC48B71EB079BDF822D5F1D20E30F3187DAA4528A01F4FD3791024949E81E37ACA4B48EA3CDEDB5F79BC1C137DDC0392FD89641532AF73A3E329B74AE23C4415227DAC8CC1C529F8209A0GFE
00652 0F5AC87CF5A1ED275B61F75FC67455B7F602CB0477E95CAF472C1F423389025BE82D2AEAB0F792B3740EFE0C5130AF0261B9936843B7D9B44D95964DCC00704D507FED31E8523E30E822811AABAD1A99GE1DB61F79550G04EE33E80A2BAD1AD800366D503F56C01F86202B85DA0070BA10D18F36G0C5A817D60CE686FGC6B4C0BD5DE5510C87285B8DE58AD0310777A9ED987BB326DEAF445FBF209A7BB40E7730B8CE5E230C7DA7E81EB29B41BEG9D0095E094C0A4C082C08AC066DEC8875081D881C681C4
00653 82A4G24GE46E03F4G9D0095E094C0A4C082C08AC0E693248368G2CG23GA28192GD2GB2F5B82EF8FBF356EC5FF51F781B6623463DFE925F937F92FF91DF3925D5B0DF927F12F212271132A3E56426231E1523D2B7A9ABDF7611B2A265C7FE1372A7CFD27EA4F648EFD24EC8DB06F4956EF2C97CF8685E6CDBB78209979227CAFCF3157FB24E8791B25F1398A6312CC6C7E27EFCF2C80C7B5245E2636496FFE2639371D9204013360334195B816AD564EF8358C475382711714CB2850E341F0BD5F4EF7043
00654 EF24EF7FC27C1DABBED7882CDFA03F4BE5341B4567C78A99CBD4644E8B206CEA81662860178EC1DC90D8AB7BCD4656C5DE68D67A1033558FDD2CBD0FBFC97A44E2E8C79A81CCBAEC532F37EA855A576D50BB0D583B9DF0C047E4B4C8ADBC238D6DA6E5EDBCE56CF1B5986DC698B977381CE25FF2D3B7A983315FBBEE9330CF3A0D6249B8E8A7F4CCCE0E9F573D1061C1063C974574FBE93A5E65F218BBFADD4696234BE56E6912789F2236B85D06D8CEB12FCFB8C8DE03A00F21G91BC2F8DBDA446317F5259EC16
00655 DEFBAB691945FEF0829D6F47G7DA45E5E9A5612F95D8C7E5EC35F25743F2DE973334C090CC0630469D83056DF9D1AG65CBBA6EADEC90D85FC8E44C9171246CC83DA1ED46820155FD62C3D237170831C5FCCB6A7F8AB1DE193CA7293C2C7DB00686B886B082E0BCC0920070A50C39G1A817AG42G6281D281F28EC0DF8EE08298FDG7D7C6B35D93306463E21283F7FAB40FC13D6C8FC73E37D327AFFA0BFC3892C4EFFE1735EE65558545B2C861BFA1B354FF67EB66920CD2DCDE2E907ED24ECEC27FBE4ED5C
00656 F7B6B21E6E34757498E9C34BD98436E671EEAB490739476C7A5AEC68B23ADA4C5F9BE1BEF50034D55752B1FBB47CCEB800635D532BF13CEBB8F435D0F6462ABA9F9F3D709769794D2CAD2AEC16463B4C2623F652F69A2D46EEF054CEDBEF0F0B610DF4BEA0621D9A0AFB6760357054963668CF410C45EC5DE9B2F6DAF6587A0A75B4BBA56C51ECF49C37B93A0D0642937AD37A927DE9D789AD0E12FA1A3C0B7CAE52EE58D023F5DBC3AAF6AA249E2DD70853F917372D68D05197822B930B04446C9B281DDF821D83
00657 0A545CBD341676F8488D5456B2EEEBE67BCD54D61D99520CCE67C13D41EC5B516BF259FA0646D82B2760C02DAD97EDFD39854B7F382BFF488DF5AA2486EA65C66E535BBF3E155A392B4F246FF53A4081C3EE2CD1CDF42096EF926DDDD6466CED69359B9D50B8F58E3D3DCEB551015ADBA15A7B3861B6EAEF235EE95AE96B3603E9C3EE30C9D5F62096EF66B1915170B3EA7381CB4790DAE9932585EA5796EED7C77FF53CCDED7D1FECD4191DF51F0BF55FE4F3380CCE57901B29109A2819155C1F3FEB39195AC966
00658 98E63D154EEC0656D63B0A64C06D5D4A6DBDFDB60C5ACBE25D814DB4D08D2D391D1E0283EE7F4B182D1B37DD4EFCEB6AF71ABB7556D698CA6DB69B2D066263364EDEE7897DDFE7F33A14A66EA6895E9D2A94F7F4B7972434CC12C48DAB67FE9CBB6BD2961FAE3290BAB406B95DE479EF55C65126EB7A19CDB090F5190648A6031BAC7FED423E6621FA568E6EF2B8EC8E679099E5F497663FD5953C7CF29B2E9B36B15B508C58181DCD7F9DB3FC6335A1992CB1BB5F53DCBDCCE335219828B19BAF589AB61C6334A1
00659 9A24B1DB7FD494B61CE334A19A20B1DB7B3F3DE5D847E7C3B7B8E3762E786E12A19E1B7D180199334930681A619A178D41200C59B8FB715543B4A69B0A819933713183B78E63F8EC2886E34C5615C7EF983E3158508C44F8FFF95D324B06FAAC76A387E24C2E7F2E8F9E52F1586087E14C1E81D770100E4186BFGE3765C7271A5C3BB7E7AD103AFE6535E527FD21B6A1DCE6803C026D39976CA1DFA8F4A2332D0F5969271525CFB62D7EC4CF950683475BABA0DBBEC3DBD8623E1886B16C3DD32C77DA2F61139B7
00660 7BEE74AFA7D97BECEB36E82CG414D785D68F5BBC9476FC66247311DB62B15AD5BC25A4CE632A61BDB19ADDBE79D534C767DCD03A7CB9F231ABE1F73477BC81F6EA3DD3B757C69BA9F69FDBE52FF69A37DE59F69F32B4E1F3E49C77AD19F69A3FD24BF60A37D8D9F698B361DBFFD1BEAFA43FF317CE3D4535BF87A76EA35F4ABCFFFD8B5BD082757EED7CB8F6169312A6991BC3D3EC6ADBD0627BF221A1E4853F7562A25A77374B8557499BC7D6C00DAFA66C1CC7F0FEA3A1627871DD1CB2F6069334E2A25B77274
00661 8BD5535BF93A661CDA3A1D27872B26879F44F6642913D970F49ACF769AFBBA0D6443F313319F77F61D7CD411F6C8EF6D15760C3DF212FC4F334A3ED9B3FC22C37DFB4D8B8E721D5A42653F64C897485EAFA613FDDF9A2FA7B26D8EF3375E51CF86E4627E634415727D4721E0BF592B9C8B4FC9G623A41310F61A9B539029055C2F86797613E649420CD83DCFE8B63B734303A42681E65F4C22BC51353AA51D5364A69AED907F4A3G9FA6230BF5232BDA0FF419DF814DD792DD43D7F23AF7B9DD8860A3E5F489EE
00662 F43794A3DD5EA10821C392DD6BA1B95D218DC8978178D8995D94B73A0FCB10AE7FEB0B267AEB092E7DEBB95D431CAE827031B23AA9EEF40ED224ABEE03BC36497C5CA627ABAFC33AA840A74868D25C6826F23A6A4310C7G57E1C697F9D8CEB7369C692683BE739B092E789BB95D110DC8E7877C8899DD049B5D02CDBCDEG1FF6C4224BBFA227FB145319G9F8490F60451C539518DD4A0DDB260E78264350BFEEEE7F4A16D04EEBC5F1BDE4AF193A96E3D390270F89A6E1F5D1FA55FBF5F7E4CC855EF2A8412C4
00663 79A96D4AFD459BFB095C4CEF4116EF31ADE8F54A772240C84B56E9265BBA45FA2DF1493F37B2DC060B543963E60753359706B5FD58B64CF791DB493ECF91AD566FF16B69DEAE45BE56DD86334B66402DBEBBCF5391D42BED274DE0EC0466E5A77F9CFD48ECBC8D7CECAF7C41CA74D75937783D793A0D72BD7B836DBD69733C784674AD734908EFA55FC4BEE8184BE4BB36216CF8C8E7383FF21C709D62DC55082B64388FB84E4EF12736A3AE02637E4EF1D3B82E2F86F1B9C79177A147B5F35C7735089B41F17F64
00664 38D80E3BEFGF1B3B8EE4B996E37E308FB0063CC9CD7F996F1E19CB7016312B82E6A9C62327408FB08639A75F85E6160C992FB743C8399B77715B8CF1BFB3A2A2A76B540745856454B35EA9561A57BC40274F81661139C5227A49379G599DD057683E6AAF0AB24558AA861C21837B3D6F673B75FB000F83185601FD450D74DBEC6023FA0C6389E749FE449F3DE8ABE01D961A6BC4DBA39BEE905A56DD20FAA6A3417CFD7A4C8E962F791DD25C867FEE6C2CD0G6613FFF21F5801A62293FDF2ED0E5CA7D3BA19CF
00665 B28DD8BEA76AF710BA7B2357F7F14F7BAF57219DDA5051E6C0BB262CD333E3B43763FD87596B78A317F0C59BBA57238D61A0FFB237A1B1D7E9C336917AF9A35A70D18359ABB6942B334C0EA545E8078EF4849B510E6A15EAF644F0BB9E5ECA6C980A15D7E6476F399D0920A363B85A31CC550E3A63E847534D3BC85BB0940B2A824647398DE8CBAB689945ED7944AC37A58E70A9GD9DDE84BEC8759C7B34865D3D1772692541D8FF25B3BD07719DCE53B9182E951DCF7E3930B4D9F35BAAA5A709637A181642719
00666 5006B92AB6D41B5006E7F6D29BFE5C7227E8436D25E8C3B3489F41ED58512434A1965212398D3F79141EF77A71CB1B229D5F14219DB3C0C719996DB837CF4D8E13996D48EFA7ED560FDF3744181CDF0EF68C000EA8EEC7C6015C0E9440E71F0076628476A73D65641C1B7FABE4580F6CE8A15F59873D2A496BD2A237DB87B6851FC03B5FD335BB66847A6F3553E42DE9F08B1828BBF8A3EFD3C0EE0685F50F4CD553DDE7C15DB76EA53A8737D8093AABB771B684640E623ABF7CDC291B5421B82EFB7EA952068CF2
00667 DDD2541D42F5A7015CACAB6A7E22C8ED6C51E845D8E92918AB0DBD44B85835FB954179DC3344FC5FD6013A5BC1EE88577D25EA3DCD603AB3B77F38F10FF39109F37F57B279394C0DEEF316FF5D61F54EB2454A46B5532D4AB94BE7274938B02B9B66E15DB8E779190B6CFF45B94BC118A568FB3A2CC6016F356DA57936987B4577ED3DC4AFDDF390F02F725715011CE32C6C4673E8ADFD4457BAF8B78184810482C4F35B9E6975F9AEF3D75FF94EE51E5E9608DDC95D38AFFDC6C0FCA91C2F3FBA90BE2187797E91
00668 90DFB6677BE1FBA0FC051CEFE6C0FC551C6FCCCDA0FC4D1C6F5F817199B85F395AC0787AB81FD097885FA84E7760C0A0FCE11CEF5B19C07822B8DFCCC0FC711CEF7B59C078A6F33E078362CB65FC35678261CB33A1DFECC0FCB91C2FF695B99BD3EC73BCDBD38738D6G13CA1A9A8CA868C65B707C7185F4BE9CEED31EE39EC971D1B665B966C5B9F80EB98E528A6D3CAC0A14F99CE5F7579921F8E7FCCD9EFC4B956F898ABE56FF549CA2ED234A9AG76A162FAEFFB155BFD93A0AB6324C5D38CD0F79257986E19
00669 CF7A83523F341D44B6790EFE3256B69A5EA38162G26G24B9AC9AADC003835B6605275456215C5BE6EF0BD05239B0660BD96B866743859EFCCA9F9A9CEABE7CEC47F2F59F4A66E43816121803BE9AF0E0195FB7C8FB9F75E9EF1442DEE643127599220C84EE03F97D60ECB86D412734A14D694E4762E96EF235F84A835AB2A746535CBC74D523936DDCD6BCB8BB57FB70A96D8CF22A794A3992FD954AEDF8E610B63C665306C4D59BDA398D53388D97EF981C8DD7F970A9ED503A54E2FCC10B1735C28CEF31DC9F
00670 49D116ABB987D989B2F5AEAC5786B3162B41057959DAB2387C6C7160D366E70CCBAD7EEE5F2E96FFD1C09B4F6D0C4AC5BB27F0BB5F99241D7F74E9E7CE2FDA59D767E2591775228D1125033361C18FBE258D26DEB5DFAD28D373D590500674222F7A1B504EC8EE67313241595963412734B3D955D7776FC39BE6F29B324B87E743AA8FBE258D9527546AC9C1A1696FD46A891F54B21FFE37D24D27BA10F96C947A3436G632F6F94666705C166A759E7FE461FD273691AB5E8C3BC3761320D0333A15403CFE903F0
00671 DA4D06C7F8BD4CB90DB654EC9A1C8DBA8FBE258D4D2AB61471FAE862B67CE510B68895CA3E9245FB182A8DBDC56807E8EE43B88FD97E59B041278D292AB6DC5C04B6E47461986FCF5F93DC9D3CB77761F82E679479DE046BG4DB6F30FCB40B5005C53E41F014DE16EB277A0CECBF11DB687BD7C4A4E5A77506F0947C066G17FB244F7BD95D0EBE75333A26BE75333ABDFD673FDF60D41F37333C4C3E7F5B06760D86E0388555088B6738519C974DF18B37A3AE0163FE4EF1D3B8EED18D6226F3DC8847E574A3EE
00672 F1AD6272B86EEA0EAB6338668144B5F05CB39C5746F1874FA04E4AF14FF1DC9047351EC5DC8847BD4FF1919CF7689C62E2B86EC50ECB64B8BD7D56188C6F995FA3AE1A6272603D0263329793DCA33C37F35CF794E70777919C77B0450D0177A80E7B459202CB0277146F319EDD1AC36FF0606FD752F7721D033DAF4D7177FE85FF0168F22F139B07DC077C2E07E5747D714F965018F7BA0DEC7934C16F520BE9EF39968BAAE74D3F54F79B855C1769AA7AC8245965326DA4E729D83F7757A2521F2974FB4DFAE881
00673 D81F7717D2E51FC77C1B73834CA3FF40BEAF248A5B17069F70DB73EA7A5DF2G5EC3GA2FF40B239FFBEE94362FEF0EF271260BD85C098701C530B770674FBEFC39E6CD7EFC3E27BC9FBA62E32AA5A09097DB9BCCD1A156EF5993B096B44BDD8145F25F7F499BD5A1997A9BFCB7346BF255FDBDB444A25F21D3CDCB67218FABE0778A8DB610BC2F82F86E8D67191131762A6EF93171767B15FA3E0GB9FDG233C4A8BDBAF17C74EF009E31C65243C491E103081AC6F4539243C1360BD95A0638C16F7E69E512DBD
00674 632E23825E9B815A4FF8535DDAAC573D196725CF754EBABB4889868875AAAFE303DC5E96AE6F302A3CC810938BB0492B3C98B7F9DFF05F7CA387FDB36D8C7A66100978C6FB9666D4G4DE751B7FB4DF25D2633CC57GBCC783041F75265BDEA257DD49F53F3A1D0FB54E226ECDB574CEBEF84FB8E751E84F216E8939C4F765B9F79DBAF8BF8660BA67CDF7FE29DC77D66E477ADCB5BF0EGB9E3G46FB1577C66947B2F96460834B4B1EBA4CCB5CB94C4B257BC8DEE642FBF69034BFC1181733CDEA3A9BA03D8D40
00675 9A64CD77B5E5EE3A4BB1AF8F6DD3139784F2C2GA23C4AEBAAF713379173F275CA4CCBCC906665A9FA0F6CF4F84F3C4022493FG7352D0A057DDFD815355ACBE8D62336F824986267B130DEE3AB771B514B5F2F923C43EB07199A5BE63BD647D56DDDE854A1B68D64E13C53ED47119F6A1FB66DC2814573B49CD5EE6143759CDDE3148D7A7BEDBAF74666B228AB7F9DBD01E132E291A94FC8370BE9AA05C2B3CBF3A4B7B8265DDC6E3AB9A7892E43CD3445F53D56431367F5D6F495AF19FFF7F8BFD6F97306FB556
00676 93DA56FF6C6AB10803ED36DF71E2BA06FE0C542DB4445DC6472DA381BE180538B5F40CFAA540B80E9BCBF164EC7CD20EAB246D4283B0D8DF46F1F7F05CC80EDBC747283F875C5FB9EE9C45DD8ACE3A185BD2CC4728641E00319A445D45F1FF6738AEBAC63D8764F5F35CB40A3B8FF00FF11C190ED1AF82DC67EC443DCDF1CE405D4AF196BAC66D855CD40ECB21384781DA383CEEBAC69D87F0146763DD0A3B83F84B53304C7BD611311341F8DC5FEB05E9064DE9BCE0972F68A4B1F891613B0A0EE3C919E5DC045F
00677 FF1FDEC5E225C35FE969F2100F37C87B96258D065F23B96D7A45A40ECE191DE632371B516D2063DB928F63B9DD6FE23A875466B03A4B3CFCB14A0C3B883F3B5FF31A74AF479D7AEE98CE34580D1DC2DFB09D43AF4631DAB2504EG4881FCA5C0DBB06A09DCC2E4384CAE7AFDB7B6185CF91DC9CC91FD726127E43F3A381B9086B6AEBA4F6AB1E2DB362E8C5B32340B31AD3BE9ABE94B2A613D9540FAB136E557D6496BF6B060C3AFE675A5921E3197FB569D767D659ABAF61CF4B17B7EB20F63EF237869B2BC7BAE
00678 D3C47164BD7B929853DC02F306A769370D49701E4AF18B9790DC5A255007DC0AB847821C2BE8B96EDF9DB887296038945A378743FBA847EDDE0A72A2B96E6A25A8AF1A63A2FBD1DE8247EDDA0F3CF9A378BCF1BD7296F2DC79DC642D9E417B0965685BD1008B83089AA13665701CBC421BEFFFC647E929A3188FBF62782BA9BE73E7921E79B6176249FBA1240D7A995A34BA8FFD114AF1DDF9181F344B90971F0779496238EDBBB0BF799CF745CA64F5F1DC6ACA648D6238DB76A0EF884759B9EFB247BD43F9D3B9
00679 6EC64E1BB6927D781F9CF90C36825EB4D29C0741F3B4C078C8F7DFB2FFBDC147F451A3193F66F07C73941FA043B3BF361BF02F4994C8EB9805B69D236B6A91709E43F1AF1D407CCC6138DA8B66A705634616E2FE044BB1BFEF38FD57AF86FC5D65E2DF8ACF53655E62E2AC9DA78EDC2E2CF377D17C184B15F5EEEB8D563998C8537E9F5A14180BF5AE186332F9DC04F2DCAF0F0BF00E7B870F0BE80EEB4BC55E0CAB90B7A197F933B96EE0BD7296DE013E50396D8168A334D708639FF8C6DD614D977F24634C78AB
00680 14F5A423096E1F3EC2D9C7AE5F07F5C498ED5198C673B50BA634BD1E637E560436CF623843C5E87BB40EFBE59F72D6DE09389A4E5B40F1B91C376DCA4C7775EEF31A884047DC49721A884F64AB3D65FBB73DE3FF4615ACFF1FF0BC3BFBBF6F67921E65FB929D431277BAC80B7CB95AF4042E0167DC85E3742BF87BC7F155702E633805EB386D9CD7C36BE8843C47F15C8ECA17846FA99CF7559A14B7136326F3F999A15C0F3BD1DE9B473D1A0B722C9C37AE8F658DF05C48BC14B702632A36233CA40E53F1F9A99C
00681 971A4B6D63388FF339FD3FC05CE5C5D8DF5AB86E39A2ACFBAB47D52C43326F63387B87D05EA80E3B194648E4F8CF653837D99CDE8D63012B39BC9D419543FBB547DD2BC3F90DD763F8614ED5A416E44BC3A5DF1BFB8C3653B0B4A037203B1CA58DFBDB1A8F346CBAFA604B23BBF570036DD5FBDD106FD593E2EE713AD7AD74EAF1CCA0BEE7ACFAE38E9B173CB11BC892775CADDEA45AC1B7576D34D9ED0E12AE073EDFCCBF3C1848BF2E37BA25F52F7B3D7208E7BD78B8AC99F467DDC347921F49777E91B9AFEA58
00682 BABBCBDF38C41ECE56F70E8872741DEE6944972F3971773A25931B3BE731F4663775C7706CCD6B1631C261C5FDDE7FDE06619A716C0D788C1F7F461C79DCCEE9255C7FD14BEC69333C48099579932E11768A32F624546D1B1E908A6DEDA823A904E7F52837F6E4D195E9971AC315FD49CA0A3707AA7B125B36E2DFB29A522607E2BC0E2F423E316DDA44FDCC67C1A6F89F603860EA2C9BE19CF7EBBADFC33E965B459B681909346B203F822883B88690F49D7FAEC35349D9C4F28E0D1CDDA4679CC3F9FA693AB611
00683 DF19EFEF20D5508609BA6538BA711D69E824BA82396FD7F91F75BC41735E6C3932F8DEA45CCC5B9727111CF3B79A58BC63EFF42CCC52E32E433A7FBE7D5BB7AEE31F0B5547BD64D51C17DCCF474C89C01B84203B1E76731D8D221E346BBDFDB4CB34C3A3C28E5094832C9673D0F7BD0B0BD95CCE4DD2CFBBBFDF0AF606GBD33EB459C492E5F5074F0C89BFFBD5A75E8AF5AB5590BDDF394F6254A6CCA9BA359A54E1752A5FD3F266375AC20499B037A9A67223E46B16A7AE6497435830DFD0C24AFD826CF6CCF69
00684 FA6BE840070F41788EDF0EF5A31A637E399C6BC6BC4775EA79381163DE64E3A561860C6DABF2499966E6F8F7810482447034B1B4ADDFBCD7CB4E4CCE62E9ABF3553EFF90FE14C564789B4BCAE0BA2AD4F5E0AC4DD10977C0001523AE8F63EA468D98D74932F2FE1F26E75C88ED600DD84E87F7E0B9575D683B1CDB0146F423D44E83B7AA636A5939123E25F4ADE1845004F0FD9376203ED8AF7A64F1BC89E82649744D7450F7E706246F9FF43E14F193646FA654F79F57D7F7136F7A5C8AB4261BE4793BC999471F
00685 AD45189DF1939FA3FF0EB19B49F159FCEE1048F13F617371E40EFB3B8B3F9DE604E1BCA61AA8AF3C17F15C4B94C74EF0137D9A8C57E172765D0E708DB616724264ED798FDEF5287D8D82FFC1A3FBAE92B6ACA5C15AE1F3500FD331E1F40EEF46F520C6F8BF8690829091464E3133323F70A3296CCDF4EE19F1B314BDC06B4D8477F02976FCF566E616CFF15E369D4BF54C4DFCBED6434B156392EAF939F25C0BFC0C1DFCB3164DDD74BE0A0ADBE09C8AE0828886883B85539F2269513730737664ACBDB9DF1E4453
00686 EBEB5AC4FE426BAD8F41AAE90DDE6843E4F826232D867B6939DE6493D0EB173C153D7C6FD830F2E1738522E366ADD8EE997324F23B117AAE73D6982B5C0AF5F661CE2C338D372A57D93419BC5B0046FA2BD4E703EED53691D3E47A7EC86D9985B421DC1F399E7545F951B7C726AF89E8D2E47A04F0E59B51D9073114990EB172E09D46D29E47D56D47D82A6338B2BE97EE8D47D81855C47A2EF0F80F83C88618495366533486717E846DED6CDE81F14F65BEF95DA57CB40FA27F796AE7320FF4A906A25DF4E03D76
00687 27BFBBDF4CA130720B4E144AEF851D5FB5C0BE1BEF43723397B51CC706328F9BG3E5137C96597FE1BB2DEA6FDA2696B22734E71C0934375157A54271141B4D2A6B2FDD937AB6365D7ABB1DE72EE47B8A8DE0D71D247F13767E33C98B86E0B3D98AFFD3773B5A33A47AF9E5EA7832482240D35E872816A46A24D91CA538E6F83GE34632FBB5B2457BB0984DCB5AE332FC91F972FC92F95EFC10FA3B77B4E28B312BEE2C3C1F7940CD17F26EF03E3F0F632B6DA2BE7FC4A6F71160A81077B729E3E9FFD3C0A686B1
00688 E3F15E70E8017B3CA112308B2C7C8B571C2F7CB50A98280800BEGE031E8CBFB04F20E70559E424766886464AA1963E37C755035A4937038A2503643EBBC6D372FA17606C4E09B9B3CC032F75EDA34B7BEC27D5B219CA683CD2A4C5E34BBA4FB19CD695426AC406781B07DF373087E6ABBD0FFFB16247F16BC54EF3FC3DD3FFC4C978CB421F7C87AA3BD74F7523EBA9A70F1DCFFEFAE511F4C75D7AC1474E7F17DB9F72A6B170FBB0B01266ECEC9FF6B1DCA7D51C558279D3B9375E512CFCEE27A37F41D4B8EE983
00689 F7E21B7164G5A9021E203324D08811A44BB25B6A379CEE54CC4B7F94EAB1FEEC23BD26F44D8192523FB9E6D7A136420A3234B51611A11B08E691AF46E711E7C29643F71BA34BDFB1C6FB1FBA150D40F13ECEF9EA7594E76EDDE390868EF87FC5FB85CDF795FD964EFCD9D521F703C8986104D8E9B3978201FE1696DD338277533C04EE6E11BG2DC6AB2ED1057C7267C21B556675FE18D0B14F516233CCE0EBD4ACAF7F4CA66D68B4C8CB0B34E88A816AGDA812C111837C28D31111CA482736BDDAEFD27095E1C
00690 03870C48E5B6921AFC8CE5321713BF5708FBC6B5855E7C83927669CF698FF41C00D8E855137BD3D85F303B8C7B1520C86CAFE24B31DF8967382ACD582F44F3DC6BD66CD7A6C7723D08748E3A0C3B20AF812886E885305E0569EBE9BAB963CC6E0CA0E73C49D9EBF26ED8DC1B5AAA9FABA03FBFE5C674E548E82DAAFCCCC71C1B0E39027F73EA0C617375B92C2D79C39529ABC1F7716F511F13BAE655775BFADDB8FF59348D67AFA9C017F637C5D38CD0F7B7BB834E6A61DDF44D2F8DF0063B311DF8B09D6B5A683B
00691 FD4F474301A67AEE56D61177043B156D446D8BC9C32C3CD91B258553FB5DBCEF52C45E67161135E7155B4345741B1693FE4FDB5011FF6AC2B2F05BED36DA0D8E3A9D331C6D473C5963CC9F71C992581EF2B77A74138534BDF2749AD9FB54CA7EB414A877AF9D646FC27598CFEB5D57458BB716D594D3583C39C8DC9F5F5509FB9F52FEE9512C207C9043827ECB2D754461B8300D18A93697F9CEECAFD276DCAB98DE39ACFD35205EDED47FD21CD77ED2DA0B4E7EEA7EBCE6FB79D277FC05AE1572F5F32F7F791A5E
00692 0B790AD34D9766417E39743BB7D75235E62E7F3A7A67222E19817BF0FF1E2453315C33AF7A59F26C33AA46E3DF7E64F2622386F8E7F5A9FF8546CB78F8D617E26019B8DE3C1B064DA3699A61B440CD9F0FF569DDBE2F535E633D5F6763B420E93CC72ACB6D77A86B52548C1226FA83BC27397DBBC223FA73BA27B9D7C89AF6759B4F11267300226EECE4F5E73947799D62839358BAF08F561D4EBC77985B3DCCAA03329D7E177BC70DD86EA17784DA6EB414455F77EAA57D576C71DF7F5BFBD0FFC2407AC72E14FE
00693 872F1274DF95007EB7397E34DF852A3FFDB57DCD6337E1A916D9752F58DAD6ABBCCD3FE27B50994D231FA3CD9060C381E281A609B4AC463753351294404DG483F1760DE6810470392985FA23AF6C876DFD96F65FB3AA88EEF3197E3A30B74F9BBEC006926B1A7FE5B3A470CE746C781FF5C3D3807EB0E160CC914FB6FCB5844242AEA172B53E4B46C9027A922CFBFB46358F3663D3877EA6D89A23FA28A6AAD00A18A6F707BDE03ED6E4C22DB85EBFA086AF7443C07AECC9F089277C4C4C9EDEE637E3133D8D95C
00694 14AF157F18D2FF4A1F513EDCCA7259823D3AC940FE2024CF5E8FA4040425AFD4310940E451160C7BA41B24B1446A9ABADF3A8F4B7F079AAC47307BD89B978D4F047B58980A156387F46DB199F0297771B60E4FED726E77BDB6AF831A067B25B62E6DFEE59BB7C1CB46CC7BF47A8E23957F06563F8E10BCFA7CF5814EF3C9A79DE3A86E21E2E99BEB48C4D4F1033848F7F731220D5B446E2EC9F53B4B57F0BF734188F832B670259AE59BC85247C07A787BB13E3394ED60AB85D28C3C97C09B38E3A7368171772B77
00695 335E5B008F56C83F5FDDAB695FD36F3F7E6B6AD13F70C0207AFFD7A870F89BD5C77CD179G465B9B7CECED6883AC5E4643B36E81B6DE976759F4FDF2B26026BD007136072FFDE5C77B1E4B9782CDF53494EF4D514AF8FB76B4A9EB353F3840526BABC95ED47E4A0148FFF01DA206443FAB52759199B0FA3945DDBCDFFCF21FB20EC85E5B41C6FBB44E6BFFD3A4155B17C57E14DBE07D44B56B245F2357CB3ABE9986DD26E27A1B167F4BFC9CB1A21A75C9E1700C0AE673B6C67355EA24C908E6B1128C4F99A20D38
00696 66C057A433A6D8B4F993B0C63E5C4B3F9DCF703E5601F1528EB47689D20C84CFD046C8F11954A6615FF75C781D04433FE1357F9B8907FFC3EA62FE52F6F97C6589AEDB3F0B58647E97A078791823A44D7D2FB160FD6AD72ED436D144A723A7607DDB05BA3574F01EBEFD2DDAFA7484EC3FEEAAA01517F51E3BE108E8F37417F4BA0CE0264EF61A5C713F8326DDD616DED8447A26911B647BE512777E100EE3DCE599A40865B2F90234DF493FD8CA2DE531F45186A92E86CA2438FD1E5EB327582F54E155F7DA443E
00697 E2CDA079926FA2D80BEDE066037E0E43504E56D2494E7DE5121DA7F34FEF67323C406DFCAE8F6DEC88584E02F2494E659BA5BBC7EDBF3F1DA3F38337331E5BB960371DE85B5FE436BDDD645E473E37C9CA9BB760FF9F776F8134A7AAE0FBA6D6C8BA5FECC2FB58FB29CE3E1F0E69FADD073AD28256F593B942A72E47DD3D08549BFEAE12ADC90AE9B7ACA2E5C67EB6B274E9666F69E10C96A06C69E26BFA36ADA4BD7FA1E8C3818CGFDG239E4275421559E442D25F2136D6384B50E544FD0B28AFED3177F32573
00698 96133926F82E14F0F5022D8EB339251F5F5F1FCD4FEDF450F1BF110F784F69398F174DCE118C37E2B1E9EB9C66AE130B110A78823A8F51EABCCE512C7F3015E17F9181F90B85188E10914376B0B01ABF15A30DB60675B115705409B462B8042ECF9AGE70F41EF7B162DDA417B3CE7CC8CEB57D89C24D6117169CE1B43E16CF41125ACBAD090473696129FF25F931B71A0CFD29B71896DCA4484069FEDA674B08E363B53FFCB3FC99C6C6D1149FE2F6ABBC13DEE361233AB625428D00DC0BEF7AAACAA562E12D92F
00699 95D7434DC6672AA25CFFF8E49B99875173B81077E9B1B8C7ABBF66F6AF882908D5D5FB9CE6438EFD170E2ED832FAF16BB61C17E9FF0D7332E7284CB6F837935C2FF1CC147405D467C2537D2F673AF9D87742FE9DE87B98C73AB6D14E9F681ECA921BC95C5656E544562C07AD1AC2003A07F14DF9DF277C7BC09B602D8F1FFF4D195551DF517B160300F68CC0ACC092C08AC05AEFAC1A9C00E200BA00B6GBBC0B0C0A8C0A4C08CC0A2C072EF30CE5F10C386125E3EEF0885C2ABB6CC31681D954C7E8FFB65764FG
00700 F919316737DFBCCFBAD74E27851E8A9FFC2CBC43163B3721EFACEF993298EEB16A9D1DA6AD29EC9038ACEEF5ABB0EE9B413E20D8FE9EFF8546E3F4AC1671A314B6955EB3FEEB51E8FF0B71E858A645E3C2GF32B95BBB09EABFF9BE8BCDED7AD4563A1FECF167D37E86BB8FA2EA00258881074DB3EDF23D1DEAE2900CFFB441F72FCEF0F1CAF87F80A7D627B339BDF9D70347A60E365E2DD0AEBBEA6208FFB045FCD35944BA569914C6B9FA9ED5623D077G6A9E45BB797F7CB916ED9B60C6BF0AED521BA5EEF77F
00701 31B6094589EB12C43FEE4AC5DD710F22AEBDBD4BA544C19D84A80B439838EA3B9483D1FEFD9FE0E36627364857F3489A0D373D6A0DF14CEF56B877759C26335A64ED1FBEAB07874C3E3ED3C646295D177318CFBE65BDC20C6F5FBE79BC7ACC3A3F7DFA3A96979FA74D4198BE1C62A749702C0CB71C40B21E82E98D0F615DBC3F25EBB491709E87B099E0BAC0766F204CFE07ED622D2B49007C3CF7AF365A6CBAB20015DD134364EB8A3470ECGD947G028146G0C870887188CB01D6BF9A31F0C113D353DAC7024
00702 26171567569AF227765034FBF475CBCB468CF69883CAFD762DB5683B2C0996CD63C42CE3FF2E41388F1A08F13F34161E550377C400E993B16EAFD8A345FDC2DEGED5FB23E2E949FE85BF7182EE509772F9C77F27F8A9DBAB1DDEBEB31FD2C0C47BCFE4AF176F84CE3BB4DE3843C4782A445E31B39E727DB1B897834477DE97BEE2AF7EBB3012758879F7363ADF58707286CD735765B0DDA5BF1AD8C8C25F2DF2843F22F83FB7A9EC71F9C667BB246BF4E6F0B20345360DDF8825A3CA7305C8F96CA65DE6057DA11
00703 78F7E50A305C4B1E88345C575135B0A6678EFE671D69893475FAFA06B08C5E2381921F40FEC0338A7B12E900537E9E735B348A735B76FB1451CFE9C743FB84C06C6FD14619556833A440E5A5200C47D6230C46841471D7CA9B846F21G639350E7916BA41F956F755FE7677672B56004C0FDD6D4A279AC1E0F9304A7517E23BADEB7B8EEFDA12F9BCFE2FB7AC2899917C5BC09ED5A38E2B2C7745626113BEA590C135FED32D6DE97E2C0CE62137E542124BCB9DFB2704C700BEF379BDF66D3D06ECF794327F13BCB
00704 3A82F89A7D62FBD3A767EB879E3B8FBE664753DB3C4F1D4FEE71BDF73EF48BA9ABA34CF9C9D5E738D1DB68F76E63471DC6BEC73FF2CB96476DF5B65B1CE632AA40E27B1AB22C9F41E0F34CD3B8CE2A6CA78D2D576FEBE4D11C2CEB0BDF58D86C3CD60675E17AD37CEFA6513F89D17CB4744FG6DCFE31DDA38916B148BF011CF73F6E8A34AC8FE1A37C314B6AF916691G3AC42CD31F4A565476EE757F5B5A082D44C7BB415B6463A0ABC3FDC07755CBE5EF9BA4DFC440FCECAC342B1A784210289CA3FDC97176C4
00705 659869C5BEB79F0034A909582F7DF71EDCFF43B3B017FC461FD8FF35CAE937D5648B02E7080A8CE6DFBC1DA3C7BC23347B990A0FFAC6E977B74B506ED8C84BFF165F15C777540CF81651B35CF10A8B93F1AC66FF3755FB5DFAF22B6F3A7542D675F52949DBBD5725DE5F2A3EAE7556D6793A944325ECA5752B8B665CED1C6EFD0EBB4CF1FF23B2896EEB3301FE83E6781954AE02EFB49205081FDDC56CBACDF1EDA2EE2E8CF7D844E5D6115807AC1B48BEDF719EF23A276C3859EAE56F0BA90D39871A8B6E0F4F2B
00706 080DE63BDEE6778A0EBB4C4BA26B14E779ACBEA5AF9F715C52DCCF3A6B664A69D83C9DDCB1387AF5EC10FC57864C4762F88B1DF347BC2B0C6FDA0A0FFFD6995F71FC6DE19224D5BE0775B2FF07DC7F98400FFF4E1FFAF944639E36B811AF891EA9AAB218FDAB685D8442A4255D05941FB9C9E977BDDA34BB875286A6E13DACE874AC4FF50D1E651E2EC2B7CF05EE368A5D5CC64F78F0AC9D5C5CB648A71F7A5CF602CFBEF5BF9F226B91D3BC7CFC1462D3BC7CBCEDA97AF9862435BF0F71717E67030B6B7F8C122F
00707 D275DEBA5F79FD1E2E1544BE2F4C6F2B941F703CB23FDD39FC0C8DE955AF605873833A0E9F866FB1GD3GE6GE43E88FD420BB89EFDE9BB797863EDBCFA50E623B7B0114B18E00EAD1FEE0BF70046AEA26BAE669E2B19D0990CFB0CBDBC7FB71F90786FBBE53FB71D986AFBCBBDFD2F9BD69D4CF7CF54F86FA71F29D13F9774459A753B05DF2971F6DFA7CB1FCAF5B95D7E4C906ACA29A1FD096DF40F6C0E5079855EEDDBDC603B8FDFDE205E076797F87661C5856AFDF8E901E79FDEA14AF5700BE2993E2A0044
00708 915B0B3DDF5F236F127DFD0EBB827A7BBDD28CBCB0C83E540079D87D3C1C2E03D43E282C37D7D3FC430B4AFA3B22966BEDB324C53D487B31E5EE6B9FC996CDF112BF7DD8316A5FAB2A93F9DB61E9CAD2EB4F17F8708D08F42361992E221B65AB112DEDA5A9737B870A0FCBD266370367B79152AA7E406FE15E6959DFF56E746C576E2F7724FB285E33DFDB229BDC39978C126F3B0079443B1E689AD1689F147ECB5BCF7061FFD07A6FF23E7EB49E5232DF62FF974B6DEF797481FE54CB7E444B5D9EF70D0609FCD1
00709 700CD711416CDBC06F221A7C12526E9C0A1F7612526E1B77215D53A12D6DE5347B23D5039BFFAC714927BE7EE87649271E5FF7685AD64C4B4A7C7E0D6263DFD666775CAABEBE05344A49185F0BD68FAE3E2E9CA45F93817331FCF565937B47CCD66657CE71911315797D102F71C5C1DA4EAB185F603DF27D83009F7D0ABFF179246A3D4861A2EFB4BC93DED10B8B03EABD1CA252CE07E7462BEAFCE505EAFCF9A2ED99BC9B94FC625829044C751C62FA1DF8E75CDA4FB66A5B351EED59FBF91EF45373BC693ED521
00710 6BD0217B7C0CA75D0AB31EF47F52F9524D5E6F59065E6071B7D57C2B1B63FC7229574DE41FFC6A31FA81DDA3EBFBD5992B17D13C61D5E52CAEAA47D835C35A24D7B1D617F87C2D917F6AD841A0793E8B18CF6CB368FADE65EB9EFD867DDB268D2FF97499FC2D30995222DE437CB6516F606CF72B6C77AB5B06FFEC7E37E15541E25AB44FB34E3B67F956078F681E141CA9B0461A426F8825677B1A615D44F1B7507188B9D7B9B085FD7854B249EFAF4AFE9FDBB67CBE6C9FD69DEC9DDB3F06440E389F0EAE25B1FC
00711 DE5FA7929E1752C43B2A35129FF649FEBF35E278FD7256306A105F9F6B9ED7F5BBBC634A319263AA0147503D2BB02ED2B96E10F4AF6C6B98D785ABA53F1548FEBF209DFE9FA67E84BA5ABF1772E4147DFEF769706B1E7B79706BF8B9D74AD3326CF7376ADDE2C32B7B12E1554146BD7FAE733E36B0275C775A427CF27535056CF24F350525656AEB8BAB4A65EB8B623DB935122F4748FE97548E3F5FEB06D5075876ACD3E9FB16F936BDBB699E8DF207EB6B6B7C4E3EDAECE70EF15CC23ACF0B5CE1B61E63CAEA31
00712 5D0A63B8DB9D36DB53B8EE55F214B71337DBAF48FC7E1A6C3769A7707F85BF010ED97B25BCFDAC7BFD15EE78F5C78E2B8E717E77A24F783A3648B33E9E5B07B1227BA346C33A8EE3444EF193791DD841FF4498D95CA479ED396C7758FD436F43581FC047DFD7C9F91AA97BFD712A6157FD63CF2023BBDF4A53A9596F7F2C9EFE5DB97943DF872E5F6BD9874276FA5601E4FE6F7FA49E6F7F570A71BE05632EAC40B6366C8D447D20C35E860E3B3090F91BB9EE66DE648D6338BD05489B45F161CD489B4BF1E37211
00713 B7AB197F4D3AF2293CC64BFEAFAD9F7E325B7893681835C94A5347325FD7ED7C895A67E15541765EE4EE733C2FE6B53F2FA69F4A39BA192D495813595D5162D95BEA753F99F3024EF3C7GEDC8B21E810D62F7B846A62B1F817DC8105D738AB4531225B320B313E5F772D17B2E6767D5B326CA76E92732FBFC199D13693C2892F08DD3510EEEFE7F2BFD2AEFBB0201A6F42AE4C764D4655D0074CF5C0977E2BDD40B32233D481EA5131DGB4D326CA770ACD1749E676D751F1943957CCF8934FC7FDDD4B4FC73DA9
00714 653B72CDF6D7A8638BE563AA40353F09795E3A9CED9B712677FBEF670A360D811A71EFCA790EFBD3697FF779D969C4199D535EE4F7CEB2BBCAE9FBA43CE551E43E05F63C4A4F0BD73E655B7FBA20B97616E4076BAD257F4BB6C97E3F2D95E587F911AD77FF8850C43CA55DCB967316527F8F96207F635F427DED4BAAA4FD579686F46FA34818A95317B5CD292F000EFF72GDFB88D75FD3CD996DFCD3E74494F5AB7020C76E912BE3B073E4772B1FF8353F08FE0935F1BB686F01326615E432ED57CEE0FCEDBF709
00715 39233B2477D4F7093E43D5E2B418DDD5D5DF76DA2D62E98D08B13AC7F084151579A70BA69F207ACF18A78D79D305E25B73731D7E6F3B1D4A6FDEE87DD3207BEEDF26BAD99E9FDD09F99C85F2627E04FB9A857AFDE5A63CE73FED51943F0D76CE121DEFEB8A603E189B79FDB18DEF87EAEF246CFCDBCAADBF1F2BAA67FCF7BE84EF15EC6F74FA46D97C3E443F23C6011E143751AFB1941F7FE7A8C30056BF23DF4ED4C93217AC775FAFA716E3FE2CFF8E54AFDFED134A7133A634B79C64CC7EB35A5BC27159A9D006
00716 G8DA9E86F1755123DB1816C11DF308E6DEDCF89545EB55B25F2FC21956504284AD1ABC71473EF59F92679BAEF6598184C97EA24B8F93AD6127F525A21113F31DE1279EE3EB719625E57C16E59BDBA48BD3BB3E95B1410227C5EB1076E59CDCAD1FE6F78BF5EAEA6C3DA63BBB876FD5B6DACCAA460E35F7167DB64632A5FA2FD733D98B09F4B170B36ED135ED166778C45CFF9C7195FF47E2DB985521A5F457C5E6AF6FEB08A70716F7A135F775D7602CC861ED43F78AED65DFB621B6F2A007918BF4A6AC83E535E
00717 D37AE9AB45E73D277453A33C4D4C0334207750CF3665F27D49001F711EBF794DD37D3B2F3E7956854C4772B511361519294A7CA6D2FCCE2AB23F07F91B1B8FE9A3D2B13F596B647AD3GAF3C6FCFFEDFEE1573E583CF21DFFC33E55F966749FE077C845F996F7A893EB34EEA70DCAFC8EF707C1E7E3DECAD68A2596F4C1FE04D26E0D8F50877646F717443EF76F82E1BE454F952FDD267692FADF5120FEAE53F63FF02F55E57FF02357CCB16FB7AE164F2CFBFBCA9DBA3FDC1767BE853707B21EFD8F530BC2FDF67
00718 690732F51EF17317D6CF3A3F374A69483DE10B042B0E3FB317746F429C17B02F45EE6E519E3053CBF29D42FC77D14D2C5B16DC14F545265E59C27AEEA17D385EEAB769778AF3CE119BE1F4426CCE27CB48559116D2E0A96DA4AC251431452E6FB4EEBBA2FCF45C5155C149DD426CA33B0F00907AF6D2B8ABE8F44247AE935DB7ED6CF33904A51224E632FBDACC5856E7A7C57A1F2020A0BB7CF3898B6B6DF6EB3F165E4D2B2517733A04BC3C49D7DBD85F59E934530FEA5A1D7D1DD6233348A5ACED519FB73A7A35
00719 0574B2AC59A5A3107631F46929CBD8C4EFB7EDA5371B166EB03BA8B9B8C9F61FA96463C013CB780CDC99282D37DA356C7EBFAD3DBE907C31EC37394720458B8399DADB385366F4D97BD7023A5C2F1CE0G3B93CECBAF05539EB49AFA696D78AEE181C9155D886792B4659BAB617F4DE5E5AEA13D3C0C7CF389334A41EE69F2E31710053741E9456B601C444333286392927EC39C87253B00176EDEFA78E64A29CDD51AB7EE554C9652768A696CE363DEA10DFCB104D2269F94778A9A174DCE0B00AC1065094F0FD5
00720 64938C3DD598E97EC769BE7603EE78B57C381C1D0F9B40AFADCABAEFD67BCB27E635FB3C8C46B7429078707C2564CBC3A096E70A20C2871534852A12D66F529A6925892B2B20CA2ED5DB01AA01D62347E9553B4816GBC6BCC7F4D1AAD4C79C6D8F41CDC57C79BC024B46E9596D2ACB68464482ECED862065B81CD0355C80E943804CFD9EBEB5577F415B2955BF4C2169BF913311F64E217CED408F8C6CE13D85BAC105C2D430B88357B0D5DB6C73F367E94B4FDA4875A427D9D7D509A96E92165F6587A2A28F39A
00721 B8677ADD507AF6C39E205D246DB36DBD34AD666F0DE20B6D5476E94B4B3E5BD424E4DD36DF5FE76E6E6D560A776F508B8D8913516E9409558BABCD8E8151859292BFCE0BE7E88F3ABA8BF847EF4CAE79BD0AF95997F97D3B2F499F0A77A7FEA85D89434ECCCD24FF7F3A629FB0177E871E11DAF202DC1A686DEFB834F46B2DD6175EEA296FB1103F6730030403007BD492CE9079CE249193D95AF3A7085DA7E4BC7F8FD0CB8788F8AD5A7CC9BAGG185AGGD0CB818294G94G88G88GF9F0E1AAF8AD5A7CC9
00722 BAGG185AGG8CGGGGGGGGGGGGGGGGGE2F5E9ECE4E5F2A0E4E1F4E1D0CB8586GGGG81G81GBAGGG03BAGGGG
00723 **end of data**/
00724 }
00725 /**
00726 * Return the JCheckBox6 property value.
00727 * @return javax.swing.JCheckBox
00728 */
00729 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00730 private javax.swing.JCheckBox getCompressionCheckBox() {
00731 if (ivjCompressionCheckBox == null) {
00732 try {
00733 ivjCompressionCheckBox = new javax.swing.JCheckBox();
00734 ivjCompressionCheckBox.setName("CompressionCheckBox");
00735 ivjCompressionCheckBox.setText("Use Compression");
00736 ivjCompressionCheckBox.setBackground(new java.awt.Color(204,204,255));
00737 // user code begin {1}
00738 // user code end
00739 } catch (java.lang.Throwable ivjExc) {
00740 // user code begin {2}
00741 // user code end
00742 handleException(ivjExc);
00743 }
00744 }
00745 return ivjCompressionCheckBox;
00746 }
00747 /**
00748 * Return the CorrectnessPanel property value.
00749 * @return javax.swing.JPanel
00750 */
00751 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00752 private javax.swing.JPanel getCorrectnessPanel() {
00753 if (ivjCorrectnessPanel == null) {
00754 try {
00755 ivjCorrectnessPanel = new javax.swing.JPanel();
00756 ivjCorrectnessPanel.setName("CorrectnessPanel");
00757 ivjCorrectnessPanel.setBorder(BorderFactory.createTitledBorder(BorderFactory.createEtchedBorder(), "Correctness Properties"));
00758 ivjCorrectnessPanel.setLayout(new java.awt.GridBagLayout());
00759 ivjCorrectnessPanel.setBackground(new java.awt.Color(204,204,255));
00760
00761 java.awt.GridBagConstraints constraintsSaftyRadioButton = new java.awt.GridBagConstraints();
00762 constraintsSaftyRadioButton.gridx = 0; constraintsSaftyRadioButton.gridy = 0;
00763 constraintsSaftyRadioButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
00764 constraintsSaftyRadioButton.anchor = java.awt.GridBagConstraints.WEST;
00765 constraintsSaftyRadioButton.weightx = 1.0;
00766 constraintsSaftyRadioButton.insets = new java.awt.Insets(10, 10, 0, 10);
00767 getCorrectnessPanel().add(getSaftyRadioButton(), constraintsSaftyRadioButton);
00768
00769 java.awt.GridBagConstraints constraintsAssertionsCheckBox = new java.awt.GridBagConstraints();
00770 constraintsAssertionsCheckBox.gridx = 0; constraintsAssertionsCheckBox.gridy = 1;
00771 constraintsAssertionsCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
00772 constraintsAssertionsCheckBox.anchor = java.awt.GridBagConstraints.WEST;
00773 constraintsAssertionsCheckBox.weightx = 1.0;
00774 constraintsAssertionsCheckBox.insets = new java.awt.Insets(10, 28, 0, 10);
00775 getCorrectnessPanel().add(getAssertionsCheckBox(), constraintsAssertionsCheckBox);
00776
00777 java.awt.GridBagConstraints constraintsLivenessRadioButton = new java.awt.GridBagConstraints();
00778 constraintsLivenessRadioButton.gridx = 0; constraintsLivenessRadioButton.gridy = 2;
00779 constraintsLivenessRadioButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
00780 constraintsLivenessRadioButton.anchor = java.awt.GridBagConstraints.WEST;
00781 constraintsLivenessRadioButton.weightx = 1.0;
00782 constraintsLivenessRadioButton.insets = new java.awt.Insets(10, 10, 0, 10);
00783 getCorrectnessPanel().add(getLivenessRadioButton(), constraintsLivenessRadioButton);
00784
00785 java.awt.GridBagConstraints constraintsNeverClaimCheckBox = new java.awt.GridBagConstraints();
00786 constraintsNeverClaimCheckBox.gridx = 0; constraintsNeverClaimCheckBox.gridy = 3;
00787 constraintsNeverClaimCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
00788 constraintsNeverClaimCheckBox.anchor = java.awt.GridBagConstraints.WEST;
00789 constraintsNeverClaimCheckBox.weightx = 1.0;
00790 constraintsNeverClaimCheckBox.insets = new java.awt.Insets(10, 28, 10, 10);
00791 getCorrectnessPanel().add(getNeverClaimCheckBox(), constraintsNeverClaimCheckBox);
00792
00793 java.awt.GridBagConstraints constraintsFillerPanel1 = new java.awt.GridBagConstraints();
00794 constraintsFillerPanel1.gridx = 0; constraintsFillerPanel1.gridy = 4;
00795 constraintsFillerPanel1.fill = java.awt.GridBagConstraints.BOTH;
00796 constraintsFillerPanel1.weightx = 1.0;
00797 constraintsFillerPanel1.weighty = 1.0;
00798 constraintsFillerPanel1.insets = new java.awt.Insets(4, 4, 4, 4);
00799 getCorrectnessPanel().add(getFillerPanel1(), constraintsFillerPanel1);
00800 // user code begin {1}
00801 ((javax.swing.border.TitledBorder) ivjCorrectnessPanel.getBorder()).setTitleColor(Color.black);
00802 // user code end
00803 } catch (java.lang.Throwable ivjExc) {
00804 // user code begin {2}
00805 // user code end
00806 handleException(ivjExc);
00807 }
00808 }
00809 return ivjCorrectnessPanel;
00810 }
00811 /**
00812 * Return the JTextField3 property value.
00813 * @return javax.swing.JTextField
00814 */
00815 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00816 private javax.swing.JTextField getDepthTextField() {
00817 if (ivjDepthTextField == null) {
00818 try {
00819 ivjDepthTextField = new javax.swing.JTextField();
00820 ivjDepthTextField.setName("DepthTextField");
00821 ivjDepthTextField.setBorder(BorderFactory.createLoweredBevelBorder());
00822 ivjDepthTextField.setText("100000");
00823 ivjDepthTextField.setSelectionColor(java.awt.Color.black);
00824 // user code begin {1}
00825 // user code end
00826 } catch (java.lang.Throwable ivjExc) {
00827 // user code begin {2}
00828 // user code end
00829 handleException(ivjExc);
00830 }
00831 }
00832 return ivjDepthTextField;
00833 }
00834 /**
00835 * Return the JTextField4 property value.
00836 * @return javax.swing.JTextField
00837 */
00838 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00839 private javax.swing.JTextField getErrorsTextField() {
00840 if (ivjErrorsTextField == null) {
00841 try {
00842 ivjErrorsTextField = new javax.swing.JTextField();
00843 ivjErrorsTextField.setName("ErrorsTextField");
00844 ivjErrorsTextField.setBorder(BorderFactory.createLoweredBevelBorder());
00845 ivjErrorsTextField.setText("1");
00846 // user code begin {1}
00847 // user code end
00848 } catch (java.lang.Throwable ivjExc) {
00849 // user code begin {2}
00850 // user code end
00851 handleException(ivjExc);
00852 }
00853 }
00854 return ivjErrorsTextField;
00855 }
00856 /**
00857 * Return the JRadioButton3 property value.
00858 * @return javax.swing.JRadioButton
00859 */
00860 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00861 private javax.swing.JRadioButton getExhaustiveRadioButton() {
00862 if (ivjExhaustiveRadioButton == null) {
00863 try {
00864 ivjExhaustiveRadioButton = new javax.swing.JRadioButton();
00865 ivjExhaustiveRadioButton.setName("ExhaustiveRadioButton");
00866 ivjExhaustiveRadioButton.setSelected(true);
00867 ivjExhaustiveRadioButton.setText("Exhaustive");
00868 ivjExhaustiveRadioButton.setBackground(new java.awt.Color(204,204,255));
00869 // user code begin {1}
00870 // user code end
00871 } catch (java.lang.Throwable ivjExc) {
00872 // user code begin {2}
00873 // user code end
00874 handleException(ivjExc);
00875 }
00876 }
00877 return ivjExhaustiveRadioButton;
00878 }
00879 /**
00880 * Return the FillerPanel1 property value.
00881 * @return javax.swing.JPanel
00882 */
00883 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00884 private javax.swing.JPanel getFillerPanel1() {
00885 if (ivjFillerPanel1 == null) {
00886 try {
00887 ivjFillerPanel1 = new javax.swing.JPanel();
00888 ivjFillerPanel1.setName("FillerPanel1");
00889 ivjFillerPanel1.setLayout(null);
00890 ivjFillerPanel1.setBackground(new java.awt.Color(204,204,255));
00891 // user code begin {1}
00892 // user code end
00893 } catch (java.lang.Throwable ivjExc) {
00894 // user code begin {2}
00895 // user code end
00896 handleException(ivjExc);
00897 }
00898 }
00899 return ivjFillerPanel1;
00900 }
00901 /**
00902 * Return the FillerPanel2 property value.
00903 * @return javax.swing.JPanel
00904 */
00905 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00906 private javax.swing.JPanel getFillerPanel2() {
00907 if (ivjFillerPanel2 == null) {
00908 try {
00909 ivjFillerPanel2 = new javax.swing.JPanel();
00910 ivjFillerPanel2.setName("FillerPanel2");
00911 ivjFillerPanel2.setLayout(null);
00912 ivjFillerPanel2.setBackground(new java.awt.Color(204,204,255));
00913 // user code begin {1}
00914 // user code end
00915 } catch (java.lang.Throwable ivjExc) {
00916 // user code begin {2}
00917 // user code end
00918 handleException(ivjExc);
00919 }
00920 }
00921 return ivjFillerPanel2;
00922 }
00923 /**
00924 * Return the FillerPanel3 property value.
00925 * @return javax.swing.JPanel
00926 */
00927 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00928 private javax.swing.JPanel getFillerPanel3() {
00929 if (ivjFillerPanel3 == null) {
00930 try {
00931 ivjFillerPanel3 = new javax.swing.JPanel();
00932 ivjFillerPanel3.setName("FillerPanel3");
00933 ivjFillerPanel3.setLayout(null);
00934 ivjFillerPanel3.setBackground(new java.awt.Color(204,204,255));
00935 // user code begin {1}
00936 // user code end
00937 } catch (java.lang.Throwable ivjExc) {
00938 // user code begin {2}
00939 // user code end
00940 handleException(ivjExc);
00941 }
00942 }
00943 return ivjFillerPanel3;
00944 }
00945 /**
00946 * Return the FillerPanel4 property value.
00947 * @return javax.swing.JPanel
00948 */
00949 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00950 private javax.swing.JPanel getFillerPanel4() {
00951 if (ivjFillerPanel4 == null) {
00952 try {
00953 ivjFillerPanel4 = new javax.swing.JPanel();
00954 ivjFillerPanel4.setName("FillerPanel4");
00955 ivjFillerPanel4.setLayout(null);
00956 ivjFillerPanel4.setBackground(new java.awt.Color(204,204,255));
00957 // user code begin {1}
00958 // user code end
00959 } catch (java.lang.Throwable ivjExc) {
00960 // user code begin {2}
00961 // user code end
00962 handleException(ivjExc);
00963 }
00964 }
00965 return ivjFillerPanel4;
00966 }
00967 /**
00968 * Return the JRadioButton5 property value.
00969 * @return javax.swing.JRadioButton
00970 */
00971 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00972 private javax.swing.JRadioButton getHashCompactRadioButton() {
00973 if (ivjHashCompactRadioButton == null) {
00974 try {
00975 ivjHashCompactRadioButton = new javax.swing.JRadioButton();
00976 ivjHashCompactRadioButton.setName("HashCompactRadioButton");
00977 ivjHashCompactRadioButton.setText("HashCompact");
00978 ivjHashCompactRadioButton.setBackground(new java.awt.Color(204,204,255));
00979 // user code begin {1}
00980 // user code end
00981 } catch (java.lang.Throwable ivjExc) {
00982 // user code begin {2}
00983 // user code end
00984 handleException(ivjExc);
00985 }
00986 }
00987 return ivjHashCompactRadioButton;
00988 }
00989 /**
00990 * Return the JDialogContentPane property value.
00991 * @return javax.swing.JPanel
00992 */
00993 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00994 private javax.swing.JPanel getJDialogContentPane() {
00995 if (ivjJDialogContentPane == null) {
00996 try {
00997 ivjJDialogContentPane = new javax.swing.JPanel();
00998 ivjJDialogContentPane.setName("JDialogContentPane");
00999 ivjJDialogContentPane.setBorder(new javax.swing.border.EtchedBorder());
01000 ivjJDialogContentPane.setLayout(new java.awt.BorderLayout());
01001 ivjJDialogContentPane.setBackground(new java.awt.Color(204,204,255));
01002 ivjJDialogContentPane.setForeground(java.awt.Color.gray);
01003 getJDialogContentPane().add(getOkbutton(), "South");
01004 getJDialogContentPane().add(getBottomPanel(), "Center");
01005 // user code begin {1}
01006 // user code end
01007 } catch (java.lang.Throwable ivjExc) {
01008 // user code begin {2}
01009 // user code end
01010 handleException(ivjExc);
01011 }
01012 }
01013 return ivjJDialogContentPane;
01014 }
01015 /**
01016 * Return the JLabel1 property value.
01017 * @return javax.swing.JLabel
01018 */
01019 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01020 private javax.swing.JLabel getJLabel1() {
01021 if (ivjJLabel1 == null) {
01022 try {
01023 ivjJLabel1 = new javax.swing.JLabel();
01024 ivjJLabel1.setName("JLabel1");
01025 ivjJLabel1.setText("Physical Memory Available (Mbytes) Approx:");
01026 ivjJLabel1.setForeground(java.awt.Color.black);
01027 // user code begin {1}
01028 // user code end
01029 } catch (java.lang.Throwable ivjExc) {
01030 // user code begin {2}
01031 // user code end
01032 handleException(ivjExc);
01033 }
01034 }
01035 return ivjJLabel1;
01036 }
01037 /**
01038 * Return the JLabel2 property value.
01039 * @return javax.swing.JLabel
01040 */
01041 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01042 private javax.swing.JLabel getJLabel2() {
01043 if (ivjJLabel2 == null) {
01044 try {
01045 ivjJLabel2 = new javax.swing.JLabel();
01046 ivjJLabel2.setName("JLabel2");
01047 ivjJLabel2.setText("Estimated State Space Size (States x 10^3):");
01048 ivjJLabel2.setForeground(java.awt.Color.black);
01049 // user code begin {1}
01050 // user code end
01051 } catch (java.lang.Throwable ivjExc) {
01052 // user code begin {2}
01053 // user code end
01054 handleException(ivjExc);
01055 }
01056 }
01057 return ivjJLabel2;
01058 }
01059 /**
01060 * Return the JLabel3 property value.
01061 * @return javax.swing.JLabel
01062 */
01063 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01064 private javax.swing.JLabel getJLabel3() {
01065 if (ivjJLabel3 == null) {
01066 try {
01067 ivjJLabel3 = new javax.swing.JLabel();
01068 ivjJLabel3.setName("JLabel3");
01069 ivjJLabel3.setText("Maximum Search Depth (Steps):");
01070 ivjJLabel3.setForeground(java.awt.Color.black);
01071 // user code begin {1}
01072 // user code end
01073 } catch (java.lang.Throwable ivjExc) {
01074 // user code begin {2}
01075 // user code end
01076 handleException(ivjExc);
01077 }
01078 }
01079 return ivjJLabel3;
01080 }
01081 /**
01082 * Return the JLabel4 property value.
01083 * @return javax.swing.JLabel
01084 */
01085 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01086 private javax.swing.JLabel getJLabel4() {
01087 if (ivjJLabel4 == null) {
01088 try {
01089 ivjJLabel4 = new javax.swing.JLabel();
01090 ivjJLabel4.setName("JLabel4");
01091 ivjJLabel4.setText("Stop at error #:");
01092 ivjJLabel4.setForeground(java.awt.Color.black);
01093 // user code begin {1}
01094 // user code end
01095 } catch (java.lang.Throwable ivjExc) {
01096 // user code begin {2}
01097 // user code end
01098 handleException(ivjExc);
01099 }
01100 }
01101 return ivjJLabel4;
01102 }
01103 /**
01104 * Return the LabelPanel property value.
01105 * @return javax.swing.JPanel
01106 */
01107 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01108 private javax.swing.JPanel getLabelPanel() {
01109 if (ivjLabelPanel == null) {
01110 try {
01111 ivjLabelPanel = new javax.swing.JPanel();
01112 ivjLabelPanel.setName("LabelPanel");
01113 ivjLabelPanel.setBorder(new javax.swing.border.EtchedBorder());
01114 ivjLabelPanel.setLayout(new java.awt.GridBagLayout());
01115 ivjLabelPanel.setBackground(new java.awt.Color(204,204,255));
01116
01117 java.awt.GridBagConstraints constraintsJLabel1 = new java.awt.GridBagConstraints();
01118 constraintsJLabel1.gridx = 0; constraintsJLabel1.gridy = 0;
01119 constraintsJLabel1.fill = java.awt.GridBagConstraints.HORIZONTAL;
01120 constraintsJLabel1.anchor = java.awt.GridBagConstraints.WEST;
01121 constraintsJLabel1.weighty = 1.0;
01122 constraintsJLabel1.insets = new java.awt.Insets(10, 10, 0, 10);
01123 getLabelPanel().add(getJLabel1(), constraintsJLabel1);
01124
01125 java.awt.GridBagConstraints constraintsJLabel2 = new java.awt.GridBagConstraints();
01126 constraintsJLabel2.gridx = 0; constraintsJLabel2.gridy = 1;
01127 constraintsJLabel2.fill = java.awt.GridBagConstraints.HORIZONTAL;
01128 constraintsJLabel2.anchor = java.awt.GridBagConstraints.WEST;
01129 constraintsJLabel2.weighty = 1.0;
01130 constraintsJLabel2.insets = new java.awt.Insets(10, 10, 0, 10);
01131 getLabelPanel().add(getJLabel2(), constraintsJLabel2);
01132
01133 java.awt.GridBagConstraints constraintsJLabel3 = new java.awt.GridBagConstraints();
01134 constraintsJLabel3.gridx = 0; constraintsJLabel3.gridy = 2;
01135 constraintsJLabel3.fill = java.awt.GridBagConstraints.HORIZONTAL;
01136 constraintsJLabel3.anchor = java.awt.GridBagConstraints.WEST;
01137 constraintsJLabel3.weighty = 1.0;
01138 constraintsJLabel3.insets = new java.awt.Insets(10, 10, 10, 10);
01139 getLabelPanel().add(getJLabel3(), constraintsJLabel3);
01140
01141 java.awt.GridBagConstraints constraintsPhysicalTextField = new java.awt.GridBagConstraints();
01142 constraintsPhysicalTextField.gridx = 1; constraintsPhysicalTextField.gridy = 0;
01143 constraintsPhysicalTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
01144 constraintsPhysicalTextField.weightx = 1.0;
01145 constraintsPhysicalTextField.weighty = 1.0;
01146 constraintsPhysicalTextField.insets = new java.awt.Insets(10, 10, 0, 10);
01147 getLabelPanel().add(getPhysicalTextField(), constraintsPhysicalTextField);
01148
01149 java.awt.GridBagConstraints constraintsStateTextField = new java.awt.GridBagConstraints();
01150 constraintsStateTextField.gridx = 1; constraintsStateTextField.gridy = 1;
01151 constraintsStateTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
01152 constraintsStateTextField.weightx = 1.0;
01153 constraintsStateTextField.weighty = 1.0;
01154 constraintsStateTextField.insets = new java.awt.Insets(10, 10, 0, 10);
01155 getLabelPanel().add(getStateTextField(), constraintsStateTextField);
01156
01157 java.awt.GridBagConstraints constraintsDepthTextField = new java.awt.GridBagConstraints();
01158 constraintsDepthTextField.gridx = 1; constraintsDepthTextField.gridy = 2;
01159 constraintsDepthTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
01160 constraintsDepthTextField.weightx = 1.0;
01161 constraintsDepthTextField.weighty = 1.0;
01162 constraintsDepthTextField.insets = new java.awt.Insets(10, 10, 10, 10);
01163 getLabelPanel().add(getDepthTextField(), constraintsDepthTextField);
01164 // user code begin {1}
01165 // user code end
01166 } catch (java.lang.Throwable ivjExc) {
01167 // user code begin {2}
01168 // user code end
01169 handleException(ivjExc);
01170 }
01171 }
01172 return ivjLabelPanel;
01173 }
01174 /**
01175 * Return the JRadioButton2 property value.
01176 * @return javax.swing.JRadioButton
01177 */
01178 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01179 private javax.swing.JRadioButton getLivenessRadioButton() {
01180 if (ivjLivenessRadioButton == null) {
01181 try {
01182 ivjLivenessRadioButton = new javax.swing.JRadioButton();
01183 ivjLivenessRadioButton.setName("LivenessRadioButton");
01184 ivjLivenessRadioButton.setSelected(true);
01185 ivjLivenessRadioButton.setText("Liveness (Acceptance Cycles)");
01186 ivjLivenessRadioButton.setBackground(new java.awt.Color(204,204,255));
01187 // user code begin {1}
01188 // user code end
01189 } catch (java.lang.Throwable ivjExc) {
01190 // user code begin {2}
01191 // user code end
01192 handleException(ivjExc);
01193 }
01194 }
01195 return ivjLivenessRadioButton;
01196 }
01197 /**
01198 * Return the ModePanel property value.
01199 * @return javax.swing.JPanel
01200 */
01201 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01202 private javax.swing.JPanel getModePanel() {
01203 if (ivjModePanel == null) {
01204 try {
01205 ivjModePanel = new javax.swing.JPanel();
01206 ivjModePanel.setName("ModePanel");
01207 ivjModePanel.setOpaque(true);
01208 ivjModePanel.setBorder(BorderFactory.createTitledBorder(BorderFactory.createEtchedBorder(), "Search Mode"));
01209 ivjModePanel.setLayout(new java.awt.GridBagLayout());
01210 ivjModePanel.setBackground(new java.awt.Color(204,204,255));
01211
01212 java.awt.GridBagConstraints constraintsExhaustiveRadioButton = new java.awt.GridBagConstraints();
01213 constraintsExhaustiveRadioButton.gridx = 0; constraintsExhaustiveRadioButton.gridy = 0;
01214 constraintsExhaustiveRadioButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01215 constraintsExhaustiveRadioButton.anchor = java.awt.GridBagConstraints.WEST;
01216 constraintsExhaustiveRadioButton.weightx = 1.0;
01217 constraintsExhaustiveRadioButton.insets = new java.awt.Insets(10, 10, 0, 10);
01218 getModePanel().add(getExhaustiveRadioButton(), constraintsExhaustiveRadioButton);
01219
01220 java.awt.GridBagConstraints constraintsSupertraceRadioButton = new java.awt.GridBagConstraints();
01221 constraintsSupertraceRadioButton.gridx = 0; constraintsSupertraceRadioButton.gridy = 2;
01222 constraintsSupertraceRadioButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01223 constraintsSupertraceRadioButton.anchor = java.awt.GridBagConstraints.WEST;
01224 constraintsSupertraceRadioButton.weightx = 1.0;
01225 constraintsSupertraceRadioButton.insets = new java.awt.Insets(10, 10, 0, 10);
01226 getModePanel().add(getSupertraceRadioButton(), constraintsSupertraceRadioButton);
01227
01228 java.awt.GridBagConstraints constraintsHashCompactRadioButton = new java.awt.GridBagConstraints();
01229 constraintsHashCompactRadioButton.gridx = 0; constraintsHashCompactRadioButton.gridy = 3;
01230 constraintsHashCompactRadioButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01231 constraintsHashCompactRadioButton.anchor = java.awt.GridBagConstraints.WEST;
01232 constraintsHashCompactRadioButton.weightx = 1.0;
01233 constraintsHashCompactRadioButton.insets = new java.awt.Insets(10, 10, 10, 10);
01234 getModePanel().add(getHashCompactRadioButton(), constraintsHashCompactRadioButton);
01235
01236 java.awt.GridBagConstraints constraintsFillerPanel2 = new java.awt.GridBagConstraints();
01237 constraintsFillerPanel2.gridx = 0; constraintsFillerPanel2.gridy = 4;
01238 constraintsFillerPanel2.fill = java.awt.GridBagConstraints.BOTH;
01239 constraintsFillerPanel2.weightx = 1.0;
01240 constraintsFillerPanel2.weighty = 1.0;
01241 constraintsFillerPanel2.insets = new java.awt.Insets(4, 4, 4, 4);
01242 getModePanel().add(getFillerPanel2(), constraintsFillerPanel2);
01243 // user code begin {1}
01244 ((javax.swing.border.TitledBorder) ivjModePanel.getBorder()).setTitleColor(Color.black);
01245 // user code end
01246 } catch (java.lang.Throwable ivjExc) {
01247 // user code begin {2}
01248 // user code end
01249 handleException(ivjExc);
01250 }
01251 }
01252 return ivjModePanel;
01253 }
01254 /**
01255 * Return the JCheckBox2 property value.
01256 * @return javax.swing.JCheckBox
01257 */
01258 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01259 private javax.swing.JCheckBox getNeverClaimCheckBox() {
01260 if (ivjNeverClaimCheckBox == null) {
01261 try {
01262 ivjNeverClaimCheckBox = new javax.swing.JCheckBox();
01263 ivjNeverClaimCheckBox.setName("NeverClaimCheckBox");
01264 ivjNeverClaimCheckBox.setSelected(true);
01265 ivjNeverClaimCheckBox.setText("Apply Never Claim");
01266 ivjNeverClaimCheckBox.setBackground(new java.awt.Color(204,204,255));
01267 // user code begin {1}
01268 // user code end
01269 } catch (java.lang.Throwable ivjExc) {
01270 // user code begin {2}
01271 // user code end
01272 handleException(ivjExc);
01273 }
01274 }
01275 return ivjNeverClaimCheckBox;
01276 }
01277 /**
01278 * Return the Okbutton property value.
01279 * @return javax.swing.JButton
01280 */
01281 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01282 private javax.swing.JButton getOkbutton() {
01283 if (ivjOkbutton == null) {
01284 try {
01285 ivjOkbutton = new javax.swing.JButton();
01286 ivjOkbutton.setName("Okbutton");
01287 ivjOkbutton.setBorder(new javax.swing.border.EtchedBorder());
01288 ivjOkbutton.setText("OK");
01289 ivjOkbutton.setBackground(new java.awt.Color(204,204,255));
01290 // user code begin {1}
01291 // user code end
01292 } catch (java.lang.Throwable ivjExc) {
01293 // user code begin {2}
01294 // user code end
01295 handleException(ivjExc);
01296 }
01297 }
01298 return ivjOkbutton;
01299 }
01300 /**
01301 * Return the JCheckBox5 property value.
01302 * @return javax.swing.JCheckBox
01303 */
01304 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01305 private javax.swing.JCheckBox getPartialOrderCheckBox() {
01306 if (ivjPartialOrderCheckBox == null) {
01307 try {
01308 ivjPartialOrderCheckBox = new javax.swing.JCheckBox();
01309 ivjPartialOrderCheckBox.setName("PartialOrderCheckBox");
01310 ivjPartialOrderCheckBox.setText("Use Partial Order Reduction");
01311 ivjPartialOrderCheckBox.setBackground(new java.awt.Color(204,204,255));
01312 // user code begin {1}
01313 // user code end
01314 } catch (java.lang.Throwable ivjExc) {
01315 // user code begin {2}
01316 // user code end
01317 handleException(ivjExc);
01318 }
01319 }
01320 return ivjPartialOrderCheckBox;
01321 }
01322 /**
01323 * Return the JTextField1 property value.
01324 * @return javax.swing.JTextField
01325 */
01326 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01327 private javax.swing.JTextField getPhysicalTextField() {
01328 if (ivjPhysicalTextField == null) {
01329 try {
01330 ivjPhysicalTextField = new javax.swing.JTextField();
01331 ivjPhysicalTextField.setName("PhysicalTextField");
01332 ivjPhysicalTextField.setBorder(BorderFactory.createLoweredBevelBorder());
01333 ivjPhysicalTextField.setText("128");
01334 ivjPhysicalTextField.setSelectionColor(java.awt.Color.black);
01335 // user code begin {1}
01336 // user code end
01337 } catch (java.lang.Throwable ivjExc) {
01338 // user code begin {2}
01339 // user code end
01340 handleException(ivjExc);
01341 }
01342 }
01343 return ivjPhysicalTextField;
01344 }
01345 /**
01346 * Return the ResourceBoundedCheckBox property value.
01347 * @return javax.swing.JCheckBox
01348 */
01349 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01350 private javax.swing.JCheckBox getResourceBoundedCheckBox() {
01351 if (ivjResourceBoundedCheckBox == null) {
01352 try {
01353 ivjResourceBoundedCheckBox = new javax.swing.JCheckBox();
01354 ivjResourceBoundedCheckBox.setName("ResourceBoundedCheckBox");
01355 ivjResourceBoundedCheckBox.setSelected(true);
01356 ivjResourceBoundedCheckBox.setOpaque(false);
01357 ivjResourceBoundedCheckBox.setText("Resource Bounded");
01358 // user code begin {1}
01359 // user code end
01360 } catch (java.lang.Throwable ivjExc) {
01361 // user code begin {2}
01362 // user code end
01363 handleException(ivjExc);
01364 }
01365 }
01366 return ivjResourceBoundedCheckBox;
01367 }
01368 /**
01369 * Return the RunPanel property value.
01370 * @return javax.swing.JPanel
01371 */
01372 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01373 private javax.swing.JPanel getRunPanel() {
01374 if (ivjRunPanel == null) {
01375 try {
01376 ivjRunPanel = new javax.swing.JPanel();
01377 ivjRunPanel.setName("RunPanel");
01378 ivjRunPanel.setBorder(BorderFactory.createTitledBorder(BorderFactory.createEtchedBorder(),"Type of Run"));
01379 ivjRunPanel.setLayout(new java.awt.GridBagLayout());
01380 ivjRunPanel.setBackground(new java.awt.Color(204,204,255));
01381
01382 java.awt.GridBagConstraints constraintsPartialOrderCheckBox = new java.awt.GridBagConstraints();
01383 constraintsPartialOrderCheckBox.gridx = 0; constraintsPartialOrderCheckBox.gridy = 0;
01384 constraintsPartialOrderCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01385 constraintsPartialOrderCheckBox.anchor = java.awt.GridBagConstraints.WEST;
01386 constraintsPartialOrderCheckBox.weightx = 1.0;
01387 constraintsPartialOrderCheckBox.insets = new java.awt.Insets(10, 10, 0, 10);
01388 getRunPanel().add(getPartialOrderCheckBox(), constraintsPartialOrderCheckBox);
01389
01390 java.awt.GridBagConstraints constraintsCompressionCheckBox = new java.awt.GridBagConstraints();
01391 constraintsCompressionCheckBox.gridx = 0; constraintsCompressionCheckBox.gridy = 1;
01392 constraintsCompressionCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01393 constraintsCompressionCheckBox.anchor = java.awt.GridBagConstraints.WEST;
01394 constraintsCompressionCheckBox.weightx = 1.0;
01395 constraintsCompressionCheckBox.insets = new java.awt.Insets(10, 10, 0, 10);
01396 getRunPanel().add(getCompressionCheckBox(), constraintsCompressionCheckBox);
01397
01398 java.awt.GridBagConstraints constraintsFillerPanel4 = new java.awt.GridBagConstraints();
01399 constraintsFillerPanel4.gridx = 0; constraintsFillerPanel4.gridy = 4;
01400 constraintsFillerPanel4.fill = java.awt.GridBagConstraints.BOTH;
01401 constraintsFillerPanel4.weightx = 1.0;
01402 constraintsFillerPanel4.weighty = 1.0;
01403 constraintsFillerPanel4.insets = new java.awt.Insets(4, 4, 4, 4);
01404 getRunPanel().add(getFillerPanel4(), constraintsFillerPanel4);
01405
01406 java.awt.GridBagConstraints constraintsResourceBoundedCheckBox = new java.awt.GridBagConstraints();
01407 constraintsResourceBoundedCheckBox.gridx = 0; constraintsResourceBoundedCheckBox.gridy = 2;
01408 constraintsResourceBoundedCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01409 constraintsResourceBoundedCheckBox.anchor = java.awt.GridBagConstraints.WEST;
01410 constraintsResourceBoundedCheckBox.weightx = 1.0;
01411 constraintsResourceBoundedCheckBox.insets = new java.awt.Insets(10, 10, 10, 10);
01412 getRunPanel().add(getResourceBoundedCheckBox(), constraintsResourceBoundedCheckBox);
01413 // user code begin {1}
01414 ((javax.swing.border.TitledBorder) ivjRunPanel.getBorder()).setTitleColor(Color.black);
01415 // user code end
01416 } catch (java.lang.Throwable ivjExc) {
01417 // user code begin {2}
01418 // user code end
01419 handleException(ivjExc);
01420 }
01421 }
01422 return ivjRunPanel;
01423 }
01424 /**
01425 * Return the JRadioButton1 property value.
01426 * @return javax.swing.JRadioButton
01427 */
01428 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01429 private javax.swing.JRadioButton getSaftyRadioButton() {
01430 if (ivjSaftyRadioButton == null) {
01431 try {
01432 ivjSaftyRadioButton = new javax.swing.JRadioButton();
01433 ivjSaftyRadioButton.setName("SaftyRadioButton");
01434 ivjSaftyRadioButton.setText("Safety (State Properties)");
01435 ivjSaftyRadioButton.setBackground(new java.awt.Color(204,204,255));
01436 // user code begin {1}
01437 // user code end
01438 } catch (java.lang.Throwable ivjExc) {
01439 // user code begin {2}
01440 // user code end
01441 handleException(ivjExc);
01442 }
01443 }
01444 return ivjSaftyRadioButton;
01445 }
01446 /**
01447 * Return the JCheckBox3 property value.
01448 * @return javax.swing.JCheckBox
01449 */
01450 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01451 private javax.swing.JCheckBox getSaveTrailCheckBox() {
01452 if (ivjSaveTrailCheckBox == null) {
01453 try {
01454 ivjSaveTrailCheckBox = new javax.swing.JCheckBox();
01455 ivjSaveTrailCheckBox.setName("SaveTrailCheckBox");
01456 ivjSaveTrailCheckBox.setSelected(true);
01457 ivjSaveTrailCheckBox.setText("Save All Errors Trails");
01458 ivjSaveTrailCheckBox.setBackground(new java.awt.Color(204,204,255));
01459 // user code begin {1}
01460 // user code end
01461 } catch (java.lang.Throwable ivjExc) {
01462 // user code begin {2}
01463 // user code end
01464 handleException(ivjExc);
01465 }
01466 }
01467 return ivjSaveTrailCheckBox;
01468 }
01469 /**
01470 * Return the JCheckBox4 property value.
01471 * @return javax.swing.JCheckBox
01472 */
01473 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01474 private javax.swing.JCheckBox getShortestCheckBox() {
01475 if (ivjShortestCheckBox == null) {
01476 try {
01477 ivjShortestCheckBox = new javax.swing.JCheckBox();
01478 ivjShortestCheckBox.setName("ShortestCheckBox");
01479 ivjShortestCheckBox.setText("Find Shortest Trail (Costly!)");
01480 ivjShortestCheckBox.setBackground(new java.awt.Color(204,204,255));
01481 // user code begin {1}
01482 // user code end
01483 } catch (java.lang.Throwable ivjExc) {
01484 // user code begin {2}
01485 // user code end
01486 handleException(ivjExc);
01487 }
01488 }
01489 return ivjShortestCheckBox;
01490 }
01491 /**
01492 * Return the JTextField2 property value.
01493 * @return javax.swing.JTextField
01494 */
01495 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01496 private javax.swing.JTextField getStateTextField() {
01497 if (ivjStateTextField == null) {
01498 try {
01499 ivjStateTextField = new javax.swing.JTextField();
01500 ivjStateTextField.setName("StateTextField");
01501 ivjStateTextField.setBorder(BorderFactory.createLoweredBevelBorder());
01502 ivjStateTextField.setText("500");
01503 ivjStateTextField.setSelectionColor(java.awt.Color.black);
01504 // user code begin {1}
01505 // user code end
01506 } catch (java.lang.Throwable ivjExc) {
01507 // user code begin {2}
01508 // user code end
01509 handleException(ivjExc);
01510 }
01511 }
01512 return ivjStateTextField;
01513 }
01514 /**
01515 * Return the JRadioButton4 property value.
01516 * @return javax.swing.JRadioButton
01517 */
01518 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01519 private javax.swing.JRadioButton getSupertraceRadioButton() {
01520 if (ivjSupertraceRadioButton == null) {
01521 try {
01522 ivjSupertraceRadioButton = new javax.swing.JRadioButton();
01523 ivjSupertraceRadioButton.setName("SupertraceRadioButton");
01524 ivjSupertraceRadioButton.setText("SuperTrace/BitState");
01525 ivjSupertraceRadioButton.setBackground(new java.awt.Color(204,204,255));
01526 // user code begin {1}
01527 // user code end
01528 } catch (java.lang.Throwable ivjExc) {
01529 // user code begin {2}
01530 // user code end
01531 handleException(ivjExc);
01532 }
01533 }
01534 return ivjSupertraceRadioButton;
01535 }
01536 /**
01537 * Return the TrapPanel property value.
01538 * @return javax.swing.JPanel
01539 */
01540 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01541 private javax.swing.JPanel getTrapPanel() {
01542 if (ivjTrapPanel == null) {
01543 try {
01544 ivjTrapPanel = new javax.swing.JPanel();
01545 ivjTrapPanel.setName("TrapPanel");
01546 ivjTrapPanel.setBorder(BorderFactory.createTitledBorder(BorderFactory.createEtchedBorder(), "Error Trapping"));
01547 ivjTrapPanel.setLayout(new java.awt.GridBagLayout());
01548 ivjTrapPanel.setBackground(new java.awt.Color(204,204,255));
01549
01550 java.awt.GridBagConstraints constraintsJLabel4 = new java.awt.GridBagConstraints();
01551 constraintsJLabel4.gridx = 0; constraintsJLabel4.gridy = 0;
01552 constraintsJLabel4.fill = java.awt.GridBagConstraints.HORIZONTAL;
01553 constraintsJLabel4.insets = new java.awt.Insets(10, 10, 10, 10);
01554 getTrapPanel().add(getJLabel4(), constraintsJLabel4);
01555
01556 java.awt.GridBagConstraints constraintsSaveTrailCheckBox = new java.awt.GridBagConstraints();
01557 constraintsSaveTrailCheckBox.gridx = 0; constraintsSaveTrailCheckBox.gridy = 1;
01558 constraintsSaveTrailCheckBox.gridwidth = 3;
01559 constraintsSaveTrailCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01560 constraintsSaveTrailCheckBox.anchor = java.awt.GridBagConstraints.WEST;
01561 constraintsSaveTrailCheckBox.insets = new java.awt.Insets(10, 10, 0, 10);
01562 getTrapPanel().add(getSaveTrailCheckBox(), constraintsSaveTrailCheckBox);
01563
01564 java.awt.GridBagConstraints constraintsShortestCheckBox = new java.awt.GridBagConstraints();
01565 constraintsShortestCheckBox.gridx = 0; constraintsShortestCheckBox.gridy = 2;
01566 constraintsShortestCheckBox.gridwidth = 3;
01567 constraintsShortestCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01568 constraintsShortestCheckBox.anchor = java.awt.GridBagConstraints.WEST;
01569 constraintsShortestCheckBox.insets = new java.awt.Insets(10, 10, 10, 10);
01570 getTrapPanel().add(getShortestCheckBox(), constraintsShortestCheckBox);
01571
01572 java.awt.GridBagConstraints constraintsErrorsTextField = new java.awt.GridBagConstraints();
01573 constraintsErrorsTextField.gridx = 1; constraintsErrorsTextField.gridy = 0;
01574 constraintsErrorsTextField.gridwidth = 2;
01575 constraintsErrorsTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
01576 constraintsErrorsTextField.weightx = 1.0;
01577 constraintsErrorsTextField.insets = new java.awt.Insets(10, 10, 10, 10);
01578 getTrapPanel().add(getErrorsTextField(), constraintsErrorsTextField);
01579
01580 java.awt.GridBagConstraints constraintsFillerPanel3 = new java.awt.GridBagConstraints();
01581 constraintsFillerPanel3.gridx = 0; constraintsFillerPanel3.gridy = 3;
01582 constraintsFillerPanel3.gridwidth = 3;
01583 constraintsFillerPanel3.fill = java.awt.GridBagConstraints.BOTH;
01584 constraintsFillerPanel3.weightx = 1.0;
01585 constraintsFillerPanel3.weighty = 1.0;
01586 constraintsFillerPanel3.insets = new java.awt.Insets(4, 4, 4, 4);
01587 getTrapPanel().add(getFillerPanel3(), constraintsFillerPanel3);
01588 // user code begin {1}
01589 ((javax.swing.border.TitledBorder) ivjTrapPanel.getBorder()).setTitleColor(Color.black);
01590 // user code end
01591 } catch (java.lang.Throwable ivjExc) {
01592 // user code begin {2}
01593 // user code end
01594 handleException(ivjExc);
01595 }
01596 }
01597 return ivjTrapPanel;
01598 }
01599 /**
01600 * Called whenever the part throws an exception.
01601 * @param exception java.lang.Throwable
01602 */
01603 private void handleException(java.lang.Throwable exception) {
01604
01605 /* Uncomment the following lines to print uncaught exceptions to stdout */
01606 // System.out.println("--------- UNCAUGHT EXCEPTION ---------");
01607 // exception.printStackTrace(System.out);
01608 }
01609 /**
01610 * Comment
01611 */
01612 public void hashCompactRadioButton_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
01613 spinOptions.setSearchMode(SpinOptions.HashCompact);
01614 //return;
01615 }
01616 /**
01617 * Initializes connections
01618 * @exception java.lang.Exception The exception description.
01619 */
01620 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01621 private void initConnections() throws java.lang.Exception {
01622 // user code begin {1}
01623 // user code end
01624 getNeverClaimCheckBox().addActionListener(ivjEventHandler);
01625 getLivenessRadioButton().addActionListener(ivjEventHandler);
01626 getSaftyRadioButton().addActionListener(ivjEventHandler);
01627 getExhaustiveRadioButton().addActionListener(ivjEventHandler);
01628 getSupertraceRadioButton().addActionListener(ivjEventHandler);
01629 getHashCompactRadioButton().addActionListener(ivjEventHandler);
01630 getOkbutton().addActionListener(ivjEventHandler);
01631 getSaveTrailCheckBox().addActionListener(ivjEventHandler);
01632 getShortestCheckBox().addActionListener(ivjEventHandler);
01633 getPartialOrderCheckBox().addActionListener(ivjEventHandler);
01634 getCompressionCheckBox().addActionListener(ivjEventHandler);
01635 getPhysicalTextField().addFocusListener(ivjEventHandler);
01636 getStateTextField().addFocusListener(ivjEventHandler);
01637 getDepthTextField().addFocusListener(ivjEventHandler);
01638 getErrorsTextField().addFocusListener(ivjEventHandler);
01639 getAssertionsCheckBox().addActionListener(ivjEventHandler);
01640 getResourceBoundedCheckBox().addActionListener(ivjEventHandler);
01641 }
01642 /**
01643 * Initialize the class.
01644 */
01645 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01646 private void initialize() {
01647 try {
01648 // user code begin {1}
01649 // user code end
01650 setName("SpinOption");
01651 setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE);
01652 setBackground(java.awt.Color.gray);
01653 setVisible(false);
01654 setForeground(java.awt.Color.gray);
01655 setSize(495, 491);
01656 setTitle("Spin Option");
01657 setContentPane(getJDialogContentPane());
01658 initConnections();
01659 } catch (java.lang.Throwable ivjExc) {
01660 handleException(ivjExc);
01661 }
01662 // user code begin {2}
01663 ButtonGroup group = new ButtonGroup();
01664 group.add(getExhaustiveRadioButton());
01665 group.add(getSupertraceRadioButton());
01666 group.add(getHashCompactRadioButton());
01667
01668 group = new ButtonGroup();
01669 group.add(getSaftyRadioButton());
01670 group.add(getLivenessRadioButton());
01671
01672 // user code end
01673 }
01674 /**
01675 * Comment
01676 */
01677 public void livenessRadioButton_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
01678 spinOptions.setAcceptanceCycles(true);
01679 //spinOptions.setAssertions(false);
01680 spinOptions.setSafety(false);
01681 //return;
01682 }
01683 /**
01684 * main entrypoint - starts the part when it is run as an application
01685 * @param args java.lang.String[]
01686 */
01687 public static void main(java.lang.String[] args) {
01688 try {
01689 SpinOption aSpinOption;
01690 aSpinOption = new SpinOption();
01691 aSpinOption.setModal(true);
01692 aSpinOption.addWindowListener(new java.awt.event.WindowAdapter() {
01693 public void windowClosing(java.awt.event.WindowEvent e) {
01694 System.exit(0);
01695 };
01696 });
01697 aSpinOption.setVisible(true);
01698 } catch (Throwable exception) {
01699 System.err.println("Exception occurred in main() of javax.swing.JDialog");
01700 exception.printStackTrace(System.out);
01701 }
01702 }
01703 /**
01704 * Comment
01705 */
01706 public void neverClaimCheckBox_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
01707 spinOptions.setApplyNeverClaim(getNeverClaimCheckBox().isSelected());
01708 //return;
01709 }
01710 /**
01711 * Comment
01712 */
01713 public void okbutton_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
01714 setVisible(false);
01715 //gui.requestFocus();
01716 //return;
01717 }
01718 /**
01719 *
01720 * @param param java.lang.String
01721 */
01722 public void parseCompileOptions(String param) {
01723 Vector vector = new Vector();
01724 StringTokenizer st = new StringTokenizer(param);
01725 while(st.hasMoreTokens()){
01726 vector.add(st.nextToken());
01727 }
01728 for(int i =0; i < vector.size(); i++){
01729 if(((String)vector.elementAt(i)).equals("-DBITSTATE")){
01730 getSupertraceRadioButton().setSelected(true);
01731 spinOptions.setSearchMode(SpinOptions.SuperTrace);
01732 }
01733 if(((String)vector.elementAt(i)).equals("-DHC")){
01734 getHashCompactRadioButton().setSelected(true);
01735 spinOptions.setSearchMode(SpinOptions.HashCompact);
01736 }
01737 if(((String)vector.elementAt(i)).equals("-DMEMLIM")){
01738 i++;
01739 if(i == vector.size()){
01740 System.out.println("Your should also specify the value after DMEMLIM");
01741 System.exit(0);
01742 }
01743 else {
01744 String temp = (String)vector.elementAt(i);
01745 getPhysicalTextField().setText(temp);
01746 try {
01747 spinOptions.setMemoryLimit(Integer.parseInt(temp));
01748 } catch (Exception e) {
01749 JOptionPane.showMessageDialog(null, e.getMessage(), "Error", JOptionPane.ERROR_MESSAGE);
01750 getPhysicalTextField().setText("" + spinOptions.getMemoryLimit());
01751 }
01752 }
01753 }
01754 if(((String)vector.elementAt(i)).equals("-DSAFETY")){
01755 getSaftyRadioButton().setSelected(true);
01756 spinOptions.setAcceptanceCycles(false);
01757 //spinOptions.setAssertions(getAssertionsCheckBox().isSelected());
01758 spinOptions.setSafety(true);
01759 }
01760 if(((String)vector.elementAt(i)).equals("-DNOREDUCE")){}
01761 if(((String)vector.elementAt(i)).equals("-DCOLLAPSE")){
01762 getCompressionCheckBox().setSelected(true);
01763 spinOptions.setCompression(getCompressionCheckBox().isSelected());
01764 }
01765 if(((String)vector.elementAt(i)).equals("-DNORESOURCEBOUNDED")) {
01766 getResourceBoundedCheckBox().setSelected(false);
01767 spinOptions.setResourceBounded(getResourceBoundedCheckBox().isSelected());
01768 }
01769 }
01770 }
01771 /**
01772 *
01773 * @param para java.lang.String
01774 */
01775 public void parsepaneOptions(String para) {
01776 Vector vector = new Vector();
01777 StringTokenizer st = new StringTokenizer(para);
01778 while(st.hasMoreTokens()){
01779 vector.add(st.nextToken());
01780 }
01781 for(int i =0; i < vector.size(); i++){
01782 if(((String)vector.elementAt(i)).equals("-n")){
01783 i++;
01784 if( i==vector.size() || !((String)(vector.elementAt(i))).startsWith("-m")){
01785 System.out.println("Your input should be -n -mSearchDepth");
01786
01787 }
01788 else{
01789 String temp = ((String)vector.elementAt(i)).substring(2);
01790 getDepthTextField().setText(temp);
01791 try{
01792 spinOptions.setSearchDepth(Integer.parseInt(temp));
01793 }catch(Exception e){
01794 JOptionPane.showMessageDialog(null, e.getMessage(), "Error", JOptionPane.ERROR_MESSAGE);
01795 getDepthTextField().setText(""+spinOptions.getSearchDepth());
01796 }
01797 }
01798 }
01799 if(((String)vector.elementAt(i)).equals("-a")){
01800 getLivenessRadioButton().setSelected(true);
01801 spinOptions.setAcceptanceCycles(true);
01802 }
01803 if(((String)vector.elementAt(i)).equals("-A")){
01804 getAssertionsCheckBox().setSelected(false);
01805 //spinOptions.setAssertions(false);
01806 }
01807 if(((String)vector.elementAt(i)).equals("-c")){
01808 i++;
01809 if( i==vector.size()){
01810 System.out.println("Your input should be -c StopAtErrors");
01811
01812 }
01813 else{
01814 String temp = (String)vector.elementAt(i);
01815 getErrorsTextField().setText(temp);
01816 try{
01817 spinOptions.setStopAtError(Integer.parseInt(temp));
01818 }catch(Exception e){
01819 JOptionPane.showMessageDialog(null, e.getMessage(), "Error", JOptionPane.ERROR_MESSAGE);
01820 getErrorsTextField().setText(""+spinOptions.getStopAtError());
01821 }
01822 }
01823 }
01824 if(((String)vector.elementAt(i)).equals("-e")){
01825 getSaveTrailCheckBox().setSelected(true);
01826 spinOptions.setSaveAllTrails(true);
01827 }
01828 if(((String)vector.elementAt(i)).equals("-I")){
01829 getShortestCheckBox().setSelected(true);
01830 spinOptions.setFindShortestTrail(true);
01831 }
01832 }
01833 }
01834 /**
01835 * Comment
01836 */
01837 public void partialOrderCheckBox_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
01838 spinOptions.setPOReduction(getPartialOrderCheckBox().isSelected());
01839 //return;
01840 }
01841 /**
01842 * Comment
01843 */
01844 public void physicalFieldMemory_FocusLost(java.awt.event.FocusEvent focusEvent) {
01845 try {
01846 spinOptions.setMemoryLimit(Integer.parseInt(getPhysicalTextField().getText()));
01847 } catch (Exception e) {
01848 JOptionPane.showMessageDialog(null, e.getMessage(), "Error", JOptionPane.ERROR_MESSAGE);
01849 getPhysicalTextField().setText("" + spinOptions.getMemoryLimit());
01850 }
01851 //return;
01852 }
01853 /**
01854 * Comment
01855 */
01856 public void physicalTextField_FocusLost(java.awt.event.FocusEvent focusEvent) {
01857 try {
01858 spinOptions.setMemoryLimit(Integer.parseInt(getPhysicalTextField().getText()));
01859 } catch (Exception e) {
01860 JOptionPane.showMessageDialog(null, e.getMessage(), "Error", JOptionPane.ERROR_MESSAGE);
01861 getPhysicalTextField().setText("" + spinOptions.getMemoryLimit());
01862 }
01863 //return;
01864 }
01865 /**
01866 * Comment
01867 */
01868 public void resourceBoundedCheckBox_ActionPerformed() {
01869 spinOptions.setResourceBounded(getResourceBoundedCheckBox().isSelected());;
01870 }
01871 /**
01872 * Comment
01873 */
01874 public void saftyRadioButton_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
01875 spinOptions.setAcceptanceCycles(false);
01876 //spinOptions.setAssertions(getAssertionsCheckBox().isSelected());
01877 spinOptions.setSafety(true);
01878 //return;
01879 }
01880 /**
01881 * Comment
01882 */
01883 public void saverailCheckBox_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
01884 spinOptions.setSaveAllTrails(getSaveTrailCheckBox().isSelected());
01885 //return;
01886 }
01887 public void setAcceptanceCycles(boolean b) { getLivenessRadioButton().setSelected(b);}
01888 public void setApplyNeverClaim(boolean b) { getNeverClaimCheckBox().setSelected(b); }
01889 public void setSafety(boolean b) { getSaftyRadioButton().setSelected(b); }
01890 /**
01891 * Comment
01892 */
01893 public void shortestCheckBox_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
01894 spinOptions.setFindShortestTrail(getShortestCheckBox().isSelected());
01895 //return;
01896 }
01897 /**
01898 * Comment
01899 */
01900 public void stateTextField_FocusLost(java.awt.event.FocusEvent focusEvent) {
01901 try {
01902 spinOptions.setSpaceEstimate(Integer.parseInt(getStateTextField().getText()));
01903 } catch (Exception e) {
01904 JOptionPane.showMessageDialog(null, e.getMessage(), "Error", JOptionPane.ERROR_MESSAGE);
01905 getStateTextField().setText("" + spinOptions.getSpaceEstimate());
01906 }
01907 //return;
01908 }
01909 /**
01910 * Comment
01911 */
01912 public void supertraceRadioButton_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
01913 spinOptions.setSearchMode(SpinOptions.SuperTrace);
01914 //return;
01915 }
01916 }
1.2.10 written by Dimitri van Heesch,
© 1997-2001