View Javadoc
1 package org.apache.bcel.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; 58 import java.awt.*; 59 import org.apache.bcel.verifier.*; 60 import org.apache.bcel.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 überprüfen, die voreingestellte Größe haben 76 //Frames packen, die nutzbare bevorzugte Größ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[] args) { 101 try { 102 UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName()); 103 } 104 catch(Exception e) { 105 e.printStackTrace(); 106 } 107 new GraphicalVerifier(); 108 } 109 }

This page was automatically generated by Maven