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