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 edu.ksu.cis.bandera.bui.session.*; 00036 import edu.ksu.cis.bandera.bui.session.datastructure.*; 00037 import edu.ksu.cis.bandera.jjjc.*; 00038 import java.util.*; 00039 import javax.swing.*; 00040 public class IncludedManager extends JDialog { 00041 private JPanel ivjIncludedContentPane = null; 00042 private JButton ivjAddButton = null; 00043 private JButton ivjCancelButton = null; 00044 private JLabel ivjIncludedLabel = null; 00045 private JList ivjIncludedList = null; 00046 private JScrollPane ivjIncludedScrollPane = null; 00047 private JButton ivjOkButton = null; 00048 private JButton ivjRemoveButton = null; 00049 IvjEventHandler ivjEventHandler = new IvjEventHandler(); 00050 00051 class IvjEventHandler implements java.awt.event.ActionListener, java.awt.event.WindowListener, javax.swing.event.ListSelectionListener { 00052 public void actionPerformed(java.awt.event.ActionEvent e) { 00053 if (e.getSource() == IncludedManager.this.getCancelButton()) 00054 connEtoM1(e); 00055 if (e.getSource() == IncludedManager.this.getAddButton()) 00056 connEtoC1(); 00057 if (e.getSource() == IncludedManager.this.getRemoveButton()) 00058 connEtoC2(); 00059 if (e.getSource() == IncludedManager.this.getOkButton()) 00060 connEtoC3(); 00061 }; 00062 public void valueChanged(javax.swing.event.ListSelectionEvent e) { 00063 if (e.getSource() == IncludedManager.this.getIncludedList()) 00064 connEtoC4(); 00065 }; 00066 public void windowActivated(java.awt.event.WindowEvent e) {}; 00067 public void windowClosed(java.awt.event.WindowEvent e) {}; 00068 public void windowClosing(java.awt.event.WindowEvent e) {}; 00069 public void windowDeactivated(java.awt.event.WindowEvent e) {}; 00070 public void windowDeiconified(java.awt.event.WindowEvent e) {}; 00071 public void windowIconified(java.awt.event.WindowEvent e) {}; 00072 public void windowOpened(java.awt.event.WindowEvent e) { 00073 if (e.getSource() == IncludedManager.this) 00074 connEtoC5(e); 00075 }; 00076 }; 00077 /** 00078 * IncludedManager constructor comment. 00079 */ 00080 public IncludedManager() { 00081 super(); 00082 initialize(); 00083 } 00084 /** 00085 * IncludedManager constructor comment. 00086 * @param owner java.awt.Dialog 00087 */ 00088 public IncludedManager(java.awt.Dialog owner) { 00089 super(owner); 00090 } 00091 /** 00092 * IncludedManager constructor comment. 00093 * @param owner java.awt.Dialog 00094 * @param title java.lang.String 00095 */ 00096 public IncludedManager(java.awt.Dialog owner, String title) { 00097 super(owner, title); 00098 } 00099 /** 00100 * IncludedManager constructor comment. 00101 * @param owner java.awt.Dialog 00102 * @param title java.lang.String 00103 * @param modal boolean 00104 */ 00105 public IncludedManager(java.awt.Dialog owner, String title, boolean modal) { 00106 super(owner, title, modal); 00107 } 00108 /** 00109 * IncludedManager constructor comment. 00110 * @param owner java.awt.Dialog 00111 * @param modal boolean 00112 */ 00113 public IncludedManager(java.awt.Dialog owner, boolean modal) { 00114 super(owner, modal); 00115 } 00116 /** 00117 * IncludedManager constructor comment. 00118 * @param owner java.awt.Frame 00119 */ 00120 public IncludedManager(java.awt.Frame owner) { 00121 super(owner); 00122 } 00123 /** 00124 * IncludedManager constructor comment. 00125 * @param owner java.awt.Frame 00126 * @param title java.lang.String 00127 */ 00128 public IncludedManager(java.awt.Frame owner, String title) { 00129 super(owner, title); 00130 } 00131 /** 00132 * IncludedManager constructor comment. 00133 * @param owner java.awt.Frame 00134 * @param title java.lang.String 00135 * @param modal boolean 00136 */ 00137 public IncludedManager(java.awt.Frame owner, String title, boolean modal) { 00138 super(owner, title, modal); 00139 } 00140 /** 00141 * IncludedManager constructor comment. 00142 * @param owner java.awt.Frame 00143 * @param modal boolean 00144 */ 00145 public IncludedManager(java.awt.Frame owner, boolean modal) { 00146 super(owner, modal); 00147 } 00148 /** 00149 * Comment 00150 */ 00151 public void addButton_ActionEvents() { 00152 String s = JOptionPane.showInputDialog(null, "Please input the package or type name", "Add Included Package or Type", JOptionPane.INFORMATION_MESSAGE); 00153 ListModel listModel = getIncludedList().getModel(); 00154 int size = listModel.getSize(); 00155 String[] included = new String[size]; 00156 TreeSet ts = new TreeSet(); 00157 for (int i = 0; i < size; i++) { 00158 ts.add(listModel.getElementAt(i).toString().trim()); 00159 } 00160 ts.add(s.trim()); 00161 getIncludedList().setValueIsAdjusting(true); 00162 getIncludedList().setListData(new Vector(ts)); 00163 getIncludedList().setValueIsAdjusting(false); 00164 getIncludedScrollPane().validate(); 00165 getIncludedScrollPane().repaint(); 00166 getRemoveButton().setEnabled(false); 00167 } 00168 /** 00169 * connEtoC1: (AddButton.action. --> IncludedManager.addButton_ActionEvents()V) 00170 */ 00171 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00172 private void connEtoC1() { 00173 try { 00174 // user code begin {1} 00175 // user code end 00176 this.addButton_ActionEvents(); 00177 // user code begin {2} 00178 // user code end 00179 } catch (java.lang.Throwable ivjExc) { 00180 // user code begin {3} 00181 // user code end 00182 handleException(ivjExc); 00183 } 00184 } 00185 /** 00186 * connEtoC2: (RemoveButton.action. --> IncludedManager.removeButton_ActionEvents()V) 00187 */ 00188 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00189 private void connEtoC2() { 00190 try { 00191 // user code begin {1} 00192 // user code end 00193 this.removeButton_ActionEvents(); 00194 // user code begin {2} 00195 // user code end 00196 } catch (java.lang.Throwable ivjExc) { 00197 // user code begin {3} 00198 // user code end 00199 handleException(ivjExc); 00200 } 00201 } 00202 /** 00203 * connEtoC3: (OkButton.action. --> IncludedManager.okButton_ActionEvents()V) 00204 */ 00205 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00206 private void connEtoC3() { 00207 try { 00208 // user code begin {1} 00209 // user code end 00210 this.okButton_ActionEvents(); 00211 // user code begin {2} 00212 // user code end 00213 } catch (java.lang.Throwable ivjExc) { 00214 // user code begin {3} 00215 // user code end 00216 handleException(ivjExc); 00217 } 00218 } 00219 /** 00220 * connEtoC4: (IncludedList.listSelection. --> IncludedManager.includedList_ListSelectionEvents()V) 00221 */ 00222 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00223 private void connEtoC4() { 00224 try { 00225 // user code begin {1} 00226 // user code end 00227 this.includedList_ListSelectionEvents(); 00228 // user code begin {2} 00229 // user code end 00230 } catch (java.lang.Throwable ivjExc) { 00231 // user code begin {3} 00232 // user code end 00233 handleException(ivjExc); 00234 } 00235 } 00236 /** 00237 * connEtoC5: (IncludedManager.window.windowOpened(java.awt.event.WindowEvent) --> IncludedManager.includedManager_WindowOpened()V) 00238 * @param arg1 java.awt.event.WindowEvent 00239 */ 00240 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00241 private void connEtoC5(java.awt.event.WindowEvent arg1) { 00242 try { 00243 // user code begin {1} 00244 // user code end 00245 this.includedManager_WindowOpened(); 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 * connEtoM1: (CancelButton.action.actionPerformed(java.awt.event.ActionEvent) --> IncludedManager.setVisible(Z)V) 00256 * @param arg1 java.awt.event.ActionEvent 00257 */ 00258 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00259 private void connEtoM1(java.awt.event.ActionEvent arg1) { 00260 try { 00261 // user code begin {1} 00262 // user code end 00263 this.setVisible(false); 00264 // user code begin {2} 00265 // user code end 00266 } catch (java.lang.Throwable ivjExc) { 00267 // user code begin {3} 00268 // user code end 00269 handleException(ivjExc); 00270 } 00271 } 00272 /** 00273 * Return the AddButton property value. 00274 * @return javax.swing.JButton 00275 */ 00276 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00277 private javax.swing.JButton getAddButton() { 00278 if (ivjAddButton == null) { 00279 try { 00280 ivjAddButton = new javax.swing.JButton(); 00281 ivjAddButton.setName("AddButton"); 00282 ivjAddButton.setMnemonic('a'); 00283 ivjAddButton.setText("Add"); 00284 ivjAddButton.setBackground(new java.awt.Color(204,204,255)); 00285 // user code begin {1} 00286 // user code end 00287 } catch (java.lang.Throwable ivjExc) { 00288 // user code begin {2} 00289 // user code end 00290 handleException(ivjExc); 00291 } 00292 } 00293 return ivjAddButton; 00294 } 00295 /** 00296 * 00297 */ 00298 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00299 private static void getBuilderData() { 00300 /*V1.1 00301 **start of data** 00302 D0CB838494G88G88G7589CEA8GGGGGGGGGGGG8CGGGE2F5E9ECE4E5F2A0E4E1F4E13DBCFFD8D45715A619ECE9E20CC9C9E2D23FAE6D1AAD595004EECD1A5D52ADE97936C94BB6167A35E6BF3731295938DB125244BFCC16ED5F709B02CA1488886888080392C479A92072E3869C98A3D52AE4B51FBC18870CBCE6A6B38F418453BD775EF76E3C995E70437E707B0E6F5DF36FBD771CFB4F0FFB4F3B03103FBFA25D1812AF8846F4C17D57E49404753D0210FF6DF3AE44958A89C6C1736FG40 00303 3B42E8EB9ABC4DD0175F1BE04C9386BE4802F29B14B776A4988B60FD3770C0E5F88F3C0498C706BA6B7FA4A54EBF4E59C29CA713165F7CB4971EBBG5A8167G089648786F4C962A78B0A86FD05F8998D384610A1136E9AD5460372A6DEA214E82A02410B61533A5EA7D9A4011B6B170DCE7E4ED3740B31BF2777139E635DDCCD62460F8F919E1BB99CBC39F61CC8A6BAB2BCFA15AECA09311AA3C61FD1F4CD97F4458A949B1D5B3611B2A99F17AEA06C517C3720AB543D34E16961BEBC41EF2C80E3322CB9C133C 00304 50FEA36573D8EB962581FCC2F9BC15609EEBA5F3E30277E6007ED464757533EDAAAFC32FBDA518D65C95125728D446633AD4BF2F7DB9A9E94B52887DF33339EA3FBCA81F81E03CBCB40B3C4425A1AF7B9AC85BE4A86727A7982B53917F8A45DB20FC85C0C9C79EDFBE0DBC4A637FA4ECFEE905E1E7889E1727B35E56267BF90CC8B62695D17DF831082CF1925465E7A4984DGF6G99E0B9C0B1554B704243706C98D63A5C1313EED7074753A9BB3CE75D8EC90677169628D1F16725913757A188CC779ADB2BF578 00305 C1D8139128F78418EC17845415D5A9CF88B3AFBCCC57BFD8B64B9E37619915C6FC06DF363CCCB2EF875A483CA5821E74A36B47703594BF1069473335FA126A82A94FC05D66CC1C67F0B37212FB7F9AE1F541A706CC9DDE7A279FB474E7B19E46337C3C30B97EC6B11963F040C783BC873089C048CEB01A32F10EFFDED837509C5BDC0A64F509720529E10F68D5BA271CB2683DBA57FF181DEF2E7500759BD9F2BFB6AF11F55AB55AF66DB35DF97148F7995A3259FC8CE47B67050D3DBA6458CA76DC5D58415770FE 00306 EA93E159EC8DD3B9FEB5452F5260595AD6D0BCA9C7C2DDEE8E60E87B0F9A895E13932CA3B2450767846B482F9AD0C71E013A0AF7920CECFDFFDFCAFC60CAA8C7814481EC84C886A84C85DB4E45B52EAABA3AC8BB6A572CAF6B7BF2519EF8CAB30AD73439FC0A689A11AE0ADE27B8ACCBBEC1ED732BA2B22F43817D1228FD0F4098BD128B3C2462F43B003AB8A901B279D81B370A5EA5ED3C922D9DF0CECAB04024C7C03A463D3B61A90BBE658F9E0728C87E962CBEFBAF51096B62C520888460FDB6174C57D96AF3 00307 6D70BE1E0BF37559BE020B057286BEAF063D3B6059874AAD49ADAD966788E1C3745EC09DBD54C6E4C80476C35B4106G32F6A4988781E2F6F01FBD087A386D15A70467C6BF5555C79A87F7B25D9A5C992C0F0DF41CE5000FG08855884A064011D66E1BCFD2AF5E891B6C2785A2161B9EB073EBE93A072607B205A0E0D35EED1E3EDD71FC43F53D57B1C4F66717D9D754956A5F1BF516DF610738A40EC9E2E4DF7761A184EF60ABE8935741C9794CCF278D70A350DA9A6B1C83AAE39940B6411A0AA3B941F2AA35F 00308 AB4E766B6F281B6B567394CF7CD997A8180F63DFA8FE17610106569A307EE734DED4942FF3F8CA11AEC80A62F40D797B3FC4F9718538CA1FAA6B6BA6EA5FA0E394C08C17F53CE437C68F6DEE774414E700D8182A4F5F20F1FB9D345F4275E1D58359EF653E0B652F50323F7EF04360BC6BC17AAD45776A7B702EF947C87D9368EB62C4A3318D742B69AABEDB55A35646CB5B18C126FE009900880067G12787C7C26E1E89EBAFF8A1FF3F94EED9C8AB14E76BF63D8CCF7AE1706567D61D2FD5D9FAF5557FDD7697C 00309 3AFD3DD4CF37D95D4DD2A22BFB5A2531155BCB09FF9DF13BDC92B5D85EC5E07B6A5787089CCE17D33964F40CC94A8567A7927802DDC4679D54079742FB75AE7435536568EB9D979F93EA5F1F505D1F2DFC768B8643AE265F2BF679FDAD63690EFD4486A5D91A04096AF2CF3994067FBC0D8FAA5E17CAF11DB7C761E9B2F71128A7F7CEA90A5BD5ADD2D1EA5823DF720E3A3D131243FCCD3CAE560853CA8DDD0A1A8EDAEDA56FD526775FBFE58ABA9FD47BA46522536784A3B77FDF55452ADA26AF3B85EBE3979D33 00310 4361889CD0170A082D2EEA8674190160B115DE1FE823744ECB136E6B52A2C8FAB58D67D0BDAEA01FAF5C6C20F44FCDAC0226FBA2843DBACE2F55F10952432EF627CF2916613F8B30A67310F6EA5ADF35EB5B7BC729D747C8AF1C8E9883E9CCBBDD8E77F48DFB1C83A31A3B1E17E85DBC6B698CACDF3D24A586BCB428B160C099513FE7C0AF6381B66F4298103E1F54E38CD083DD17DBD605013A365DF40F58162F517564DD6CEC3D03572F8A28B76CE6756B60496A0BCE6A55EF66750F6856EF63754527746AF373 00311 31FE35EE3DA99F65FCE3FF9E71A15247D392989589F2FD528D5C8F6E5F95D4F7D114277C7BCC230978D0D9939F99FE2BC95F265FB61118B841697F5614A1107DA22349FCD034C8E8FA3C4EC958CE10002F66A0FEB02B4DC154837FA4DFF1851E9EG56F7341978436013FF49FB24FFE4A366A74220FD84C0ECBE0B5F42FBEC3DB652F6F293369B0772B200087758D8EB835A9DEC46F666BD894676BD7EF6C3FB346DDE646D42C89BCD3B5800F6771C40F61B811F8CD0D2405AB597E85B1DE9617C95B07E17296DE2 00312 54F6DB8AC83BCFF91E63A8475DCFF13F06G78FC9A1E5F4E66E973B1D7EE3BCB57079328AEE4745B8B034F35974B895DA140FB8AD12FE68EE877D09DBE1FFB44C90F952A0E9CAA537AF7062BAE4B016728536B03B32EC31AC1BDBBDEC6F8A5678E952D6ACAFF0F5ED9596AF0AAEEAFEED13B18136862C16F22D31AD6E5FF6438B63FB31BBBE9F8A7046C86D566B59A599D4946B4464763C7CEAE160F81F7979C414E004984F1047929975AF05DB697E21E287FA462CA0A9077E30E9B6038732790371C63FE42F1F1 00313 C5E8A767BFA66BC673E7442D4E547840550E353474DA1C226C9E633C545FA4FD49DCA597E19EEAFB86316D7A3D89C6BB0083001D09FF5C08E76BD9402D5D0B7EE7DD007FCA84FCFEB168B4G0B814DCDA406ADBD08238E3CC36986C6EF546D1777342B63C6D92205F552C33A39313C958F9A6C45ECDD15E27F7A46252426EDGE072BD50142B6ADD8C3459DA0C729D6C53132F3A8465CBEE4A744B2772ACDFA6739FF22FA0A07FC23F167F41FF7F23AE7F71C5B78C6DA5EA4E29444F7F464862343C4DA5A90C7F8F 00314 1A117F3550A631042FCF379E7F952528AB85A5445F4C3789E174D3CEA07DE6686BA9C57A4F1C51239F4969BFF2027875D09B92C67BE9CEBB867AED653457D934342B7741F983C05907F3DF5AC270011B96541B972A4B853257DDF0372266FCBEEEC19E4200FEAC9FE3C38B712FCB5C3128BCBC1B37DF43C3081D8A66C20F8778692FC50674535B76B19D485D9F6C276FBAC86C598C78367D68273FD6C64E9868274F037022EB8CA2B9BF4F1493B9A1E62B652B65E4DC9A33854C99FC3F122CC3BF5014818CG2B81 00315 E278987FD93EE0CE53BAB3CFCEF3FD5BD2F2139B776399738FA71752AF09777B69127A2519305F25D3CB69D7487BEDD8D23FEA5E6F44CD522F5D241FBB98D071636AF35604794E5B288FDFE98A4E1B5ECD719126603C696E8C746D51D017FFG477FD963C2FC4F9C88640D75FBE541FE2B037AB1FB59F9A1C45CE24EC3406FD55F4D506E95579EE07B248D70CCBC00F1B17394463634B24CC9161A092FEB0372A00087E0B9C0B4C0BCC0D2996AF3FDC56B027A4C02BDF3E7DD41A7EEF59E3E5894BC8FF96501F26B 00316 4F5FE3F37A55846BC8909DA67315BE1459D20EB207D79119E7213C8AA09AA09EA089A037A241D8DB01B25FD92137475113F96E86471F33E37C8FB45F1A5C43F37A854B5DDF21A7F7E68F4ABDDE013A1BF56256F858B327DFB08F913ABC7C7A8C72708C67A16696F9784102BCA4D568594F8F2B8A746D07C4BE55F68A7A343613F510456BFAF81EB948ED471A25529CBA0832CC375C1AACF74E6997AC4B2A03017D185E2EBFCCF808063A58032823AFD710FC9E4632FE3753258898476EBDC84E1AEE2FF34C69C2DC 00317 B8450D383DB4C926661BABC3676FFEDA291F3F5BD8291F3FFB39F27E5C75FFD7064A6F31BC732F68D9E09D48178840F072C944891508FB0D6372B94EF58AF1E60E7BB54735F1DCBF5D6377C3D961382FD2DC9814A3B84E1ECEF0F1D05E40F18FD0DCA21405C328871F4B20F9F0DE3E0F16098E31F2D1463CF970C3FF0EBC7871F94778D373602514462B4AFB02CEAE7583F1D292B0073623A9DBEDE3D55CE70FF1BBFC332AD05F8E7BC550DCE6E3511968AF2A8F61596B8D1A2BF2C0F996A01C4FF16E1C7DC39454 00318 45822C875822B3276A995C9CDA57EB4C7A3ADEEFA6B666F3CFF9C724E0FDEEB59772BA3F7737A952A419965646C27BAB22F7CC1AE38FFD34BF2B8B55FF409C4AE6583ABC3FE7A735B91FCF725100E49195D1DD0F846DFAF49D637AA276854FDFB24CD91E994EC1G4D66D07377252A507377E8157E7CBDDE95FA7E7E31EA61797BD6D568797BEE55427377432AD0734766686EE66D9C9D67F3145B93BCC7F61817A1G85A0CCE70E983D53A734746AB83D2DE702692D869A51GF1G9BC252FBB300DEBD3729B1EB 00319 293ECDDD98713AE519D816003178DC9F462FC4B35AD61E0558D6C59578C60001AAEEDB56D0FBD5995AAC2B8A456793ADDABE9B789A3DF8186C2DE7F879BFE8798617C36A584157506AF228C10C656FD2281FFF969C6A7784445DC1F1BF81DC0191F1E9544FFF87F092475DC9F164CE5783A9084BB8CDF0AF2531BBE30C6F311B442FB924D1F1CA06F06676C9F092E55785G9FDFC57A5DFE9367AF3C8A4F71DF1FA63933D12FB88953FE41A30D88EB8E13367FF2937793F9D02EG30GB8G8C07718CBD12CEE8CC 00320 3A9D224C4778A49D73D6093CDD94ED27B895FABECDBECC6E3D6592B3D6F97F3407649CB17F8B962050408BAB2FFE334F542EE57B91D867A36A99891E33C7662EA5BB97DDAB276725A34177C3EED07C5AA34177C33615617D108DD0E72946F8D9CE57A09A4AF19CB7C6F19B203C05631E23382DD04EFD9FF123F59813CD9CB7530774BC9C77EC9F52B3F0DC199D692D64383DD6243706634AFB105ED60E9B6BC1FAD9B508DB510B7472B96E175DC84F4CF16F58105E8C471D33A13D659C97EDC3FA2BB82E1B7397D5 00321 0336B890602713EB8257AB6FE828753B1759765160736E4394DFFFB4783C3B470267DD8B54C59E6573C3F94A2D85BD2EC55C9BB6643339967574E1FAAE5738A1B579839AC9EE6CA83E9A0B6DC27F398B562B67BE385AE5079716637905204D71887217C366F82E54B2D9BD6AF35B97DE3D0379364D54B6C91FC8285BD4CBF01E4F34F9B24263FDC6364FE675DF8928A77121CA50563F1D262DA73CBE1B2A2D2FCE575627EB7AB3390EDC46BC7BC063BF8B663A691077A84D4718BCF67539E68548951B124666753E 00322 F43217D43CD39223FB34D9BBDFEB7FED52E08CC1572052DBF94C1F93E36B97CF77D9F1005FF08C5734AF1B6012211CF79CF1BF48C19D2D673858B2DC7BB347D1C7BD65445F49D08E830884088558G10485B7C1136C92BE379CA720D299D3F8D65E31B5F168D694891295241F25871256D1789AF324A0FFF3FDCD42EB79629535E0FC8DF42B828A7E45D70BE87DB43FB29FF1AF4C913EE17F30479FABB75F75F872828C39B5ADFC1579AB6D04C4FFF13ECC5D49A3F48A15F0906451109B12FFB4A654018719BCA27 00323 9EE834832C2DA3381BF596F5FC39CEBFD6A31F547E21CDB840FB2A3C11F54CB790E0E37CBD651F445FE428E33C5DCB36B5EAFD9F75353975894642FA64611895F930546B732005C1E8A3577BF9D8D69F4C031D7A64D7G1657A38FE375FE9E3EC97D73EA280B64BC3C5D0DBC2C8F41C33A0607AD042E06073C06E09E6A295FFB89202481F97838414F430B343E9A6A1A9B10070F78BCB89A74F9485470B083ED16B778F9085070406CEF022EC59460E39B50A6E37A50A657B520ADBDE0A13AE4EA44725F52B27946 00324 4A4AA516794E0BDAA0B416E283FE9BEBD8749837F2BEE5F651E255370B73B4EEB5836F96G36AF4B6E45FD1987F08602870883585C083941FD0D24DFDA936CB91AB047727BE3C760F9D13CB677ABA7A07B3DEE58ADAAB798165E96D0656F796C566E97E78EE06C88FF72D1E1304495729BEDFB93DB1BA175D93B6C55BB4813499256C464DD89F5D1G6BG36GA48364B723EC2B0E919EC9A693586FD094F1E41CFE1D4684A779D06BC713CDAE237DB889C36AFE7E67478E061A9F20508BFB02F3435760E0B6A00E 00325 71F57BE5A649C38D3B3D74B09751CC6DB59357478C65F6G85A02C196563D83F61EC52CF96EF3827946CF7A39B7BED0132F08276E3GEDA7D8BF268FEF51D8B6G38A10065A7886EE7E505BAF39A28DFCA9F09877CC610B8AC493CAEF1F61726CEFB68E275BBCB48FA72DBD43C5FE3D749DECBFB9B0A61FF5BCCF8445BCC8C77FA89E92B3D7D453E83BED52E5DFF2CD7E55DF6021FAFCE11672111C36A192135C56063DF2EA35F60DC523409FF2F6BF24BEE2F79F8EDFDB5050606AA755C78C49D1EFBF2DB920C7B 00326 E9FFC148927C7F666212CE33B11FA01F8CD41DAE7121CEA776C4890EFBBEEFA88F21531696264B61AD1AFB87EBFE174AF87FF69F15CBC439DEEF734B35533AF83906F9BEB7FE49F27D6BC97F18A3BD149FAF72731DD37E3A8D5D0B6767C88F7213563AD4FE9EBA6D9F334FC679F1A3BF6B5B7DF52DCB181F95FCFE5A164CCFD407FF4C5B7B34F69E59CA4FA0FDF41F530AB172A7FD98A393DB67469ABC27603EC5E883DDEFE3B112604CED7E9849469CCDA1B6233D454778FA34534F572B36056622369E6762E8AF 00327 1EAF6A5B70FC71D1EF707962B70276FCF0EFEF70794298D07FECEF707922A360FC72E6EF7079827BB31FDB5EC870BC2745420EDAF7381174A5F7DA1D226C7C04A6B2AEC0C35798735DD3DD24DE86D942G22GE2815637E1CCF82231CC20B1C1A79ED89DE3921E69F03C7B1AC26784D7B5AD7C5B0DAFB751986E866FB6C968A37E2B749E096276D0A443C551FC2657B9B62E302618C7ECA2EBA4CB23944D4E34E5D9F826CD82594CA7B1EF13EEA271AAB8EFD643143425452A0C0CCB0ECED5E5D59D381605BAB0F4 00328 9273E72BA87DD5D00E86F86EA45E917EA495FDDDF25553027C747D3AE73F12095B8C1BCEB2FDCFBB6577F5EB130D6A7D1BAFE763EF685A21FE669472FFEC28C44BBFD15E16169E2F5351A90E59E9E4E4BC7FD7B6729CFD8AF9AE48A1B437C0D9B88D7B7553380FB5DB7D3671D459E27C841375C70DDA3FCE788FF54E2DBD2D7E966A34DFD6546DD4614D51905F87E848E572A452BBF7C4A742CF63BE769BF55ABDD6BC60B71D1EFF3F4AECC024E7032D50B62F9D4E37GF600A100990065G91GEB816281B683EC 00329 83486D00FDA1C0AD0085E03083ED664DD6F27E8F35C7D497079A0ED7E45F68987FE38139D69968AD6B181FFF562FB6A0B79D8EFDA297556F8B816345C01FF58B74E3BA71E41F991E4CA83A4591106DC68D7D5514E4F7CF13FB421DE07FB22BB7D7B15D882B5366AAB63FF543109AC2B7B62BBCEC6D884E6D2459B18ED5F46A45212453FA310969F44399014BDD5F3B543D387A1B022E503E4D503530EF3B270B5E79841FB4F04323FE0F383F0BFE179D9D75C95C07BE541547F1B6DF3F5B67A4DE1B71EE4EDA0877 00330 AB1DFA5F199B976C37CFD7C75C8B768B8616DB4C257EEA26539F0F997EBD0AB7E8704C3FFDA98B7D5BCA285B5A09E730C29B718503DD307F87D88E3086A08EE0D3975ADB3525D6D860EE46005BE3A7CA29798C4D647BEA762D7DDE7429DB6C777A127B29F713282F5E5A95BC1F6194AFD8026733B48767B3976ABC961CCFAFBD772E07F292C03EB541D88D508EB0E84579F4DBC9C2A7147FBA6FF6530F8A647B8238AF492B71E46AEF1B4A75E4142DCCAF1741B35C9A2823EA0E111EAFA22DCC9606FB0162E2D59C 00331 63EF2ABB349D4EF6AFEC07F7F66B6FB16E6E1E3B47D8592D3F47F830DB3B47E038AFF6935FB4867EFD10370B60388FB96ED1CA1360AEB99D4AB847BFCE79A278B392999071DF27FCCDD35C200AFBDA037BD045FD2B1B789290F95C4D6FF344F6137D7528D316D9B90E36F13A40357079F81E726874089A3EFF44F19F7235784CBAF7FD6E30EA570761FAFA6636E3B93B40F67F20C36F49GFACCE79F20E7040DDCBFBF6AA91BC7BF497DAB3643C51B4B36EB75B1896824F54F9F67583774585D5B69DC49CE226D74 00332 17435C0EF75130465E0BB56FEB32961B673A95E0E3FC7BAFBA861B63833650B6E63669FF5B2F31695F832A374D7FBB3EB6DB685F71F559343F63D36F546478677B914DFBF94EDFFE6E5B7E22E3B019BF6D8DBD773777AE6C5F6E6E5577EF77754E75EF8F766A7B37553DDA7F46ECB32B823FDD96F6E33EF93282734D959CF7157ECD97854A4B3B711CA2D612F8241EC3295BE37812196DFEBC3ABD150707E93E40275AB223ED324F7599876DDA1F4176FBCF1DA5FA41F28A068A4CA9C46858BD46CD4C7F2F05B64F 00333 F57BF38A9B3B03F38A57BF203F53F1FB2540BC738AAA7796E83F359B6F8A96D7621EB53FE731FBD64C1D5C73014065791BF3829F7FFFE9BEA070BCD6B3AC0BA393CCC7CD15DAFFE707F107FA6677F7EC9E1BAA674EEDDB25F6EE595F67F964446194C108FACDC8D704D262FC792F8FCD7D4004B8A6195CDE935963AAC286CBD7AAC2EA074381C51669D40414F393BE2F30A3D088632385F7645DDBB715A2E4F48B9923226C9997EDC2BA3DEDEF97D2C6FC0AD0ECA7DD0EC21723A3244BD15A7102C79C11DAAF8B59 00334 235E31E15A9CC6385CFD990850524742E7C226DD48D1466936854CC7918A7C147A4966C52DE81DA1FF70C178DDFC7C6FBC708F185C49193451303969FADDCB6AAF7FAEB5C5C83389994C4CECC29A3195E0161A12CDC885B32314F254C525CF9FE1A4BD00BE41647CD55B4573F621FBF28A0AD094EAF1DBF80FF4EDAF8DE5GC299733EB1D66D9930A46E36105F7787FB553FFD549B7C9B0E0F681D50C8404775725FF034123F07946A1B4305C9D11695D11E68F0B94877074E9B0A640FBD43ED043E8F5B28152C4E 00335 59162D5A997679FFD0CB8788B43DA6522699GG7CCAGGD0CB818294G94G88G88G7589CEA8B43DA6522699GG7CCAGG8CGGGGGGGGGGGGGGGGGE2F5E9ECE4E5F2A0E4E1F4E1D0CB8586GGGG81G81GBAGGG6099GGGG 00336 **end of data**/ 00337 } 00338 /** 00339 * Return the CancelButton property value. 00340 * @return javax.swing.JButton 00341 */ 00342 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00343 private javax.swing.JButton getCancelButton() { 00344 if (ivjCancelButton == null) { 00345 try { 00346 ivjCancelButton = new javax.swing.JButton(); 00347 ivjCancelButton.setName("CancelButton"); 00348 ivjCancelButton.setMnemonic('c'); 00349 ivjCancelButton.setText("Cancel"); 00350 ivjCancelButton.setBackground(new java.awt.Color(204,204,255)); 00351 // user code begin {1} 00352 // user code end 00353 } catch (java.lang.Throwable ivjExc) { 00354 // user code begin {2} 00355 // user code end 00356 handleException(ivjExc); 00357 } 00358 } 00359 return ivjCancelButton; 00360 } 00361 /** 00362 * Return the IncludedContentPane property value. 00363 * @return javax.swing.JPanel 00364 */ 00365 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00366 private javax.swing.JPanel getIncludedContentPane() { 00367 if (ivjIncludedContentPane == null) { 00368 try { 00369 ivjIncludedContentPane = new javax.swing.JPanel(); 00370 ivjIncludedContentPane.setName("IncludedContentPane"); 00371 ivjIncludedContentPane.setBorder(new javax.swing.border.EtchedBorder()); 00372 ivjIncludedContentPane.setLayout(new java.awt.GridBagLayout()); 00373 ivjIncludedContentPane.setBackground(new java.awt.Color(204,204,255)); 00374 00375 java.awt.GridBagConstraints constraintsIncludedLabel = new java.awt.GridBagConstraints(); 00376 constraintsIncludedLabel.gridx = 0; constraintsIncludedLabel.gridy = 0; 00377 constraintsIncludedLabel.gridwidth = 2; 00378 constraintsIncludedLabel.fill = java.awt.GridBagConstraints.BOTH; 00379 constraintsIncludedLabel.weightx = 1.0; 00380 constraintsIncludedLabel.weighty = 1.0; 00381 constraintsIncludedLabel.insets = new java.awt.Insets(10, 10, 5, 10); 00382 getIncludedContentPane().add(getIncludedLabel(), constraintsIncludedLabel); 00383 00384 java.awt.GridBagConstraints constraintsIncludedScrollPane = new java.awt.GridBagConstraints(); 00385 constraintsIncludedScrollPane.gridx = 0; constraintsIncludedScrollPane.gridy = 1; 00386 constraintsIncludedScrollPane.gridheight = 4; 00387 constraintsIncludedScrollPane.fill = java.awt.GridBagConstraints.BOTH; 00388 constraintsIncludedScrollPane.weightx = 1.0; 00389 constraintsIncludedScrollPane.insets = new java.awt.Insets(0, 10, 10, 10); 00390 getIncludedContentPane().add(getIncludedScrollPane(), constraintsIncludedScrollPane); 00391 00392 java.awt.GridBagConstraints constraintsAddButton = new java.awt.GridBagConstraints(); 00393 constraintsAddButton.gridx = 1; constraintsAddButton.gridy = 1; 00394 constraintsAddButton.fill = java.awt.GridBagConstraints.HORIZONTAL; 00395 constraintsAddButton.weighty = 1.0; 00396 constraintsAddButton.insets = new java.awt.Insets(0, 0, 10, 10); 00397 getIncludedContentPane().add(getAddButton(), constraintsAddButton); 00398 00399 java.awt.GridBagConstraints constraintsRemoveButton = new java.awt.GridBagConstraints(); 00400 constraintsRemoveButton.gridx = 1; constraintsRemoveButton.gridy = 2; 00401 constraintsRemoveButton.fill = java.awt.GridBagConstraints.HORIZONTAL; 00402 constraintsRemoveButton.weighty = 1.0; 00403 constraintsRemoveButton.insets = new java.awt.Insets(0, 0, 10, 10); 00404 getIncludedContentPane().add(getRemoveButton(), constraintsRemoveButton); 00405 00406 java.awt.GridBagConstraints constraintsOkButton = new java.awt.GridBagConstraints(); 00407 constraintsOkButton.gridx = 1; constraintsOkButton.gridy = 3; 00408 constraintsOkButton.fill = java.awt.GridBagConstraints.HORIZONTAL; 00409 constraintsOkButton.weighty = 1.0; 00410 constraintsOkButton.insets = new java.awt.Insets(0, 0, 10, 10); 00411 getIncludedContentPane().add(getOkButton(), constraintsOkButton); 00412 00413 java.awt.GridBagConstraints constraintsCancelButton = new java.awt.GridBagConstraints(); 00414 constraintsCancelButton.gridx = 1; constraintsCancelButton.gridy = 4; 00415 constraintsCancelButton.fill = java.awt.GridBagConstraints.HORIZONTAL; 00416 constraintsCancelButton.weighty = 1.0; 00417 constraintsCancelButton.insets = new java.awt.Insets(0, 0, 10, 10); 00418 getIncludedContentPane().add(getCancelButton(), constraintsCancelButton); 00419 // user code begin {1} 00420 // user code end 00421 } catch (java.lang.Throwable ivjExc) { 00422 // user code begin {2} 00423 // user code end 00424 handleException(ivjExc); 00425 } 00426 } 00427 return ivjIncludedContentPane; 00428 } 00429 /** 00430 * Return the IncludedLabel property value. 00431 * @return javax.swing.JLabel 00432 */ 00433 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00434 private javax.swing.JLabel getIncludedLabel() { 00435 if (ivjIncludedLabel == null) { 00436 try { 00437 ivjIncludedLabel = new javax.swing.JLabel(); 00438 ivjIncludedLabel.setName("IncludedLabel"); 00439 ivjIncludedLabel.setText("Included Package or Type:"); 00440 ivjIncludedLabel.setForeground(java.awt.Color.black); 00441 // user code begin {1} 00442 // user code end 00443 } catch (java.lang.Throwable ivjExc) { 00444 // user code begin {2} 00445 // user code end 00446 handleException(ivjExc); 00447 } 00448 } 00449 return ivjIncludedLabel; 00450 } 00451 /** 00452 * Return the IncludedList property value. 00453 * @return javax.swing.JList 00454 */ 00455 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00456 public javax.swing.JList getIncludedList() { 00457 if (ivjIncludedList == null) { 00458 try { 00459 ivjIncludedList = new javax.swing.JList(); 00460 ivjIncludedList.setName("IncludedList"); 00461 ivjIncludedList.setBackground(new java.awt.Color(204,204,204)); 00462 ivjIncludedList.setBounds(0, 0, 160, 120); 00463 // user code begin {1} 00464 // user code end 00465 } catch (java.lang.Throwable ivjExc) { 00466 // user code begin {2} 00467 // user code end 00468 handleException(ivjExc); 00469 } 00470 } 00471 return ivjIncludedList; 00472 } 00473 /** 00474 * Return the IncludedScrollPane property value. 00475 * @return javax.swing.JScrollPane 00476 */ 00477 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00478 public javax.swing.JScrollPane getIncludedScrollPane() { 00479 if (ivjIncludedScrollPane == null) { 00480 try { 00481 ivjIncludedScrollPane = new javax.swing.JScrollPane(); 00482 ivjIncludedScrollPane.setName("IncludedScrollPane"); 00483 ivjIncludedScrollPane.setBorder(BorderFactory.createLoweredBevelBorder()); 00484 getIncludedScrollPane().setViewportView(getIncludedList()); 00485 // user code begin {1} 00486 // user code end 00487 } catch (java.lang.Throwable ivjExc) { 00488 // user code begin {2} 00489 // user code end 00490 handleException(ivjExc); 00491 } 00492 } 00493 return ivjIncludedScrollPane; 00494 } 00495 /** 00496 * Return the OkButton property value. 00497 * @return javax.swing.JButton 00498 */ 00499 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00500 private javax.swing.JButton getOkButton() { 00501 if (ivjOkButton == null) { 00502 try { 00503 ivjOkButton = new javax.swing.JButton(); 00504 ivjOkButton.setName("OkButton"); 00505 ivjOkButton.setMnemonic('o'); 00506 ivjOkButton.setText("Ok"); 00507 ivjOkButton.setBackground(new java.awt.Color(204,204,255)); 00508 // user code begin {1} 00509 // user code end 00510 } catch (java.lang.Throwable ivjExc) { 00511 // user code begin {2} 00512 // user code end 00513 handleException(ivjExc); 00514 } 00515 } 00516 return ivjOkButton; 00517 } 00518 /** 00519 * Return the RemoveButton property value. 00520 * @return javax.swing.JButton 00521 */ 00522 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00523 private javax.swing.JButton getRemoveButton() { 00524 if (ivjRemoveButton == null) { 00525 try { 00526 ivjRemoveButton = new javax.swing.JButton(); 00527 ivjRemoveButton.setName("RemoveButton"); 00528 ivjRemoveButton.setMnemonic('r'); 00529 ivjRemoveButton.setText("Remove"); 00530 ivjRemoveButton.setBackground(new java.awt.Color(204,204,255)); 00531 // user code begin {1} 00532 // user code end 00533 } catch (java.lang.Throwable ivjExc) { 00534 // user code begin {2} 00535 // user code end 00536 handleException(ivjExc); 00537 } 00538 } 00539 return ivjRemoveButton; 00540 } 00541 /** 00542 * Called whenever the part throws an exception. 00543 * @param exception java.lang.Throwable 00544 */ 00545 private void handleException(java.lang.Throwable exception) { 00546 00547 /* Uncomment the following lines to print uncaught exceptions to stdout */ 00548 // System.out.println("--------- UNCAUGHT EXCEPTION ---------"); 00549 // exception.printStackTrace(System.out); 00550 } 00551 /** 00552 * Comment 00553 */ 00554 public void includedList_ListSelectionEvents() { 00555 getRemoveButton().setEnabled(true); 00556 } 00557 /** 00558 * Comment 00559 */ 00560 public void includedManager_WindowOpened() { 00561 getRemoveButton().setEnabled(getIncludedList().getSelectedValue() != null); 00562 } 00563 /** 00564 * Initializes connections 00565 * @exception java.lang.Exception The exception description. 00566 */ 00567 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00568 private void initConnections() throws java.lang.Exception { 00569 // user code begin {1} 00570 // user code end 00571 getCancelButton().addActionListener(ivjEventHandler); 00572 getAddButton().addActionListener(ivjEventHandler); 00573 getRemoveButton().addActionListener(ivjEventHandler); 00574 getOkButton().addActionListener(ivjEventHandler); 00575 getIncludedList().addListSelectionListener(ivjEventHandler); 00576 this.addWindowListener(ivjEventHandler); 00577 } 00578 /** 00579 * Initialize the class. 00580 */ 00581 /* WARNING: THIS METHOD WILL BE REGENERATED. */ 00582 private void initialize() { 00583 try { 00584 // user code begin {1} 00585 // user code end 00586 setName("IncludedManager"); 00587 setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE); 00588 setSize(480, 200); 00589 setModal(true); 00590 setTitle("Edit Included Package or Type"); 00591 setContentPane(getIncludedContentPane()); 00592 initConnections(); 00593 } catch (java.lang.Throwable ivjExc) { 00594 handleException(ivjExc); 00595 } 00596 // user code begin {2} 00597 // user code end 00598 } 00599 /** 00600 * main entrypoint - starts the part when it is run as an application 00601 * @param args java.lang.String[] 00602 */ 00603 public static void main(java.lang.String[] args) { 00604 try { 00605 IncludedManager aIncludedManager; 00606 aIncludedManager = new IncludedManager(); 00607 aIncludedManager.setModal(true); 00608 aIncludedManager.addWindowListener(new java.awt.event.WindowAdapter() { 00609 public void windowClosing(java.awt.event.WindowEvent e) { 00610 System.exit(0); 00611 }; 00612 }); 00613 aIncludedManager.setVisible(true); 00614 } catch (Throwable exception) { 00615 System.err.println("Exception occurred in main() of javax.swing.JDialog"); 00616 exception.printStackTrace(System.out); 00617 } 00618 } 00619 /** 00620 * Comment 00621 */ 00622 public void okButton_ActionEvents() { 00623 ListModel listModel = getIncludedList().getModel(); 00624 int size = listModel.getSize(); 00625 String[] included = new String[size]; 00626 TreeSet ts = new TreeSet(); 00627 for (int i = 0; i < size; i++) { 00628 included[i] = listModel.getElementAt(i).toString().trim(); 00629 ts.add(included[i]); 00630 } 00631 CompilationManager.setIncludedPackagesOrTypes(included); 00632 BUI.manager.getIncludedList().setValueIsAdjusting(true); 00633 BUI.manager.getIncludedList().setListData(new Vector(ts)); 00634 BUI.manager.getIncludedList().setValueIsAdjusting(false); 00635 BUI.manager.getIncludedScrollPane().validate(); 00636 Session session = BUI.sessions.getActiveSession(); 00637 if (session != null) { 00638 session.setIncludedPackagesOrTypes(included); 00639 BUI.sessions.setSaved(false); 00640 BUI.manager.updateInfo(session); 00641 } 00642 setVisible(false); 00643 BUI.manager.requestFocus(); 00644 } 00645 /** 00646 * Comment 00647 */ 00648 public void removeButton_ActionEvents() { 00649 Object[] selectedPaths = getIncludedList().getSelectedValues(); 00650 TreeSet ts = new TreeSet(); 00651 ListModel listModel = getIncludedList().getModel(); 00652 int size = listModel.getSize(); 00653 for (int i = 0; i < size; i++) { 00654 boolean f = true; 00655 Object o = listModel.getElementAt(i); 00656 for (int j = 0; j < selectedPaths.length; j++) { 00657 if (selectedPaths[j] == o) { 00658 f = false; 00659 break; 00660 } 00661 } 00662 if (f) { 00663 ts.add(o); 00664 } 00665 } 00666 00667 getIncludedList().setValueIsAdjusting(true); 00668 getIncludedList().setListData(new Vector(ts)); 00669 getIncludedList().setValueIsAdjusting(false); 00670 getIncludedScrollPane().validate(); 00671 getIncludedScrollPane().repaint(); 00672 getRemoveButton().setEnabled(false); 00673 } 00674 }