Examples with VerifierReport org.drools.verifier.data.VerifierReport used on opensource projects

Example 21 with VerifierReport

use of org.drools.verifier.data.VerifierReport in project drools by kiegroup.

the class AlwaysFalseTest method testSinglePatternNoRestrictions.

/**
 * rule "test"
 * when
 * TestPattern()
 * then
 * # Nothing
 * end
 * <p/>
 * Check that a pattern with out restrictions does not raise any notifications.
 *
 * @throws Exception
 */
@Test
public void testSinglePatternNoRestrictions() throws Exception {
    KieSession session = getStatelessKieSession(this.getClass().getResourceAsStream("Patterns.drl"));
    VerifierReport result = VerifierReportFactory.newVerifierReport();
    Collection<Object> data = new ArrayList<Object>();
    session.setGlobal("result", result);
    // This pattern has an error.
    VerifierRule rule1 = VerifierComponentMockFactory.createRule1();
    Pattern pattern1 = VerifierComponentMockFactory.createPattern1();
    data.add(rule1);
    data.add(pattern1);
    for (Object o : data) {
        session.insert(o);
    }
    session.fireAllRules(new RuleNameMatchesAgendaFilter("Pattern that is always false"));
    assertEquals(0, result.getBySeverity(Severity.ERROR).size());
    assertEquals(0, result.getBySeverity(Severity.WARNING).size());
    assertEquals(0, result.getBySeverity(Severity.NOTE).size());
}

Example 22 with VerifierReport

use of org.drools.verifier.data.VerifierReport in project drools by kiegroup.

the class AlwaysTruePatternTest method testPatternPossibilities.

@Test
public void testPatternPossibilities() throws Exception {
    KieSession session = getStatelessKieSession(this.getClass().getResourceAsStream("Patterns.drl"));
    VerifierReport result = VerifierReportFactory.newVerifierReport();
    Collection<Object> data = new ArrayList<Object>();
    session.setGlobal("result", result);
    // This pattern is always true.
    Pattern pattern1 = VerifierComponentMockFactory.createPattern1();
    Restriction r1 = LiteralRestriction.createRestriction(pattern1, "");
    Restriction r2 = LiteralRestriction.createRestriction(pattern1, "");
    Opposites o1 = new Opposites(r1, r2);
    SubPattern pp1 = new SubPattern(pattern1, 0);
    pp1.add(r1);
    pp1.add(r2);
    Restriction r3 = new VariableRestriction(pattern1);
    Restriction r4 = new VariableRestriction(pattern1);
    Opposites o2 = new Opposites(r1, r2);
    SubPattern pp2 = new SubPattern(pattern1, 1);
    pp2.add(r1);
    pp2.add(r2);
    // This pattern is okay.
    Pattern pattern2 = VerifierComponentMockFactory.createPattern2();
    Restriction r5 = LiteralRestriction.createRestriction(pattern2, "");
    Restriction r6 = LiteralRestriction.createRestriction(pattern2, "");
    SubPattern pp3 = new SubPattern(pattern2, 0);
    pp3.add(r5);
    pp3.add(r6);
    Restriction r7 = new VariableRestriction(pattern2);
    Restriction r8 = new VariableRestriction(pattern2);
    Opposites o4 = new Opposites(r7, r8);
    SubPattern pp4 = new SubPattern(pattern2, 1);
    pp4.add(r7);
    pp4.add(r8);
    data.add(pattern1);
    data.add(r1);
    data.add(r2);
    data.add(r3);
    data.add(r4);
    data.add(o1);
    data.add(o2);
    data.add(pp1);
    data.add(pp2);
    data.add(pattern2);
    data.add(r5);
    data.add(r6);
    data.add(r7);
    data.add(r8);
    data.add(o4);
    data.add(pp3);
    data.add(pp4);
    for (Object o : data) {
        session.insert(o);
    }
    session.fireAllRules(new RuleNameMatchesAgendaFilter("Pattern possibility that is always true"));
    boolean pp1true = false;
    boolean pp2true = false;
    boolean pp3true = false;
    boolean pp4true = false;
    for (Object o : session.getObjects()) {
        if (o instanceof AlwaysTrue) {
            AlwaysTrue alwaysTrue = (AlwaysTrue) o;
            if (!pp1true) {
                pp1true = alwaysTrue.getCause().equals(pp1);
            }
            if (!pp2true) {
                pp2true = alwaysTrue.getCause().equals(pp2);
            }
            if (!pp3true) {
                pp3true = alwaysTrue.getCause().equals(pp3);
            }
            if (!pp4true) {
                pp4true = alwaysTrue.getCause().equals(pp4);
            }
        }
    }
    assertTrue(pp1true);
    assertTrue(pp2true);
    assertFalse(pp3true);
    assertTrue(pp4true);
}

Example 23 with VerifierReport

use of org.drools.verifier.data.VerifierReport in project drools by kiegroup.

the class AlwaysTruePatternTest method testPatterns.

@Test
@Ignore
public void testPatterns() throws Exception {
    KieSession session = getStatelessKieSession(this.getClass().getResourceAsStream("Patterns.drl"));
    VerifierReport result = VerifierReportFactory.newVerifierReport();
    Collection<Object> data = new ArrayList<Object>();
    session.setGlobal("result", result);
    VerifierRule rule1 = VerifierComponentMockFactory.createRule1();
    // This pattern is always true.
    Pattern pattern1 = VerifierComponentMockFactory.createPattern1();
    SubPattern pp1 = new SubPattern(pattern1, 0);
    AlwaysTrue alwaysTrue1 = new AlwaysTrue(pp1);
    SubPattern pp2 = new SubPattern(pattern1, 1);
    AlwaysTrue alwaysTrue2 = new AlwaysTrue(pp2);
    // This pattern is okay.
    Pattern pattern2 = new Pattern(new PatternDescr("objectType2", "testPattern2"), rule1);
    pattern2.setName("testPattern2");
    SubPattern pp3 = new SubPattern(pattern2, 0);
    SubPattern pp4 = new SubPattern(pattern2, 1);
    AlwaysTrue alwaysTrue4 = new AlwaysTrue(pp4);
    data.add(rule1);
    data.add(pattern1);
    data.add(pp1);
    data.add(pp2);
    data.add(alwaysTrue1);
    data.add(alwaysTrue2);
    data.add(pattern2);
    data.add(pp3);
    data.add(pp4);
    data.add(alwaysTrue4);
    for (Object o : data) {
        session.insert(o);
    }
    session.fireAllRules(new RuleNameMatchesAgendaFilter("Pattern that is always true"));
    Iterator<VerifierMessageBase> iter = result.getBySeverity(Severity.NOTE).iterator();
    boolean works = false;
    while (iter.hasNext()) {
        Object o = (Object) iter.next();
        if (o instanceof VerifierMessage) {
            VerifierMessage message = (VerifierMessage) o;
            if (message.getFaulty().equals(pattern1)) {
                works = true;
            } else {
                fail("There can be only one. (And this is not the one)");
            }
        }
    }
    assertEquals(0, result.getBySeverity(Severity.ERROR).size());
    assertEquals(0, result.getBySeverity(Severity.WARNING).size());
    assertEquals(1, result.getBySeverity(Severity.NOTE).size());
    assertTrue(works);
}

Example 24 with VerifierReport

use of org.drools.verifier.data.VerifierReport in project drools by kiegroup.

the class NamedConsequencesTest method testMissingConsequence.

@Test
public void testMissingConsequence() throws Exception {
    InputStream in = getClass().getResourceAsStream("NamedConsequences.drl");
    KieSession session = getStatelessKieSession(in);
    VerifierReport result = VerifierReportFactory.newVerifierReport();
    Collection<? extends Object> testData = getTestData(this.getClass().getResourceAsStream("ConsequenceTest.drl"), result.getVerifierData());
    session.setGlobal("result", result);
    for (Object o : testData) {
        session.insert(o);
    }
    session.fireAllRules(new RuleNameMatchesAgendaFilter("No action - possibly commented out"));
    Iterator<VerifierMessageBase> iter = result.getBySeverity(Severity.NOTE).iterator();
    Set<String> rulesThatHadErrors = new HashSet<String>();
    while (iter.hasNext()) {
        Object o = (Object) iter.next();
        if (o instanceof VerifierMessage) {
            VerifierMessage message = (VerifierMessage) o;
            rulesThatHadErrors.addAll(message.getImpactedRules().values());
        }
    }
    assertFalse(rulesThatHadErrors.contains("This one is has an unused named consequence"));
    if (!rulesThatHadErrors.isEmpty()) {
        for (String string : rulesThatHadErrors) {
            fail("Rule " + string + " caused an error.");
        }
    }
}

Example 25 with VerifierReport

use of org.drools.verifier.data.VerifierReport in project drools by kiegroup.

the class AlwaysTrueRuleTest method testPatterns.

@Test
public void testPatterns() throws Exception {
    KieSession session = getStatelessKieSession(this.getClass().getResourceAsStream("Rules.drl"));
    VerifierReport result = VerifierReportFactory.newVerifierReport();
    Collection<Object> data = new ArrayList<Object>();
    session.setGlobal("result", result);
    // This rule is always true.
    VerifierRule rule1 = VerifierComponentMockFactory.createRule1();
    SubRule rp1 = new SubRule(rule1, 0);
    AlwaysTrue alwaysTrue1 = new AlwaysTrue(rp1);
    SubRule rp2 = new SubRule(rule1, 1);
    AlwaysTrue alwaysTrue2 = new AlwaysTrue(rp2);
    // This rule is okay.
    VerifierRule rule2 = VerifierComponentMockFactory.createRule2();
    SubRule rp3 = new SubRule(rule2, 0);
    SubRule rp4 = new SubRule(rule2, 1);
    AlwaysTrue alwaysTrue4 = new AlwaysTrue(rp4);
    data.add(rule1);
    data.add(rp1);
    data.add(rp2);
    data.add(alwaysTrue1);
    data.add(alwaysTrue2);
    data.add(rule2);
    data.add(rp3);
    data.add(rp4);
    data.add(alwaysTrue4);
    for (Object o : data) {
        session.insert(o);
    }
    session.fireAllRules(new RuleNameMatchesAgendaFilter("Rule that is always true"));
    Iterator<VerifierMessageBase> iter = result.getBySeverity(Severity.WARNING).iterator();
    boolean works = false;
    while (iter.hasNext()) {
        Object o = (Object) iter.next();
        if (o instanceof VerifierMessage) {
            VerifierMessage message = (VerifierMessage) o;
            if (message.getFaulty().equals(rule1)) {
                works = true;
            } else {
                fail("There can be only one. (And this is not the one)");
            }
        }
    }
    assertEquals(0, result.getBySeverity(Severity.ERROR).size());
    assertEquals(1, result.getBySeverity(Severity.WARNING).size());
    assertEquals(0, result.getBySeverity(Severity.NOTE).size());
    assertTrue(works);
}