/** 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 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 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 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. */ 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; }
/** 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; }