/** Machine-generated. */ private void connEtoC4(java.awt.event.ActionEvent arg1) { try { // user code begin {1} // user code end this.flushButton_ActionPerformed(arg1); // user code begin {2} // user code end } catch (java.lang.Throwable ivjExc) { // user code begin {3} // user code end handleException(ivjExc); } }
/** Machine-generated. */ private void initConnections() throws java.lang.Exception { // user code begin {1} // user code end getPass1Button().addActionListener(ivjEventHandler); getPass2Button().addActionListener(ivjEventHandler); getPass3Button().addActionListener(ivjEventHandler); getFlushButton().addActionListener(ivjEventHandler); }
/** 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 } /**
/** Machine-generated. */ private javax.swing.JPanel getJDialogContentPane() { if (ivjJDialogContentPane == null) { try { ivjJDialogContentPane = new javax.swing.JPanel(); ivjJDialogContentPane.setName("JDialogContentPane"); ivjJDialogContentPane.setLayout(null); getJDialogContentPane().add(getPass1Panel(), getPass1Panel().getName()); getJDialogContentPane().add(getPass3Panel(), getPass3Panel().getName()); getJDialogContentPane().add(getPass2Panel(), getPass2Panel().getName()); getJDialogContentPane().add(getPass1Button(), getPass1Button().getName()); getJDialogContentPane().add(getPass2Button(), getPass2Button().getName()); getJDialogContentPane().add(getPass3Button(), getPass3Button().getName()); getJDialogContentPane().add(getFlushButton(), getFlushButton().getName()); // user code begin {1} // user code end } catch (final java.lang.Throwable ivjExc) { // user code begin {2} // user code end handleException(ivjExc); } } return ivjJDialogContentPane; }
/** * 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); } } }
/** Machine-generated. */ public void flushButton_ActionPerformed( final java.awt.event.ActionEvent actionEvent ) { VerifierFactory.getVerifier(class_name).flush(); Repository.removeClass(class_name); // Make sure it will be reloaded. getPass1Panel().setBackground(Color.gray); getPass1Panel().repaint(); getPass2Panel().setBackground(Color.gray); getPass2Panel().repaint(); getPass3Panel().setBackground(Color.gray); getPass3Panel().repaint(); }
/** Machine-generated. */ public void pass2Button_ActionPerformed( final java.awt.event.ActionEvent actionEvent ) { pass1Button_ActionPerformed(actionEvent); final Verifier v = VerifierFactory.getVerifier(class_name); final VerificationResult vr = v.doPass2(); if (vr.getStatus() == VerificationResult.VERIFIED_OK) { getPass2Panel().setBackground(Color.green); getPass2Panel().repaint(); } if (vr.getStatus() == VerificationResult.VERIFIED_NOTYET) { getPass2Panel().setBackground(Color.yellow); getPass2Panel().repaint(); } if (vr.getStatus() == VerificationResult.VERIFIED_REJECTED) { getPass2Panel().setBackground(Color.red); getPass2Panel().repaint(); } }
/** Machine-generated. */ public void pass1Button_ActionPerformed( final java.awt.event.ActionEvent actionEvent ) { final Verifier v = VerifierFactory.getVerifier(class_name); final VerificationResult vr = v.doPass1(); if (vr.getStatus() == VerificationResult.VERIFIED_OK) { getPass1Panel().setBackground(Color.green); getPass1Panel().repaint(); } if (vr.getStatus() == VerificationResult.VERIFIED_REJECTED) { getPass1Panel().setBackground(Color.red); getPass1Panel().repaint(); } }
/** Machine-generated. */ private javax.swing.JPanel getJDialogContentPane() { if (ivjJDialogContentPane == null) { try { ivjJDialogContentPane = new javax.swing.JPanel(); ivjJDialogContentPane.setName("JDialogContentPane"); ivjJDialogContentPane.setLayout(null); getJDialogContentPane().add(getPass1Panel(), getPass1Panel().getName()); getJDialogContentPane().add(getPass3Panel(), getPass3Panel().getName()); getJDialogContentPane().add(getPass2Panel(), getPass2Panel().getName()); getJDialogContentPane().add(getPass1Button(), getPass1Button().getName()); getJDialogContentPane().add(getPass2Button(), getPass2Button().getName()); getJDialogContentPane().add(getPass3Button(), getPass3Button().getName()); getJDialogContentPane().add(getFlushButton(), getFlushButton().getName()); // user code begin {1} // user code end } catch (java.lang.Throwable ivjExc) { // user code begin {2} // user code end handleException(ivjExc); } } return ivjJDialogContentPane; }
/** * 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. */ public void flushButton_ActionPerformed(java.awt.event.ActionEvent actionEvent) { VerifierFactory.getVerifier(class_name).flush(); Repository.removeClass(class_name); // Make sure it will be reloaded. getPass1Panel().setBackground(Color.gray); getPass1Panel().repaint(); getPass2Panel().setBackground(Color.gray); getPass2Panel().repaint(); getPass3Panel().setBackground(Color.gray); getPass3Panel().repaint(); }
/** Machine-generated. */ public void pass2Button_ActionPerformed(java.awt.event.ActionEvent actionEvent) { pass1Button_ActionPerformed(actionEvent); Verifier v = VerifierFactory.getVerifier(class_name); VerificationResult vr = v.doPass2(); if (vr.getStatus() == VerificationResult.VERIFIED_OK){ getPass2Panel().setBackground(Color.green); getPass2Panel().repaint(); } if (vr.getStatus() == VerificationResult.VERIFIED_NOTYET){ getPass2Panel().setBackground(Color.yellow); getPass2Panel().repaint(); } if (vr.getStatus() == VerificationResult.VERIFIED_REJECTED){ getPass2Panel().setBackground(Color.red); getPass2Panel().repaint(); } }
/** Machine-generated. */ public void pass1Button_ActionPerformed(java.awt.event.ActionEvent actionEvent) { Verifier v = VerifierFactory.getVerifier(class_name); VerificationResult vr = v.doPass1(); if (vr.getStatus() == VerificationResult.VERIFIED_OK){ getPass1Panel().setBackground(Color.green); getPass1Panel().repaint(); } if (vr.getStatus() == VerificationResult.VERIFIED_REJECTED){ getPass1Panel().setBackground(Color.red); getPass1Panel().repaint(); } }
/** 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 initConnections() throws java.lang.Exception { // user code begin {1} // user code end getPass1Button().addActionListener(ivjEventHandler); getPass2Button().addActionListener(ivjEventHandler); getPass3Button().addActionListener(ivjEventHandler); getFlushButton().addActionListener(ivjEventHandler); }
/** Machine-generated. */ private void connEtoC4( final java.awt.event.ActionEvent arg1 ) { try { // user code begin {1} // user code end this.flushButton_ActionPerformed(arg1); // user code begin {2} // user code end } catch (final java.lang.Throwable ivjExc) { // user code begin {3} // user code end handleException(ivjExc); } }