Java > Open Source Codes > com > sun > org > apache > bcel > internal > verifier > VerifyDialog


1 package com.sun.org.apache.bcel.internal.verifier;
2
3 /* ====================================================================
4  * The Apache Software License, Version 1.1
5  *
6  * Copyright (c) 2001 The Apache Software Foundation. All rights
7  * reserved.
8  *
9  * Redistribution and use in source and binary forms, with or without
10  * modification, are permitted provided that the following conditions
11  * are met:
12  *
13  * 1. Redistributions of source code must retain the above copyright
14  * notice, this list of conditions and the following disclaimer.
15  *
16  * 2. Redistributions in binary form must reproduce the above copyright
17  * notice, this list of conditions and the following disclaimer in
18  * the documentation and/or other materials provided with the
19  * distribution.
20  *
21  * 3. The end-user documentation included with the redistribution,
22  * if any, must include the following acknowledgment:
23  * "This product includes software developed by the
24  * Apache Software Foundation (http://www.apache.org/)."
25  * Alternately, this acknowledgment may appear in the software itself,
26  * if and wherever such third-party acknowledgments normally appear.
27  *
28  * 4. The names "Apache" and "Apache Software Foundation" and
29  * "Apache BCEL" must not be used to endorse or promote products
30  * derived from this software without prior written permission. For
31  * written permission, please contact apache@apache.org.
32  *
33  * 5. Products derived from this software may not be called "Apache",
34  * "Apache BCEL", nor may "Apache" appear in their name, without
35  * prior written permission of the Apache Software Foundation.
36  *
37  * THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED
38  * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
39  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
40  * DISCLAIMED. IN NO EVENT SHALL THE APACHE SOFTWARE FOUNDATION OR
41  * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
42  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
43  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
44  * USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
45  * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
46  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
47  * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
48  * SUCH DAMAGE.
49  * ====================================================================
50  *
51  * This software consists of voluntary contributions made by many
52  * individuals on behalf of the Apache Software Foundation. For more
53  * information on the Apache Software Foundation, please see
54  * <http://www.apache.org/>.
55  */
56
57 import com.sun.org.apache.bcel.internal.*;
58 import com.sun.org.apache.bcel.internal.classfile.*;
59 import com.sun.org.apache.bcel.internal.verifier.*;
60 import java.awt.Color ;
61
62 /**
63  * A class for simple graphical class file verification.
64  * Use the _main(String []) method with fully qualified
65  * class names as arguments to use it as a stand-alone
66  * application.
67  * Use the VerifyDialog(String) constructor to use this
68  * class in your application.
69  * [This class was created using VisualAge for Java,
70  * but it does not work under VAJ itself (Version 3.02 JDK 1.2)]
71  * @version $Id: VerifyDialog.java,v 1.1.1.1 2001/10/29 20:00:33 jvanzyl Exp $
72  * @author <A HREF="http://www.inf.fu-berlin.de/~ehaase"/>Enver Haase</A>
73  * @see #main(String[])
74  * @see #VerifyDialog(String)
75  */
76 public class VerifyDialog extends javax.swing.JDialog {
77     /** Machine-generated. */
78     private javax.swing.JPanel ivjJDialogContentPane = null;
79     /** Machine-generated. */
80     private javax.swing.JPanel ivjPass1Panel = null;
81     /** Machine-generated. */
82     private javax.swing.JPanel ivjPass2Panel = null;
83     /** Machine-generated. */
84     private javax.swing.JPanel ivjPass3Panel = null;
85     /** Machine-generated. */
86     private javax.swing.JButton ivjPass1Button = null;
87     /** Machine-generated. */
88     private javax.swing.JButton ivjPass2Button = null;
89     /** Machine-generated. */
90     private javax.swing.JButton ivjPass3Button = null;
91     /** Machine-generated. */
92     IvjEventHandler ivjEventHandler = new IvjEventHandler();
93
94     /**
95      * The class to verify. Default set to 'java.lang.Object'
96      * in case this class is instantiated via one of the many
97      * machine-generated constructors.
98      */
99     private String class_name = "java.lang.Object";
100
101     /**
102      * This field is here to count the number of open VerifyDialog
103      * instances so the JVM can be exited afer every Dialog had been
104      * closed.
105      */
106     private static int classes_to_verify;
107
108 /** Machine-generated. */
109 class IvjEventHandler implements java.awt.event.ActionListener {
110         public void actionPerformed(java.awt.event.ActionEvent e) {
111             if (e.getSource() == VerifyDialog.this.getPass1Button())
112                 connEtoC1(e);
113             if (e.getSource() == VerifyDialog.this.getPass2Button())
114                 connEtoC2(e);
115             if (e.getSource() == VerifyDialog.this.getPass3Button())
116                 connEtoC3(e);
117             if (e.getSource() == VerifyDialog.this.getFlushButton())
118                 connEtoC4(e);
119         };
120     };
121     /** Machine-generated. */
122     private javax.swing.JButton ivjFlushButton = null;
123 /** Machine-generated. */
124 public VerifyDialog() {
125     super();
126     initialize();
127 }
128
129 /** Machine-generated. */
130 public VerifyDialog(java.awt.Dialog owner) {
131     super(owner);
132 }
133
134 /** Machine-generated. */
135 public VerifyDialog(java.awt.Dialog owner, String title) {
136     super(owner, title);
137 }
138
139 /** Machine-generated. */
140 public VerifyDialog(java.awt.Dialog owner, String title, boolean modal) {
141     super(owner, title, modal);
142 }
143
144 /** Machine-generated. */
145 public VerifyDialog(java.awt.Dialog owner, boolean modal) {
146     super(owner, modal);
147 }
148
149 /** Machine-generated. */
150 public VerifyDialog(java.awt.Frame owner) {
151     super(owner);
152 }
153
154 /** Machine-generated. */
155 public VerifyDialog(java.awt.Frame owner, String title) {
156     super(owner, title);
157 }
158
159 /** Machine-generated. */
160 public VerifyDialog(java.awt.Frame owner, String title, boolean modal) {
161     super(owner, title, modal);
162 }
163
164 /** Machine-generated. */
165 public VerifyDialog(java.awt.Frame owner, boolean modal) {
166     super(owner, modal);
167 }
168
169 /**
170  * Use this constructor if you want a possibility to verify other
171  * class files than java.lang.Object.
172  * @param fully_qualified_class_name java.lang.String
173  */
174 public VerifyDialog(String fully_qualified_class_name) {
175     super();
176     
177     int dotclasspos = fully_qualified_class_name.lastIndexOf(".class");
178     if (dotclasspos != -1) fully_qualified_class_name = fully_qualified_class_name.substring(0,dotclasspos);
179     fully_qualified_class_name = fully_qualified_class_name.replace('/', '.');
180
181     class_name = fully_qualified_class_name;
182     initialize();
183 }
184
185
186 /** Machine-generated. */
187 private void connEtoC1(java.awt.event.ActionEvent arg1) {
188     try {
189         // user code begin {1}
190 // user code end
191 this.pass1Button_ActionPerformed(arg1);
192         // user code begin {2}
193 // user code end
194 } catch (java.lang.Throwable ivjExc) {
195         // user code begin {3}
196 // user code end
197 handleException(ivjExc);
198     }
199 }
200
201 /** Machine-generated. */
202 private void connEtoC2(java.awt.event.ActionEvent arg1) {
203     try {
204         // user code begin {1}
205 // user code end
206 this.pass2Button_ActionPerformed(arg1);
207         // user code begin {2}
208 // user code end
209 } catch (java.lang.Throwable ivjExc) {
210         // user code begin {3}
211 // user code end
212 handleException(ivjExc);
213     }
214 }
215
216 /** Machine-generated. */
217 private void connEtoC3(java.awt.event.ActionEvent arg1) {
218     try {
219         // user code begin {1}
220 // user code end
221 this.pass4Button_ActionPerformed(arg1);
222         // user code begin {2}
223 // user code end
224 } catch (java.lang.Throwable ivjExc) {
225         // user code begin {3}
226 // user code end
227 handleException(ivjExc);
228     }
229 }
230
231 /** Machine-generated. */
232 private void connEtoC4(java.awt.event.ActionEvent arg1) {
233     try {
234         // user code begin {1}
235 // user code end
236 this.flushButton_ActionPerformed(arg1);
237         // user code begin {2}
238 // user code end
239 } catch (java.lang.Throwable ivjExc) {
240         // user code begin {3}
241 // user code end
242 handleException(ivjExc);
243     }
244 }
245
246 /** Machine-generated. */
247 public void flushButton_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
248     VerifierFactory.getVerifier(class_name).flush();
249     Repository.removeClass(class_name); // Make sure it will be reloaded.
250 getPass1Panel().setBackground(Color.gray);
251     getPass1Panel().repaint();
252     getPass2Panel().setBackground(Color.gray);
253     getPass2Panel().repaint();
254     getPass3Panel().setBackground(Color.gray);
255     getPass3Panel().repaint();
256 }
257
258 /** Machine-generated. */
259 private javax.swing.JButton getFlushButton() {
260     if (ivjFlushButton == null) {
261         try {
262             ivjFlushButton = new javax.swing.JButton ();
263             ivjFlushButton.setName("FlushButton");
264             ivjFlushButton.setText("Flush: Forget old verification results");
265             ivjFlushButton.setBackground(java.awt.SystemColor.controlHighlight);
266             ivjFlushButton.setBounds(60, 215, 300, 30);
267             ivjFlushButton.setForeground(java.awt.Color.red);
268             ivjFlushButton.setActionCommand("FlushButton");
269             // user code begin {1}
270 // user code end
271 } catch (java.lang.Throwable ivjExc) {
272             // user code begin {2}
273 // user code end
274 handleException(ivjExc);
275         }
276     }
277     return ivjFlushButton;
278 }
279
280 /** Machine-generated. */
281 private javax.swing.JPanel getJDialogContentPane() {
282     if (ivjJDialogContentPane == null) {
283         try {
284             ivjJDialogContentPane = new javax.swing.JPanel ();
285             ivjJDialogContentPane.setName("JDialogContentPane");
286             ivjJDialogContentPane.setLayout(null);
287             getJDialogContentPane().add(getPass1Panel(), getPass1Panel().getName());
288             getJDialogContentPane().add(getPass3Panel(), getPass3Panel().getName());
289             getJDialogContentPane().add(getPass2Panel(), getPass2Panel().getName());
290             getJDialogContentPane().add(getPass1Button(), getPass1Button().getName());
291             getJDialogContentPane().add(getPass2Button(), getPass2Button().getName());
292             getJDialogContentPane().add(getPass3Button(), getPass3Button().getName());
293             getJDialogContentPane().add(getFlushButton(), getFlushButton().getName());
294             // user code begin {1}
295 // user code end
296 } catch (java.lang.Throwable ivjExc) {
297             // user code begin {2}
298 // user code end
299 handleException(ivjExc);
300         }
301     }
302     return ivjJDialogContentPane;
303 }
304
305 /** Machine-generated. */
306 private javax.swing.JButton getPass1Button() {
307     if (ivjPass1Button == null) {
308         try {
309             ivjPass1Button = new javax.swing.JButton ();
310             ivjPass1Button.setName("Pass1Button");
311             ivjPass1Button.setText("Pass1: Verify binary layout of .class file");
312             ivjPass1Button.setBackground(java.awt.SystemColor.controlHighlight);
313             ivjPass1Button.setBounds(100, 40, 300, 30);
314             ivjPass1Button.setActionCommand("Button1");
315             // user code begin {1}
316 // user code end
317 } catch (java.lang.Throwable ivjExc) {
318             // user code begin {2}
319 // user code end
320 handleException(ivjExc);
321         }
322     }
323     return ivjPass1Button;
324 }
325
326 /** Machine-generated. */
327 private javax.swing.JPanel getPass1Panel() {
328     if (ivjPass1Panel == null) {
329         try {
330             ivjPass1Panel = new javax.swing.JPanel ();
331             ivjPass1Panel.setName("Pass1Panel");
332             ivjPass1Panel.setLayout(null);
333             ivjPass1Panel.setBackground(java.awt.SystemColor.controlShadow);
334             ivjPass1Panel.setBounds(30, 30, 50, 50);
335             // user code begin {1}
336 // user code end
337 } catch (java.lang.Throwable ivjExc) {
338             // user code begin {2}
339 // user code end
340 handleException(ivjExc);
341         }
342     }
343     return ivjPass1Panel;
344 }
345
346 /** Machine-generated. */
347 private javax.swing.JButton getPass2Button() {
348     if (ivjPass2Button == null) {
349         try {
350             ivjPass2Button = new javax.swing.JButton ();
351             ivjPass2Button.setName("Pass2Button");
352             ivjPass2Button.setText("Pass 2: Verify static .class file constraints");
353             ivjPass2Button.setBackground(java.awt.SystemColor.controlHighlight);
354             ivjPass2Button.setBounds(100, 100, 300, 30);
355             ivjPass2Button.setActionCommand("Button2");
356             // user code begin {1}
357 // user code end
358 } catch (java.lang.Throwable ivjExc) {
359             // user code begin {2}
360 // user code end
361 handleException(ivjExc);
362         }
363     }
364     return ivjPass2Button;
365 }
366
367 /** Machine-generated. */
368 private javax.swing.JPanel getPass2Panel() {
369     if (ivjPass2Panel == null) {
370         try {
371             ivjPass2Panel = new javax.swing.JPanel ();
372             ivjPass2Panel.setName("Pass2Panel");
373             ivjPass2Panel.setLayout(null);
374             ivjPass2Panel.setBackground(java.awt.SystemColor.controlShadow);
375             ivjPass2Panel.setBounds(30, 90, 50, 50);
376             // user code begin {1}
377 // user code end
378 } catch (java.lang.Throwable ivjExc) {
379             // user code begin {2}
380 // user code end
381 handleException(ivjExc);
382         }
383     }
384     return ivjPass2Panel;
385 }
386
387 /** Machine-generated. */
388 private javax.swing.JButton getPass3Button() {
389     if (ivjPass3Button == null) {
390         try {
391             ivjPass3Button = new javax.swing.JButton ();
392             ivjPass3Button.setName("Pass3Button");
393             ivjPass3Button.setText("Passes 3a+3b: Verify code arrays");
394             ivjPass3Button.setBackground(java.awt.SystemColor.controlHighlight);
395             ivjPass3Button.setBounds(100, 160, 300, 30);
396             ivjPass3Button.setActionCommand("Button2");
397             // user code begin {1}
398 // user code end
399 } catch (java.lang.Throwable ivjExc) {
400             // user code begin {2}
401 // user code end
402 handleException(ivjExc);
403         }
404     }
405     return ivjPass3Button;
406 }
407
408 /** Machine-generated. */
409 private javax.swing.JPanel getPass3Panel() {
410     if (ivjPass3Panel == null) {
411         try {
412             ivjPass3Panel = new javax.swing.JPanel ();
413             ivjPass3Panel.setName("Pass3Panel");
414             ivjPass3Panel.setLayout(null);
415             ivjPass3Panel.setBackground(java.awt.SystemColor.controlShadow);
416             ivjPass3Panel.setBounds(30, 150, 50, 50);
417             // user code begin {1}
418 // user code end
419 } catch (java.lang.Throwable ivjExc) {
420             // user code begin {2}
421 // user code end
422 handleException(ivjExc);
423         }
424     }
425     return ivjPass3Panel;
426 }
427
428 /** Machine-generated. */
429 private void handleException(java.lang.Throwable exception) {
430
431     /* Uncomment the following lines to print uncaught exceptions to stdout */
432      System.out.println("--------- UNCAUGHT EXCEPTION ---------");
433      exception.printStackTrace(System.out);
434 }
435
436
437 /** Machine-generated. */
438 private void initConnections() throws java.lang.Exception {
439     // user code begin {1}
440 // user code end
441 getPass1Button().addActionListener(ivjEventHandler);
442     getPass2Button().addActionListener(ivjEventHandler);
443     getPass3Button().addActionListener(ivjEventHandler);
444     getFlushButton().addActionListener(ivjEventHandler);
445 }
446
447 /** Machine-generated. */
448 private void initialize() {
449     try {
450         // user code begin {1}
451 // user code end
452 setName("VerifyDialog");
453         setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE);
454         setSize(430, 280);
455         setVisible(true);
456         setModal(true);
457         setResizable(false);
458         setContentPane(getJDialogContentPane());
459         initConnections();
460     } catch (java.lang.Throwable ivjExc) {
461         handleException(ivjExc);
462     }
463     // user code begin {2}
464 setTitle("'"+class_name+"' verification - JustIce / BCEL");
465     // user code end
466 }
467 /**
468  * Verifies one or more class files.
469  * Verification results are presented graphically: Red means 'rejected',
470  * green means 'passed' while yellow means 'could not be verified yet'.
471  * @param args java.lang.String[] fully qualified names of classes to verify.
472  */
473 public static void _main(java.lang.String [] args) {
474     classes_to_verify = args.length;
475     
476     for (int i=0; i<args.length; i++){
477
478         try {
479             VerifyDialog aVerifyDialog;
480             aVerifyDialog = new VerifyDialog(args[i]);
481             aVerifyDialog.setModal(true);
482             aVerifyDialog.addWindowListener(new java.awt.event.WindowAdapter () {
483                 public void windowClosing(java.awt.event.WindowEvent e) {
484                     classes_to_verify--;
485                     if (classes_to_verify == 0) System.exit(0);
486                 };
487             });
488             aVerifyDialog.setVisible(true);
489         } catch (Throwable exception) {
490             System.err.println("Exception occurred in main() of javax.swing.JDialog");
491             exception.printStackTrace(System.out);
492         }
493     
494     }
495 }
496
497 /** Machine-generated. */
498 public void pass1Button_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
499     Verifier v = VerifierFactory.getVerifier(class_name);
500     VerificationResult vr = v.doPass1();
501     if (vr.getStatus() == VerificationResult.VERIFIED_OK){
502         getPass1Panel().setBackground(Color.green);
503         getPass1Panel().repaint();
504     }
505     if (vr.getStatus() == VerificationResult.VERIFIED_REJECTED){
506         getPass1Panel().setBackground(Color.red);
507         getPass1Panel().repaint();
508     }
509 }
510
511 /** Machine-generated. */
512 public void pass2Button_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
513     pass1Button_ActionPerformed(actionEvent);
514     
515     Verifier v = VerifierFactory.getVerifier(class_name);
516     VerificationResult vr = v.doPass2();
517     if (vr.getStatus() == VerificationResult.VERIFIED_OK){
518         getPass2Panel().setBackground(Color.green);
519         getPass2Panel().repaint();
520     }
521     if (vr.getStatus() == VerificationResult.VERIFIED_NOTYET){
522         getPass2Panel().setBackground(Color.yellow);
523         getPass2Panel().repaint();
524     }
525     if (vr.getStatus() == VerificationResult.VERIFIED_REJECTED){
526         getPass2Panel().setBackground(Color.red);
527         getPass2Panel().repaint();
528     }
529 }
530
531 /** Machine-generated. */
532 public void pass4Button_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
533     
534     pass2Button_ActionPerformed(actionEvent);
535     
536     
537     Color color = Color.green;
538
539     Verifier v = VerifierFactory.getVerifier(class_name);
540     VerificationResult vr = v.doPass2();
541     if (vr.getStatus() == VerificationResult.VERIFIED_OK){
542         JavaClass jc = Repository.lookupClass(class_name);
543         int nr = jc.getMethods().length;
544         for (int i=0; i<nr; i++) {
545             vr = v.doPass3b(i);
546             if (vr.getStatus() != VerificationResult.VERIFIED_OK){
547                 color = Color.red;
548                 break;
549             }
550         }
551     }
552     else{
553         color = Color.yellow;
554     }
555
556     getPass3Panel().setBackground(color);
557     getPass3Panel().repaint();
558 }
559 }
560

A to Z: JavaDoc & Examples

---

Daily Java News & Articles

---

Open Source Projects

---

Open Source Codes

---

Free Computer Books

---

Remove Frame

---

Popular Tags