Examples with Cause org.drools.verifier.report.components.Cause used on opensource projects

Example 16 with Cause

use of org.drools.verifier.report.components.Cause in project drools by kiegroup.

the class NotesTest method testRedundantRestrictionsInPatternPossibilities.

@Test
public void testRedundantRestrictionsInPatternPossibilities() throws Exception {
    KieSession session = getStatelessKieSession(this.getClass().getResourceAsStream("Notes.drl"));
    Pattern pattern = VerifierComponentMockFactory.createPattern1();
    Collection<Object> objects = new ArrayList<Object>();
    LiteralRestriction left = LiteralRestriction.createRestriction(pattern, "");
    LiteralRestriction right = LiteralRestriction.createRestriction(pattern, "");
    Redundancy redundancy = new Redundancy(left, right);
    SubPattern possibility = new SubPattern(pattern, 0);
    possibility.add(left);
    possibility.add(right);
    objects.add(left);
    objects.add(right);
    objects.add(redundancy);
    objects.add(possibility);
    VerifierReport result = VerifierReportFactory.newVerifierReport();
    session.setGlobal("result", result);
    for (Object o : objects) {
        session.insert(o);
    }
    session.fireAllRules(new RuleNameMatchesAgendaFilter("Find redundant restrictions from pattern possibilities"));
    Collection<VerifierMessageBase> notes = result.getBySeverity(Severity.NOTE);
    // Has at least one item.
    assertEquals(1, notes.size());
    VerifierMessageBase note = notes.iterator().next();
    Iterator<Cause> causes = note.getCauses().iterator();
    assertEquals(left, causes.next());
    assertEquals(right, causes.next());
}

Example 17 with Cause

use of org.drools.verifier.report.components.Cause in project drools by kiegroup.

the class NotesTest method testRedundantPatternPossibilitiesInRulePossibilities.

@Test
public void testRedundantPatternPossibilitiesInRulePossibilities() throws Exception {
    KieSession session = getStatelessKieSession(this.getClass().getResourceAsStream("Notes.drl"));
    VerifierRule rule = VerifierComponentMockFactory.createRule1();
    Pattern pattern = VerifierComponentMockFactory.createPattern1();
    Collection<Object> objects = new ArrayList<Object>();
    SubPattern left = new SubPattern(pattern, 0);
    SubPattern right = new SubPattern(pattern, 1);
    Redundancy redundancy = new Redundancy(left, right);
    SubRule possibility = new SubRule(rule, 0);
    possibility.add(left);
    possibility.add(right);
    objects.add(left);
    objects.add(right);
    objects.add(redundancy);
    objects.add(possibility);
    VerifierReport result = VerifierReportFactory.newVerifierReport();
    session.setGlobal("result", result);
    for (Object o : objects) {
        session.insert(o);
    }
    session.fireAllRules(new RuleNameMatchesAgendaFilter("Find redundant pattern possibilities from rule possibilities"));
    Collection<VerifierMessageBase> notes = result.getBySeverity(Severity.NOTE);
    // Has at least one item.
    assertEquals(1, notes.size());
    VerifierMessageBase note = notes.iterator().next();
    Iterator<Cause> causes = note.getCauses().iterator();
    assertEquals(left, causes.next());
    assertEquals(right, causes.next());
}

Example 18 with Cause

use of org.drools.verifier.report.components.Cause in project drools by kiegroup.

the class VerifierMessagesVisitor method visitVerifierMessage.

public static String visitVerifierMessage(VerifierMessage message) {
    Map<String, Object> map = new HashMap<String, Object>();
    Collection<String> causeUrls = new ArrayList<String>();
    String myTemplate = readFile(VERIFIER_MESSAGE_TEMPLATE);
    // Solve the url's to causes if there is any.
    for (Cause cause : message.getCauses()) {
        causeUrls.add(UrlFactory.getUrl(cause));
    }
    map.put("title", message.getSeverity());
    map.put("reason", message.getFaulty());
    map.put("message", message.getMessage());
    map.put("causes", causeUrls);
    return String.valueOf(TemplateRuntime.eval(myTemplate, map));
}

Example 19 with Cause

use of org.drools.verifier.report.components.Cause in project drools by kiegroup.

the class IncompatibilityPatternsTest method testPatternsPossibilitiesIncompatibility.

@Test
public void testPatternsPossibilitiesIncompatibility() throws Exception {
    KieSession session = getStatelessKieSession(this.getClass().getResourceAsStream("Patterns.drl"));
    Collection<Object> data = new ArrayList<Object>();
    Pattern pattern1 = VerifierComponentMockFactory.createPattern1();
    Pattern pattern2 = VerifierComponentMockFactory.createPattern2();
    /*
         * Working pair
         */
    SubPattern pp1 = new SubPattern(pattern1, 0);
    SubPattern pp2 = new SubPattern(pattern2, 0);
    Restriction r1 = LiteralRestriction.createRestriction(pattern1, "");
    pp1.add(r1);
    Restriction r2 = LiteralRestriction.createRestriction(pattern2, "");
    pp2.add(r2);
    Restriction r3 = LiteralRestriction.createRestriction(pattern1, "");
    pp1.add(r3);
    Restriction r4 = LiteralRestriction.createRestriction(pattern2, "");
    pp2.add(r4);
    Incompatibility o1 = new Incompatibility(r1, r2);
    Incompatibility o2 = new Incompatibility(r3, r4);
    Pattern pattern3 = VerifierComponentMockFactory.createPattern(3);
    Pattern pattern4 = VerifierComponentMockFactory.createPattern(4);
    /*
         * Another working pair.
         */
    SubPattern pp3 = new SubPattern(pattern3, 0);
    SubPattern pp4 = new SubPattern(pattern4, 0);
    Restriction r5 = LiteralRestriction.createRestriction(pattern3, "");
    pp3.add(r5);
    Restriction r6 = LiteralRestriction.createRestriction(pattern4, "");
    pp4.add(r6);
    Restriction r7 = LiteralRestriction.createRestriction(pattern3, "");
    pp3.add(r7);
    Restriction r8 = LiteralRestriction.createRestriction(pattern4, "");
    pp4.add(r8);
    Incompatibility o3 = new Incompatibility(r5, r6);
    data.add(r1);
    data.add(r2);
    data.add(r3);
    data.add(r4);
    data.add(r5);
    data.add(r6);
    data.add(r7);
    data.add(r8);
    data.add(pp1);
    data.add(pp2);
    data.add(pp3);
    data.add(pp4);
    data.add(o1);
    data.add(o2);
    data.add(o3);
    for (Object o : data) {
        session.insert(o);
    }
    session.fireAllRules(new RuleNameMatchesAgendaFilter("Incompatible Patterns"));
    Map<Cause, Set<Cause>> map = createIncompatibilityMap(VerifierComponentType.SUB_PATTERN, (Iterator<Object>) session.getObjects().iterator());
    assertTrue((TestBaseOld.causeMapContains(map, pp1, pp2) ^ TestBaseOld.causeMapContains(map, pp2, pp1)));
    assertTrue((TestBaseOld.causeMapContains(map, pp3, pp4) ^ TestBaseOld.causeMapContains(map, pp4, pp3)));
    if (!map.isEmpty()) {
        fail("More opposites than was expected.");
    }
}

Example 20 with Cause

use of org.drools.verifier.report.components.Cause in project drools by kiegroup.

the class IncompatibilityRestrictionsTest method testLiteralRestrictionsIncompatibilityLessOrEqual.

@Test
public void testLiteralRestrictionsIncompatibilityLessOrEqual() throws Exception {
    KieSession session = getStatelessKieSession(this.getClass().getResourceAsStream("Restrictions.drl"));
    Collection<Object> data = new ArrayList<Object>();
    Pattern pattern1 = VerifierComponentMockFactory.createPattern1();
    Pattern pattern2 = VerifierComponentMockFactory.createPattern2();
    /*
         * Working pair
         */
    LiteralRestriction r1 = LiteralRestriction.createRestriction(pattern1, "10");
    r1.setOperator(Operator.EQUAL);
    r1.setFieldPath("0");
    r1.setOrderNumber(0);
    LiteralRestriction r2 = LiteralRestriction.createRestriction(pattern1, "1");
    r2.setOperator(Operator.LESS);
    r2.setFieldPath("0");
    r2.setOrderNumber(2);
    /*
         * Pair that doesn't work.
         */
    LiteralRestriction r3 = LiteralRestriction.createRestriction(pattern2, "1");
    r3.setOperator(Operator.GREATER_OR_EQUAL);
    r3.setFieldPath("1");
    r3.setOrderNumber(0);
    LiteralRestriction r4 = LiteralRestriction.createRestriction(pattern2, "10");
    r4.setOperator(Operator.EQUAL);
    r4.setFieldPath("1");
    r4.setOrderNumber(1);
    data.add(r1);
    data.add(r2);
    data.add(r3);
    data.add(r4);
    for (Object o : data) {
        session.insert(o);
    }
    session.fireAllRules(new RuleNameMatchesAgendaFilter("Incompatible LiteralRestrictions with ranges in pattern possibility, impossible equality less or equal"));
    Map<Cause, Set<Cause>> map = createIncompatibilityMap(VerifierComponentType.RESTRICTION, (Iterator<Object>) session.getObjects().iterator());
    assertTrue((TestBaseOld.causeMapContains(map, r1, r2) ^ TestBaseOld.causeMapContains(map, r2, r1)));
    if (!map.isEmpty()) {
        fail("More incompatibilities than was expected.");
    }
}