@Ignore("08-APR-2011 temporally ignoring -Rikkola-")
public void testVerifierLiteralRestrictionRedundancy() throws Exception {
VerifierBuilder vBuilder = VerifierBuilderFactory.newVerifierBuilder();
Verifier verifier = vBuilder.newVerifier();
verifier.addResourcesToVerify( ResourceFactory.newClassPathResource( "EquivalentRules.drl",
getClass() ),
ResourceType.DRL );
// for ( VerifierError error : verifier.getMissingClasses() ) {
// System.out.println( error.getMessage() );
// }
assertFalse( verifier.hasErrors() );
boolean noProblems = verifier.fireAnalysis();
assertTrue( noProblems );
VerifierReport result = verifier.getResult();
Collection<VerifierMessageBase> warnings = result.getBySeverity( Severity.WARNING );
int counter = 0;
for ( VerifierMessageBase message : warnings ) {
// System.out.println( message );
if ( message.getMessageType().equals( MessageType.EQUIVALANCE ) ) {
// System.out.println( message );
counter++;
}
}
// Has at least one item.
assertEquals( 1,
counter );
verifier.dispose();
}