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 java.awt.event.*;
00038 import javax.swing.*;
00039 public class JPFOption extends JDialog {
00040 private JPanel ivjJPFOptionDialogContentPane = null;
00041 private JPanel ivjRuntimeAnalysisPanel = null;
00042 private JPanel ivjVerificationPanel = null;
00043 private JButton ivjOkButton = null;
00044 private JPanel ivjOptionPanel = null;
00045 IvjEventHandler ivjEventHandler = new IvjEventHandler();
00046 private JCheckBox ivjHashCompactCheckBox = null;
00047 private JCheckBox ivjSearchDepthCheckBox = null;
00048 private JTextField ivjSearchDepthTextField = null;
00049 private JPanel ivjFillerPanel1 = null;
00050 private JPanel ivjPropertyPanel = null;
00051 private JPanel ivjStateReductionPanel = null;
00052 private JCheckBox ivjAtomicLinesCheckBox = null;
00053 private JCheckBox ivjGarbageCollectionCheckBox = null;
00054 private JCheckBox ivjHeapSymmetryCheckBox = null;
00055 private JCheckBox ivjPOCheckBox = null;
00056 private JCheckBox ivjRaceCheckBox = null;
00057 private JPanel ivjFillerPanel2 = null;
00058 private JPanel ivjFillerPanel3 = null;
00059 private JPanel ivjFillerPanel4 = null;
00060 private JPanel ivjFillerPanel5 = null;
00061 private JCheckBox ivjPostVerifyCheckBox = null;
00062 private JTextField ivjRaceLevelTextField = null;
00063 private JCheckBox ivjLockOrderCheckBox = null;
00064 private JCheckBox ivjDDependCheckBox = null;
00065 private JPanel ivjDebugPanel = null;
00066 private JCheckBox ivjDependCheckBox = null;
00067 private JCheckBox ivjDLockOrderCheckBox = null;
00068 private JCheckBox ivjDRaceCheckBox = null;
00069 private JPanel ivjRadioPanel = null;
00070 private JRadioButton ivjRuntimeAnalysisRadioButton = null;
00071 private JRadioButton ivjVerificationRadioButton = null;
00072 private JCheckBox ivjAssertionCheckBox = null;
00073
00074 class IvjEventHandler implements java.awt.event.ActionListener {
00075 public void actionPerformed(java.awt.event.ActionEvent e) {
00076 if (e.getSource() == JPFOption.this.getOkButton())
00077 connEtoM1(e);
00078 if (e.getSource() == JPFOption.this.getSearchDepthCheckBox())
00079 connEtoC1();
00080 if (e.getSource() == JPFOption.this.getVerificationRadioButton())
00081 connEtoC2();
00082 if (e.getSource() == JPFOption.this.getRuntimeAnalysisRadioButton())
00083 connEtoC3();
00084 if (e.getSource() == JPFOption.this.getGarbageCollectionCheckBox())
00085 connEtoC4();
00086 if (e.getSource() == JPFOption.this.getHeapSymmetryCheckBox())
00087 connEtoC5();
00088 if (e.getSource() == JPFOption.this.getRaceCheckBox())
00089 connEtoC6();
00090 if (e.getSource() == JPFOption.this.getLockOrderCheckBox())
00091 connEtoC7();
00092 if (e.getSource() == JPFOption.this.getPostVerifyCheckBox())
00093 connEtoC8();
00094 if (e.getSource() == JPFOption.this.getDependCheckBox())
00095 connEtoC10();
00096 };
00097 };
00098 /**
00099 * JPFOption constructor comment.
00100 */
00101 public JPFOption() {
00102 super();
00103 initialize();
00104 }
00105 /**
00106 * JPFOption constructor comment.
00107 * @param owner java.awt.Dialog
00108 */
00109 public JPFOption(Dialog owner) {
00110 super(owner);
00111 }
00112 /**
00113 * JPFOption constructor comment.
00114 * @param owner java.awt.Dialog
00115 * @param title java.lang.String
00116 */
00117 public JPFOption(Dialog owner, String title) {
00118 super(owner, title);
00119 }
00120 /**
00121 * JPFOption constructor comment.
00122 * @param owner java.awt.Dialog
00123 * @param title java.lang.String
00124 * @param modal boolean
00125 */
00126 public JPFOption(Dialog owner, String title, boolean modal) {
00127 super(owner, title, modal);
00128 }
00129 /**
00130 * JPFOption constructor comment.
00131 * @param owner java.awt.Dialog
00132 * @param modal boolean
00133 */
00134 public JPFOption(Dialog owner, boolean modal) {
00135 super(owner, modal);
00136 }
00137 /**
00138 * JPFOption constructor comment.
00139 * @param owner java.awt.Frame
00140 */
00141 public JPFOption(Frame owner) {
00142 super(owner);
00143 }
00144 /**
00145 * JPFOption constructor comment.
00146 * @param owner java.awt.Frame
00147 * @param title java.lang.String
00148 */
00149 public JPFOption(Frame owner, String title) {
00150 super(owner, title);
00151 }
00152 /**
00153 * JPFOption constructor comment.
00154 * @param owner java.awt.Frame
00155 * @param title java.lang.String
00156 * @param modal boolean
00157 */
00158 public JPFOption(Frame owner, String title, boolean modal) {
00159 super(owner, title, modal);
00160 }
00161 /**
00162 * JPFOption constructor comment.
00163 * @param owner java.awt.Frame
00164 * @param modal boolean
00165 */
00166 public JPFOption(Frame owner, boolean modal) {
00167 super(owner, modal);
00168 }
00169 /**
00170 * connEtoC1: (VerificationButton.action. --> JPFOption.verificationButton_ActionEvents()V)
00171 */
00172 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00173 private void connEtoC1() {
00174 try {
00175 // user code begin {1}
00176 // user code end
00177 this.searchDepthCheckBox_ActionEvents();
00178 // user code begin {2}
00179 // user code end
00180 } catch (java.lang.Throwable ivjExc) {
00181 // user code begin {3}
00182 // user code end
00183 handleException(ivjExc);
00184 }
00185 }
00186 /**
00187 * connEtoC10: (DependCheckBox.action. --> JPFOption.dependCheckBox_ActionEvents()V)
00188 */
00189 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00190 private void connEtoC10() {
00191 try {
00192 // user code begin {1}
00193 // user code end
00194 this.dependCheckBox_ActionEvents();
00195 // user code begin {2}
00196 // user code end
00197 } catch (java.lang.Throwable ivjExc) {
00198 // user code begin {3}
00199 // user code end
00200 handleException(ivjExc);
00201 }
00202 }
00203 /**
00204 * connEtoC2: (VerificationRadioButton.action. --> JPFOption.verificationRadioButton_ActionEvents()V)
00205 */
00206 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00207 private void connEtoC2() {
00208 try {
00209 // user code begin {1}
00210 // user code end
00211 this.verificationRadioButton_ActionEvents();
00212 // user code begin {2}
00213 // user code end
00214 } catch (java.lang.Throwable ivjExc) {
00215 // user code begin {3}
00216 // user code end
00217 handleException(ivjExc);
00218 }
00219 }
00220 /**
00221 * connEtoC3: (RuntimeAnalysisRadioButton.action. --> JPFOption.runtimeAnalysisRadioButton_ActionEvents()V)
00222 */
00223 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00224 private void connEtoC3() {
00225 try {
00226 // user code begin {1}
00227 // user code end
00228 this.runtimeAnalysisRadioButton_ActionEvents();
00229 // user code begin {2}
00230 // user code end
00231 } catch (java.lang.Throwable ivjExc) {
00232 // user code begin {3}
00233 // user code end
00234 handleException(ivjExc);
00235 }
00236 }
00237 /**
00238 * connEtoC4: (GarbageCollectionCheckBox.action. --> JPFOption.garbageCollectionCheckBox_ActionEvents()V)
00239 */
00240 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00241 private void connEtoC4() {
00242 try {
00243 // user code begin {1}
00244 // user code end
00245 this.garbageCollectionCheckBox_ActionEvents();
00246 // user code begin {2}
00247 // user code end
00248 } catch (java.lang.Throwable ivjExc) {
00249 // user code begin {3}
00250 // user code end
00251 handleException(ivjExc);
00252 }
00253 }
00254 /**
00255 * connEtoC5: (HeapSymmetryCheckBox.action. --> JPFOption.heapSymmetryCheckBox_ActionEvents()V)
00256 */
00257 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00258 private void connEtoC5() {
00259 try {
00260 // user code begin {1}
00261 // user code end
00262 this.heapSymmetryCheckBox_ActionEvents();
00263 // user code begin {2}
00264 // user code end
00265 } catch (java.lang.Throwable ivjExc) {
00266 // user code begin {3}
00267 // user code end
00268 handleException(ivjExc);
00269 }
00270 }
00271 /**
00272 * connEtoC6: (RaceCheckBox.action. --> JPFOption.raceCheckBox_ActionEvents()V)
00273 */
00274 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00275 private void connEtoC6() {
00276 try {
00277 // user code begin {1}
00278 // user code end
00279 this.raceCheckBox_ActionEvents();
00280 // user code begin {2}
00281 // user code end
00282 } catch (java.lang.Throwable ivjExc) {
00283 // user code begin {3}
00284 // user code end
00285 handleException(ivjExc);
00286 }
00287 }
00288 /**
00289 * connEtoC7: (LockOrderCheckBox.action. --> JPFOption.lockOrderCheckBox_ActionEvents()V)
00290 */
00291 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00292 private void connEtoC7() {
00293 try {
00294 // user code begin {1}
00295 // user code end
00296 this.lockOrderCheckBox_ActionEvents();
00297 // user code begin {2}
00298 // user code end
00299 } catch (java.lang.Throwable ivjExc) {
00300 // user code begin {3}
00301 // user code end
00302 handleException(ivjExc);
00303 }
00304 }
00305 /**
00306 * connEtoC8: (PostVerifyCheckBox.action. --> JPFOption.postVerifyCheckBox_ActionEvents()V)
00307 */
00308 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00309 private void connEtoC8() {
00310 try {
00311 // user code begin {1}
00312 // user code end
00313 this.postVerifyCheckBox_ActionEvents();
00314 // user code begin {2}
00315 // user code end
00316 } catch (java.lang.Throwable ivjExc) {
00317 // user code begin {3}
00318 // user code end
00319 handleException(ivjExc);
00320 }
00321 }
00322 /**
00323 * connEtoM1: (OkButton.action.actionPerformed(java.awt.event.ActionEvent) --> JPFOption.dispose()V)
00324 * @param arg1 java.awt.event.ActionEvent
00325 */
00326 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00327 private void connEtoM1(java.awt.event.ActionEvent arg1) {
00328 try {
00329 // user code begin {1}
00330 // user code end
00331 this.dispose();
00332 // user code begin {2}
00333 // user code end
00334 } catch (java.lang.Throwable ivjExc) {
00335 // user code begin {3}
00336 // user code end
00337 handleException(ivjExc);
00338 }
00339 }
00340 /**
00341 * Comment
00342 */
00343 public void dependCheckBox_ActionEvents() {
00344 if (getDependCheckBox().isSelected()) {
00345 getDDependCheckBox().setEnabled(true);
00346 } else {
00347 getDDependCheckBox().setEnabled(false);
00348 getDDependCheckBox().setSelected(false);
00349 }
00350 }
00351 /**
00352 * Comment
00353 */
00354 public void garbageCollectionCheckBox_ActionEvents() {
00355 if (getGarbageCollectionCheckBox().isSelected()) {
00356 getHeapSymmetryCheckBox().setSelected(true);
00357 }
00358 }
00359 /**
00360 * Return the AssetionCheckBox property value.
00361 * @return javax.swing.JCheckBox
00362 */
00363 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00364 private javax.swing.JCheckBox getAssertionCheckBox() {
00365 if (ivjAssertionCheckBox == null) {
00366 try {
00367 ivjAssertionCheckBox = new javax.swing.JCheckBox();
00368 ivjAssertionCheckBox.setName("AssertionCheckBox");
00369 ivjAssertionCheckBox.setText("Assertions");
00370 ivjAssertionCheckBox.setBackground(new java.awt.Color(204,204,255));
00371 // user code begin {1}
00372 // user code end
00373 } catch (java.lang.Throwable ivjExc) {
00374 // user code begin {2}
00375 // user code end
00376 handleException(ivjExc);
00377 }
00378 }
00379 return ivjAssertionCheckBox;
00380 }
00381 /**
00382 * Return the AtomicLinesCheckBox property value.
00383 * @return javax.swing.JCheckBox
00384 */
00385 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00386 private javax.swing.JCheckBox getAtomicLinesCheckBox() {
00387 if (ivjAtomicLinesCheckBox == null) {
00388 try {
00389 ivjAtomicLinesCheckBox = new javax.swing.JCheckBox();
00390 ivjAtomicLinesCheckBox.setName("AtomicLinesCheckBox");
00391 ivjAtomicLinesCheckBox.setSelected(true);
00392 ivjAtomicLinesCheckBox.setText("Atomic Lines");
00393 ivjAtomicLinesCheckBox.setBackground(new java.awt.Color(204,204,255));
00394 // user code begin {1}
00395 // user code end
00396 } catch (java.lang.Throwable ivjExc) {
00397 // user code begin {2}
00398 // user code end
00399 handleException(ivjExc);
00400 }
00401 }
00402 return ivjAtomicLinesCheckBox;
00403 }
00404 /**
00405 *
00406 */
00407 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00408 private static void getBuilderData() {
00409 /*V1.1
00410 **start of data**
00411 D0CB838494G88G88G83A338A8GGGGGGGGGGGG8CGGGE2F5E9ECE4E5F2A0E4E1F4E145FD8DD8D4575130B11B0434A4A10DB1E85410C8A2E9E9CBDA53524474358DFDEB9B5A1A14B63671FDCBD352501624A4358DEFC35B0B7C080A8A86956ACFB606C4D404C57993D7C4C0C5030A32AAAA6AAE6C822B8B3B59DD9410A45F1CF36E1CFB776EDDF6A1550F6719676E19B3E7E64E1C39674E79C548FFB7ACB3EDF13EA024E58A62DFF51AA014BCA188F92BE73E0838824118A6487E5E8348933E3B
00412 B7831E4510E70BB226658AE7D6E6C3DA8F698DDFB6262D035F6F889DAB639E079FBE64C4C25E27EB5FF8F5F4B95FB90EF21650745E45B970DC89D08FB8B3C014C0641FDADCA06203A03DD27CCDA0ED31A09852884D323A8299FE11C8D78CF9FA0094CA63D83CC14C1F86E9C2B39B1E735298EDBCBC17D26DBEBEDEA3524D490E904CCE03E68511A5630FD03F1815B50BCF21BE75D6E208F4616F79DB084DDA2F7454D94C8325D7DC8325DDD6D7E927295FECF11ACABB872C3535C7DA8F9EF7382D76FEA1EEB151CF
00413 D717CD4B02FE10B62693DCC49D31C9817C5681B427230E2F9F550BBA98DFFBD250EE3A68D34770F4265B3CF4C947205726278FE6907ED3284DC939ECC85783B0DDFE3B98F51913013A3CD0C2E897C1BAA75318D614097857AA89DE8FE98300AD93F5FCF99F6AE86B7D0E10E06F542C722123A613699619A96938GF4AC24FEF16084E95BC4484B49B226E9811AG4CG9A0075549F0556ED705C5F69EE347775597B77BB9C8DB63373285DEC31416F5ADA4891F1A7ADDDF627D990184FD55615286803B0AD4B535F
00414 88303A1D9150C7C297FFCD983C542749D429DB53E38D1AA811C7CC16D43702A544EE2D7B085D92GCF4A2DA16DCC71DD945F31C44233367A9A7585128E01BCFDB65AF9D2B16A127325F0E15A2C231AA5AA3A34AE392CC94C96F5D8AA6942EC7CEE9B31F189601B810CG03G21G51CB5146C7DAF779337161FE374559EF32358DF4BACCCEF7430055867EAE5A7A21452359DA8DD8392F0E399C33CB44AEF99B257C7D042ADD9C2997B4F122BD12E4F6E132FF6FD3F64EB2EF5FD8495B70608E52D65AE52C8DB3B9
00415 7E8445D748702CED9750F70B241BA1AF9200515FDFC570394B15BE92C171CD4B15BE7217CA7411C148AB4AB1263176FD46C07A3E7910CE8248D881FDB9009E209D4036825B787E5632G5F23D6D97B323247CE2C0527E5506DB49D6EF739CD7DDD1653A6275554E933388411664C89E257CE0FF29D747D6E829907AC7D50BB12AE91381B7AAC60CCAEC6E3B911C7E81C961AEB3076D9C0C01FC3C03EFDA7208F90ECA6177B1443ECF2DBA48A16BFF0027844D553E960C8FADC6857D690FB3550BEB798FEC72CC0DB
00416 7D71944189AB218DD622DD12CF2C0667C7605C96DBEDED13350B28E1F28E210F1E5ED7CC5E9F208F81C886E8DFE5CC0B815065828EA09EC01F876FD49E6F435B51BFD3DE791AB06FEF47D47D137AE59E73350C55CA7F34B23900EF8130818483C4824482A481643CE3CCAB81E8F9873F33336B4260C9F4C47EC4CFDF6F926A9F32D21DC61F673BEC20C06CC66CC3FE933B919BB1DDFFC3F5DDA223DDBE8A9F728DDCA53EC7EA796FFCCEBD8924D33D24FE063CEB4CEF5A4F10F74F86F68E8208F887FDE77BC9ADFB
00417 279ACCAE8B3EC5471D7082D84C12A7B15A62B6223F652A255F5DE4F1D8A0DA68F73BC49FAEEBDBAA3DDF5DF66E7B1594CF7A5BC6F881DC9C3F27AD0F6101077CED457CC61AEFF23B1D564E8137254D62F6DB7BFB24729FD1DDDC9EDD39CB2C6B39F6D25739D04785G093C2EF1ED6F485E13963B7D4A0043C0FAG71FD7B870DABD201BEBF9F5B38E5874155C03A15634ED09C21F1F05C7F16347BE99BD25ED7DE4DA8F9523766AD3FB2FC79967A06FF998FD611F7B6CD244F9471CBC55FC69F4E93FD0B15799AAD
00418 B3896AB087A081A0E70DB12D822083C08390899087103A866D75FF15E1814AD9A94A7A3C6F46F80069DAD49596001E787E7E7F521579788F8D3E5F511F9A545F51B8037ABB7AEB43686F604B8635F710657D41C0ECE53F56AFFB27DFB7106FD4173D3F5FC2BB96DEC4E06312578D249E56FE2B7B0C555CE3F137D907AD02503216461D74DBD8843FEB5662B76A5A7B780DB21FFEDC50BDD3279A67061C6851042CE56FD778DA699B45F47A73A952D7D8EC16BEB0D423FD205F4D70FF255FD9916FCA273858A5647D
00419 53969F3F52B060F65B7BCBCC349A256C51EAF1F65B1DFD96F371E553D5D329691A3B14B6C369FE1AFD007C5E2A5D3123CE4B47D6A5E62B4BE1F7D90A371E5E2AE3B2E6141C20B25AACA6E7D7AFB4213B37315752F52541BE086294BCDC5E1417E4A2DD04F939683F6F887B2E1C257CA15630F6DB3BE844F252E4365ABD2B2410F1D51D5ACB4ECEAE672B6BAFD1B9A74122906E6C0738FB48E5F579976574D940CB5AAED156B7058BD456A113335354E3E9345BEC4C417CD82E47973D17248ADE2F170E34D1D94D96
00420 1323ED288F42C067109FB13DAA24DE92AAC57E0F6DE9E4F6B3F5D97C70F54AC83C78D5097CF4A3C7A93F96FB57957AD977435426247362DC4DED7174356314F72B5D65267E644F928EAFC2AF6EB5A26FDBF6B4D35E2C937343576CC1646D7DBA96975CF5163C6BB15087ACGC8DE0BF1414727C9BE4685E270A3F98564B52FA3FD504CFD7932FEA5FB9D1B87DA4973FF66119FA266AF04A74BEF2DD74BCF66794F2B66E794E07E497DEA7985BC7F672A79A5BC5F502016DF4F73FF211AEF6079279B5572FBF97E0B
00421 2A79A385E8670BE7F24977427271008506DFA4707A48B204E328B32B95F927CD3681E9EC56F706FCEFED32180D610D6D6A7DF7F7BB193F3B4279DFEE4F9248980B71E45F1BA8936169F0DA7BA044A5C128B8DF171FAE1F2F8B817D495CDEB4BCE381D859D4BD7986C933E43C5F5BC6EC206875DACD60D90C7703BB643C93C45E5905B0668508A9A4B409D5B897D8816996GDBA10BC9A38B193F857F1B50C5D6A3DDAE240B811A7F4D78F57CDBCEE729C13A8510CEA638750C2EE83D1CEE53EE24EB873CE33DC497
00422 62C17782271B8778F8991D30C1CEF7FBAD5255G3EF503C46770202B5D03F4E1000F1651AD7020FB1D53899B416FB7CAF4B59B65F40F68112E977093E4F4E19EF42777A25DFC40A74A6832B7B13A0ACD04EE184FFD16F15C3D9477E78886FF1401F3BAC7F365F3339DF997D563918203A27F60CD4A392E6F1FA3FCA381BFE7933EB7896D72F14BFE174B5EE5251FE2719D386F2CBCD6E13850334B6059EDF53A5C07A1889C4477E846D922AB190B9051623B50FAC8ED7E6C00596A36BBF1D858F80D76290DBC00BB
00423 ED35DC936BBEF527FC4EF7E4DA3DE6390F3A4F976B1CAC2BFBF35274F42647D7366F8DD48F033D51EE36B4C3172050C890672C336A315DF46F625C719D9C574BF1597B919746F1F7F25C820EDB560038DCAD623E48F14D9C17530838899CF79747C5F35C4AA644A5EB31DFB979B17183BAB7CF424841D257B50839EBEB0FB4D9CDB6FB8F2F5B276924AC990B943F07F35D091924AFB4C2FA90A064BD6479172D856ABCE93F44787D1C0EE9C9DBC6F0FE1DF43EAE9E52A9G391B01AF1D474B2B4E9175AE861CF1B3
00424 767F3F5FA66F7FC381BF97A08100750D0355A4BE9CFB500CBE7A58BA6253D24C0C6F5D4BEB6BC51911CDD1427C3FDED61D4B4F5DF4D9133219791C76FD4977A2662ED9B18700556D9755B857598BB4E16FE35DB6E4496B36G70C291741FC5D8B7FD4D9229EE223EE7535E9748B74DEFFCAE56838284D9BD5AAF372956A3767196CDCD91535FD8A455A36E0F6B976BEAE708EBA7F757E0BDA201A621886BD1D0A82F47068FG8FE07BG6B71D715FA2C3FCC560B829C8308F33D07F6237C8940BB7A83147FF81E1A
00425 7C648F50D7FF5AC456CA829F84605C725BDCDE460746B47D07A86F35D6E53B39A1AF74C314E76F857792829E8988A86F6B355C3E40AB014BFBC927A6EF439614D736390878D6GC382A627EB8F4A51810F5EADA8E7FF15D28E190B8A63F21E3413EF5BE8C38446FF1D9E794F0632C91CFFCF399A7F22E24E3F132C137A9DADF0FBBD476554G8FC7B16FB3D46B914165446F5D8CCF7F8387147359DE14B387F8AC62F25ED12DCF49D614E3DA3D0974AD238EA4787A5ACE0F6F7C5E911F5F797A2D6C7DB4ECD5FE67
00426 7F56C17ADB8760B5DB71BBDFF80E4C3760F77EA4F822293F87A2DDBE37F30E3C2390530A69674E9139B42695F01EF757C5D24FD060B99BA096A081A0E39B4AB8F95E6FBA590141D1564916570FE53D2BE89B4E77850F29DC8DAF37E27FD84A3570F2F70F291C1117DB55B016F2EEDEAEE4CC6502F8393C4631141B464BFDE9CC6522F839F71A46D2AE06173BB51D14DB30CDFD1EBAC9019736639AE1C796F99F73373335C0623F8C5FCD71C5B2BCFBFFDF4F4458228272C237237C85BB64FA2782BE370449AC02E7
00427 CD0937DECC4E1BB406E9A9E1F272B8BE1D2ED18E4A70CCFEAF25A769F048536DC0796B2A7D59ED4E8ECF9DD8398F7C160BD714E37D512AB69FF1A07B8C8A3837E4FA16F2BCC94609A940B32794634C0D5BB136ABAA45F544BBAF116FC387248781C2GA2816683A4816416E1FF91F6FE0F602F3FE041B86BAC9B15333B229DDE7232032E4C335E6A767B03D739D2C53A25CC4DFEF527572B5B8FBBF751FE2F2CD35A4F8C7C02G2615217D5A32B0561EDD067693CC44FEC9104E56995334GFAGA34088C0188E6D
00428 7746F935710C1A7D3C87B3521A983345241A715970912FF2CA9B4E552959F0ED43A6F59B4A62B1744324B6259DC96C3FG78A669500E478B518FB34A713DBA3AFBFCF5BA6FD5CED9A7FD39E7B926C3FC9E3625016B10D6BBBE9DD6F915D36A902C500159AABBD3E9ABB21688875A68F234D5518954F3BE577349F16A792CDFBD33F72A59EAF5B96A205D09BAD8770CCF07EBDE6514BA342B6AB0D805BAB8388E9B756353E13BD7B9258E912ABA4C60F6184BF5F8FE1CBA7C462F8EA92ABAEC2C46F7A7F7976AF05B
00429 5E7169F01FD7B9258E4D3B54F4B8D20EBA98F7E1BFD85FC9F021100E5805FD5E318E32AE0AF1EC2B5D5A6F96B006FD3B034C435A1D569EEBBF62048B8457E5F75245C2F1FF40C55F6B188D975557B11BAF2A2FE39E3BB87ADE035397FD2DF332FD811B691CD1B454AF8E0061E6F2DCA247956DC7DCAA47BD4AF13995087B3081F1C59CB70B63EAB82E3891F1AD9C77B84799B9EEDB93625C9CB7154E8F85C1BA12635E20383910DE40F10ECC3A678152391568D71DD9E46EFC83CF5BE81A7467AC3DA8535FBE0431
00430 G11636D23AB327E13B214FB9FD85D7FCC673C1AC0FEFBA55A233C1460FAA1BD42F1DFA9A338B0C8C7F3DCD9855AB2165BA925D28B4FE4C8E7D799530A811AG4CGA3G13GA22B10F6E99521A5F35D85625CF3AC64A58164D69B53AA2A593CB5236D2F1CA06ACDF8905E4A7A210CC0EC11AC33F73122CC24AC5DD42556AE77F2DDFC6DE542FD91E3ED17A50A3CBC596F250A3C0D346C2BEE325742EBBF41B1D31FC5407518E355CBC51A83EE7BD1328E4E7A32DF70182E3D9A67BBF7ECA331FF8824A3G66D623
00431 7DB7EFD776178BA0AF89C02801F83B465B6E623C7CA55FFD5854CB6AFDD858A5E2BB17FD4059E5D176D333AE9570BCA9CABC6C367411AAB31AA8DA5EEDF276D83C7A39EF5372AC4FD7793917FC75054C66BFDACB6A64006E55622201EB1349ED92ED3D3AC6E66BC6E2EB966F7CF105DAECD88CF6535770B1CA81FEDB8CB5589E2FACA36D918C69F000B9B5589E6DD9EAE32AB848CF84C875599E4BCC3E5BA34F245E9E6BCC3E5BE31349FFFBECB179EE0FD2137F7628B679EA8FE67367BCEC3E137B772703BCDE58
00432 0D76B49590FBB613B44060EE3427211058B3E437275D42A19D8D903B5B5B1ECC36E637DC76AE817B08D772545AA79E78AC82482E75452F26D64E2F025725BE936B3221166F773FCE6AE200348DC0D30BF559FAC2CD76B4480F820871A9BB49C3F6A52F4B3AF2B5FE8B00CF92003047973F30BDF2FED51C5FA7D5EA7C7201CFB1005EA7BF03DE4E2F1A731B292ADFAB70B1838C7A64173DD74E2F06735B2CBADF918CFC42GE6834CD370E47C666CDDA663D72EC3FE47D575DB88BC1281B274707D53FB72E3FEFF20
00433 134C4B8C7274E11A9E92F0ECEA593F123FBB877A4DE2104956E6F753586CBDA8C056DF986EA90A7B76E2F63E07617650582CA7C30E1BC3F105D0F6C7BA627652586C4FGE7B86E3B94F78A6826F05CBE9A1BBD8EB29E6438399437AEC3CE371F46EB3BA1681D1E0176FBA21DFC4B4C16EE53008D42D73B4BF25CA1EEB7A7F8BDA997CB63B7D27F92BD4EDBBFF10DFCEF3B1D26BE68965A9C16AEC13F170EB1B3304F0DG5AB9G8B81D281B66C45351EBBB2898F3755CD6718B5FB49B9282EDE0137695DFB7FAD48
00434 76B83095C868285CB40E6E37A0DDEB81095FBB6DCE5A3945D1798525A4E61C47E5E5AFA1B4B65310FDG5AC9D3C7E84E15220E851056813483586A585CBCAB37F7A9712BCED357159E27FD205F0C360823B1D9AC50AEGE0F5BED8017CB27601DF8154G34838C6EC3FEDFBAC67A8D796EAA067FFB9569E73DF6C9F1DB4C5AC4E3A20F75817EAEB9D60BBCDB6063E2B340D7642055E2B3E37E7FEDA6B28FDAEDB60B13AE39D6B07C77079478CA06AF9316D1D91D83BD940DFC5E7AB711633D5B8A779FBD6F317694
00435 3A0F59F1AEBC59F7B83EC4799DA679F1101F48E916F96DCFA1B4C2BD44B975C8B330DD0D2684726B6B319F7E3557B73A3D1E3D67B6F8CE2877B5DF7BB00D41A65533F959A59C7FD50A0F146159FC6DAE0AA7699848AB5E0F7179EEBA67998C69B00E1BC8F133A19D43F12FEE4758FEBE47BD5C0631FD42FE0CCFB62F44F8B137813FC13AF574FBCA52G038DBCDEAC1057BD8470618D2C3E51700CED70D5778B4B69FAFB832B638A0E37D1FCC62304E7F57F930D0FC83A9872A6B5227E76AC2C2750043879D9D84F
00436 9C0E7BE4B956D35B44677987653ABBG2FE9E27A0642B33249176E3F2031455CA6651922F80A0FEBD21EA96AA940F53AC448EBB900BADD21F304D1100E6138599437G52099CD778EF02DB84691C03083BC74B6B43F129F9D85641F13D2B316C8847E52D4132A187519687B2653608877C22032C7E5907209FBD644B9687C7C85DF407D81D17F33C0162DBE5F871FC950DE568DEB4480BBB04BA551F40F62CE9663EF9825B3109631E5E093A37F3DCE9B9160D6038FB4A316CEC0EDBDA0AE567F15C24AAACDBF098
00437 F1FF2D4232C59CF71F8E4B56F05CD3DCEE90472D5F09E5A7C9F4E5D8B60263F6D7E3DB25F05C54EAEC2B0CA308BB294732859CB739120E5BA1BD42F15DDC17900E7BA13741B40E6B633AC4F15C008E79899F613763F7F48DCCB695DEFA465AEF36DF03CFA2B9D166F615B69DEEEBBD5EF6605271E3179ADB6087DBAF7E2DA0DFAF96D25DBE570B73BF924F860B4F144617A6327E27B4A3DBACE3043C500F288DB3647DBD51710145ECAE0F65A7F964136F9B596BA065EF4A146793DD57E74A73DBBD72B3E565D93D
00438 361F47BDDF062A270462E70F78BC679BAF56A723C55C07DF775244F86B8BB90CCFD90D5CBE33AF6C5724796023974BB737C86B692CEDCA09DA22DEC13B647C926EBC2AC97741EFC464935CA2591B3D1393CB716C719C48DB540271D639112C7B70B59132E32936761053EAEEB0753450680635570FCB313DCA0E6277A20572B4C3FA84E052D1BC47B01C0EF6CC5D7AAD41F630DB550E9B5EB6E8A20FB2BD679F156A9F735A74F4963B35DD91840C950AAA5E05E73F651A16EF2CEA345B6C4E621D3A0A928A1515DB
00439 4571152D82F54DB9063EB535C269DB6FF978D6EC0552373E17AE4F7FE705523772BCFCCBD729742D4322EFB1BBFFD06CE1E7E96D09C7D7625EBDBEB75FF48C3F5585BB90B7F28CEDFF061EE11D8D69D80084CE5B40E9D3B96D77E9CCD1F19C3ECBG6663C87BD53E0EBAF29CE9FFC25711E7C3BA96A061B81FEB4D42F944D40E7BF0A976BD5AD6443D3D957B1E0AD67C6E4C22725BA1ED8350F07CB7A91E6C87A6FB2648BAA5436F5EB65ADCA96161ABEFB4E87710FDF2D499231DBB9B8D52C55B0B6388EA5F3EFE
00440 CB1F3D5F5A45627C9E0A7B8D4034D66C0727ECA7E38BB7B882737B6DB662770CBE37046E1F855AE80014D6020BEE530E22C302E89FD64FADAB15F1EB7D89F18F8FBCFBCF787A660753D8F06404F21F4357A8BE7804F21FC355BA5C67B08D7204137C9BD800F352E60E1BD0003E6466383F9722AF05F25CB71721AFC51E44F66BDACEE2757910CE8648ED03F196C0AB002D8DE91C14C653467610137DEA6170BB86A011533C314C2828B7616561E7E21A489A0B8F90FD08EE2DDCD64EF225AC655CB04EAF7BBB5328
00441 0425222F12D80B79CEFA1F64BB7FC75F599C834495G03869A8BADEF924BB6993C6B05ED0A508EB4845608F2EC86566E74BB426299BAAFB79770F186EC37BFD1DC8224D3B86E72B046BD9BCEA1EEED81362F6E945A6AA50A6B0074840E7BBD4511FD7EE48FBF437595FC1E759442FB25A8C7AD1F49387DF34940BE44D71B32F7FFA275FB17056C533418D93BCDA944FD549127300FF82E50330FC8266DAC1EAD9AD61FD3E820E30AE86091F38A5B7FB1AD36FF32CA5D31ED317DB3CE036F1C165A3F6434547ECC0F
00442 F97D123F5DCB47A1B5C053F49A65EDDC03729C2755676E6472B4C093AA1397F9DA69EF9D19581FC41FC6BF7AEAA676A773B8EE4B926CCF12B8EEAA9F9F8AE778F96891725DEE05F4AFC088C09440FC1EFF0E66A71EE167C248190F6CF668D75A79B9696B7EFC0470DAA94A1063234E287BDE08086F65BA3C65D7861E53D77A1AF21DC9597FE472F67C1EDDEA479F53B1D98B54313D9D5B71051D580E1AF6F53F4994FC779B216DCA3F19621064C55318A79CE82238BCEDA94ADB68C35EE87DD432173C0FBF1664ED
00443 22E330D42049BE0B723E2CC3F995E77D3F97CAF94DE715728EBBA5F9CDF43CE8G9AA31777FC994A8B76A1EF347A05F949FB4FA549FB1656AF92E82239BC2B9E65A57810A7EF3F9420A10072F24EC972D81F932CA3BEE469A7C7574C225C7F2A44383BG6819DE335C12DE49341DCBA02F669C6A2561F6B01FD357EB09605B8E03B23D180C19BA54C1F38E77F49886681E8EC84FBE07FBBAA2FA37437334693277099CC036BA6D8E0B53BD443074649E2E97E70C6FFE1CA5869C93CD7A7A23C2FB64FE1F670962C4
00444 BBAC921FBA5DCB93491355653BD7C9ECD3F45E18D68FE0869881888108B80FF57BF3AF51116C448375773B5D262EDEFA128AB76811C3C5921ACC32B35E3FA5C70D701E8B6B873E6C839C0E409066F867E578E699CCBDDC37678649B7EA8E57E3483AF9949B137D01EDEEA70C0270FB9BD4BA3EBB0BA60F335C4F46DCCE1C3FACA3316E7C73126FB17CG45AF1461D9EC7CCFBE76CE043C168E744BB706C8DBC6C1BA96A081A095E04385F8BFAE208D67DAF5021F7D16863B034E534B3682317AFDDCB1BE3B2C70D8
00445 63EA396079DE9AA16DD66044FDECBB147202C43AE9700C3A60EB2C719C9D4B46DCD05AB30E6267DFD05A73C2895AF3A16455DF446F64A1AF79619745F9EAF846DE74A53FEABB1D273E28143F0F6213AEAA654F5B0672D3A02F63924A7F06473E0A39000F3B44E4A642B37512AF797B69992DDC23F20D60A845979B15EB84BF2F42B502FA488B87E06BCF6FAE41F50CEC13B1CD8B508C50E1E27B93D87FF80A0E595D001BG90E9A238555B8A845FBE417A7BA0BA970DB7C5B0DCC39D09BB6966D90FF51D97B6113E
00446 0DAD32318C067FF4BBF9EE31EF913FD90FDE97B87F49ED014C6FB05ADF34113E3F4DBE60A60BFB2CFFAD9D447EB569D024909B675464896A7D6BA213F8E62ED31AF3A2CF96A35651F591836475F6E25CF8AB0DEB03A19D4EF12F2C45D8B23A935B7F4BE4D9D4C8606959B4CD76423234FEDDA06309044E714DEFB099278212B156F1A682DB8B6DA9A0754A68C23FFB3CG7DA7370B2DFB9643D35F457681B33FFB1F0EC58C00B38284F751B8F319FF3F532CA3E7051BCD2EDE68G9D26AEB7DFA4E47915C7C83E4A
00447 6DA2E27E6BBBE93E5B64361C3418873A14BE39EDF93EE7F9BE9F4772CF361131B94683221B63BA688A45FA67AE36EE9931DC6DECE5DC971E5DFA39C2392EC972933BF0BD7207BA357D542944E6E624196F3576C9E80AA1DFEF46586BF7A3527B65DC9E787C698F16633A3C81F83DAB303B003285690F71FF7A93013FFF9BDC72774F3C710266FD9F6FDF30197977C233747EE92E3F10A36E9B9874DEFB1FC7630AFC8B0E05978FF92F3D978E21BD1AAD4C870D70F4DB4439C5B62E26F39041008B3560DC5A0E826D
00448 A8BE98E3E1BA0A77323CC76EE375F1530CC873E49159E3607B169864954546734E818B33655B1FCAED2551865ED6AFEA312D96D8545AAAF91F9A0E497C79E7D2DB468A127C37738317FFEC8D4A4F6D9E2B7CF0629EE29B5F16C96C515C0DFD4AAF79190210EE561E91701C534D6673D8FB3652B1FE9C60623BF1BC71841F5F4A6971BD4E41310E96E8AAFA58F8021EF96FD10EF39C3D649B57FADC39C76252CE9243793C210717EFB91BCFFD527BFCAC4BDF52C8EC335FED6F33F635D87BADAEC57FF56FCAC59F33
00449 1375A1770C281D4BB574E09F93D72A165F5B037DC7E805327FA079A3109F52037D47744512CFC46D8C5CA752F721CFC4F0DE8F27CB3EB6B5C3627B4F9D0173BDD10AFC63B9DFE7264477DA1644B7C897B85F17F448372097799EDFA271ED4E1678FE3DACF03E0BB95FD64E775AB2096F134BA53E077401731D2AC73EC13D23754FF765C87CFFD9C9683BCDB61734B76A5E95D2FE67986A75E4994A1F4B6BE5DDA971FACAA7174546B1E78788815F77490654F8674DG71D5F2CF1A55E4338E531E150D8C59B8E977
00450 AA121F8232722DB0B682E881B0DA79FDA283E41CC9EECB759E6B9EB01357132DE773F347D7C739D36E2A7FFBD5DF3CCA67DB6D501F77917E087F1F2B44E95CF687C50AF74ADDA55FC7273527574DC8C5FC62D5E2C31B251B22996EE7745B67729893BB4995AD626F6B325F99E57F4973846A3164469BAA0355796FC33E5BA2EDD8FD8F7312E175F3B1AB06C73F5FEF4D306F7B7DB68C4B6F77934F3F1463DC7308151FAFA94738BF18636E24EBF48BA11D4CF195BBF0CEBA63B25F03D10AF352459C37EE977253DF
00451 66E731CA24F67E356CF7175F7BB2BFFF1B0F5CD0992C4E9739ED02399D9E62360962388BFC9FD08C370DFE3BE40F83325FBF9DF5BD77BFE31BD7EF288CD6679FED4775347CABFC1D2C846DD544F1A1BB50DE4D9CF71A5B2B638A1F9321F38811101E87104871ED941FE1831EGCDB6447F2A4AD79D890FC06AB1CF05AE710AFCCD7ACD1FB2829D172A2D4F631A861BA37947921C23B1C35D2659F03F4B6FCBBD4ED1337DAE8DF43841363B085F388359B80F9CE7433D912EEC42B3278FEC86206F43EF5FA3649AB8
00452 715B173CB5106FA89BB37D34CABEE6A263A0DF7B0D8CFD4CFE03FD1EF3966C7B78C21E961E511097871082105B8FBA826881DA81FA7B71DB79076B45026FB9D9E6887A3DF41A2C7DEED627D3AB3D47DB361598BFEA0077B4009800857DEC9F87ABB7F5357A3A64B768FCCAB250267663B8ACF52DF61476AE364B47E17935241F170F43BC47651F9055C4BFF83EG7DC08FBC5CF65C7BD2D8086D9BE94776BDD4C8E893A01D8A106F4076EDFDC7EA5F08E501376F5BCE79FE325404E155FDD0066EDACD09C3DCA3F4
00453 C86D9B8AE3E2266BEF1663BE9D0D036BDF0938B99C77AF9D6296B930CE03BAD227120F619D876878185F9146778939BFC65AF7693CEAA424E3G96FE0CFD420F174B67B59781BE5BB9FADF407C7256FCB2965BG34B5G9DGEE00A000B00059G73G9682AC8248F1995334G95G4DG6DGB60089AE7EFFA7BE5DBA0A6F0A1B56A46765ED763F03DB6049FC7B20298B4A8C15525B6DADA7CDD617455CC0E64FD9F671D651EF768F215FCC827931AEFE0F5A907ACD069B6D76EDCA2B0734814066C63F99D8AB79
00454 4D72024067B70F94103E6A185DC967B7D99BAC544A5BC083B2C25D233701584F2F11170B04B2F37D14E3BABC18D96B43E686F23E42AC1AEBB31DD95336B9CCDD96AD1FE0F3ED5E4A57BEB2510EF1A0B7E7G6DF8B08B6D58B400F6F453BBD4C6A0BD89A0F2G6D583FCE3263BDE31847FA194FE3458C0CF5EE62A06DC3981F7F9E61FB6A387E4B4B70DD2B380A387995C8E73B0AF5AA2BA0F58A07749CC2F7955F296CDD72F6C9823CF0AD1076BC6D31E6158FE50A83AA972F131753C31956004AAD71A8E706B203
00455 8115FB4863DE00E0A89396D039274A6465E6C319F9FE4A313EE17FAA5F630866D57E47F4A7D611363340D84CB0649047E327D751337D5D5DAE8B9FBB1EDF154BF107DD2DF61715B8BC1B43BADACEA6B696DE433928BB4AF1AEAAF7507F5E1722C14F356D1AC165DC54C49D53516A262B6E6CDBDA425F23C11CBB3B404F3C34834EA14A8E9FE46731D93999B45E1E8338F90328EF69AE54F7118FFD65EB7159C346348DC3525C19EEC836A7016AF18757C3BFA469E1005F64CCB853E39E5543863841A154434D771A
00456 048FF96B112950A39AE8E2E5FA444B74E06D72A65DDF19B404765947674E0B06595C229E1E2D436C1CBA536BBBEC0C82B877B06A5547758A9BD61FDBDCAA53EDB6504C9B1674DAB82CEC4F12E5A49EE8129F5E62F9A773485928A61583DCACFF6EE6626FCD0A83DCEC6E6F76EA655C9F29D762B04E8DC6296627727CAE557C5C6B58F725E70FEFDDB9EF1C650E0C399CDBBFFD15466BC557156B3A49942F3B2EDC579D4A6631A26405DD47F57A2D0544DFB2C60CE9DA00A6008EG87C050880F2BF349F9E1DF3149
00457 C93B1D1EB0A4078DA1B4110758B8F714673B7FCA48735FFF3D1627BEA77517BC6FB92914BC75B929FF66F94FC92533981EFE6D59C5848C3FF4B571DDB6A6B8EA6AB77550F993E647C9AB510E5340BEF1A3B8764ADE6FF187989BFBB51A1CE6F164055F5B05AB797E7DCF70BBBABF0F70EC02F487007B930C8DC249F20B78CE7CFAED60B1D661BA5237B7DA487F50C2BFFB31E0FC7E794AB84BEDAA9C1FDFBFCD47A9411FA87DBA0662C3BFD17A7551C2EC0FF0484B7E947D5A391E78358D52C1G11GB1G8BG12
00458 BFC53F1E744EE863C556F012B333FAA5ACD756AB63B3E3DA81C089C07DE75EFD27E80FCAF9B903022E9752A3GA1B23CB8976A31DFA59C7223C51AD8F8462B48E376CA22E323C51FA94F783DC571599314E77CBE5561993F8D10B7E1823F5351EB5FC94284717C8DBCF3EE71A57FBEBA5E525E22EC47E994DFF20B329DBF607BDEEAA0EF5AADB86F73DB9A678A9399BD437D1E628AC49CEB4B8772FD77B1B3727D77B13372557B182F66FB77B15F48D76FE322733D7B18E77209CDFBE07C564E693E4FF1E7B96E07
00459 14A7411D311A69580861FFC275A278E68B9108781FD33D2ED1DC3B08DBA0431D453EB71F7485D065DEBB3F2F6965FC92B3F4DBEDB6167EBD253176C358476D71A72A2355E112691D4CF1E739FF9E9A9ADF7FF0EA1C656E9EF3B966F75B0769B92109CAFF2C20787A09CAFFFC060F11DBA0AFEAA27A63DF345E7E1822157B23F8A6E00DB71DFD0D1CCEFC3FD56FC771EF075563AC7751184BB1BBA5323BC1EFD55A6F8D0A575E2A345FF0965A2F8472C2EE457E64D54F799640E7EB8299BBBDB722267786A82B83E8
00460 D261414A6552B1D73BA25F866989G13FC167B05577E428811F68EBC672B14E37618C94744899A251DA2A9BED92334D3E5855AA995720C37211F3D3B4B5BFF0AF6F97BD9DF29B71D33541B6EAD1DB7DD2A4E1BEE138A5D7BAAF45F52FB53BD2D7726FB3E4C1B6E17E5F2BA9633F41513EF315A1CCC0B7D9A799FAF9E93D9AC16E2FB6B699C48ED6AF3A0AC0E1ACB0EA70AF2FED4A2DF3FE5EDF05B8E5E86402762F60C69FAB613FD42B4266B327715DABB7BCA872E76151ABA5D25E420DADBFBEC40E663711D111D
00461 C7243CEC40C383B06DF60C653E33D152A1E7D76073BC1778FE03593787BA4F435740491520F887BA2FE39270A93A83E34FA40A6F00349BA0788E54778B6FCA7A1E9C437E08C7F7223E61F70CD55FCE2DA4B33BE42B8FFF701C2323B7EF10A9B93C2BC05ABF8B727303F07E6A6BFCAE21A5886B7EBF14D68369E9G3303306E675F137478E88CF51F416B9E9BB456B939DDE419DF64738C3FBFB263CE547FD50E53F35CD40EF35F097D6BEB14B57B7DB7596F4F32EF7C9AE2688D1541E2101D053E633C5D057E633C
00462 06C275B82F3950BB4EBBDA289E6735954A63BCD67729DEE7D18333D944B84B4DD23D374B7FF73CE9B5DD8739D379FDBACA7151F7AA3FCF3F4C4377A986720A3F00FE763DC24937FEAC7B5DD6F8637D4CF6C3E530B63E3E5E371FCDDC6F5F4F3E38DE5D4F6EDD6F6DE713572B7B593475F2BF934F2053318F39ABA7788B98AB6C4BA1B8F2F7C698470565609AFAA4473D1303EB68F3B92E3292770164FE91F137D4A21D1663B653984081E98D47DD51615E10D00EDB4F7715C4F2DCEFB92E714F61381779BDA3719C
00463 F7DBB54ADD74C57433B7290C26E0E31AB998F17F203891C8CF63B80D6E737A844A706DF753BF378C72CD71F57EDE0C71787E113941E8978B5FBF1240F1BB785E1A94EE03A9327DB40F48FEEF3F89FBEB1AEE288C717FFEFCC87AA2F1AF9D9DA6B37C064195929E074922DE6543129DEAE53F1F9D3A71B6D9F893E43C1EA55569AD596F897F51BBF955E5CF3921B2181F7FD3E57EA7BD47FB1C71728876014DF761BB5278893EB7860E7B47903EB73D9C37050EC722A19D4BF1FF2BC0FE719CF7269279A5F15CFC3E
00464 AFC9389BF1C995788E37F25C8EFEA7131B639A79BB9CF4B73E430FD7C8ED788D596FBD95B73EBD8DB7C146B39E73198B205EC9F787B27E7F2257BCE400BEBA66F26239B9FA2ED138476B5C9C45675C230C13667171D581640D5C036DE976D88B0F877C22FB82296F13632C6F33632C2F1156ABBBC4D9DFAB456707A86B7BA62F2F9672B4A17C1C58CE397CC440270684D25F3E127155777AB84B4D9EF3B9E60F93345E3977AA6DF40E62B75C2B34536F78F8349872026F656F39473D7E49004F78D2A0F67A3E6A1D
00465 2F85D03684209E402060434AA529166B855A91009000F055F28F29160B865AD800F800C52A650E10A5DE9C9348FEAF4C3B71FD4CDFEF288C3606DEC43FC14F83E45F0773864B4931B0B17FC76C9B85F9C577619A7B369CDCE3EF3D4F77BD8CE4AC20F69F0079BE655A7F45CAB20F6F607CC3AB795E82957E698A08861A587BA47E71B27EEC6EE3374ABD882DB476A679C9777133E77CDE02D440B15D1A68FE115CC938AF615EF2FE06ED12F8068D1E6EC96C6EA246E7B97D9E8683AEF49256E9DAB556A9E6127AFE
00466 8979192785C013B4C95A17A05C2F2C536D07497E4A7DAE174529FA262928CAF1A6291C6D9BA8737A1FF4C46F1C7B714CD1A92F9F81F2660864EBA13F62FE3441D13EE72465FEE94F0879FEF6F79333415DB4569F81DC507DE803A63EF7E5767D3E6F11C03F1987B48B6F17EC10AC3301F8F6D26627B69AA32582CD76E41417BF4C6F8B196C7F3E1066491EFE5AB1D9E973BA9ADFF95E83F42A8C7D28F7B23EBFCF97C9FACD203156A04963FA3D4A7728C47950CB3EF7C6797E444874E26D3126925BE37EE429BD92
00467 A733BBF0189E27E95CA6BCGED7DG6AF10E37C74D833E774A209EADC0E3FCC0EA8F77834AFBFF624A3DE35CDF15FB2F9569CB857E7B006C77CFF75C047381B7D4862B73F515B50F893B3C6D50AD2B3BDD76BB65A658A12F74465B61FBBB3D6D705FBB3D6DF0E607D4F7236C779FEE42F8FF71CD700739FB3D6D70033D5EE33FDF713BE8A7BC00E32B5A9A02A3F73285F35CBF7662F8AB0C634E5232646E58E40ECB2FC1FE992108B3F3FE399C372E8E7995F1DC8E67676638EFF17D0224321C5FA40E33F27DA2B8
00468 6E1EAA6417920AE78F76507364DBFA712E0959E4198A57CDF282DF2FB81F036B95B9D3308F8E7ED062652E9C7B1A5C0FAA11E7539475731B3E57FF4CDBA459BDBABCC3AE1E5175B8F749F06768D8527F9A915EF030F9AB0B493FD30EB1798868B8FB8A2E27246D44B8A6E98A5F633C136E331BEACC53839826221DAE94CB3A8ED787EE731FD423FDECD3473AC6E4A44BDCA21FEEFE17EA78D454DF42AD1C0A7AEF24630F7C87E1FCG5074A07EDF7081BEFE6BG5C2487117E9B949F8B6984005487313EE737C975
00469 5DBC06754B813EFE19BFED2C753DE73B649BC1A5127CB7078217FFE09865377810AF5AF6070CFF05677D85E7CB253C9F0CE1BD300057DDB38D6DD8CE4F3932B658DB09EDB0877297CD43B6982678126950DEG9D53316CB61D24C74D985A600BDC8F77743136419D65D29BE413FF35A246E7DD347F0A84FE5153F95CD8476FE11B6EBFEECC192E3807ED06723E33095578BE964CC09B444BF4380B6AD082F9B5B378BEEF2E03F9067FFD6903B3BCF588765221126B904AF5082E12F428E7F6003CE82E43043D5C8E
00470 AABAE4AAF4C8D168107310D20768AAEE0707F07E4018A39F1717G3E7E21C0668FFE6A398F914A7486D46E3FD47FB70C7FF2BF99E7392C1D631B1F19C97B6B11071473B311949F7410F2FE26F2A7BF8B85F9A95C3EAFF84CFBF4044178A0AC90BBDDD12D2F864A0682C42A7070D5EE2EC89B874FC415F22CDE77527EBDB5CCD95F29941F7D30323E6F737928FC489BFC986BFBFD1C730DF70EF33E71C3BA2F3870E1255EE5941F6825F7B47FDEAD023C76C7D06FE10F7955B9001F7FC8A06DF4E4D8DEAE814A2484
00471 D4EE23073C1C1946B46D4CC04AB5D60E4F3EA746DC0E5971F57A8D291829346FDB94DFBFD3E95F897CDB5482F9D1B3797FCA7728EFFEB80C0D43C72FAF6BA31FA07F768A3F27FB47703D2E43EF15BEFC346F751DB5927FA9555E77FFCC5CAD6567540DE13F95176F9ED57E39DA09FF0B0A7C36BDD27E45B1547F093DA8BFF2D4795B75927F1FD5496533F143359C6F3153084A3A59AB155EF4FF2C749EEBBECE7EDD9D2ECB49FE6F59F9935625EE288CD667BFD4FB5B6175EAEFFBCD647F27A4A19C47E83F637F27
00472 A4196366723D8C990F727FE94477C198B86ED93E8FE21063CE54E05960C771BDFCC0361E9FA67B3D75A60C759BEE020C12D229CE15325F5F3D89F3BAAF5E04390CFBD56636A62B6C67B58DFB53F58FFB53D528705B2DB2D73628D23265BFE43FEF2F3C71F6FD68064AE0F51E25E207C895BB9C2913FF479642FB157CE8A05FED33C7390C470CE9850F85D26EDB9E6BFBA5D0265ECFB971FF9C6CA555E1F1FF8E3BDB9B4A999F4331450BFCBDA4D8051FF20C65F53776E34AB9702F70F50B484724B9701847585EAA
00473 26C79255E3A16092399E3DB528C77EAC7FF7FC97830DFE16B4875EBACBB987EE2AD3717BBAEF3F3F2EC2B7C1056EA7AAF307AFF84C9DB2FB27D2FB0B779B0EE19EA73B863F539D33F0DC98D7C7F809775872B926C9109FBB8B477639F43C1191E1CC5BGD09101E5FF32CF5263E0CD60FACC61FA34C40CF5EC7FE83D407DF5C50D5CDFB540ABB4A290BF7F55B847F72F0E399C0BDFB554FE11914A3876AE0A0F0ED04635EB7978AE86720A9F476F698C0F7A8683BE6C71516BAB6E4F2B71762B2DB55E7D4D97E4B1
00474 52FD325F9BEEC23CD4F9936225A7D56C7014079D48459664FF75B6E6C1FB3DA6E43A0565C7DA8FEA595549AE17D3D869695DE90F2E3BB5771EDD830B052C03C296C4330EDE53E1A173AA39CD2FC5D85C65F28B6BDBC811B2A8D256C50A14510274020EBD6705255D4E1ECECA6E96961FBFF89E185054474227C2FA0B304C5DCB4FA8DB865DEEE11D4429159C6E94B3768C52FF5D702F5858FFB9608F789C3F6296569CB58DDA7B867A346CAADDAD3DCB3756AD64482F69F18B39624D28DA3C9A55AD2C96AF5154CA
00475 37E83A05956446CCADDE196996D612C372C051EF360A8464E43C169E0D377677005D483F9155327FA36A963258FEE49729D61ADCDB950CD3D8450DFC181E6F0B3F3A2BB67DF7B353978B990705AC36BF793010C1B6990331699E6443C23A5B6EE016003FE562D370A1F135C803F44B8220DB66070E7C95A2CFBFF44B46C0C77ED685C8670FDF21784C74C3D76C075F78B0E331FA20354F1043FF00CE5E5A2B5C42AAF25335D63C6A1ABA7ABAF22D3F55E4E33EAE5D31832F963BB5D6CB2F0D8D5081D60D399983F5
00476 47C0ABAC8448CFAEF7B47DBC648650D10C5EB50C67C58D140E02DBD846B756845AE8811BDD3CF7EC4E81797F0B5CE0B865737FF3C6C50931EC14F46F983B9B60C996C3BE81B15893F897C0E69DD9G7275BFC15A7ACCB61B5BE43B323F5FCC7EBFC843105BA25D3D79D49D616FC29AB11365FD2F0E68FDD9D6667F81D0CB878837E860699AB3GGD431GGD0CB818294G94G88G88G83A338A837E860699AB3GGD431GG8CGGGGGGGGGGGGGGGGGE2F5E9ECE4E5F2A0E4E1F4E1D0CB
00477 8586GGGG81G81GBAGGGD4B3GGGG
00478 **end of data**/
00479 }
00480 /**
00481 * Return the DDependCheckBox property value.
00482 * @return javax.swing.JCheckBox
00483 */
00484 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00485 private javax.swing.JCheckBox getDDependCheckBox() {
00486 if (ivjDDependCheckBox == null) {
00487 try {
00488 ivjDDependCheckBox = new javax.swing.JCheckBox();
00489 ivjDDependCheckBox.setName("DDependCheckBox");
00490 ivjDDependCheckBox.setText("Depend");
00491 ivjDDependCheckBox.setBackground(new java.awt.Color(204,204,255));
00492 ivjDDependCheckBox.setEnabled(false);
00493 // user code begin {1}
00494 // user code end
00495 } catch (java.lang.Throwable ivjExc) {
00496 // user code begin {2}
00497 // user code end
00498 handleException(ivjExc);
00499 }
00500 }
00501 return ivjDDependCheckBox;
00502 }
00503 /**
00504 * Return the FillerPanel6 property value.
00505 * @return javax.swing.JPanel
00506 */
00507 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00508 private javax.swing.JPanel getDebugPanel() {
00509 if (ivjDebugPanel == null) {
00510 try {
00511 ivjDebugPanel = new javax.swing.JPanel();
00512 ivjDebugPanel.setName("DebugPanel");
00513 ivjDebugPanel.setBorder(BorderFactory.createTitledBorder("Debug"));
00514 ivjDebugPanel.setLayout(new java.awt.GridBagLayout());
00515 ivjDebugPanel.setBackground(new java.awt.Color(204,204,255));
00516
00517 java.awt.GridBagConstraints constraintsDRaceCheckBox = new java.awt.GridBagConstraints();
00518 constraintsDRaceCheckBox.gridx = 0; constraintsDRaceCheckBox.gridy = 0;
00519 constraintsDRaceCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
00520 constraintsDRaceCheckBox.weightx = 1.0;
00521 constraintsDRaceCheckBox.insets = new java.awt.Insets(10, 10, 10, 0);
00522 getDebugPanel().add(getDRaceCheckBox(), constraintsDRaceCheckBox);
00523
00524 java.awt.GridBagConstraints constraintsDLockOrderCheckBox = new java.awt.GridBagConstraints();
00525 constraintsDLockOrderCheckBox.gridx = 1; constraintsDLockOrderCheckBox.gridy = 0;
00526 constraintsDLockOrderCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
00527 constraintsDLockOrderCheckBox.weightx = 1.0;
00528 constraintsDLockOrderCheckBox.insets = new java.awt.Insets(10, 10, 10, 0);
00529 getDebugPanel().add(getDLockOrderCheckBox(), constraintsDLockOrderCheckBox);
00530
00531 java.awt.GridBagConstraints constraintsDDependCheckBox = new java.awt.GridBagConstraints();
00532 constraintsDDependCheckBox.gridx = 2; constraintsDDependCheckBox.gridy = 0;
00533 constraintsDDependCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
00534 constraintsDDependCheckBox.weightx = 1.0;
00535 constraintsDDependCheckBox.insets = new java.awt.Insets(10, 10, 10, 10);
00536 getDebugPanel().add(getDDependCheckBox(), constraintsDDependCheckBox);
00537 // user code begin {1}
00538 // user code end
00539 } catch (java.lang.Throwable ivjExc) {
00540 // user code begin {2}
00541 // user code end
00542 handleException(ivjExc);
00543 }
00544 }
00545 return ivjDebugPanel;
00546 }
00547 /**
00548 * Return the JCheckBox3 property value.
00549 * @return javax.swing.JCheckBox
00550 */
00551 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00552 private javax.swing.JCheckBox getDependCheckBox() {
00553 if (ivjDependCheckBox == null) {
00554 try {
00555 ivjDependCheckBox = new javax.swing.JCheckBox();
00556 ivjDependCheckBox.setName("DependCheckBox");
00557 ivjDependCheckBox.setText("Depend");
00558 ivjDependCheckBox.setBackground(new java.awt.Color(204,204,255));
00559 ivjDependCheckBox.setEnabled(false);
00560 // user code begin {1}
00561 // user code end
00562 } catch (java.lang.Throwable ivjExc) {
00563 // user code begin {2}
00564 // user code end
00565 handleException(ivjExc);
00566 }
00567 }
00568 return ivjDependCheckBox;
00569 }
00570 /**
00571 * Return the DLockOrderCheckBox property value.
00572 * @return javax.swing.JCheckBox
00573 */
00574 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00575 private javax.swing.JCheckBox getDLockOrderCheckBox() {
00576 if (ivjDLockOrderCheckBox == null) {
00577 try {
00578 ivjDLockOrderCheckBox = new javax.swing.JCheckBox();
00579 ivjDLockOrderCheckBox.setName("DLockOrderCheckBox");
00580 ivjDLockOrderCheckBox.setText("Lock Ordering");
00581 ivjDLockOrderCheckBox.setBackground(new java.awt.Color(204,204,255));
00582 ivjDLockOrderCheckBox.setEnabled(false);
00583 // user code begin {1}
00584 // user code end
00585 } catch (java.lang.Throwable ivjExc) {
00586 // user code begin {2}
00587 // user code end
00588 handleException(ivjExc);
00589 }
00590 }
00591 return ivjDLockOrderCheckBox;
00592 }
00593 /**
00594 * Return the DRaceCheckBox property value.
00595 * @return javax.swing.JCheckBox
00596 */
00597 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00598 private javax.swing.JCheckBox getDRaceCheckBox() {
00599 if (ivjDRaceCheckBox == null) {
00600 try {
00601 ivjDRaceCheckBox = new javax.swing.JCheckBox();
00602 ivjDRaceCheckBox.setName("DRaceCheckBox");
00603 ivjDRaceCheckBox.setText("Race Condition");
00604 ivjDRaceCheckBox.setBackground(new java.awt.Color(204,204,255));
00605 ivjDRaceCheckBox.setEnabled(false);
00606 // user code begin {1}
00607 // user code end
00608 } catch (java.lang.Throwable ivjExc) {
00609 // user code begin {2}
00610 // user code end
00611 handleException(ivjExc);
00612 }
00613 }
00614 return ivjDRaceCheckBox;
00615 }
00616 /**
00617 * Return the FillerPanel1 property value.
00618 * @return javax.swing.JPanel
00619 */
00620 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00621 private javax.swing.JPanel getFillerPanel1() {
00622 if (ivjFillerPanel1 == null) {
00623 try {
00624 ivjFillerPanel1 = new javax.swing.JPanel();
00625 ivjFillerPanel1.setName("FillerPanel1");
00626 ivjFillerPanel1.setLayout(null);
00627 ivjFillerPanel1.setBackground(new java.awt.Color(204,204,255));
00628 // user code begin {1}
00629 // user code end
00630 } catch (java.lang.Throwable ivjExc) {
00631 // user code begin {2}
00632 // user code end
00633 handleException(ivjExc);
00634 }
00635 }
00636 return ivjFillerPanel1;
00637 }
00638 /**
00639 * Return the FillerPanel2 property value.
00640 * @return javax.swing.JPanel
00641 */
00642 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00643 private javax.swing.JPanel getFillerPanel2() {
00644 if (ivjFillerPanel2 == null) {
00645 try {
00646 ivjFillerPanel2 = new javax.swing.JPanel();
00647 ivjFillerPanel2.setName("FillerPanel2");
00648 ivjFillerPanel2.setLayout(null);
00649 ivjFillerPanel2.setBackground(new java.awt.Color(204,204,255));
00650 // user code begin {1}
00651 // user code end
00652 } catch (java.lang.Throwable ivjExc) {
00653 // user code begin {2}
00654 // user code end
00655 handleException(ivjExc);
00656 }
00657 }
00658 return ivjFillerPanel2;
00659 }
00660 /**
00661 * Return the FillerPanel3 property value.
00662 * @return javax.swing.JPanel
00663 */
00664 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00665 private javax.swing.JPanel getFillerPanel3() {
00666 if (ivjFillerPanel3 == null) {
00667 try {
00668 ivjFillerPanel3 = new javax.swing.JPanel();
00669 ivjFillerPanel3.setName("FillerPanel3");
00670 ivjFillerPanel3.setLayout(null);
00671 ivjFillerPanel3.setBackground(new java.awt.Color(204,204,255));
00672 // user code begin {1}
00673 // user code end
00674 } catch (java.lang.Throwable ivjExc) {
00675 // user code begin {2}
00676 // user code end
00677 handleException(ivjExc);
00678 }
00679 }
00680 return ivjFillerPanel3;
00681 }
00682 /**
00683 * Return the FillerPanel4 property value.
00684 * @return javax.swing.JPanel
00685 */
00686 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00687 private javax.swing.JPanel getFillerPanel4() {
00688 if (ivjFillerPanel4 == null) {
00689 try {
00690 ivjFillerPanel4 = new javax.swing.JPanel();
00691 ivjFillerPanel4.setName("FillerPanel4");
00692 ivjFillerPanel4.setLayout(null);
00693 ivjFillerPanel4.setBackground(new java.awt.Color(204,204,255));
00694 // user code begin {1}
00695 // user code end
00696 } catch (java.lang.Throwable ivjExc) {
00697 // user code begin {2}
00698 // user code end
00699 handleException(ivjExc);
00700 }
00701 }
00702 return ivjFillerPanel4;
00703 }
00704 /**
00705 * Return the FillerPanel5 property value.
00706 * @return javax.swing.JPanel
00707 */
00708 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00709 private javax.swing.JPanel getFillerPanel5() {
00710 if (ivjFillerPanel5 == null) {
00711 try {
00712 ivjFillerPanel5 = new javax.swing.JPanel();
00713 ivjFillerPanel5.setName("FillerPanel5");
00714 ivjFillerPanel5.setLayout(null);
00715 ivjFillerPanel5.setBackground(new java.awt.Color(204,204,255));
00716 // user code begin {1}
00717 // user code end
00718 } catch (java.lang.Throwable ivjExc) {
00719 // user code begin {2}
00720 // user code end
00721 handleException(ivjExc);
00722 }
00723 }
00724 return ivjFillerPanel5;
00725 }
00726 /**
00727 * Return the GarbageCollectionCheckBox property value.
00728 * @return javax.swing.JCheckBox
00729 */
00730 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00731 private javax.swing.JCheckBox getGarbageCollectionCheckBox() {
00732 if (ivjGarbageCollectionCheckBox == null) {
00733 try {
00734 ivjGarbageCollectionCheckBox = new javax.swing.JCheckBox();
00735 ivjGarbageCollectionCheckBox.setName("GarbageCollectionCheckBox");
00736 ivjGarbageCollectionCheckBox.setText("Garbage Collection");
00737 ivjGarbageCollectionCheckBox.setBackground(new java.awt.Color(204,204,255));
00738 // user code begin {1}
00739 // user code end
00740 } catch (java.lang.Throwable ivjExc) {
00741 // user code begin {2}
00742 // user code end
00743 handleException(ivjExc);
00744 }
00745 }
00746 return ivjGarbageCollectionCheckBox;
00747 }
00748 /**
00749 * Return the HashCompactCheckBox property value.
00750 * @return javax.swing.JCheckBox
00751 */
00752 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00753 private javax.swing.JCheckBox getHashCompactCheckBox() {
00754 if (ivjHashCompactCheckBox == null) {
00755 try {
00756 ivjHashCompactCheckBox = new javax.swing.JCheckBox();
00757 ivjHashCompactCheckBox.setName("HashCompactCheckBox");
00758 ivjHashCompactCheckBox.setMnemonic('h');
00759 ivjHashCompactCheckBox.setText("Hash Compaction");
00760 ivjHashCompactCheckBox.setBackground(new java.awt.Color(204,204,255));
00761 // user code begin {1}
00762 // user code end
00763 } catch (java.lang.Throwable ivjExc) {
00764 // user code begin {2}
00765 // user code end
00766 handleException(ivjExc);
00767 }
00768 }
00769 return ivjHashCompactCheckBox;
00770 }
00771 /**
00772 * Return the HeapSymmetryCheckBox property value.
00773 * @return javax.swing.JCheckBox
00774 */
00775 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00776 private javax.swing.JCheckBox getHeapSymmetryCheckBox() {
00777 if (ivjHeapSymmetryCheckBox == null) {
00778 try {
00779 ivjHeapSymmetryCheckBox = new javax.swing.JCheckBox();
00780 ivjHeapSymmetryCheckBox.setName("HeapSymmetryCheckBox");
00781 ivjHeapSymmetryCheckBox.setText("Heap Symmetry");
00782 ivjHeapSymmetryCheckBox.setBackground(new java.awt.Color(204,204,255));
00783 // user code begin {1}
00784 // user code end
00785 } catch (java.lang.Throwable ivjExc) {
00786 // user code begin {2}
00787 // user code end
00788 handleException(ivjExc);
00789 }
00790 }
00791 return ivjHeapSymmetryCheckBox;
00792 }
00793 /**
00794 * Return the JPFOptionDialogContentPane property value.
00795 * @return javax.swing.JPanel
00796 */
00797 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00798 private javax.swing.JPanel getJPFOptionDialogContentPane() {
00799 if (ivjJPFOptionDialogContentPane == null) {
00800 try {
00801 ivjJPFOptionDialogContentPane = new javax.swing.JPanel();
00802 ivjJPFOptionDialogContentPane.setName("JPFOptionDialogContentPane");
00803 ivjJPFOptionDialogContentPane.setLayout(new java.awt.BorderLayout());
00804 ivjJPFOptionDialogContentPane.setBackground(new java.awt.Color(204,204,255));
00805 getJPFOptionDialogContentPane().add(getOkButton(), "South");
00806 getJPFOptionDialogContentPane().add(getRadioPanel(), "North");
00807 getJPFOptionDialogContentPane().add(getOptionPanel(), "Center");
00808 // user code begin {1}
00809 // user code end
00810 } catch (java.lang.Throwable ivjExc) {
00811 // user code begin {2}
00812 // user code end
00813 handleException(ivjExc);
00814 }
00815 }
00816 return ivjJPFOptionDialogContentPane;
00817 }
00818 /**
00819 * Return the LockOrderCheckBox property value.
00820 * @return javax.swing.JCheckBox
00821 */
00822 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00823 private javax.swing.JCheckBox getLockOrderCheckBox() {
00824 if (ivjLockOrderCheckBox == null) {
00825 try {
00826 ivjLockOrderCheckBox = new javax.swing.JCheckBox();
00827 ivjLockOrderCheckBox.setName("LockOrderCheckBox");
00828 ivjLockOrderCheckBox.setText("Lock Ordering");
00829 ivjLockOrderCheckBox.setBackground(new java.awt.Color(204,204,255));
00830 // user code begin {1}
00831 // user code end
00832 } catch (java.lang.Throwable ivjExc) {
00833 // user code begin {2}
00834 // user code end
00835 handleException(ivjExc);
00836 }
00837 }
00838 return ivjLockOrderCheckBox;
00839 }
00840 /**
00841 * Return the OkButton property value.
00842 * @return javax.swing.JButton
00843 */
00844 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00845 private javax.swing.JButton getOkButton() {
00846 if (ivjOkButton == null) {
00847 try {
00848 ivjOkButton = new javax.swing.JButton();
00849 ivjOkButton.setName("OkButton");
00850 ivjOkButton.setMnemonic('o');
00851 ivjOkButton.setText("Ok");
00852 ivjOkButton.setBackground(new java.awt.Color(204,204,255));
00853 // user code begin {1}
00854 // user code end
00855 } catch (java.lang.Throwable ivjExc) {
00856 // user code begin {2}
00857 // user code end
00858 handleException(ivjExc);
00859 }
00860 }
00861 return ivjOkButton;
00862 }
00863 /**
00864 * Return the JPFOptionDialogContentPane property value.
00865 * @return javax.swing.JPanel
00866 */
00867 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00868 private javax.swing.JPanel getOptionPanel() {
00869 if (ivjOptionPanel == null) {
00870 try {
00871 ivjOptionPanel = new javax.swing.JPanel();
00872 ivjOptionPanel.setName("OptionPanel");
00873 ivjOptionPanel.setLayout(new java.awt.CardLayout());
00874 ivjOptionPanel.setBackground(new java.awt.Color(204,204,255));
00875 getOptionPanel().add(getVerificationPanel(), getVerificationPanel().getName());
00876 // user code begin {1}
00877 getOptionPanel().add(getRuntimeAnalysisPanel(), getRuntimeAnalysisPanel().getName());
00878 // user code end
00879 } catch (java.lang.Throwable ivjExc) {
00880 // user code begin {2}
00881 // user code end
00882 handleException(ivjExc);
00883 }
00884 }
00885 return ivjOptionPanel;
00886 }
00887 /**
00888 *
00889 * @return java.lang.String
00890 */
00891 public static String getOptions() {
00892 String result = "";
00893 if (BUI.jpfOption.isVerification()) {
00894 if (BUI.jpfOption.getPOCheckBox().isSelected()) {
00895 result += "-po-reduction ";
00896 } else {
00897 result += "-no-po-reduction ";
00898 }
00899
00900 if (BUI.jpfOption.getGarbageCollectionCheckBox().isSelected()) {
00901 result += "-garbage-collection ";
00902 } else {
00903 result += "-no-garbage-collection ";
00904 }
00905
00906 if (BUI.jpfOption.getHashCompactCheckBox().isSelected()) {
00907 result += "-hashcompact ";
00908 } else {
00909 result += "-no-hashcompact ";
00910 }
00911
00912 if (BUI.jpfOption.getSearchDepthCheckBox().isSelected()) {
00913 result += ("-search-depth " + BUI.jpfOption.getSearchDepthTextField().getText().trim() + " ");
00914 }
00915
00916 if (BUI.jpfOption.getHeapSymmetryCheckBox().isSelected()) {
00917 result += "-heap-symmetry ";
00918 } else {
00919 result += "-no-heap-symmetry ";
00920 }
00921
00922 if (BUI.jpfOption.getAtomicLinesCheckBox().isSelected()) {
00923 result += "-atomic-lines ";
00924 } else {
00925 result += "-no-atomic-lines ";
00926 }
00927
00928 if (BUI.jpfOption.getAssertionCheckBox().isSelected()) {
00929 result += "-assertions ";
00930 } else {
00931 result += "-no-assertions ";
00932 }
00933 } else {
00934 result += "-no-verify ";
00935
00936 if (BUI.jpfOption.getRaceCheckBox().isSelected()) {
00937 result += "-race ";
00938 result += "-race-level ";
00939 result += BUI.jpfOption.getRaceLevelTextField().getText().trim() + " ";
00940 }
00941
00942 if (BUI.jpfOption.getLockOrderCheckBox().isSelected()) {
00943 result += "-lock ";
00944 }
00945
00946 if (BUI.jpfOption.getPostVerifyCheckBox().isSelected()) {
00947 result += "-post-verify ";
00948 }
00949
00950 if (BUI.jpfOption.getDependCheckBox().isSelected()) {
00951 result += "-depend ";
00952 }
00953
00954 if (BUI.jpfOption.getDRaceCheckBox().isSelected()) {
00955 result += "-debugs race ";
00956 }
00957
00958 if (BUI.jpfOption.getLockOrderCheckBox().isSelected()) {
00959 result += "-debugs lock ";
00960 }
00961
00962 if (BUI.jpfOption.getDDependCheckBox().isSelected()) {
00963 result += "-debugs depend ";
00964 }
00965
00966 }
00967 return result;
00968 }
00969 /**
00970 * Return the POCheckBox property value.
00971 * @return javax.swing.JCheckBox
00972 */
00973 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00974 private javax.swing.JCheckBox getPOCheckBox() {
00975 if (ivjPOCheckBox == null) {
00976 try {
00977 ivjPOCheckBox = new javax.swing.JCheckBox();
00978 ivjPOCheckBox.setName("POCheckBox");
00979 ivjPOCheckBox.setText("Partial Order Reduction");
00980 ivjPOCheckBox.setBackground(new java.awt.Color(204,204,255));
00981 // user code begin {1}
00982 // user code end
00983 } catch (java.lang.Throwable ivjExc) {
00984 // user code begin {2}
00985 // user code end
00986 handleException(ivjExc);
00987 }
00988 }
00989 return ivjPOCheckBox;
00990 }
00991 /**
00992 * Return the JCheckBox2 property value.
00993 * @return javax.swing.JCheckBox
00994 */
00995 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00996 private javax.swing.JCheckBox getPostVerifyCheckBox() {
00997 if (ivjPostVerifyCheckBox == null) {
00998 try {
00999 ivjPostVerifyCheckBox = new javax.swing.JCheckBox();
01000 ivjPostVerifyCheckBox.setName("PostVerifyCheckBox");
01001 ivjPostVerifyCheckBox.setText("Post Verify");
01002 ivjPostVerifyCheckBox.setBackground(new java.awt.Color(204,204,255));
01003 ivjPostVerifyCheckBox.setEnabled(false);
01004 // user code begin {1}
01005 // user code end
01006 } catch (java.lang.Throwable ivjExc) {
01007 // user code begin {2}
01008 // user code end
01009 handleException(ivjExc);
01010 }
01011 }
01012 return ivjPostVerifyCheckBox;
01013 }
01014 /**
01015 * Return the JPanel2 property value.
01016 * @return javax.swing.JPanel
01017 */
01018 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01019 private javax.swing.JPanel getPropertyPanel() {
01020 if (ivjPropertyPanel == null) {
01021 try {
01022 ivjPropertyPanel = new javax.swing.JPanel();
01023 ivjPropertyPanel.setName("PropertyPanel");
01024 ivjPropertyPanel.setBorder(BorderFactory.createTitledBorder("Property"));
01025 ivjPropertyPanel.setLayout(new java.awt.GridBagLayout());
01026 ivjPropertyPanel.setBackground(new java.awt.Color(204,204,255));
01027
01028 java.awt.GridBagConstraints constraintsAssertionCheckBox = new java.awt.GridBagConstraints();
01029 constraintsAssertionCheckBox.gridx = 0; constraintsAssertionCheckBox.gridy = 0;
01030 constraintsAssertionCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01031 constraintsAssertionCheckBox.insets = new java.awt.Insets(10, 10, 0, 10);
01032 getPropertyPanel().add(getAssertionCheckBox(), constraintsAssertionCheckBox);
01033
01034 java.awt.GridBagConstraints constraintsFillerPanel1 = new java.awt.GridBagConstraints();
01035 constraintsFillerPanel1.gridx = 0; constraintsFillerPanel1.gridy = 1;
01036 constraintsFillerPanel1.fill = java.awt.GridBagConstraints.BOTH;
01037 constraintsFillerPanel1.weightx = 1.0;
01038 constraintsFillerPanel1.weighty = 1.0;
01039 constraintsFillerPanel1.insets = new java.awt.Insets(4, 4, 4, 4);
01040 getPropertyPanel().add(getFillerPanel1(), constraintsFillerPanel1);
01041 // user code begin {1}
01042 // user code end
01043 } catch (java.lang.Throwable ivjExc) {
01044 // user code begin {2}
01045 // user code end
01046 handleException(ivjExc);
01047 }
01048 }
01049 return ivjPropertyPanel;
01050 }
01051 /**
01052 * Return the RaceCheckBox property value.
01053 * @return javax.swing.JCheckBox
01054 */
01055 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01056 private javax.swing.JCheckBox getRaceCheckBox() {
01057 if (ivjRaceCheckBox == null) {
01058 try {
01059 ivjRaceCheckBox = new javax.swing.JCheckBox();
01060 ivjRaceCheckBox.setName("RaceCheckBox");
01061 ivjRaceCheckBox.setText("Race Condition");
01062 ivjRaceCheckBox.setBackground(new java.awt.Color(204,204,255));
01063 // user code begin {1}
01064 // user code end
01065 } catch (java.lang.Throwable ivjExc) {
01066 // user code begin {2}
01067 // user code end
01068 handleException(ivjExc);
01069 }
01070 }
01071 return ivjRaceCheckBox;
01072 }
01073 /**
01074 * Return the JTextField1 property value.
01075 * @return javax.swing.JTextField
01076 */
01077 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01078 private javax.swing.JTextField getRaceLevelTextField() {
01079 if (ivjRaceLevelTextField == null) {
01080 try {
01081 ivjRaceLevelTextField = new javax.swing.JTextField();
01082 ivjRaceLevelTextField.setName("RaceLevelTextField");
01083 ivjRaceLevelTextField.setBorder(BorderFactory.createLoweredBevelBorder());
01084 ivjRaceLevelTextField.setEditable(false);
01085 // user code begin {1}
01086 // user code end
01087 } catch (java.lang.Throwable ivjExc) {
01088 // user code begin {2}
01089 // user code end
01090 handleException(ivjExc);
01091 }
01092 }
01093 return ivjRaceLevelTextField;
01094 }
01095 /**
01096 * Return the RadioPanel property value.
01097 * @return javax.swing.JPanel
01098 */
01099 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01100 private javax.swing.JPanel getRadioPanel() {
01101 if (ivjRadioPanel == null) {
01102 try {
01103 ivjRadioPanel = new javax.swing.JPanel();
01104 ivjRadioPanel.setName("RadioPanel");
01105 ivjRadioPanel.setBorder(BorderFactory.createRaisedBevelBorder());
01106 ivjRadioPanel.setLayout(new java.awt.GridBagLayout());
01107 ivjRadioPanel.setBackground(new java.awt.Color(204,204,255));
01108
01109 java.awt.GridBagConstraints constraintsVerificationRadioButton = new java.awt.GridBagConstraints();
01110 constraintsVerificationRadioButton.gridx = 0; constraintsVerificationRadioButton.gridy = 0;
01111 constraintsVerificationRadioButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01112 constraintsVerificationRadioButton.weightx = 1.0;
01113 constraintsVerificationRadioButton.weighty = 1.0;
01114 constraintsVerificationRadioButton.insets = new java.awt.Insets(10, 10, 10, 0);
01115 getRadioPanel().add(getVerificationRadioButton(), constraintsVerificationRadioButton);
01116
01117 java.awt.GridBagConstraints constraintsRuntimeAnalysisRadioButton = new java.awt.GridBagConstraints();
01118 constraintsRuntimeAnalysisRadioButton.gridx = 1; constraintsRuntimeAnalysisRadioButton.gridy = 0;
01119 constraintsRuntimeAnalysisRadioButton.fill = java.awt.GridBagConstraints.HORIZONTAL;
01120 constraintsRuntimeAnalysisRadioButton.weightx = 1.0;
01121 constraintsRuntimeAnalysisRadioButton.weighty = 1.0;
01122 constraintsRuntimeAnalysisRadioButton.insets = new java.awt.Insets(10, 10, 10, 10);
01123 getRadioPanel().add(getRuntimeAnalysisRadioButton(), constraintsRuntimeAnalysisRadioButton);
01124 // user code begin {1}
01125 // user code end
01126 } catch (java.lang.Throwable ivjExc) {
01127 // user code begin {2}
01128 // user code end
01129 handleException(ivjExc);
01130 }
01131 }
01132 return ivjRadioPanel;
01133 }
01134 /**
01135 * Return the RuntimeAnalysisPanel property value.
01136 * @return javax.swing.JPanel
01137 */
01138 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01139 private javax.swing.JPanel getRuntimeAnalysisPanel() {
01140 if (ivjRuntimeAnalysisPanel == null) {
01141 try {
01142 ivjRuntimeAnalysisPanel = new javax.swing.JPanel();
01143 ivjRuntimeAnalysisPanel.setName("RuntimeAnalysisPanel");
01144 ivjRuntimeAnalysisPanel.setLayout(new java.awt.GridBagLayout());
01145 ivjRuntimeAnalysisPanel.setBackground(new java.awt.Color(204,204,255));
01146 ivjRuntimeAnalysisPanel.setBounds(36, 480, 648, 272);
01147
01148 java.awt.GridBagConstraints constraintsRaceCheckBox = new java.awt.GridBagConstraints();
01149 constraintsRaceCheckBox.gridx = 0; constraintsRaceCheckBox.gridy = 0;
01150 constraintsRaceCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01151 constraintsRaceCheckBox.insets = new java.awt.Insets(15, 10, 0, 0);
01152 getRuntimeAnalysisPanel().add(getRaceCheckBox(), constraintsRaceCheckBox);
01153
01154 java.awt.GridBagConstraints constraintsLockOrderCheckBox = new java.awt.GridBagConstraints();
01155 constraintsLockOrderCheckBox.gridx = 0; constraintsLockOrderCheckBox.gridy = 1;
01156 constraintsLockOrderCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01157 constraintsLockOrderCheckBox.insets = new java.awt.Insets(0, 10, 0, 0);
01158 getRuntimeAnalysisPanel().add(getLockOrderCheckBox(), constraintsLockOrderCheckBox);
01159
01160 java.awt.GridBagConstraints constraintsDependCheckBox = new java.awt.GridBagConstraints();
01161 constraintsDependCheckBox.gridx = 0; constraintsDependCheckBox.gridy = 3;
01162 constraintsDependCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01163 constraintsDependCheckBox.insets = new java.awt.Insets(0, 40, 0, 0);
01164 getRuntimeAnalysisPanel().add(getDependCheckBox(), constraintsDependCheckBox);
01165
01166 java.awt.GridBagConstraints constraintsRaceLevelTextField = new java.awt.GridBagConstraints();
01167 constraintsRaceLevelTextField.gridx = 1; constraintsRaceLevelTextField.gridy = 0;
01168 constraintsRaceLevelTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
01169 constraintsRaceLevelTextField.weightx = 1.0;
01170 constraintsRaceLevelTextField.insets = new java.awt.Insets(15, 10, 0, 0);
01171 getRuntimeAnalysisPanel().add(getRaceLevelTextField(), constraintsRaceLevelTextField);
01172
01173 java.awt.GridBagConstraints constraintsFillerPanel4 = new java.awt.GridBagConstraints();
01174 constraintsFillerPanel4.gridx = 1; constraintsFillerPanel4.gridy = 3;
01175 constraintsFillerPanel4.fill = java.awt.GridBagConstraints.BOTH;
01176 constraintsFillerPanel4.weightx = 1.0;
01177 constraintsFillerPanel4.insets = new java.awt.Insets(4, 4, 4, 4);
01178 getRuntimeAnalysisPanel().add(getFillerPanel4(), constraintsFillerPanel4);
01179
01180 java.awt.GridBagConstraints constraintsFillerPanel5 = new java.awt.GridBagConstraints();
01181 constraintsFillerPanel5.gridx = 2; constraintsFillerPanel5.gridy = 3;
01182 constraintsFillerPanel5.fill = java.awt.GridBagConstraints.BOTH;
01183 constraintsFillerPanel5.weightx = 1.0;
01184 constraintsFillerPanel5.insets = new java.awt.Insets(4, 4, 4, 4);
01185 getRuntimeAnalysisPanel().add(getFillerPanel5(), constraintsFillerPanel5);
01186
01187 java.awt.GridBagConstraints constraintsDebugPanel = new java.awt.GridBagConstraints();
01188 constraintsDebugPanel.gridx = 0; constraintsDebugPanel.gridy = 4;
01189 constraintsDebugPanel.gridwidth = 3;
01190 constraintsDebugPanel.fill = java.awt.GridBagConstraints.BOTH;
01191 constraintsDebugPanel.weightx = 1.0;
01192 constraintsDebugPanel.weighty = 1.0;
01193 constraintsDebugPanel.insets = new java.awt.Insets(15, 10, 10, 10);
01194 getRuntimeAnalysisPanel().add(getDebugPanel(), constraintsDebugPanel);
01195
01196 java.awt.GridBagConstraints constraintsPostVerifyCheckBox = new java.awt.GridBagConstraints();
01197 constraintsPostVerifyCheckBox.gridx = 0; constraintsPostVerifyCheckBox.gridy = 2;
01198 constraintsPostVerifyCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01199 constraintsPostVerifyCheckBox.insets = new java.awt.Insets(5, 25, 0, 0);
01200 getRuntimeAnalysisPanel().add(getPostVerifyCheckBox(), constraintsPostVerifyCheckBox);
01201 // user code begin {1}
01202 // user code end
01203 } catch (java.lang.Throwable ivjExc) {
01204 // user code begin {2}
01205 // user code end
01206 handleException(ivjExc);
01207 }
01208 }
01209 return ivjRuntimeAnalysisPanel;
01210 }
01211 /**
01212 * Return the RuntimeAnalysisRadioButton property value.
01213 * @return javax.swing.JRadioButton
01214 */
01215 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01216 private javax.swing.JRadioButton getRuntimeAnalysisRadioButton() {
01217 if (ivjRuntimeAnalysisRadioButton == null) {
01218 try {
01219 ivjRuntimeAnalysisRadioButton = new javax.swing.JRadioButton();
01220 ivjRuntimeAnalysisRadioButton.setName("RuntimeAnalysisRadioButton");
01221 ivjRuntimeAnalysisRadioButton.setText("Runtime Analysis");
01222 ivjRuntimeAnalysisRadioButton.setBackground(new java.awt.Color(204,204,255));
01223 // user code begin {1}
01224 // user code end
01225 } catch (java.lang.Throwable ivjExc) {
01226 // user code begin {2}
01227 // user code end
01228 handleException(ivjExc);
01229 }
01230 }
01231 return ivjRuntimeAnalysisRadioButton;
01232 }
01233 /**
01234 * Return the SearchDepthCheckBox property value.
01235 * @return javax.swing.JCheckBox
01236 */
01237 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01238 private javax.swing.JCheckBox getSearchDepthCheckBox() {
01239 if (ivjSearchDepthCheckBox == null) {
01240 try {
01241 ivjSearchDepthCheckBox = new javax.swing.JCheckBox();
01242 ivjSearchDepthCheckBox.setName("SearchDepthCheckBox");
01243 ivjSearchDepthCheckBox.setText("Maximum Search Depth:");
01244 ivjSearchDepthCheckBox.setBackground(new java.awt.Color(204,204,255));
01245 // user code begin {1}
01246 // user code end
01247 } catch (java.lang.Throwable ivjExc) {
01248 // user code begin {2}
01249 // user code end
01250 handleException(ivjExc);
01251 }
01252 }
01253 return ivjSearchDepthCheckBox;
01254 }
01255 /**
01256 * Return the SearchDepthTextField property value.
01257 * @return javax.swing.JTextField
01258 */
01259 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01260 private javax.swing.JTextField getSearchDepthTextField() {
01261 if (ivjSearchDepthTextField == null) {
01262 try {
01263 ivjSearchDepthTextField = new javax.swing.JTextField();
01264 ivjSearchDepthTextField.setName("SearchDepthTextField");
01265 ivjSearchDepthTextField.setBorder(BorderFactory.createLoweredBevelBorder());
01266 ivjSearchDepthTextField.setEnabled(true);
01267 ivjSearchDepthTextField.setEditable(false);
01268 // user code begin {1}
01269 // user code end
01270 } catch (java.lang.Throwable ivjExc) {
01271 // user code begin {2}
01272 // user code end
01273 handleException(ivjExc);
01274 }
01275 }
01276 return ivjSearchDepthTextField;
01277 }
01278 /**
01279 * Return the JPanel1 property value.
01280 * @return javax.swing.JPanel
01281 */
01282 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01283 private javax.swing.JPanel getStateReductionPanel() {
01284 if (ivjStateReductionPanel == null) {
01285 try {
01286 ivjStateReductionPanel = new javax.swing.JPanel();
01287 ivjStateReductionPanel.setName("StateReductionPanel");
01288 ivjStateReductionPanel.setBorder(BorderFactory.createTitledBorder("State Space Reductions"));
01289 ivjStateReductionPanel.setLayout(new java.awt.GridBagLayout());
01290 ivjStateReductionPanel.setBackground(new java.awt.Color(204,204,255));
01291
01292 java.awt.GridBagConstraints constraintsPOCheckBox = new java.awt.GridBagConstraints();
01293 constraintsPOCheckBox.gridx = 0; constraintsPOCheckBox.gridy = 0;
01294 constraintsPOCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01295 constraintsPOCheckBox.weightx = 1.0;
01296 constraintsPOCheckBox.insets = new java.awt.Insets(10, 10, 0, 10);
01297 getStateReductionPanel().add(getPOCheckBox(), constraintsPOCheckBox);
01298
01299 java.awt.GridBagConstraints constraintsGarbageCollectionCheckBox = new java.awt.GridBagConstraints();
01300 constraintsGarbageCollectionCheckBox.gridx = 0; constraintsGarbageCollectionCheckBox.gridy = 2;
01301 constraintsGarbageCollectionCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01302 constraintsGarbageCollectionCheckBox.insets = new java.awt.Insets(0, 25, 0, 10);
01303 getStateReductionPanel().add(getGarbageCollectionCheckBox(), constraintsGarbageCollectionCheckBox);
01304
01305 java.awt.GridBagConstraints constraintsHeapSymmetryCheckBox = new java.awt.GridBagConstraints();
01306 constraintsHeapSymmetryCheckBox.gridx = 0; constraintsHeapSymmetryCheckBox.gridy = 1;
01307 constraintsHeapSymmetryCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01308 constraintsHeapSymmetryCheckBox.insets = new java.awt.Insets(0, 10, 0, 10);
01309 getStateReductionPanel().add(getHeapSymmetryCheckBox(), constraintsHeapSymmetryCheckBox);
01310
01311 java.awt.GridBagConstraints constraintsAtomicLinesCheckBox = new java.awt.GridBagConstraints();
01312 constraintsAtomicLinesCheckBox.gridx = 0; constraintsAtomicLinesCheckBox.gridy = 3;
01313 constraintsAtomicLinesCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01314 constraintsAtomicLinesCheckBox.insets = new java.awt.Insets(0, 10, 10, 10);
01315 getStateReductionPanel().add(getAtomicLinesCheckBox(), constraintsAtomicLinesCheckBox);
01316
01317 java.awt.GridBagConstraints constraintsFillerPanel2 = new java.awt.GridBagConstraints();
01318 constraintsFillerPanel2.gridx = 0; constraintsFillerPanel2.gridy = 4;
01319 constraintsFillerPanel2.fill = java.awt.GridBagConstraints.BOTH;
01320 constraintsFillerPanel2.weightx = 1.0;
01321 constraintsFillerPanel2.weighty = 1.0;
01322 constraintsFillerPanel2.insets = new java.awt.Insets(4, 4, 4, 4);
01323 getStateReductionPanel().add(getFillerPanel2(), constraintsFillerPanel2);
01324 // user code begin {1}
01325 // user code end
01326 } catch (java.lang.Throwable ivjExc) {
01327 // user code begin {2}
01328 // user code end
01329 handleException(ivjExc);
01330 }
01331 }
01332 return ivjStateReductionPanel;
01333 }
01334 /**
01335 * Return the VerificationPanel property value.
01336 * @return javax.swing.JPanel
01337 */
01338 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01339 private javax.swing.JPanel getVerificationPanel() {
01340 if (ivjVerificationPanel == null) {
01341 try {
01342 ivjVerificationPanel = new javax.swing.JPanel();
01343 ivjVerificationPanel.setName("VerificationPanel");
01344 ivjVerificationPanel.setLayout(new java.awt.GridBagLayout());
01345 ivjVerificationPanel.setBackground(new java.awt.Color(204,204,255));
01346
01347 java.awt.GridBagConstraints constraintsHashCompactCheckBox = new java.awt.GridBagConstraints();
01348 constraintsHashCompactCheckBox.gridx = 0; constraintsHashCompactCheckBox.gridy = 0;
01349 constraintsHashCompactCheckBox.gridwidth = 4;
01350 constraintsHashCompactCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01351 constraintsHashCompactCheckBox.insets = new java.awt.Insets(15, 10, 0, 10);
01352 getVerificationPanel().add(getHashCompactCheckBox(), constraintsHashCompactCheckBox);
01353
01354 java.awt.GridBagConstraints constraintsSearchDepthCheckBox = new java.awt.GridBagConstraints();
01355 constraintsSearchDepthCheckBox.gridx = 0; constraintsSearchDepthCheckBox.gridy = 1;
01356 constraintsSearchDepthCheckBox.fill = java.awt.GridBagConstraints.HORIZONTAL;
01357 constraintsSearchDepthCheckBox.insets = new java.awt.Insets(0, 10, 0, 0);
01358 getVerificationPanel().add(getSearchDepthCheckBox(), constraintsSearchDepthCheckBox);
01359
01360 java.awt.GridBagConstraints constraintsStateReductionPanel = new java.awt.GridBagConstraints();
01361 constraintsStateReductionPanel.gridx = 0; constraintsStateReductionPanel.gridy = 2;
01362 constraintsStateReductionPanel.gridwidth = 2;
01363 constraintsStateReductionPanel.fill = java.awt.GridBagConstraints.BOTH;
01364 constraintsStateReductionPanel.weightx = 1.0;
01365 constraintsStateReductionPanel.weighty = 1.0;
01366 constraintsStateReductionPanel.insets = new java.awt.Insets(10, 10, 10, 0);
01367 getVerificationPanel().add(getStateReductionPanel(), constraintsStateReductionPanel);
01368
01369 java.awt.GridBagConstraints constraintsSearchDepthTextField = new java.awt.GridBagConstraints();
01370 constraintsSearchDepthTextField.gridx = 1; constraintsSearchDepthTextField.gridy = 1;
01371 constraintsSearchDepthTextField.fill = java.awt.GridBagConstraints.HORIZONTAL;
01372 constraintsSearchDepthTextField.insets = new java.awt.Insets(0, 10, 0, 0);
01373 getVerificationPanel().add(getSearchDepthTextField(), constraintsSearchDepthTextField);
01374
01375 java.awt.GridBagConstraints constraintsPropertyPanel = new java.awt.GridBagConstraints();
01376 constraintsPropertyPanel.gridx = 2; constraintsPropertyPanel.gridy = 2;
01377 constraintsPropertyPanel.gridwidth = 2;
01378 constraintsPropertyPanel.fill = java.awt.GridBagConstraints.BOTH;
01379 constraintsPropertyPanel.weightx = 1.0;
01380 constraintsPropertyPanel.weighty = 1.0;
01381 constraintsPropertyPanel.insets = new java.awt.Insets(10, 10, 10, 10);
01382 getVerificationPanel().add(getPropertyPanel(), constraintsPropertyPanel);
01383
01384 java.awt.GridBagConstraints constraintsFillerPanel3 = new java.awt.GridBagConstraints();
01385 constraintsFillerPanel3.gridx = 0; constraintsFillerPanel3.gridy = 3;
01386 constraintsFillerPanel3.gridwidth = 4;
01387 constraintsFillerPanel3.fill = java.awt.GridBagConstraints.BOTH;
01388 constraintsFillerPanel3.weightx = 1.0;
01389 constraintsFillerPanel3.weighty = 1.0;
01390 constraintsFillerPanel3.insets = new java.awt.Insets(4, 4, 4, 4);
01391 getVerificationPanel().add(getFillerPanel3(), constraintsFillerPanel3);
01392 // user code begin {1}
01393 // user code end
01394 } catch (java.lang.Throwable ivjExc) {
01395 // user code begin {2}
01396 // user code end
01397 handleException(ivjExc);
01398 }
01399 }
01400 return ivjVerificationPanel;
01401 }
01402 /**
01403 * Return the VerificationRadioButton property value.
01404 * @return javax.swing.JRadioButton
01405 */
01406 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01407 private javax.swing.JRadioButton getVerificationRadioButton() {
01408 if (ivjVerificationRadioButton == null) {
01409 try {
01410 ivjVerificationRadioButton = new javax.swing.JRadioButton();
01411 ivjVerificationRadioButton.setName("VerificationRadioButton");
01412 ivjVerificationRadioButton.setSelected(true);
01413 ivjVerificationRadioButton.setText("Verification");
01414 ivjVerificationRadioButton.setBackground(new java.awt.Color(204,204,255));
01415 // user code begin {1}
01416 // user code end
01417 } catch (java.lang.Throwable ivjExc) {
01418 // user code begin {2}
01419 // user code end
01420 handleException(ivjExc);
01421 }
01422 }
01423 return ivjVerificationRadioButton;
01424 }
01425 /**
01426 * Called whenever the part throws an exception.
01427 * @param exception java.lang.Throwable
01428 */
01429 private void handleException(java.lang.Throwable exception) {
01430
01431 /* Uncomment the following lines to print uncaught exceptions to stdout */
01432 // System.out.println("--------- UNCAUGHT EXCEPTION ---------");
01433 // exception.printStackTrace(System.out);
01434 }
01435 /**
01436 * Comment
01437 */
01438 public void heapSymmetryCheckBox_ActionEvents() {
01439 if (!getHeapSymmetryCheckBox().isSelected())
01440 getGarbageCollectionCheckBox().setSelected(false);
01441 }
01442 /**
01443 * Initializes connections
01444 * @exception java.lang.Exception The exception description.
01445 */
01446 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01447 private void initConnections() throws java.lang.Exception {
01448 // user code begin {1}
01449 // user code end
01450 getOkButton().addActionListener(ivjEventHandler);
01451 getSearchDepthCheckBox().addActionListener(ivjEventHandler);
01452 getVerificationRadioButton().addActionListener(ivjEventHandler);
01453 getRuntimeAnalysisRadioButton().addActionListener(ivjEventHandler);
01454 getGarbageCollectionCheckBox().addActionListener(ivjEventHandler);
01455 getHeapSymmetryCheckBox().addActionListener(ivjEventHandler);
01456 getRaceCheckBox().addActionListener(ivjEventHandler);
01457 getLockOrderCheckBox().addActionListener(ivjEventHandler);
01458 getPostVerifyCheckBox().addActionListener(ivjEventHandler);
01459 getDependCheckBox().addActionListener(ivjEventHandler);
01460 }
01461 /**
01462 * Initialize the class.
01463 */
01464 /* WARNING: THIS METHOD WILL BE REGENERATED. */
01465 private void initialize() {
01466 try {
01467 // user code begin {1}
01468 // user code end
01469 setName("JPFOption");
01470 setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE);
01471 setSize(653, 331);
01472 setTitle("JPF Options");
01473 setContentPane(getJPFOptionDialogContentPane());
01474 initConnections();
01475 } catch (java.lang.Throwable ivjExc) {
01476 handleException(ivjExc);
01477 }
01478 // user code begin {2}
01479 ButtonGroup bg = new ButtonGroup();
01480 bg.add(getVerificationRadioButton());
01481 bg.add(getRuntimeAnalysisRadioButton());
01482 // user code end
01483 }
01484 /**
01485 *
01486 * @return boolean
01487 */
01488 public boolean isVerification() {
01489 return getVerificationRadioButton().isSelected();
01490 }
01491 /**
01492 * Comment
01493 */
01494 public void lockOrderCheckBox_ActionEvents() {
01495 if (getLockOrderCheckBox().isSelected()) {
01496 getPostVerifyCheckBox().setEnabled(true);
01497 getDLockOrderCheckBox().setEnabled(true);
01498 } else {
01499 if (!getRaceCheckBox().isSelected()) {
01500 getPostVerifyCheckBox().setEnabled(false);
01501 getPostVerifyCheckBox().setSelected(false);
01502 getDependCheckBox().setEnabled(false);
01503 getDependCheckBox().setSelected(false);
01504 getDDependCheckBox().setEnabled(false);
01505 getDDependCheckBox().setSelected(false);
01506 }
01507 getDLockOrderCheckBox().setEnabled(false);
01508 getDLockOrderCheckBox().setSelected(false);
01509 }
01510 }
01511 /**
01512 * main entrypoint - starts the part when it is run as an application
01513 * @param args java.lang.String[]
01514 */
01515 public static void main(java.lang.String[] args) {
01516 try {
01517 JPFOption aJPFOption;
01518 aJPFOption = new JPFOption();
01519 aJPFOption.setModal(true);
01520 aJPFOption.addWindowListener(new java.awt.event.WindowAdapter() {
01521 public void windowClosing(java.awt.event.WindowEvent e) {
01522 System.exit(0);
01523 };
01524 });
01525 aJPFOption.setVisible(true);
01526 } catch (Throwable exception) {
01527 System.err.println("Exception occurred in main() of javax.swing.JDialog");
01528 exception.printStackTrace(System.out);
01529 }
01530 }
01531 /**
01532 *
01533 * @param options java.lang.String
01534 */
01535 public static void parseOptions(String options) {
01536 boolean isVisible = BUI.jpfOption.isVisible();
01537 BUI.jpfOption = new JPFOption();
01538 BUI.jpfOption.setVisible(isVisible);
01539
01540 for (StringTokenizer t = new StringTokenizer(options); t.hasMoreTokens();) {
01541 String opt = t.nextToken();
01542 boolean enabled = !opt.startsWith("-no");
01543 if (!enabled) opt = opt.substring(3);
01544
01545 if ("-po-reduction".equals(opt)) {
01546 BUI.jpfOption.getPOCheckBox().setSelected(enabled);
01547 } else if ("-garbage-collection".equals(opt)) {
01548 BUI.jpfOption.getGarbageCollectionCheckBox().setSelected(enabled);
01549 } else if ("-hashcompact".equals(opt)) {
01550 BUI.jpfOption.getHashCompactCheckBox().setSelected(enabled);
01551 } else if ("-search-depth".equals(opt)) {
01552 BUI.jpfOption.getSearchDepthCheckBox().setSelected(true);
01553 BUI.jpfOption.searchDepthCheckBox_ActionEvents();
01554 BUI.jpfOption.getSearchDepthTextField().setText(t.nextToken());
01555 } else if ("-heap-symmetry".equals(opt)) {
01556 BUI.jpfOption.getHeapSymmetryCheckBox().setSelected(enabled);
01557 } else if ("-atomic-lines".equals(opt)) {
01558 BUI.jpfOption.getAtomicLinesCheckBox().setSelected(enabled);
01559 } else if ("-assertions".equals(opt)) {
01560 BUI.jpfOption.getAssertionCheckBox().setSelected(enabled);
01561 } else if ("-verify".equals(opt)) {
01562 BUI.jpfOption.getRuntimeAnalysisRadioButton().setSelected(!enabled);
01563 ((CardLayout) BUI.jpfOption.getOptionPanel().getLayout()).last(BUI.jpfOption.getOptionPanel());
01564 } else if ("-race".equals(opt)) {
01565 BUI.jpfOption.getRaceCheckBox().setSelected(true);
01566 BUI.jpfOption.raceCheckBox_ActionEvents();
01567 t.nextToken();
01568 BUI.jpfOption.getRaceLevelTextField().setText(t.nextToken());
01569 } else if ("-lock".equals(opt)) {
01570 BUI.jpfOption.getLockOrderCheckBox().setSelected(true);
01571 BUI.jpfOption.lockOrderCheckBox_ActionEvents();
01572 } else if ("-post-verify".equals(opt)) {
01573 BUI.jpfOption.getPostVerifyCheckBox().setSelected(true);
01574 BUI.jpfOption.postVerifyCheckBox_ActionEvents();
01575 } else if ("-depend".equals(opt)) {
01576 BUI.jpfOption.getDependCheckBox().setSelected(true);
01577 } else if ("-debugs".equals(opt)) {
01578 String subOpt = t.nextToken();
01579 if ("race".equals(subOpt)) {
01580 BUI.jpfOption.getDRaceCheckBox().setSelected(true);
01581 } else if ("lock".equals(subOpt)) {
01582 BUI.jpfOption.getDLockOrderCheckBox().setSelected(true);
01583 } else if ("depend".equals(subOpt)) {
01584 BUI.jpfOption.getDDependCheckBox().setSelected(true);
01585 }
01586 }
01587 }
01588 }
01589 /**
01590 * Comment
01591 */
01592 public void postVerifyCheckBox_ActionEvents() {
01593 if (getPostVerifyCheckBox().isSelected()) {
01594 getDependCheckBox().setEnabled(true);
01595 } else {
01596 getDependCheckBox().setEnabled(false);
01597 getDependCheckBox().setSelected(false);
01598 getDDependCheckBox().setEnabled(false);
01599 getDDependCheckBox().setSelected(false);
01600 }
01601 }
01602 /**
01603 * Comment
01604 */
01605 public void raceCheckBox_ActionEvents() {
01606 if (getRaceCheckBox().isSelected()) {
01607 getPostVerifyCheckBox().setEnabled(true);
01608 getDRaceCheckBox().setEnabled(true);
01609 getRaceLevelTextField().setEditable(true);
01610 getRaceLevelTextField().setText("10");
01611 } else {
01612 if (!getLockOrderCheckBox().isSelected()) {
01613 getPostVerifyCheckBox().setEnabled(false);
01614 getPostVerifyCheckBox().setSelected(false);
01615 getDependCheckBox().setEnabled(false);
01616 getDependCheckBox().setSelected(false);
01617 getDDependCheckBox().setEnabled(false);
01618 getDDependCheckBox().setSelected(false);
01619 }
01620 getDRaceCheckBox().setEnabled(false);
01621 getDRaceCheckBox().setSelected(false);
01622
01623 getRaceLevelTextField().setEditable(false);
01624 getRaceLevelTextField().setText("");
01625 }
01626 }
01627 /**
01628 * Comment
01629 */
01630 public void runtimeAnalysisRadioButton_ActionEvents() {
01631 ((CardLayout) getOptionPanel().getLayout()).last(getOptionPanel());
01632 }
01633 /**
01634 * Comment
01635 */
01636 public void searchDepthCheckBox_ActionEvents() {
01637 if (getSearchDepthCheckBox().isSelected()) {
01638 getSearchDepthTextField().setEditable(true);
01639 getSearchDepthTextField().setText("-1");
01640 } else {
01641 getSearchDepthTextField().setEditable(false);
01642 getSearchDepthTextField().setText("");
01643 }
01644 }
01645 /**
01646 * Comment
01647 */
01648 public void verificationRadioButton_ActionEvents() {
01649 ((CardLayout) getOptionPanel().getLayout()).first(getOptionPanel());
01650 }
01651 }
1.2.10 written by Dimitri van Heesch,
© 1997-2001