KickJava   Java API By Example, From Geeks To Geeks.

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


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 javax.swing.UIManager JavaDoc;
58 import java.awt.*;
59 import com.sun.org.apache.bcel.internal.verifier.*;
60 import com.sun.org.apache.bcel.internal.generic.*;
61
62
63 /**
64  * A graphical user interface application demonstrating JustIce.
65  *
66  * @version $Id: GraphicalVerifier.java,v 1.1.1.1 2001/10/29 20:00:31 jvanzyl Exp $
67  * @author Enver Haase
68  */
69 public class GraphicalVerifier {
70   boolean packFrame = false;
71
72   /** Constructor. */
73   public GraphicalVerifier() {
74     VerifierAppFrame frame = new VerifierAppFrame();
75     //Frames &#374;berpr&#374;fen, die voreingestellte Gr&#366;&#337;e haben
76 //Frames packen, die nutzbare bevorzugte Gr&#366;&#337;eninformationen enthalten, z.B. aus ihrem Layout
77 if (packFrame) {
78       frame.pack();
79     }
80     else {
81       frame.validate();
82     }
83     //Das Fenster zentrieren
84 Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
85     Dimension frameSize = frame.getSize();
86     if (frameSize.height > screenSize.height) {
87       frameSize.height = screenSize.height;
88     }
89     if (frameSize.width > screenSize.width) {
90       frameSize.width = screenSize.width;
91     }
92     frame.setLocation((screenSize.width - frameSize.width) / 2, (screenSize.height - frameSize.height) / 2);
93     frame.setVisible(true);
94
95     frame.classNamesJList.setModel(new VerifierFactoryListModel());
96     VerifierFactory.getVerifier(Type.OBJECT.getClassName()); // Fill list with java.lang.Object
97 frame.classNamesJList.setSelectedIndex(0); // default, will verify java.lang.Object
98 }
99   /** Main method. */
100   public static void _main(String JavaDoc[] args) {
101     try {
102       UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
103     }
104     catch(Exception JavaDoc e) {
105       e.printStackTrace();
106     }
107     new GraphicalVerifier();
108   }
109 }
110
Popular Tags