001/* 002 * Licensed to the Apache Software Foundation (ASF) under one or more 003 * contributor license agreements. See the NOTICE file distributed with 004 * this work for additional information regarding copyright ownership. 005 * The ASF licenses this file to You under the Apache License, Version 2.0 006 * (the "License"); you may not use this file except in compliance with 007 * the License. You may obtain a copy of the License at 008 * 009 * http://www.apache.org/licenses/LICENSE-2.0 010 * 011 * Unless required by applicable law or agreed to in writing, software 012 * distributed under the License is distributed on an "AS IS" BASIS, 013 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 014 * See the License for the specific language governing permissions and 015 * limitations under the License. 016 * 017 */ 018package org.apache.bcel.verifier; 019 020import java.awt.Dimension; 021import java.awt.Toolkit; 022import javax.swing.UIManager; 023 024import org.apache.bcel.generic.Type; 025 026/** 027 * A graphical user interface application demonstrating JustIce. 028 * 029 */ 030public class GraphicalVerifier { 031 032 private final boolean packFrame = false; 033 034 035 /** Constructor. */ 036 public GraphicalVerifier() { 037 final VerifierAppFrame frame = new VerifierAppFrame(); 038 //Frames �berpr�fen, die voreingestellte Gr��e haben 039 //Frames packen, die nutzbare bevorzugte Gr��eninformationen enthalten, z.B. aus ihrem Layout 040 if (packFrame) { 041 frame.pack(); 042 } else { 043 frame.validate(); 044 } 045 //Das Fenster zentrieren 046 final Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize(); 047 final Dimension frameSize = frame.getSize(); 048 if (frameSize.height > screenSize.height) { 049 frameSize.height = screenSize.height; 050 } 051 if (frameSize.width > screenSize.width) { 052 frameSize.width = screenSize.width; 053 } 054 frame.setLocation((screenSize.width - frameSize.width) / 2, 055 (screenSize.height - frameSize.height) / 2); 056 frame.setVisible(true); 057 frame.getClassNamesJList().setModel(new VerifierFactoryListModel()); 058 VerifierFactory.getVerifier(Type.OBJECT.getClassName()); // Fill list with java.lang.Object 059 frame.getClassNamesJList().setSelectedIndex(0); // default, will verify java.lang.Object 060 } 061 062 063 /** Main method. */ 064 public static void main( final String[] args ) { 065 try { 066 UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName()); 067 } catch (final Exception e) { 068 e.printStackTrace(); 069 } 070 new GraphicalVerifier(); 071 } 072}