public VerifierFactoryListModel() { VerifierFactory.attach(this); update(null); // fill cache. }
/** Constructor. */ public GraphicalVerifier() { VerifierAppFrame frame = new VerifierAppFrame(); //Frames berprfen, die voreingestellte Gre haben //Frames packen, die nutzbare bevorzugte Greninformationen 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 } /** Main method. */
/** Constructor. */ public GraphicalVerifier() { final 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 final Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize(); final 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.getClassNamesJList().setModel(new VerifierFactoryListModel()); VerifierFactory.getVerifier(Type.OBJECT.getClassName()); // Fill list with java.lang.Object frame.getClassNamesJList().setSelectedIndex(0); // default, will verify java.lang.Object }
public VerifierFactoryListModel() { VerifierFactory.attach(this); update(null); // fill cache. }