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

Example 1 with Cause

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

the class MissingEqualityTest method testMissingEqualityInLiteralRestrictions.

@Test
public void testMissingEqualityInLiteralRestrictions() throws Exception {
    KieSession session = getStatelessKieSession(this.getClass().getResourceAsStream("MissingEquality.drl"));
    VerifierReport result = VerifierReportFactory.newVerifierReport();
    Collection<? extends Object> testData = getTestData(this.getClass().getResourceAsStream("MissingEqualityTest.drl"), result.getVerifierData());
    session.setGlobal("result", result);
    for (Object o : testData) {
        session.insert(o);
    }
    session.fireAllRules(new RuleNameMatchesAgendaFilter("Missing restriction in LiteralRestrictions"));
    Iterator<VerifierMessageBase> iter = result.getBySeverity(Severity.WARNING).iterator();
    Collection<String> ruleNames = new ArrayList<String>();
    while (iter.hasNext()) {
        Object o = (Object) iter.next();
        if (o instanceof VerifierMessage) {
            Cause cause = ((VerifierMessage) o).getFaulty();
            String name = ((LiteralRestriction) cause).getRuleName();
            ruleNames.add(name);
        }
    }
    assertTrue(ruleNames.remove("Missing equality 1"));
    assertTrue(ruleNames.remove("Missing equality 2"));
    if (!ruleNames.isEmpty()) {
        for (String string : ruleNames) {
            fail("Rule " + string + " caused an error.");
        }
    }
}

Example 2 with Cause

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

the class MissingEqualityTest method testMissingEqualityInVariableRestrictions2.

@Test
public void testMissingEqualityInVariableRestrictions2() throws Exception {
    KieSession session = getStatelessKieSession(this.getClass().getResourceAsStream("MissingEquality.drl"));
    VerifierReport result = VerifierReportFactory.newVerifierReport();
    Collection<? extends Object> testData = getTestData(this.getClass().getResourceAsStream("MissingEqualityTest.drl"), result.getVerifierData());
    session.setGlobal("result", result);
    for (Object o : testData) {
        session.insert(o);
    }
    session.fireAllRules(new RuleNameMatchesAgendaFilter("Missing restriction in VariableRestrictions, unequal operator"));
    Iterator<VerifierMessageBase> iter = result.getBySeverity(Severity.WARNING).iterator();
    Set<String> ruleNames = new HashSet<String>();
    while (iter.hasNext()) {
        Object o = (Object) iter.next();
        if (o instanceof VerifierMessage) {
            Cause cause = ((VerifierMessage) o).getFaulty();
            String name = ((VariableRestriction) cause).getRuleName();
            ruleNames.add(name);
        }
    }
    assertTrue(ruleNames.remove("Missing equality 7"));
    if (!ruleNames.isEmpty()) {
        for (String string : ruleNames) {
            fail("Rule " + string + " caused an error.");
        }
    }
}

Example 3 with Cause

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

the class OppositePatternsTest method testPatternsPossibilitiesOpposite.

@Test
public void testPatternsPossibilitiesOpposite() throws Exception {
    KieSession session = getStatelessKieSession(this.getClass().getResourceAsStream("Patterns.drl"));
    Collection<Object> data = new ArrayList<Object>();
    Pattern pattern = VerifierComponentMockFactory.createPattern1();
    /*
         * Working pair
         */
    SubPattern pp1 = new SubPattern(pattern, 0);
    SubPattern pp2 = new SubPattern(pattern, 1);
    Restriction r1 = LiteralRestriction.createRestriction(pattern, "");
    pp1.add(r1);
    Restriction r2 = LiteralRestriction.createRestriction(pattern, "");
    pp2.add(r2);
    Restriction r3 = LiteralRestriction.createRestriction(pattern, "");
    pp1.add(r3);
    Restriction r4 = LiteralRestriction.createRestriction(pattern, "");
    pp2.add(r4);
    Opposites o1 = new Opposites(r1, r2);
    Opposites o2 = new Opposites(r3, r4);
    /*
         * Pair that doesn't work.
         */
    SubPattern pp3 = new SubPattern(pattern, 2);
    SubPattern pp4 = new SubPattern(pattern, 3);
    Restriction r5 = LiteralRestriction.createRestriction(pattern, "");
    pp3.add(r5);
    Restriction r6 = LiteralRestriction.createRestriction(pattern, "");
    pp4.add(r6);
    Restriction r7 = LiteralRestriction.createRestriction(pattern, "");
    pp3.add(r7);
    Restriction r8 = LiteralRestriction.createRestriction(pattern, "");
    pp4.add(r8);
    Opposites o3 = new Opposites(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("Opposite Patterns"));
    Map<Cause, Set<Cause>> map = createOppositesMap(VerifierComponentType.SUB_PATTERN, (Iterator<Object>) session.getObjects().iterator());
    assertTrue((TestBaseOld.causeMapContains(map, pp1, pp2) ^ TestBaseOld.causeMapContains(map, pp2, pp1)));
    if (!map.isEmpty()) {
        fail("More opposites than was expected.");
    }
}

Example 4 with Cause

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

the class OppositeRestrictionsTest method testVariableRestrictionOpposite.

@Test
public void testVariableRestrictionOpposite() throws Exception {
    KieSession session = getStatelessKieSession(this.getClass().getResourceAsStream("Restrictions.drl"));
    Collection<Object> data = new ArrayList<Object>();
    VerifierRule rule = VerifierComponentMockFactory.createRule1();
    Pattern pattern1 = VerifierComponentMockFactory.createPattern(1);
    Pattern pattern2 = VerifierComponentMockFactory.createPattern(2);
    Pattern pattern3 = VerifierComponentMockFactory.createPattern(3);
    /*
         * Working pair
         */
    PatternVariable variable1 = new PatternVariable(rule);
    variable1.setParentPath("1");
    variable1.setParentType(VerifierComponentType.FIELD);
    variable1.setOrderNumber(-1);
    VariableRestriction r1 = new VariableRestriction(pattern1);
    r1.setFieldPath("0");
    r1.setOperator(Operator.GREATER_OR_EQUAL);
    r1.setVariable(variable1);
    r1.setOrderNumber(0);
    VariableRestriction r2 = new VariableRestriction(pattern1);
    r2.setFieldPath("0");
    r2.setOperator(Operator.LESS);
    r2.setVariable(variable1);
    r2.setOrderNumber(1);
    String containsOperator = "contains";
    PatternVariable variable2 = new PatternVariable(rule);
    variable2.setParentPath("2");
    variable2.setParentType(VerifierComponentType.FIELD);
    variable2.setOrderNumber(3);
    VariableRestriction r3 = new VariableRestriction(pattern2);
    r3.setFieldPath("1");
    r3.setOperator(Operator.determineOperator(containsOperator, false));
    r3.setVariable(variable2);
    r3.setOrderNumber(4);
    VariableRestriction r4 = new VariableRestriction(pattern2);
    r4.setFieldPath("1");
    r4.setOperator(Operator.determineOperator(containsOperator, true));
    r4.setVariable(variable2);
    r4.setOrderNumber(5);
    /*
         * Pair that doesn't work.
         */
    PatternVariable variable3 = new PatternVariable(rule);
    variable3.setParentPath("3");
    variable3.setParentType(VerifierComponentType.FIELD);
    variable3.setOrderNumber(6);
    VariableRestriction r5 = new VariableRestriction(pattern3);
    r5.setFieldPath("1");
    r5.setOperator(Operator.GREATER_OR_EQUAL);
    r5.setVariable(variable3);
    r5.setOrderNumber(7);
    VariableRestriction r6 = new VariableRestriction(pattern3);
    r6.setFieldPath("1");
    r6.setOperator(Operator.EQUAL);
    r6.setVariable(variable3);
    r6.setOrderNumber(8);
    data.add(r1);
    data.add(r2);
    data.add(r3);
    data.add(r4);
    data.add(r5);
    data.add(r6);
    for (Object o : data) {
        session.insert(o);
    }
    session.fireAllRules(new RuleNameMatchesAgendaFilter("Opposite VariableRestrictions"));
    Map<Cause, Set<Cause>> map = createOppositesMap(VerifierComponentType.RESTRICTION, (Iterator<Object>) session.getObjects().iterator());
    assertTrue((TestBaseOld.causeMapContains(map, r1, r2) ^ TestBaseOld.causeMapContains(map, r2, r1)));
    assertTrue((TestBaseOld.causeMapContains(map, r3, r4) ^ TestBaseOld.causeMapContains(map, r4, r3)));
    if (!map.isEmpty()) {
        fail("More opposites than was expected.");
    }
}

Example 5 with Cause

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

the class OppositeRestrictionsTest method testLiteralRestrictionOppositeWithRangesGreaterOrEqualAndLess.

@Test
public void testLiteralRestrictionOppositeWithRangesGreaterOrEqualAndLess() throws Exception {
    KieSession session = getStatelessKieSession(this.getClass().getResourceAsStream("Restrictions.drl"));
    Collection<Object> data = new ArrayList<Object>();
    Pattern pattern = VerifierComponentMockFactory.createPattern1();
    LiteralRestriction r1 = LiteralRestriction.createRestriction(pattern, "1");
    r1.setFieldPath("0");
    r1.setOperator(Operator.GREATER_OR_EQUAL);
    r1.setOrderNumber(0);
    LiteralRestriction r2 = LiteralRestriction.createRestriction(pattern, "1");
    r2.setFieldPath("0");
    r2.setOperator(Operator.LESS);
    r2.setOrderNumber(1);
    data.add(r1);
    data.add(r2);
    for (Object o : data) {
        session.insert(o);
    }
    session.fireAllRules(new RuleNameMatchesAgendaFilter("Opposite LiteralRestrictions with ranges, greater or equal - less"));
    Map<Cause, Set<Cause>> map = createOppositesMap(VerifierComponentType.RESTRICTION, (Iterator<Object>) session.getObjects().iterator());
    assertTrue((TestBaseOld.causeMapContains(map, r1, r2) ^ TestBaseOld.causeMapContains(map, r2, r1)));
    if (!map.isEmpty()) {
        fail("More opposites than was expected.");
    }
}