00001 package edu.ksu.cis.bandera.bui;
00002
00003 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
00004 * Bandera, a Java(TM) analysis and transformation toolkit *
00005 * Copyright (C) 1998-2001 SAnToS Laboratories (santos@cis.ksu.edu) *
00006
00007 * All rights reserved. *
00008 * *
00009 * This work was done as a project in the SAnToS Laboratory, *
00010 * Department of Computing and Information Sciences, Kansas State *
00011 * University, USA (http://www.cis.ksu.edu/santos). *
00012 * It is understood that any modification not identified as such is *
00013 * not covered by the preceding statement. *
00014 * *
00015 * This work is free software; you can redistribute it and/or *
00016 * modify it under the terms of the GNU Library General Public *
00017 * License as published by the Free Software Foundation; either *
00018 * version 2 of the License, or (at your option) any later version. *
00019 * *
00020 * This work is distributed in the hope that it will be useful, *
00021 * but WITHOUT ANY WARRANTY; without even the implied warranty of *
00022 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *
00023 * Library General Public License for more details. *
00024 * *
00025 * You should have received a copy of the GNU Library General Public *
00026 * License along with this toolkit; if not, write to the *
00027 * Free Software Foundation, Inc., 59 Temple Place - Suite 330, *
00028 * Boston, MA 02111-1307, USA. *
00029 * *
00030 * Java is a trademark of Sun Microsystems, Inc. *
00031 * *
00032 * To submit a bug report, send a comment, or get the latest news on *
00033 * this project and other SAnToS projects, please visit the web-site *
00034 * http://www.cis.ksu.edu/santos *
00035 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
00036 import javax.swing.*;
00037 public class AboutBox extends JDialog {
00038 private JPanel ivjJDialogContentPane = null;
00039 private JPanel ivjJPanel1 = null;
00040 private JButton ivjOKButton = null;
00041 IvjEventHandler ivjEventHandler = new IvjEventHandler();
00042 private JLabel ivjJLabel1 = null;
00043 private JTextArea ivjBanderaMsg = null;
00044 private JScrollPane ivjJScrollPane1 = null;
00045
00046 class IvjEventHandler implements java.awt.event.ActionListener {
00047 public void actionPerformed(java.awt.event.ActionEvent e) {
00048 if (e.getSource() == AboutBox.this.getOKButton())
00049 connEtoC1();
00050 };
00051 };
00052 /**
00053 * AboutBox constructor comment.
00054 */
00055 public AboutBox() {
00056 super();
00057 initialize();
00058 }
00059 /**
00060 * AboutBox constructor comment.
00061 * @param owner java.awt.Dialog
00062 */
00063 public AboutBox(java.awt.Dialog owner) {
00064 super(owner);
00065 }
00066 /**
00067 * AboutBox constructor comment.
00068 * @param owner java.awt.Dialog
00069 * @param title java.lang.String
00070 */
00071 public AboutBox(java.awt.Dialog owner, String title) {
00072 super(owner, title);
00073 }
00074 /**
00075 * AboutBox constructor comment.
00076 * @param owner java.awt.Dialog
00077 * @param title java.lang.String
00078 * @param modal boolean
00079 */
00080 public AboutBox(java.awt.Dialog owner, String title, boolean modal) {
00081 super(owner, title, modal);
00082 }
00083 /**
00084 * AboutBox constructor comment.
00085 * @param owner java.awt.Dialog
00086 * @param modal boolean
00087 */
00088 public AboutBox(java.awt.Dialog owner, boolean modal) {
00089 super(owner, modal);
00090 }
00091 /**
00092 * AboutBox constructor comment.
00093 * @param owner java.awt.Frame
00094 */
00095 public AboutBox(java.awt.Frame owner) {
00096 super(owner);
00097 }
00098 /**
00099 * AboutBox constructor comment.
00100 * @param owner java.awt.Frame
00101 * @param title java.lang.String
00102 */
00103 public AboutBox(java.awt.Frame owner, String title) {
00104 super(owner, title);
00105 }
00106 /**
00107 * AboutBox constructor comment.
00108 * @param owner java.awt.Frame
00109 * @param title java.lang.String
00110 * @param modal boolean
00111 */
00112 public AboutBox(java.awt.Frame owner, String title, boolean modal) {
00113 super(owner, title, modal);
00114 }
00115 /**
00116 * AboutBox constructor comment.
00117 * @param owner java.awt.Frame
00118 * @param modal boolean
00119 */
00120 public AboutBox(java.awt.Frame owner, boolean modal) {
00121 super(owner, modal);
00122 }
00123 /**
00124 * connEtoC1: (OKButton.action. --> AboutBox.oKButton()V)
00125 */
00126 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00127 private void connEtoC1() {
00128 try {
00129 // user code begin {1}
00130 // user code end
00131 this.oKButton();
00132 // user code begin {2}
00133 // user code end
00134 } catch (java.lang.Throwable ivjExc) {
00135 // user code begin {3}
00136 // user code end
00137 handleException(ivjExc);
00138 }
00139 }
00140 /**
00141 * Return the JTextArea1 property value.
00142 * @return javax.swing.JTextArea
00143 */
00144 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00145 private javax.swing.JTextArea getBanderaMsg() {
00146 if (ivjBanderaMsg == null) {
00147 try {
00148 ivjBanderaMsg = new javax.swing.JTextArea();
00149 ivjBanderaMsg.setName("BanderaMsg");
00150 ivjBanderaMsg.setWrapStyleWord(false);
00151 ivjBanderaMsg.setText("Bandera v0.4.28 pre-alpha\n=======================\nSoftware Model Specification\nfor Finite-State Verification\n\nBehind The Scene\n================\nFaculty \nJames Corbett, University of Hawaii, MIT \nMatt Dwyer, Kansas State University \nJohn Hatcliff, Kansas State University \nDave Schmidt, Kansas State University \n\nResearch Associates \nHongjun Zheng, Kansas State University \n\nPhD Students \nShaun Laubach, Kansas State University \nCorina Pasareanu, Kansas State University \nRobby, Kansas State University \n\nMS Students \nRoby Joehanes, Kansas State University \nRitesh R Desai, Kansas State University \nDaqi Li, Kansas State University \nVenkatesh Ranganath, Kansas State University \nOksana Tkachuk, Kansas State University \n");
00152 ivjBanderaMsg.setRows(0);
00153 ivjBanderaMsg.setBounds(0, 0, 158, 228);
00154 ivjBanderaMsg.setNextFocusableComponent(getOKButton());
00155 ivjBanderaMsg.setRequestFocusEnabled(true);
00156 // user code begin {1}
00157 // user code end
00158 } catch (java.lang.Throwable ivjExc) {
00159 // user code begin {2}
00160 // user code end
00161 handleException(ivjExc);
00162 }
00163 }
00164 return ivjBanderaMsg;
00165 }
00166 /**
00167 *
00168 */
00169 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00170 private static void getBuilderData() {
00171 /*V1.1
00172 **start of data**
00173 D0CB838494G88G88GA520CDA9GGGGGGGGGGGG8CGGGE2F5E9ECE4E5F2A0E4E1F4E135BB8DF093571939463D63DA6E4265C81ACBE86BE9E84274E8CAB33461A63EDE5AF28D39A18D5723AD1DF1D25250143B128CED699C1DB16D13AC5BC2B646FF0041B288E39B890C64E01BBAE040BF3241A0E28FD689AD4E1435341696E42DA22D301D03643E6F3DFD2B353C9210211A793C7B3E77773D6FFD3F6F2DC94D3E5CA213390690D391D1FF3FB7913266B4A18FD57C7A879CE72D705A086E379F20
00174 128C54DA60D98BF556A12F2D023C6431C239854AAB4FFAED3B603D1A2C764C6F04178C73C4206E6197D674E41F67B7E6BECF89AD67184A60D98E508AB8BFC0EE854E3F40D42B622720DC2E3EA3184C04F8AB314DBCE72D8E3FCEEDD78BF5ADG6BE91BE7CCF635FEAE14314DC2F8AE2BE4EDD741F3AB256E7D21CE35DD1E75A112F3F413E99B4E259B1FC3EB956B6BD71F8E209599D1C8FE595B8C4F2E616B21D3E2B0693E1EC83A83D242BDA6C403E2DCF00FA5256347FB46642452ABCF91323C8A697B3A53CA7B
00175 82FDD09E2EC61C5B05BC31423B8320331A53786605AE15062BEFFC01F43F32A5A30D732B99ED4B2AD3B4F6D56EA98A576078EBA94F315FE628EF859C2345E96634AC2E6134DCE946366B20DCGD03303639B8EA23E854ADE00519D1C461F1C66B4C642CF90CB2B593CBD830D4A8EC65B029DA99A9D66BDC53B29DCFC5202FB3B866A8AGAAF6FAED6DGFEG85200E4AE3F761A1F8760CA9FD7244049C6D0945FAA3417885B9A8C6609DF92D28380BE2C00E8789E1B2772C3345009E8EF3F74E14B7843636F78917
00176 11C74C0F11C776EDB397992CADB87E93D32EBA46521D29352D5B09FC7B825D5B5570EED2F94D700BA95E39AB05E7FB55CE71D86E043A853BB81F67BBB9ADE58F7E83498B3DE1AAB120A5767CD6B329D57522B6C58B63711F0B1147DE40DF85188218873084E0D5AD6771278A5BEE47634128A24623C2E4A4B9969362CAEFD20A003C2B3CFE5D140D57C6407AED3A6BFE0CAF0B5A74FBD47B6CAF8C79B2AFEF0BE9034A8F4B6E94DF585CC74C1966EE5CBDDBB64A35BDFC096ACA676E743D7D91451F5D1D3E37C2B3
00177 5F5B4BD01787405ABFCCF54B31A7FD1CDC0AEF5D13BE0E73A09F279B6A9682307D5DD202364FDA6735B582F48178819400F9G8B6B789EFF3F50F307FAB42C5BDF56776FADBB61A9CEA9F1E1B01AD004E8C03CA444A5E1ACA2A6085A66B396646B580CFE8B28FE87E00EB3E2942C23A249D198DD1890C118922C4D97AD1558A6AE52DA3FB4A1428493B142477D32259A1E91A1217CA1969494B1550255FF4D02B2F1C33884A342G703E298E7975BDEAF317437B5ABA4E2BC3DB9157E9877BE667FCE9AD2A0267F9
00178 90EEB1F27C38D78AA099C2FC1A4B68A2977A3220DD334F17396CED7E69E3E47D575FB414BD04DC3BEA1F6D693277B49DF32D1D7B47632E4BF72183C13B31FCE65735113B1A2370AE75127177919B4AA829775A6CGDD751C47570B9CCC76FA05044825EDA88E02A286D39CE7ED434568CB449BE2D4710AB1913CEAD4C928FBAD97EFCD4961382C49C8126251AE750120A4B47C7F95D7B2BC0C2117EADEFFBF2D9794A5AE0DA595F1C4D494A99ACA757FB425A5B14364A55435BEDA0AEB75439AA3GB735355614D4
00179 6B6449A74B5713B1BFEA0AAA17DE6AFF67C17BC575FC7F3F5F0C7230D2AB7F1816D37521663B59BBBD6018F7A69F77FD6CB96EC4D6589C8B8E623ACCDA7989DADE2B2D53FD70B2B15625FB81EC0EB3F40E3B156FBB85A683A5564CB2DCEEB516619A2B318C6F31E61751862B110C32BA1795E397F9B22A13F937956DDDC00EC6C52AF8DA9742625BB77D388EA9AAA96FCA4110280CC89F08600F76226C7EB73529D6F8376F6576F072G370741CB8F1361DB2F180C6225A515A5E6E5AF1345B9FBD376105164590A
00180 3AA4C64489E0D41F1C0CAA8C5FC16D350ACF94D25CD313C7302FF368FCEFD2D164E80BC01761F69CB9F24A41836F96D92DF53AAE39DA8937CFAF1661BC0BE07EBC0055FB394EFEF5AB56F31DD58DD31F9C09B096C11DEF9F2E7FB5D70DEECD9B7632DC26F39F9F67F3508676C2FCBFA9020BC425BFAFCEF3BFE72BCA2B3BA4C412A97F79E5DBA9BCA3BAFB41703925463CF92294F5673AB67E17CA0B897AC1B6A65B4BA5820E990BCB93E0DE51G2AB9559533BE271A8F74E37E15874FD5G2C6F0F76A16FB9C3FD
00181 8E6C774303BC4FDA8F6D88609C8E56375D417674915A8E84CF55B10F065BC5F13F00BF1FAF66F15C058AFDBEF673BF37984A8EC23EBA7EC6C7FAFCEBAE47F1AB7683AD7B79BEB41669EDF0CFA2A187A49ADE28BC7D2FB23DDCB15C1AB2CCE44725F882E25D20B845776515B22495638F952D72761F8F1FA43363297E202448F16E627AA67B51867865BE88014E425676E9EAF7C992A7894F8F779C627CEA5F4F756A51237ABCF04168DAD3E9865EC476B31E4C5D1F624DA864D80C4E0B6FA31FE83EFACD38A1CC39
00182 9313E0BF0E9FBF671504089C52E878F76A17F06E157BF97E77C1914A1E2581749D209D00452244D926724187389CG269F09FA3DFE6481FE9D0075005746F4B764C49B2CAA2C4A472F45F1DDBAFDD5E5038CF72B63AC76FE16CC9D7A1549A8475CA0EDB0598F30F5FB8F24563F6A695A22E5GEACEF7F4061CED29B34C69906629E3ACBC10AEE72FEFC77EBC87785587381C7DF1DB25CE4EA07F0450B8841A2B790172C22623EA39343C086BA8617EE85F213B4901569F60316C01CA64F58114EB9BA13F87B88B90
00183 EE6434BDD8FE5B1C2EFFAACBCE779FB4BF1A8363ADE81C9DC3ACC943ADEF64F94D1BD4E656B42667B51BA9FEFDE3FADEF3DF914FEBB6C35DE8930F850AE7656F4FB54D1CB3BF2D4C7A554C6A67CEAB1366197D189CEE9F4920A7CCB089BF0F72946BEDE7EDB30B633A60B95C4C4FD83ED44FF5A95C4C77EB3A8AEDE7AE1473GD683EC8428B988FB8760BF48776D55F2A33BB2F35FB29915D4FC4B667C17EA24C30131F33471CFED5F261359E1D90AAA1A3C7EFCBB7A90B9AE0524A847ED2438009C27C1840BE10F
00184 D1FBB59F46DC220DFB38B2F34CF33452B866692CB40EF9CED5E60F5B87AAB345C40C3ED729ADDB8E342D87E0384EC24495C0394649F12FD21C934A5D9A4EDC0438A014271CDC96B795212F4D514A3F25E534ED2C7C57C59FB7F64E84B857CC397E7CBD1FC39F835753728BBB37D33EA792E2028A19D7D084356EE74A8EE290B73E83493CBAD6B5B9695C2A3669D7643E37B45D7A152B56D837068510C226B375A5D6F52D8B1D5C7FFC73A65A06FC5C9B00B2976777D76A0DECE6A354F78278G2E3AE66A381A6FD5
00185 E51651CFD5994B683CAA5417041C0C8744F4B97CCCD52DD6175242C1C51CC03628719B6D2F88F10825537BBFC97B333ACC7D17D4E50F7F3FD10D76F4CAABFF0B1627B55E0BBD655A9C7D51202A70ACA63BC07578081910ED05FC8FB71BF11F036238100C00DA4A89F1A8269E5DGFE318B7BD5D33D41719597776DC305483F381810BE2051ABEF9B22ED11260DAE9EDBFEF592FD7EF8DC1800250C4444GF964907591055C36DA20DC8B5089F099E06A901FE7B70DEB94C921F32CBD04778F79E86ED47A3B4FE31C
00186 2DC6B740D4055A102848752821A4DDF69A8FB3D96904276F70ECDF477CD747AD14452B07197FAA5170BD94BF2543B33F76BC15DDAC4F033ACD0739FD798E758D17DB40D737F05C613D54CEC3F92E063BD849EDD32E06FB1D6E57C6A8579C617CB8D4086B5129157BDDA99A14A7E169F8D227A45C5E41116121117EBF8F3D7367BE9F3C301868D5220F099CF9B599E32246A3AAFF54673C41DA1557790558E7DC08A4F0AF189E6F35707D0EC17BC5C79067336863C26CBBE8E6FE1955FFB8239E657DEF093EFE490C
00187 FA247F2FE6747F490CFA1A732A7D59DA8FDF6131347F5813646C7D7F1371CEE5233A469AB7FBF6F9EBC94B0DBDEA9C69695473ECF57D2BA6D306F1FCEA7F4B6ED49C497670EDEA676682BE574D77F519156F7FF28D7740CD3E7FEB5C5C6E1D2032D6G658A0F5756686178B3945F69E1B9592806FF71E6B61FD160B6BE9B42F10D70959E23F86B752CF3E4BAE7A94900AFB268DFCDDE2EC7FF2B00F1E67A7EB7E86A543A172C18370D89016B21B8E447C1EEF77CD427EE824DF3G56FB90A7D5FA55F1179A2C51C4
00188 384DE430825AA06CD06B72BDCC47CDA93A6CF8AE9E853A8664C0B201F68F2236189C9551467ADAF14E6D07117656D69E87365B69799F1497377258E97F1E43703CA4DC1B1DC582F2B8AE0385D62699161E9A283CBFE079F877A7A5FE2E8F733F72A0190A3C1AB137DC594A7834C1FD2E682825F836164F55233D363F85F69AE094C0811883107B96DFDBF88F5208D1AB105F23A8C2A0CC33EE9E4CE2A21CC223B3E0E3FFF3AFD24A46F8EACFD3A67E40886740768D0DDD83676997C25A5E8C17E05C9A912665A46C
00189 0563A875C5A55C3FAC857AD682EC82309EE5F9AA131B1FD1DD8C83CE8148257D1E38D9EB401B19B2DA779E6E890BE85ED2F18D67F1ACFED245F085BD341DCF9843F6AC277860D6FACE01742C07398B0E725C5A62565B381AB65626931ECCA79EF224F462CC65BEAA17138E748BEEE1D2F1774991B96EBC5A5A5EC2212343255A6BC7AB39AF7741D87BE8FFC22CA475E363FF822F76D57931A7387CECB873CFA467658253018C7213534664E6F5DB4A8EDE4EDBE5E6F4B69D46F88C83A3F6FBFEA191F23A54B96634
00190 69ED2D655C9B26428CF3143533316D6DA97F446466EDBB16355809290EDA57EDC7FE62B9A7C48A9033E000B3828D23A1A6FF798DD86F03B143GF381F2811636F339DEEEEFE0F2EDA0537D4110487D2F966B55E70EBD1F2A3F7D7D5AB375544E49A0C993B8BE477FEBBD4A13A247A8D20D816BE9ACA605428AEB2A62D75058A3A20ED3B40BD39EA8615F892C0235D9BBF80C7656D54CD735189D05687871B3F1A958AB04FCD42B187C7C30047B7B6E8E9E3797D9E9CC8465F9G0BBA7819568705DCEE8ADC0F1339
00191 4545E6A3BF5C756CA653F39DECAF57F52464264C3C27084962830DA9D94F39F9A7324E667F6EB13D5C62181962G47B175CC69D8EAFEFC32B5BFFD0B67AAB947781ADD453866BCA82F8658F00C7371D76399F29FEA8158F8A75C7C3C4072FB6E3BBFDF29376DDD009F7EFD763B9CA637AB1A504785216DFDG8B8172GD6812C87A8G2868045881208B408F90863889B08FA097E0A9400ACEAE674F6FF7114C3EC99588AA6CF1011DA5B0BA5C74EEA7DF9B272C21A14BB8F81641340F4B6A3A064C7A7273065B6B
00192 4B2686FA468BF26E1F0E293954EF9A68794678F8C2547472378D959AEEB0B1ACA7A43484EC8F9E1A15AB5C8ED83F47BFE63F7C3B6E47F210E92AEF9BBBD3718943FF02628BF4F8267325D62E7356373D36485BBCB67153EF2DD6C1F98300653857E687688238FC1C6F63BF9E407B142C67D3FEB966030D0B680EEE5878CF51F300880CB587E0B140F200B5G9B3571FF505816C5CEAE4AB24D66B03183F19363BA49E3BCFC66D6BA8FADA754EFE36059F2A2D3FE77D92A3F5DA7524FAD1F247861936967161EE2FE
00193 EEF9956A161F60FA5B6D46791DDDB36769D24B43BAFCD0FDE7717E57299F1E6AE273B05C3394B7CF45B17E64B7E5560B571AEE2F979B1A0C7D48AF1BE67B117FEDB276A3DB1A74FE04614C4DE86FC2E08FAEEB6DCAB45C9FB5DCD973D695772E94D4429A3E2A5926624F0AB8A14757B6A3DD1394F7D945556BF0FF6477204D285B3064309C67FD8F52FB74F1A992D14FA8E99BA98A2A2E71231552A845849D5D9D9AAEC577510358B7215AA836579F51B0093D4F513DD7DA6F75D95DECDBF168AFBA87DB73FB4E4C
00194 3296F49A1F17DDF39A1F69461C594F31261C196F31BFF24E3E47FE46151936EF38EE2F874F3B0C7560C557ECBD781E4BD88F563874FA40F4763BB4B6D88CBA7BDC974F65AFFC44737BF59A6E65D21E5FEF6E62366371E2145733A7F9794B34FCD5ABF7945F0BBD4771B34B55BB77E40ECCF9BFDB7B3BB45E4981BA661F647C3859464F4596E938175BB80F16EAB8CBB362AC27A006B945E3AC760D1D9A4BD33342707629EDA9BCB7ABEA5C7853DB33734382AD8F6BBC457243E1F8868170EC056507B768DE5E845C
00195 1CD37CDCE1D329F62EF04A78DC21D087AB20CD7EA9F62E00650D27524F95BE1944751C9B894465C8845D5DDBACCFFCE5465DD301CA1773B47868537CBCB06AC6191182F214511BC3F96D077A2B27F92ED805478DC4253D0D533E7234B16DFA7A57629827D3E7A21BCE27535ED20F79E39C3FF3C830E3117EA8AADED0BD17B9524C7385524D6F139BBF6471C88D60FC5D7C9EAD72A1EF1B534D636CC7E95BBCA82F8658504D57D40AEED725A1E23B737C37290C673F169E237CF763E9A39C1B73B5BAA71335D0BF5E
00196 1398447929DDA4BCFF58D9426F7B3BFA783A4E52EF6794A84F85D8584357D562C92DCBE8FBCF37AEFE5EBBB8A10444C158F0A7DEA32051F53A5C70FAD1E4B7934E860F98CCFA2EA7121E00147028DF2AFB461212C7422E89CFC48E496EEB31D0034B255158544E7912E74897FEAE70E39DFD5EE67DF9306A27BE7CF831F067476C777EDD77E3F1DE79C7487FCDBD69B174AE0AA73D69B1F42EA633E5D0976B65B67AD019FE7E5500DF5F1BBDEFE37D6A32467E8586E3B07A72285CD47425472D5F21F8C7DFFA5C7A
00197 0E0D472D2DD0B73FCF233BDDBF7FE64017F96F046E1A0F0876DE2FFBFF62433FFC8C74EFFF51B9183F69A91B9D178F146963F206BBDA42FD15434BF97AAD9B5A6218D6DEC94BF334325FF6AF690FF90D4E67A76E699C69FEDD65D13B810F5A75BCE23EE630047B1AC58632156EEB72204DAAEF4ACF2E73267B1A7CD39843258E8F79F7FADBEC7A33520D508FE3285AFE6ED7BEA861362D257FEEED7EB3187E2AB67F45DB98879A58FCBF441EBDF1D1D0EDE9BB0D75B0968976733D7FE8063E2FGFCFE7F1D685B5B
00198 25697B39917AD986EE7F1DEFEDDA1B96A8F72BB87F00BE97FD38E476FEBED6B2DB662F50F50521EF4EG0F4F1E2438C7203CC8430D54A1EEA91417EB38476A347BAD8D779DBB3F5FAC50F0BB6AF93CD7F60647B871D26465E4DC080DA8539171DD7AEFBFEAFC7169D29EB3B834765FA81DF9FF343603E8B2F42D8E6B6272E402753F2F0E77EF077E6CDE7A69BA9EF7F981F799E08A6BG168130FB1E4DF69CE74D999EA78E54F39F3FC923638B25FA7F48F01F294339D028182C2C29536211337C7E34421EFEFF7A
00199 02C9FF7F59EBCF3FBF45B1D3750ABD7D7E74640C7ECF58536FCFF9FFC6E3F9BD729BC20AA16DB3BD2D6EBDF6B797CF0ACCBEDF2E1BF1EE89EB98BE1BDDB659BEEF2A63B20734B15CEF6A384C61FA597FA7CE6F70C0603E788DD22410A27AF92AC236B970B764B8CF1F09B8A91F9977193E386B7E0A875A12E6D2BCC00A017F3130B0C80A6807F8BEE28EA494D26743AE9E686289E0978F6DB89293826209ABE46BF8BCB4C61BAB44FCE5608A8CC2CB6F138F0945C7ECCA181EC80100A9E4D7EA24E1BC17D2ABCECC
00200 617F34105F2DDC793B987C00486D9A110374C4E26D0D3663052FBDDEE8A616C1D24CB253C1E241749208255967A0A9044C140EE451C38289B16B47071CE6B612E2CAE6F50E138381F942AD0DCD3813B7A65C42186296031262460FD002DAF47927EFDFDD96FEE1C70319948D1252F1C90C84C7E8FC69A395346495930138944363D305D4B1AEC404E848438EF6CF78C8A5ED4763D29C9E89AA7711EA5DF083D2C40C262A4AF5D5FF3868D3GC7C70E0A0A874A0C2DA6059CF53BC7D5CFB08A616EA8043B23906E0E
00201 2A616EA8043B23AC5C9D65612EC21CF79A99A3B115197817092B878D396A0F8B51C4C4D0B0A962C75E74E7824E7EC9E545BB628DB14EDB0A03E91C4393ED9F59B583571B0C86A3FA1ED64C28BEAFCE4F60B547B38AE89593D08232E3FEC9652463C62B3B5DFD3453910B0BC7285A58CE9A7FECA37238B2A944C587BD8AF660C52EB4AE85683D1AEDDC0EBB86B08F970F0CA830A047A5B11E2A35750AE1A99AF4784322E3A4A0C645D913588604C0B222CCBBEC67E00189C71F9C9F93952545710728F4837F718B2A
00202 64F147D9E1D21024964705C13F43F6C1D09407F7F2DA0C37B84E83A30504034D2D6BE3BBA7072350CD89C4247171AC6D3C428D24ADBCA18515AC4DEC40D6D10887428E7E51B990EBBBABC7C35712D1471F42E2B4142D77F0588B68A4BD4AF258C64282F4728949B1A1904E528D18A1C585473010G768B51E416269765313169EC94DC985191G2D279D67E4B18C39EBA25B28302F0930632283AC00A0E565627B1243172D45A5B1FADDE023016590220212ED65C357935044613F8E8CCADE4F52D03D7F4B6B575F
00203 A9F7557CBA637F9B7806184F3ABA147E9D78495D681396GFE59903F33783BDA7C1F14CC5FA70CCC881108A2C42E77C403782DC26F34A2264EBDFBF76378895EC62DE4F5033B116EEB3ABE7F8FD0CB87888C076FE61397GGGC0GGD0CB818294G94G88G88GA520CDA98C076FE61397GGGC0GG8CGGGGGGGGGGGGGGGGGE2F5E9ECE4E5F2A0E4E1F4E1D0CB8586GGGG81G81GBAGGG4D97GGGG
00204 **end of data**/
00205 }
00206 /**
00207 * Return the JDialogContentPane property value.
00208 * @return javax.swing.JPanel
00209 */
00210 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00211 private javax.swing.JPanel getJDialogContentPane() {
00212 if (ivjJDialogContentPane == null) {
00213 try {
00214 ivjJDialogContentPane = new javax.swing.JPanel();
00215 ivjJDialogContentPane.setName("JDialogContentPane");
00216 ivjJDialogContentPane.setLayout(new java.awt.GridBagLayout());
00217 ivjJDialogContentPane.setBackground(new java.awt.Color(204,204,255));
00218
00219 java.awt.GridBagConstraints constraintsJPanel1 = new java.awt.GridBagConstraints();
00220 constraintsJPanel1.gridx = 0; constraintsJPanel1.gridy = 1;
00221 constraintsJPanel1.fill = java.awt.GridBagConstraints.BOTH;
00222 constraintsJPanel1.weightx = 1.0;
00223 constraintsJPanel1.weighty = 1.0;
00224 constraintsJPanel1.insets = new java.awt.Insets(4, 4, 4, 4);
00225 getJDialogContentPane().add(getJPanel1(), constraintsJPanel1);
00226
00227 java.awt.GridBagConstraints constraintsOKButton = new java.awt.GridBagConstraints();
00228 constraintsOKButton.gridx = 0; constraintsOKButton.gridy = 2;
00229 constraintsOKButton.insets = new java.awt.Insets(4, 4, 4, 4);
00230 getJDialogContentPane().add(getOKButton(), constraintsOKButton);
00231
00232 java.awt.GridBagConstraints constraintsJLabel1 = new java.awt.GridBagConstraints();
00233 constraintsJLabel1.gridx = 0; constraintsJLabel1.gridy = 0;
00234 constraintsJLabel1.insets = new java.awt.Insets(4, 4, 4, 4);
00235 getJDialogContentPane().add(getJLabel1(), constraintsJLabel1);
00236 // user code begin {1}
00237 // user code end
00238 } catch (java.lang.Throwable ivjExc) {
00239 // user code begin {2}
00240 // user code end
00241 handleException(ivjExc);
00242 }
00243 }
00244 return ivjJDialogContentPane;
00245 }
00246 /**
00247 * Return the JLabel1 property value.
00248 * @return javax.swing.JLabel
00249 */
00250 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00251 private javax.swing.JLabel getJLabel1() {
00252 if (ivjJLabel1 == null) {
00253 try {
00254 ivjJLabel1 = new javax.swing.JLabel();
00255 ivjJLabel1.setName("JLabel1");
00256 ivjJLabel1.setIcon(new javax.swing.ImageIcon(getClass().getResource("/edu/ksu/cis/bandera/bui/images/logo.jpg")));
00257 ivjJLabel1.setText("");
00258 ivjJLabel1.setRequestFocusEnabled(false);
00259 // user code begin {1}
00260 // user code end
00261 } catch (java.lang.Throwable ivjExc) {
00262 // user code begin {2}
00263 // user code end
00264 handleException(ivjExc);
00265 }
00266 }
00267 return ivjJLabel1;
00268 }
00269 /**
00270 * Return the JPanel1 property value.
00271 * @return javax.swing.JPanel
00272 */
00273 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00274 private javax.swing.JPanel getJPanel1() {
00275 if (ivjJPanel1 == null) {
00276 try {
00277 ivjJPanel1 = new javax.swing.JPanel();
00278 ivjJPanel1.setName("JPanel1");
00279 ivjJPanel1.setLayout(new java.awt.GridBagLayout());
00280 ivjJPanel1.setBackground(new java.awt.Color(204,204,255));
00281
00282 java.awt.GridBagConstraints constraintsJScrollPane1 = new java.awt.GridBagConstraints();
00283 constraintsJScrollPane1.gridx = 0; constraintsJScrollPane1.gridy = 0;
00284 constraintsJScrollPane1.fill = java.awt.GridBagConstraints.BOTH;
00285 constraintsJScrollPane1.weightx = 1.0;
00286 constraintsJScrollPane1.weighty = 1.0;
00287 constraintsJScrollPane1.insets = new java.awt.Insets(4, 4, 4, 4);
00288 getJPanel1().add(getJScrollPane1(), constraintsJScrollPane1);
00289 // user code begin {1}
00290 // user code end
00291 } catch (java.lang.Throwable ivjExc) {
00292 // user code begin {2}
00293 // user code end
00294 handleException(ivjExc);
00295 }
00296 }
00297 return ivjJPanel1;
00298 }
00299 /**
00300 * Return the JScrollPane1 property value.
00301 * @return javax.swing.JScrollPane
00302 */
00303 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00304 private javax.swing.JScrollPane getJScrollPane1() {
00305 if (ivjJScrollPane1 == null) {
00306 try {
00307 ivjJScrollPane1 = new javax.swing.JScrollPane();
00308 ivjJScrollPane1.setName("JScrollPane1");
00309 getJScrollPane1().setViewportView(getBanderaMsg());
00310 // user code begin {1}
00311 // user code end
00312 } catch (java.lang.Throwable ivjExc) {
00313 // user code begin {2}
00314 // user code end
00315 handleException(ivjExc);
00316 }
00317 }
00318 return ivjJScrollPane1;
00319 }
00320 /**
00321 * Return the OKButton property value.
00322 * @return javax.swing.JButton
00323 */
00324 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00325 private javax.swing.JButton getOKButton() {
00326 if (ivjOKButton == null) {
00327 try {
00328 ivjOKButton = new javax.swing.JButton();
00329 ivjOKButton.setName("OKButton");
00330 ivjOKButton.setText(" O K ");
00331 ivjOKButton.setBackground(new java.awt.Color(204,204,255));
00332 ivjOKButton.setNextFocusableComponent(getBanderaMsg());
00333 // user code begin {1}
00334 // user code end
00335 } catch (java.lang.Throwable ivjExc) {
00336 // user code begin {2}
00337 // user code end
00338 handleException(ivjExc);
00339 }
00340 }
00341 return ivjOKButton;
00342 }
00343 /**
00344 * Called whenever the part throws an exception.
00345 * @param exception java.lang.Throwable
00346 */
00347 private void handleException(java.lang.Throwable exception) {
00348
00349 /* Uncomment the following lines to print uncaught exceptions to stdout */
00350 // System.out.println("--------- UNCAUGHT EXCEPTION ---------");
00351 // exception.printStackTrace(System.out);
00352 }
00353 /**
00354 * Initializes connections
00355 * @exception java.lang.Exception The exception description.
00356 */
00357 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00358 private void initConnections() throws java.lang.Exception {
00359 // user code begin {1}
00360 // user code end
00361 getOKButton().addActionListener(ivjEventHandler);
00362 }
00363 /**
00364 * Initialize the class.
00365 */
00366 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00367 private void initialize() {
00368 try {
00369 // user code begin {1}
00370 // user code end
00371 setName("AboutBox");
00372 setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE);
00373 setResizable(false);
00374 setSize(320, 292);
00375 setTitle("About");
00376 setContentPane(getJDialogContentPane());
00377 initConnections();
00378 } catch (java.lang.Throwable ivjExc) {
00379 handleException(ivjExc);
00380 }
00381 // user code begin {2}
00382 // user code end
00383 }
00384 /**
00385 * main entrypoint - starts the part when it is run as an application
00386 * @param args java.lang.String[]
00387 */
00388 public static void main(java.lang.String[] args) {
00389 try {
00390 AboutBox aAboutBox;
00391 aAboutBox = new AboutBox();
00392 aAboutBox.setModal(true);
00393 aAboutBox.addWindowListener(new java.awt.event.WindowAdapter() {
00394 public void windowClosing(java.awt.event.WindowEvent e) {
00395 System.exit(0);
00396 };
00397 });
00398 aAboutBox.setVisible(true);
00399 } catch (Throwable exception) {
00400 System.err.println("Exception occurred in main() of javax.swing.JDialog");
00401 exception.printStackTrace(System.out);
00402 }
00403 }
00404 /**
00405 * Comment
00406 */
00407 public void oKButton() {
00408 this.dispose();
00409 }
00410 }
1.2.10 written by Dimitri van Heesch,
© 1997-2001