/** Machine-generated. */
public void pass4Button_ActionPerformed(java.awt.event.ActionEvent actionEvent) {
pass2Button_ActionPerformed(actionEvent);
Color color = Color.green;
Verifier v = VerifierFactory.getVerifier(class_name);
VerificationResult vr = v.doPass2();
if (vr.getStatus() == VerificationResult.VERIFIED_OK) {
JavaClass jc = Repository.lookupClass(class_name);
int nr = jc.getMethods().length;
for (int i = 0; i < nr; i++) {
vr = v.doPass3b(i);
if (vr.getStatus() != VerificationResult.VERIFIED_OK) {
color = Color.red;
break;
}
}
} else {
color = Color.yellow;
}
getPass3Panel().setBackground(color);
getPass3Panel().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();
}
}