Java > Open Source Codes > org > apache > bcel > verifier > VerifyDialog


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

A to Z: JavaDoc & Examples

---

Daily Java News & Articles

---

Open Source Projects

---

Open Source Codes

---

Free Computer Books

---

Remove Frame

---

Popular Tags