FileDocCategorySizeDatePackage
GraphicalVerifier.javaAPI DocJava SE 5 API4478Fri Aug 26 14:55:24 BST 2005com.sun.org.apache.bcel.internal.verifier

GraphicalVerifier

public class GraphicalVerifier extends Object
A graphical user interface application demonstrating JustIce.
version
$Id: GraphicalVerifier.java,v 1.1.1.1 2001/10/29 20:00:31 jvanzyl Exp $
author
Enver Haase

Fields Summary
boolean
packFrame
Constructors Summary
public GraphicalVerifier()
Constructor.


    
    
    VerifierAppFrame frame = new VerifierAppFrame();
    //Frames ŶberprŶfen, die voreingestellte GrŮőe haben
    //Frames packen, die nutzbare bevorzugte GrŮőeninformationen enthalten, z.B. aus ihrem Layout
    if (packFrame) {
      frame.pack();
    }
    else {
      frame.validate();
    }
    //Das Fenster zentrieren
    Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
    Dimension frameSize = frame.getSize();
    if (frameSize.height > screenSize.height) {
      frameSize.height = screenSize.height;
    }
    if (frameSize.width > screenSize.width) {
      frameSize.width = screenSize.width;
    }
    frame.setLocation((screenSize.width - frameSize.width) / 2, (screenSize.height - frameSize.height) / 2);
    frame.setVisible(true);

    frame.classNamesJList.setModel(new VerifierFactoryListModel());
    VerifierFactory.getVerifier(Type.OBJECT.getClassName()); // Fill list with java.lang.Object
    frame.classNamesJList.setSelectedIndex(0); // default, will verify java.lang.Object
  
Methods Summary
public static void_main(java.lang.String[] args)
Main method.

    try {
      UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
    }
    catch(Exception e) {
      e.printStackTrace();
    }
    new GraphicalVerifier();