Search in sources :

Example 21 with Cause

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

the class IncompatibilityRestrictionsTest method testVariableRestrictionsIncompatibilityImpossibleRange.

@Test
public void testVariableRestrictionsIncompatibilityImpossibleRange() throws Exception {
    KieSession session = getStatelessKieSession(this.getClass().getResourceAsStream("Restrictions.drl"));
    Collection<Object> data = new ArrayList<Object>();
    VerifierRule rule = VerifierComponentMockFactory.createRule1();
    ObjectType objectType = new ObjectType(new PackageDescr("testPackage1"));
    objectType.setFullName("org.test.Person");
    Pattern pattern1 = VerifierComponentMockFactory.createPattern1();
    Pattern pattern2 = VerifierComponentMockFactory.createPattern2();
    /*
         * Working pair
         */
    PatternVariable variable1 = new PatternVariable(rule);
    variable1.setParentPath("0");
    variable1.setParentType(VerifierComponentType.FIELD);
    variable1.setOrderNumber(11);
    VariableRestriction r1 = new VariableRestriction(pattern1);
    r1.setOperator(Operator.GREATER);
    r1.setFieldPath("0");
    r1.setVariable(variable1);
    r1.setOrderNumber(0);
    VariableRestriction r2 = new VariableRestriction(pattern1);
    r2.setOperator(Operator.LESS);
    r2.setFieldPath("0");
    r2.setVariable(variable1);
    r2.setOrderNumber(1);
    /*
         * Pair that doesn't work.
         */
    PatternVariable variable2 = new PatternVariable(rule);
    variable2.setParentPath("1");
    variable2.setParentType(VerifierComponentType.FIELD);
    variable2.setOrderNumber(10);
    VariableRestriction r3 = new VariableRestriction(pattern2);
    r3.setOperator(Operator.GREATER_OR_EQUAL);
    r3.setFieldPath("1");
    r3.setVariable(variable2);
    r3.setOrderNumber(0);
    VariableRestriction r4 = new VariableRestriction(pattern2);
    r4.setOperator(Operator.EQUAL);
    r4.setFieldPath("1");
    r4.setVariable(variable2);
    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("Incoherent VariableRestrictions in pattern possibility, impossible range"));
    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.");
    }
}
Also used : RuleNameMatchesAgendaFilter(org.drools.core.base.RuleNameMatchesAgendaFilter) Set(java.util.Set) ArrayList(java.util.ArrayList) Cause(org.drools.verifier.report.components.Cause) KieSession(org.kie.api.runtime.KieSession) PackageDescr(org.drools.compiler.lang.descr.PackageDescr) Test(org.junit.Test)

Aggregations

Cause (org.drools.verifier.report.components.Cause)21 RuleNameMatchesAgendaFilter (org.drools.core.base.RuleNameMatchesAgendaFilter)17 Test (org.junit.Test)17 KieSession (org.kie.api.runtime.KieSession)17 ArrayList (java.util.ArrayList)15 Set (java.util.Set)11 VerifierReport (org.drools.verifier.data.VerifierReport)7 VerifierMessageBase (org.drools.verifier.report.components.VerifierMessageBase)7 VerifierMessage (org.drools.verifier.report.components.VerifierMessage)5 VariableRestriction (org.drools.verifier.components.VariableRestriction)3 Incompatibility (org.drools.verifier.report.components.Incompatibility)2 Opposites (org.drools.verifier.report.components.Opposites)2 Redundancy (org.drools.verifier.report.components.Redundancy)2 FileOutputStream (java.io.FileOutputStream)1 HashMap (java.util.HashMap)1 Iterator (java.util.Iterator)1 PackageDescr (org.drools.compiler.lang.descr.PackageDescr)1 Field (org.drools.verifier.components.Field)1 LiteralRestriction (org.drools.verifier.components.LiteralRestriction)1 ObjectType (org.drools.verifier.components.ObjectType)1