use of org.drools.verifier.builder.VerifierBuilder in project drools by kiegroup.
the class VerifierReportBuilderTest method testHtmlReportTest.
@Test
public void testHtmlReportTest() throws IOException {
// Create report
VerifierBuilder vBuilder = VerifierBuilderFactory.newVerifierBuilder();
Verifier verifier = vBuilder.newVerifier();
verifier.addResourcesToVerify(new ClassPathResource("Misc3.drl", Verifier.class), ResourceType.DRL);
VerifierReportWriter writer = VerifierReportWriterFactory.newHTMLReportWriter();
// Write to disk
FileOutputStream out = new FileOutputStream("testReport.zip");
writer.writeReport(out, verifier.getResult());
// Check the files on disk
File file = new File("testReport.zip");
assertNotNull(file);
assertTrue(file.exists());
// TODO: Check the file content
// Remove the test file
file.delete();
assertFalse(file.exists());
}
use of org.drools.verifier.builder.VerifierBuilder in project drools by kiegroup.
the class WarningsTest method testRedundantRules.
@Test
@Ignore("08-APR-2011 temporally ignoring -Rikkola-")
public void testRedundantRules() throws Exception {
VerifierBuilder vBuilder = VerifierBuilderFactory.newVerifierBuilder();
Verifier verifier = vBuilder.newVerifier();
verifier.addResourcesToVerify(ResourceFactory.newClassPathResource("RedundantRules1.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.REDUNDANCY)) {
// System.out.println( message );
counter++;
}
}
assertEquals(1, counter);
verifier.dispose();
}
use of org.drools.verifier.builder.VerifierBuilder in project drools by kiegroup.
the class CauseTest method testCauseTrace.
@Test
@Ignore("08-APR-2011 temporally ignoring -Rikkola-")
public void testCauseTrace() throws Exception {
VerifierBuilder vBuilder = VerifierBuilderFactory.newVerifierBuilder();
// Check that the builder works.
assertFalse(vBuilder.hasErrors());
assertEquals(0, vBuilder.getErrors().size());
Verifier verifier = vBuilder.newVerifier();
verifier.addResourcesToVerify(new ClassPathResource("Causes.drl", getClass()), ResourceType.DRL);
assertFalse(verifier.hasErrors());
assertEquals(0, verifier.getErrors().size());
boolean works = verifier.fireAnalysis();
assertTrue(works);
VerifierReport result = verifier.getResult();
assertNotNull(result);
assertEquals(0, result.getBySeverity(Severity.ERROR).size());
Collection<VerifierMessageBase> warnings = result.getBySeverity(Severity.WARNING);
Collection<VerifierMessageBase> redundancyWarnings = new ArrayList<VerifierMessageBase>();
for (VerifierMessageBase verifierMessageBase : warnings) {
if (verifierMessageBase.getMessageType().equals(MessageType.REDUNDANCY)) {
redundancyWarnings.add(verifierMessageBase);
}
}
assertEquals(1, redundancyWarnings.size());
VerifierMessage message = (VerifierMessage) redundancyWarnings.toArray()[0];
// System.out.println( message );
assertEquals(2, message.getImpactedRules().size());
assertTrue(message.getImpactedRules().values().contains("Your First Rule"));
assertTrue(message.getImpactedRules().values().contains("Your Second Rule"));
Cause[] causes = message.getCauses().toArray(new Cause[message.getCauses().size()]);
assertEquals(1, causes.length);
causes = causes[0].getCauses().toArray(new Cause[causes[0].getCauses().size()]);
assertEquals(2, causes.length);
causes = causes[0].getCauses().toArray(new Cause[causes[0].getCauses().size()]);
assertEquals(1, causes.length);
causes = causes[0].getCauses().toArray(new Cause[causes[0].getCauses().size()]);
assertEquals(1, causes.length);
causes = causes[0].getCauses().toArray(new Cause[causes[0].getCauses().size()]);
assertEquals(2, causes.length);
assertEquals(0, result.getBySeverity(Severity.NOTE).size());
}
use of org.drools.verifier.builder.VerifierBuilder in project drools by kiegroup.
the class SubsumptantRestrictionsTest method testVerifierLiteralRestrictionRedundancy3.
@Test
public void testVerifierLiteralRestrictionRedundancy3() throws Exception {
VerifierBuilder vBuilder = VerifierBuilderFactory.newVerifierBuilder();
Verifier verifier = vBuilder.newVerifier();
verifier.addResourcesToVerify(ResourceFactory.newClassPathResource("SubsumptantRestriction3.drl", getClass()), ResourceType.DRL);
// for ( VerifierError error : verifier.getMissingClasses() ) {
// System.out.println( error.getMessage() );
// }
assertFalse(verifier.hasErrors());
boolean noProblems = verifier.fireAnalysis();
assertTrue(noProblems);
Collection<? extends Object> subsumptionList = ((VerifierImpl) verifier).getKnowledgeSession().getObjects(new ClassObjectFilter(Subsumption.class));
assertEquals(6, subsumptionList.size());
verifier.dispose();
}
use of org.drools.verifier.builder.VerifierBuilder in project drools by kiegroup.
the class SubsumptantSubPatternsTest method testSubpatternSubsumption4.
/**
* Patterns that use from
*
* @throws Exception
*/
@Test
@Ignore
public void testSubpatternSubsumption4() throws Exception {
VerifierBuilder vBuilder = VerifierBuilderFactory.newVerifierBuilder();
Verifier verifier = vBuilder.newVerifier();
verifier.addResourcesToVerify(ResourceFactory.newClassPathResource("SubsumptantSubPatterns4.drl", getClass()), ResourceType.DRL);
// for ( VerifierError error : verifier.getMissingClasses() ) {
// System.out.println( error.getMessage() );
// }
assertFalse(verifier.hasErrors());
boolean noProblems = verifier.fireAnalysis();
assertTrue(noProblems);
Collection<? extends Object> subsumptionList = ((VerifierImpl) verifier).getKnowledgeSession().getObjects(new ClassObjectFilter(Subsumption.class));
int count = 0;
for (Object object : subsumptionList) {
// System.out.println( " * " + ((Subsumption) object) );
if (((VerifierComponent) ((Subsumption) object).getLeft()).getVerifierComponentType().equals(VerifierComponentType.SUB_PATTERN)) {
count++;
}
}
assertEquals(1, count);
verifier.dispose();
}
Aggregations