SessionInfo.java Source File

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 javax.swing.*;
00036 public class SessionInfo extends JDialog {
00037     private JPanel ivjInfoContentPane = null;
00038     private JScrollPane ivjInfoScrollPane = null;
00039     private JTextArea ivjInfoTextArea = null;
00040     private JButton ivjOkButton = null;
00041 
00042 class IvjEventHandler implements java.awt.event.ActionListener {
00043         public void actionPerformed(java.awt.event.ActionEvent e) {
00044             if (e.getSource() == SessionInfo.this.getOkButton()) 
00045                 connEtoM1(e);
00046         };
00047     };
00048     IvjEventHandler ivjEventHandler = new IvjEventHandler();
00049 /**
00050  * SessionInfo constructor comment.
00051  */
00052 public SessionInfo() {
00053     super();
00054     initialize();
00055 }
00056 /**
00057  * SessionInfo constructor comment.
00058  * @param owner java.awt.Dialog
00059  */
00060 public SessionInfo(java.awt.Dialog owner) {
00061     super(owner);
00062 }
00063 /**
00064  * SessionInfo constructor comment.
00065  * @param owner java.awt.Dialog
00066  * @param title java.lang.String
00067  */
00068 public SessionInfo(java.awt.Dialog owner, String title) {
00069     super(owner, title);
00070 }
00071 /**
00072  * SessionInfo constructor comment.
00073  * @param owner java.awt.Dialog
00074  * @param title java.lang.String
00075  * @param modal boolean
00076  */
00077 public SessionInfo(java.awt.Dialog owner, String title, boolean modal) {
00078     super(owner, title, modal);
00079 }
00080 /**
00081  * SessionInfo constructor comment.
00082  * @param owner java.awt.Dialog
00083  * @param modal boolean
00084  */
00085 public SessionInfo(java.awt.Dialog owner, boolean modal) {
00086     super(owner, modal);
00087 }
00088 /**
00089  * SessionInfo constructor comment.
00090  * @param owner java.awt.Frame
00091  */
00092 public SessionInfo(java.awt.Frame owner) {
00093     super(owner);
00094 }
00095 /**
00096  * SessionInfo constructor comment.
00097  * @param owner java.awt.Frame
00098  * @param title java.lang.String
00099  */
00100 public SessionInfo(java.awt.Frame owner, String title) {
00101     super(owner, title);
00102 }
00103 /**
00104  * SessionInfo constructor comment.
00105  * @param owner java.awt.Frame
00106  * @param title java.lang.String
00107  * @param modal boolean
00108  */
00109 public SessionInfo(java.awt.Frame owner, String title, boolean modal) {
00110     super(owner, title, modal);
00111 }
00112 /**
00113  * SessionInfo constructor comment.
00114  * @param owner java.awt.Frame
00115  * @param modal boolean
00116  */
00117 public SessionInfo(java.awt.Frame owner, boolean modal) {
00118     super(owner, modal);
00119 }
00120 /**
00121  * connEtoM1:  (OkButton.action.actionPerformed(java.awt.event.ActionEvent) --> SessionInfo.setVisible(Z)V)
00122  * @param arg1 java.awt.event.ActionEvent
00123  */
00124 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00125 private void connEtoM1(java.awt.event.ActionEvent arg1) {
00126     try {
00127         // user code begin {1}
00128         // user code end
00129         this.setVisible(false);
00130         // user code begin {2}
00131         // user code end
00132     } catch (java.lang.Throwable ivjExc) {
00133         // user code begin {3}
00134         // user code end
00135         handleException(ivjExc);
00136     }
00137 }
00138 /**
00139  * 
00140  */
00141 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00142 private static void getBuilderData() {
00143 /*V1.1
00144 **start of data**
00145     D0CB838494G88G88G8C86CEA8GGGGGGGGGGGG8CGGGE2F5E9ECE4E5F2A0E4E1F4E135DA8DF0D457F5F60B62AAB52DC9C29252D146E4C6EE551AF1E41BF4541456EA6B5854462913BAB66EA889F630A109F065144CA88D2D6FCAC8C8A0C032E490C608C5BF688731E0A49190DB0110E4FE34C2BB6CEAD7E3E4FB1FF61F34EB3D5D376CBED9024124675C1F37CF4B2E84445E19B36F5DF37F4EBD77BB671EF35F122A7DCB0BCC85D504180A887F7D4EC4087FDDC2F6ACFB2DD7702A0947C48C3F
00146     83C095446B5E8C4FE6284BB86AB11513F397CA20EC05F276910FE9B73CD7925B0519A37012E49EBB54BDDA3A78625C73648C0BF93650727A4BE5705C81F486F8BE20CC027393C7B56727C2F987FFC7B29590B2E242B6D7AED59B789BF93BB628BB83340936596B286175CB210CED3260394A445A2E05E7A9156E6A50895EEEC5C986717DB01C329D67B20CAF282F00757573A7D9DA1D020AA8A4B6CB8B6A4CBEB951AD7B26AC1351A90BB790350CC9A11F9C11ACE3D3012EAE079C0D8654500550388AEDD797200C
00147     FFF42904760721206CABC45EEFAE21DEEA603D8348D6A864FCFD504A6570EC788EB15F3C1ED44E0CC2A65F2A42181CA3594BCBEEEC46717B9CE53CDF99147B0018AC8B9DC2166C4DC2163DB6EC1B0F7D0ABC2666A241FF05724FC0F984A8DCA4E4FC653410D1717F9DD97BEFB7D3F6A611B135084916D99413B1635165A5FBA8B67CEE5C5FDC28ABAF76189A004E837901D20176D2CC563BDA6159B326752A41209A6A89074FAA3E48206A1395F86F6A029A4E3BACFB55080F90063BFBAF35A510C75052625918C3
00148     E2EBF3930113A5858F1319473FC877BEFEEDFD459F25AC67E32CAC0E2DAD3F9875969CC23D2D07F79357B563CFD33EF5CB0C4F766ACD0A85AC5B20AEF30B507362E6A1CB591753C95A160FD336A41045BEF1EFCAD589370D1218ACCC47CBEAD147A340570096822583BD813436C468B868EA1FCF4797C21A9C89C90AE3EAACACC53433D38185B04FF5FD51B1172E93916BB7F2477D18DEB25A0DFB147FFEA821DE422357D3C8A953C7F5E9CCAFEC6EAFA51D7BC4692D5858216F617D54A6EC2571FB7B8D4A9FAD0D
00149     5F5B83B631378A54BD87445A3B86115F31B5FE9C8F6577ED0D9FE73DBE0E936A3200587E9EB7237F2B5966B11DG32837901D2015201323609BD4EF29D39CDBB329B7617753D6A5E85CFF9C60BC897C2D1CD8AF9E5179489C8E30A9CA53C4DF5B76AF5ECD63F5FD37B76429C676490F8C88D9CA30CAE85E5GD31435C9F5D7E01B08CCEB1D01208C938443C40C3B48DD093A13225AF058A7E9F22C852BDF62C6CCFCA239E0C498G5ECB4AD0DF5F24BEF7B52CFF63B621AB6F816459205ED7A674D2B97296BC87G
00150     5C3252555597702298D2641A40E8F4884F3319B25DBF0F886C653F7AB0D9691ACC08BDFA7614B19CEDAA0B475E27F44C066D620CAC9A9A39C3BBC8C4B3E509F14B66287DCC66A8CC42E77A7DC19D45AE2C4B83F44FF6216374FDE6063D33D2D496E89B0AGD0E4DFCC632C6D37EA71AC11BF11C3DA1F9C1661E48DE9D13E57993525B19C527315719F26FC74CB3DG14284EDFDEDB4178B006915522FE852D17B4AD92981B52E4072CE90150C42C7F93D41668AC179765EB7D77FADC6B92D8E3A6D0363E56417D15
00151     86BC59D4F5F2AA6CC4CB61384C20676F7350BED75F7F2F5A908F65BBC47981DA0E55B7596EF66FF04C5B7345E76EFA0EE41838F50E51C1DC17C9AF0F53F2333E6E57298C09EC6933A0B6471641115B1479EE08E1600CB9B9064F1993E3F8501C98438E735C983DE2CE04D1D6B7E64658C51D8E99B0BFE1C6FF67D5C3A1199A1E5E05309877F5A72EA3908AE86E00EFC2569C016BB278169D085D6554275A615D37C3784369FA618FFD2E3FA6C777DDC998AFADFAE4C14A8A0E4567F6447CA11349FFGEDC9D664A0
00152     A82AD71D8AE90C9F227E1A732305147754768F61E9EE9E1ABCBB25E9EA28CD224B303007DD0E0C2B11206CEB7ED87AC432C8531A05EE032507D67763FB0B797061EE33A1CEEF0B4A1AAB908D0011B63F5F62EAB9AA7CD9F1A34A158772EE5E69B1556C94B67E0B83D8AFEC1CBB32DED5D118CA21CE5B097AFAF8284A20030E1DAC7F096164453AF25CBB796A148CC7AABA0981799ABF97FFD277D6DC1DCBD226E2676DEBF55B6029987C8B633FD41FD817BF2DC7DB1B54477FD9FDB141F3130D4976BED342B14311
00153     C0905CB1BACC1E07BD6EB066E1ABE09D18332D05E7BE906BFB4E06FD0D59CFFAB9767D7A20484F4A215C8CF43E1C793E54F2260BBC5A6E99BDC7BA2273DE213C7F844137970A58EF305C18470DDE3D1E90EFD45F95EC7C739571B1712903B82E9F78B395E2CFBFE8B07A6D1EE8D47586E8C84275DA56E844A263D5B4EE0567F8A092057858A74F083D595D0832E24C4259DC3F76F309626CFEDFC0D3A362D86C1D26A06D558D54951027795A7F6218B1B73C31E9B4E5DB1235AF64EBDEE6D83B82F997136372D554
00154     834DE351CCE6AC51E970A9DDDD977B821222CE90113736B8F14D68B7F3ABC4CE789597622B61AD0F498A6484E271E976209E6782AF9D0859402843E883B9405FDC89B8GE2765CF469987A37BBB6E22153EDF45C5996AC30724A2EB3FC5EE5FD19643961BFC91827165F3CB745DA4974642B0C69EBD556F7CA56G713C7058AC5CFDF3C9D25CAD63E3E4D74663EEDFB36AB38778F91582F7DFEE2CB0608EF2D8882FA7401A753364E0A133DBDE6EBBD8A46C1688BF75FE8B6AF8F31547E486BA81E4878AD709B91E
00155     B9B8EFFE57BFB3C7FEE7F1E22E3428AAF1AC119E474F2A92B94E96B7E2E2D5D5FC0ED3C179B9D571B94EB7DC82C339380637C5DC706460FCF9627237E74B407ABDBFEF3F55F17D9826F6BA125887BBF208381FBA6FB67A453C3719DF2B5A85785EA56EDB3EC263BD445019DDA28F49ECC51FB8836545C04B00D6826582156C76185AF60BFD5B53F4EA5EFDC3E3F02A4CB2FA63CFF50E0F3CC3B46F01F1C77531271A369BF0E7D783A1CD47DCDDB31E8DEAA4B0918889DE9365F955888DA6F8FC5112BC4E8934A40E
00156     F3541644F14ED44B5C317A27AD4962A096D777D3DF25407A9681B1DE9A6525C3F9054E5B6BC25E9AA8EF5CAD70351D5E0D12EAD15ECD4B6827F8BC6E7AC3F3A79CFB6E38B46B8F1EE32E18F69F2DDF273DCD9244FE17A0A1677DAB497F8C1672B67D1ABA782EEE937F55D21D58A66C92A008E17D9E3740FACD35B8AF9E24773FCEA8ABC0A93A0E175CF27F1286F519C0CFG2DCE20AF06036F36A6475CBF35A6465CD32D087528BA95714A71387AFEEB35DE97331F8B1A9CC43570B80D765724884443717DFFC27B
00157     333AE47D57354E9D437F7A907A41993D7C9BDA3E266F492893774DA70FCBD38A180D9A1507427CBA85788DFB685DA245BA6ED5EE3508499E194678E0BCA285E1BAC7D87612CD346DE3CE61377CD03E8114863482A8E70FB8170F39F08CAD205133286F9D3C6B2F44231A4BB454097B00EA06D5EB54E8C3B24772975C463DCD053EE96F70FBE0F8BE714E2DFB4B4E05BD744EFA75BB6CDCA852798D141FEB60337362A10AAD7A11E2AF60ED2F3071EFD31F3B924AB9BAAF1F727220CCEA842FBD023CB2A8B7683C9F
00158     69BE63C40D50451F53734FGFB0BBB9072295330F23C8D5322163E8B8E7B10237F2321CB9F755A6005458CAF93E34CC0C63F14B4E67055B01D4C70E77E029797B01BFA094A03FDB221EEFD8D7264E1E3CC05B2569790E201A72B7F7A2CFA449EFE3708557F6B2CFA14750B337A7FF6D6FD1121BFDB5721ABA28EF59E7FAEE92E1FC87A0D6268BE369EA7FF265FFCF1415ACFC4CCF56404D1BF4B7F610394D312F196727ECB7645E2AA6E63294FD9857CB57B449EAED610373956E32A2E953C4A1058EB2B4E0BDE96
00159     FBED2F95FEE9BF45098665D41D57CAF9183B246B3CC7AE5F0E3F46B16E4407EB3CBD1B63695B1A23688E46B71E938C5BCF523585C3B2849881AF73A5BF263C1F228D558A9B586944B3D183674AFC41BFE2C84947E88DE19EB4A6F9A7A7A210F17A04CF9A2576359A46D88B54309FF939CE739C32156FE76BE7F14BE487BD5301173ADF44ADA3478E4153A5FDFCEB7684CCFBC4854F28DDE3DC1AB1F3DDDA076F6EDB439627407A62EFBFC8C64ABECC1AF3E5F059D7726751700B8BE2EB79D1A77A5CFC282BB203EF
00160     8132837900EE18455A9EB806B2E2D4876277E81A647553ECD384FB188A4658685059587947D1D2B6462B479A136987C63888BEECE86CE3B8241C52043EFF0F39B1369BD3A374E0ABB9007B74349E5BAE8279B200F200724CACFFE37D9ED2301FA2DDD327B4516F1F95514F8EE5BF50A22074832C9F4345D9EA0BAB003792E8A36D7727172B9368540859CA32F0927B091B9F46FBF6G6B719CF2F8A32A2250E308476766E1631856BAA6039F1EB76A449AB6BA705924B671B36EDFCE44F07D34F3BFBCC37234D9CF
00161     C4FBD5C50DB49FBB5A51C62933330537AD9DC6BBF400A67CBAF6ACB382BB39671611D59D7727D4A4414E62BA1EB356457CDBAC6689F7603B9EBFB0D8733A698E7455F8DF8739FB60BA8D8A9C50B0B44130317AA456EF04F14B6BBD268E2073C0237582F33F6D28E318CB0037FE5F04AC4EB8BD5E69CC9EFF3D5AB97FF72257BB292FD0E18703B83E60EF6CC4BB5554B0E572B828937588E908DFE3CDB97F4DCE6A9764F14AE631406424489DE7E0ED1975A286AAB223BD44472D9686762E2EFE4D6B17FDE7B97479
00162     3D47E313624CDDDFAF6258176978668630DDA0FB03387F3CDEA876F8D34B5F9265AF7FB861D9D8F365EA0A3F016D6D4206589E2FF8D4FC2F7F05A23E572F04FA52A864FF4D3257A8BF02302B0B49EBE30647E4BE9694B21FE894B2FB02B8E6984A29C0CB0198466FBB9543387F726DE01C2D757B470DF8C679131D7BD90DEC0DB90D33714C56B4513FAF411EC0AEE1B4E13E2E11E1F1AFD8F3D02C6B71E11AD3C0D981CAB9A8726A3F371A61198665AC209C200DC0A5CD9E139928834856A4F03F65E4F3B2BF89CC
00163     26E00A7D089490F728EBCEA6477E3A1373E3BF6FA43DC3844CBA2F05F9EE706B13B4579E9F0F4A3A0D7D7749F21DF7A1EAD7238134EAF60EDD1D1C6F9C73B7A53A8B797D3C7DEA634ABCAF1D37DFBC3118FD1862B92509456CA61D7FA165AFB270997E57CD8A7C27C19DE996FBDA5F0DBE5C8765FB0016GE582BD87145BAC76727E2E23E41EFB92279A364146A9062B85363EBC656E7E3B703FF7596FF7413B5367735416C9CB3CBEFFCC79E5AD717A9C8F8AFDD6C35D0D96214FCFCF23BE57C0F9931039957C99
00164     108D4857AA747943D36DF35846E5D525499E66FDE09BC6B361EB7CE04ED8EB26B5D97E57CE6F7F9636465F977E9F652735465F97FEEFD8787CE5D0D7FEC8487F24B5391DBEEB1D5FCEDF30A6BE23F22C371ED1AFDB931FD16B2C46B30A71F27938917D520571FFE5C5BF4A6228C1A9A4CD5033085D59E4D7E2DDA02484D063741F94BA162EA8C4FF77995EB7CCFE965F7A6746F13172F94E417452561DFC9F5B3B935F751C6CCEFC3FF83AFB6EBB18F35D493F23DE6AB6FEC7E56B7F0FE0CC5FBFB33CAB414FDF77
00165     DF78DC67E0EB3E77F4F25D7F596979ED68EB27935BD05A69DBED68DB27935B50DF1DB65A904B5935E11133EB07C4AEFE52053969D23D5CCB4BD9FA7919615B55970EF1F7FB32763667381B7F9E305C793EE1739CEDD6F359D9DC97580A3E91CD43899B55037F2F225F63B41771EEA777903B5328EA9379D046B046A33DB27E5FCF44EB4FFEBAAB860D45EBE2E89E2BBD6492773F4DEDC27719AE63D960E90B69D70377D420343659BAE77B7C14CB5C6BE43669F7B8EEF107132D7396DF94F8F8DE67BDBE003CFCA8
00166     179D76181C071117C7B1E1BEACF2D0AB9DEB89145301583D68C397C53E3892F8B948872A31F8CCD60B504F8B83AC068BE888F7B656068191FB0F6A6D0A5D98DF32B872BD498B6767B58B7D171BECD327717F82E7B19CE1754DADAC3ECEEDB75E072D7DF9A02510A40E2F43962633FBAC317BC2965B7775909D837751754C0E6BAD8A1A593908F40D6D598FAE0AFB63CC0B38DFAC9D083FDFFC03986F87CF8D445FAF1AE6558787626F97FBCC467A8786626F97C5FFA677E69B7246A5A59A7B4679C68F6E5FFA0BB8
00167     630F1F413CB5D90C02A7A54B0205FD3EF0510843CDB0CE791139ED1D4767BDE88FD1BE964357862A3386680F6BE23CDFD11E95F8EF90E1B752C134C11E1B3B83BE4D4F78B5B35BE37C73B2EE881459FF70FFB97C92BC17EDA0C59A590C662B11022149E8046C183D0F2687F7AFA83F3FFD2A00943FC70AC1D7E13FF40194518F43B6D2600DEAE42F8D3B9C01AEC73C5865886D6888CBDE795495D2BA9E1998234DE106AB6FDD01C1E869AA39899BC036EAFE9A610105EBE4F7ECA4BB46F93C62548C7ECF133C39EA
00168     551BE178C531EBC192CEF6F6B6F208389BD951EF44FA4D722BC96F46F30F729C725D786F69BB5B294E01BF722E40455F388FA7438524810E2024A81A24CC7604FCF897F6761AA647E2002AF69CBFAA5A70CAD637373D145B1268737FD0CB8788D4C0C39BAA92GG10B1GGD0CB818294G94G88G88G8C86CEA8D4C0C39BAA92GG10B1GG8CGGGGGGGGGGGGGGGGGE2F5E9ECE4E5F2A0E4E1F4E1D0CB8586GGGG81G81GBAGGGE492GGGG
00169 **end of data**/
00170 }
00171 /**
00172  * Return the InfoContentPane property value.
00173  * @return javax.swing.JPanel
00174  */
00175 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00176 private javax.swing.JPanel getInfoContentPane() {
00177     if (ivjInfoContentPane == null) {
00178         try {
00179             ivjInfoContentPane = new javax.swing.JPanel();
00180             ivjInfoContentPane.setName("InfoContentPane");
00181             ivjInfoContentPane.setBorder(new javax.swing.border.EtchedBorder());
00182             ivjInfoContentPane.setLayout(new java.awt.BorderLayout());
00183             ivjInfoContentPane.setBackground(new java.awt.Color(204,204,255));
00184             getInfoContentPane().add(getOkButton(), "South");
00185             getInfoContentPane().add(getInfoScrollPane(), "Center");
00186             // user code begin {1}
00187             // user code end
00188         } catch (java.lang.Throwable ivjExc) {
00189             // user code begin {2}
00190             // user code end
00191             handleException(ivjExc);
00192         }
00193     }
00194     return ivjInfoContentPane;
00195 }
00196 /**
00197  * Return the InfoScrollPane property value.
00198  * @return javax.swing.JScrollPane
00199  */
00200 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00201 public javax.swing.JScrollPane getInfoScrollPane() {
00202     if (ivjInfoScrollPane == null) {
00203         try {
00204             ivjInfoScrollPane = new javax.swing.JScrollPane();
00205             ivjInfoScrollPane.setName("InfoScrollPane");
00206             getInfoScrollPane().setViewportView(getInfoTextArea());
00207             // user code begin {1}
00208             // user code end
00209         } catch (java.lang.Throwable ivjExc) {
00210             // user code begin {2}
00211             // user code end
00212             handleException(ivjExc);
00213         }
00214     }
00215     return ivjInfoScrollPane;
00216 }
00217 /**
00218  * Return the InfoTextArea property value.
00219  * @return javax.swing.JTextArea
00220  */
00221 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00222 public javax.swing.JTextArea getInfoTextArea() {
00223     if (ivjInfoTextArea == null) {
00224         try {
00225             ivjInfoTextArea = new javax.swing.JTextArea();
00226             ivjInfoTextArea.setName("InfoTextArea");
00227             ivjInfoTextArea.setBorder(BorderFactory.createLoweredBevelBorder());
00228             ivjInfoTextArea.setBackground(java.awt.Color.lightGray);
00229             ivjInfoTextArea.setBounds(0, 0, 160, 120);
00230             ivjInfoTextArea.setEditable(false);
00231             // user code begin {1}
00232             // user code end
00233         } catch (java.lang.Throwable ivjExc) {
00234             // user code begin {2}
00235             // user code end
00236             handleException(ivjExc);
00237         }
00238     }
00239     return ivjInfoTextArea;
00240 }
00241 /**
00242  * Return the OkButton property value.
00243  * @return javax.swing.JButton
00244  */
00245 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00246 private javax.swing.JButton getOkButton() {
00247     if (ivjOkButton == null) {
00248         try {
00249             ivjOkButton = new javax.swing.JButton();
00250             ivjOkButton.setName("OkButton");
00251             ivjOkButton.setMnemonic('o');
00252             ivjOkButton.setText("Ok");
00253             ivjOkButton.setBackground(new java.awt.Color(204,204,255));
00254             // user code begin {1}
00255             // user code end
00256         } catch (java.lang.Throwable ivjExc) {
00257             // user code begin {2}
00258             // user code end
00259             handleException(ivjExc);
00260         }
00261     }
00262     return ivjOkButton;
00263 }
00264 /**
00265  * Called whenever the part throws an exception.
00266  * @param exception java.lang.Throwable
00267  */
00268 private void handleException(java.lang.Throwable exception) {
00269 
00270     /* Uncomment the following lines to print uncaught exceptions to stdout */
00271     // System.out.println("--------- UNCAUGHT EXCEPTION ---------");
00272     // exception.printStackTrace(System.out);
00273 }
00274 /**
00275  * Initializes connections
00276  * @exception java.lang.Exception The exception description.
00277  */
00278 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00279 private void initConnections() throws java.lang.Exception {
00280     // user code begin {1}
00281     // user code end
00282     getOkButton().addActionListener(ivjEventHandler);
00283 }
00284 /**
00285  * Initialize the class.
00286  */
00287 /* WARNING: THIS METHOD WILL BE REGENERATED. */
00288 private void initialize() {
00289     try {
00290         // user code begin {1}
00291         // user code end
00292         setName("SessionInfo");
00293         setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE);
00294         setSize(324, 273);
00295         setTitle("Info");
00296         setContentPane(getInfoContentPane());
00297         initConnections();
00298     } catch (java.lang.Throwable ivjExc) {
00299         handleException(ivjExc);
00300     }
00301     // user code begin {2}
00302     // user code end
00303 }
00304 /**
00305  * main entrypoint - starts the part when it is run as an application
00306  * @param args java.lang.String[]
00307  */
00308 public static void main(java.lang.String[] args) {
00309     try {
00310         SessionInfo aSessionInfo;
00311         aSessionInfo = new SessionInfo();
00312         aSessionInfo.setModal(true);
00313         aSessionInfo.addWindowListener(new java.awt.event.WindowAdapter() {
00314             public void windowClosing(java.awt.event.WindowEvent e) {
00315                 System.exit(0);
00316             };
00317         });
00318         aSessionInfo.setVisible(true);
00319     } catch (Throwable exception) {
00320         System.err.println("Exception occurred in main() of javax.swing.JDialog");
00321         exception.printStackTrace(System.out);
00322     }
00323 }
00324 }