/** * Verifies one or more class files. * Verification results are presented graphically: Red means 'rejected', * green means 'passed' while yellow means 'could not be verified yet'. * @param args java.lang.String[] fully qualified names of classes to verify. */ public static void main(java.lang.String[] args) { classes_to_verify = args.length; for (int i=0; i<args.length; i++){ try { VerifyDialog aVerifyDialog; aVerifyDialog = new VerifyDialog(args[i]); aVerifyDialog.setModal(true); aVerifyDialog.addWindowListener(new java.awt.event.WindowAdapter() { public void windowClosing(java.awt.event.WindowEvent e) { classes_to_verify--; if (classes_to_verify == 0) System.exit(0); }; }); aVerifyDialog.setVisible(true); } catch (Throwable exception) { System.err.println("Exception occurred in main() of javax.swing.JDialog"); exception.printStackTrace(System.out); } } }
/** * Verifies one or more class files. * Verification results are presented graphically: Red means 'rejected', * green means 'passed' while yellow means 'could not be verified yet'. * @param args java.lang.String[] fully qualified names of classes to verify. */ public static void main( final java.lang.String[] args ) { classes_to_verify = args.length; for (final String arg : args) { try { VerifyDialog aVerifyDialog; aVerifyDialog = new VerifyDialog(arg); aVerifyDialog.setModal(true); aVerifyDialog.addWindowListener(new java.awt.event.WindowAdapter() { @Override public void windowClosing( final java.awt.event.WindowEvent e ) { classes_to_verify--; if (classes_to_verify == 0) { System.exit(0); } } }); aVerifyDialog.setVisible(true); } catch (final Throwable exception) { System.err.println("Exception occurred in main() of javax.swing.JDialog"); exception.printStackTrace(System.out); } } }
/** Machine-generated. */ private void initialize() { try { // user code begin {1} // user code end setName("VerifyDialog"); setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE); setSize(430, 280); setVisible(true); setModal(true); setResizable(false); setContentPane(getJDialogContentPane()); initConnections(); } catch (final java.lang.Throwable ivjExc) { handleException(ivjExc); } // user code begin {2} setTitle("'" + class_name + "' verification - JustIce / BCEL"); // user code end }
/** Machine-generated. */ private void initialize() { try { // user code begin {1} // user code end setName("VerifyDialog"); setDefaultCloseOperation(javax.swing.WindowConstants.DISPOSE_ON_CLOSE); setSize(430, 280); setVisible(true); setModal(true); setResizable(false); setContentPane(getJDialogContentPane()); initConnections(); } catch (java.lang.Throwable ivjExc) { handleException(ivjExc); } // user code begin {2} setTitle("'"+class_name+"' verification - JustIce / BCEL"); // user code end } /**