@Override public void valueChanged( final ListSelectionEvent e ) { classNamesJList_valueChanged(e); } });
/** * Instantiation is done by the VerifierFactory. * * @see VerifierFactory */ Verifier(String fully_qualified_classname){ classname = fully_qualified_classname; flush(); }
public void testDefaultMethodValidation() { final String classname = Collection.class.getName(); final Verifier verifier = VerifierFactory.getVerifier(classname); VerificationResult result = verifier.doPass1(); assertEquals("Pass 1 verification of " + classname + " failed: " + result.getMessage(), VerificationResult.VERIFIED_OK, result.getStatus()); result = verifier.doPass2(); assertEquals("Pass 2 verification of " + classname + " failed: " + result.getMessage(), VerificationResult.VERIFIED_OK, result.getStatus()); } }
/** 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(); } }
public void actionPerformed(ActionEvent e) { whatisMenuItem_actionPerformed(e); } });
@Override public void valueChanged( final ListSelectionEvent e ) { pass3aJList_valueChanged(e); } });
@Override public void valueChanged( final ListSelectionEvent e ) { pass3bJList_valueChanged(e); } });
@Override public void actionPerformed( final ActionEvent e ) { aboutMenuItem_actionPerformed(e); } });
/** Machine-generated. */ public VerifyDialog() { super(); initialize(); }
/** * Notifies the observers of a newly generated Verifier. */ private static void notify( final String fully_qualified_classname ) { // notify the observers for (final VerifierFactoryObserver vfo : observers) { vfo.update(fully_qualified_classname); } }
@Override public void actionPerformed( final ActionEvent e ) { newFileMenuItem_actionPerformed(e); } });
/** * Asserts that the verification of the given class is rejected. * If it isn't it throws an AssertionFailedError with the given message. * * @param classname simple classname of the class to verify * @param message message displayed if assertion fails */ public void assertVerifyRejected(final String classname, final String message) { final String testClassname = TEST_PACKAGE + classname; assertFalse(message, doAllPasses(testClassname)); }
/** * Asserts that the verification of the given class is OK. If it isn't it throws an AssertionFailedError with the given message. * * @param classname simple classname of the class to verify * @param message message displayed if assertion fails */ public void assertVerifyOK(final String classname, final String message) { final String testClassname = TEST_PACKAGE + classname; assertTrue(message, doAllPasses(testClassname)); }
public void testLegalInvokeSpecial() { assertVerifyOK("TestLegalInvokeSpecial01", "Verification of invokespecial on method defined in superclass must pass."); assertVerifyOK("TestLegalInvokeSpecial02", "Verification of invokespecial on method defined in superclass must pass."); } }
public void testValidReturn() { assertVerifyOK("TestReturn02", "Verification of a method that returns a newly created object must pass."); assertVerifyOK("TestArray01", "Verification of a method that returns an array must pass."); } }
/** 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(); } }
/** * Instantiation is done by the VerifierFactory. * * @see VerifierFactory */ Verifier(final String fully_qualified_classname) { classname = fully_qualified_classname; flush(); }
@Override public void actionPerformed( final ActionEvent e ) { whatisMenuItem_actionPerformed(e); } });