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

Example 6 with Cause

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

the class OppositesBase method createOppositesMap.

/**
 * Creates opposites map from Opposites objects, one rule may have several
 * opposing dependencies.
 *
 * @param iter
 * @return
 */
protected Map<Cause, Set<Cause>> createOppositesMap(VerifierComponentType type, Iterator<Object> iter) {
    Map<Cause, Set<Cause>> map = new HashMap<Cause, Set<Cause>>();
    while (iter.hasNext()) {
        Object o = (Object) iter.next();
        if (o instanceof Opposites) {
            Opposites r = (Opposites) o;
            if (((VerifierComponent) r.getLeft()).getVerifierComponentType().equals(type)) {
                Cause left = r.getLeft();
                Cause right = r.getRight();
                if (map.containsKey(left)) {
                    Set<Cause> set = map.get(left);
                    set.add(right);
                } else {
                    Set<Cause> set = new HashSet<Cause>();
                    set.add(right);
                    map.put(left, set);
                }
            }
        }
    }
    return map;
}

Example 7 with Cause

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

the class VerifierTestStandalone method main.

public static final void main(String[] args) {
    try {
        Collection<String> fileNames = new ArrayList<String>();
        // Test data
        // fileNames.add("MissingRangesForDates.drl");
        // fileNames.add("MissingRangesForDoubles.drl");
        // fileNames.add("MissingRangesForInts.drl");
        // fileNames.add("MissingRangesForVariables.drl");
        // fileNames.add("Misc.drl");
        // fileNames.add("Misc2.drl");
        // fileNames.add("Misc3.drl");
        fileNames.add("Enums.drl");
        // fileNames.add("ConsequenceTest.drl");
        // fileNames.add("optimisation/OptimisationRestrictionOrderTest.drl");
        // fileNames.add("optimisation/OptimisationPatternOrderTest.drl");
        Verifier verifier = VerifierBuilderFactory.newVerifierBuilder().newVerifier();
        for (String s : fileNames) {
            verifier.addResourcesToVerify(ResourceFactory.newClassPathResource(s, Verifier.class), ResourceType.DRL);
        }
        verifier.fireAnalysis();
        // System.out.print(a.getResultAsPlainText());
        // System.out.print(a.getResultAsXML());
        // a.writeComponentsHTML("/stash/");
        // a.writeComponentsHTML("/Users/michaelneale/foo.html");
        // a.writeComponentsHTML("/home/trikkola/");
        // a.writeComponentsHTML("c:/");
        VerifierReport result = verifier.getResult();
        VerifierReportWriter reportwriter = VerifierReportWriterFactory.newHTMLReportWriter();
        FileOutputStream out = new FileOutputStream("/Users/rikkola/Desktop/testReport.zip");
        reportwriter.writeReport(out, result);
        Collection<VerifierMessageBase> msgs = result.getBySeverity(Severity.ERROR);
        for (Iterator iterator = msgs.iterator(); iterator.hasNext(); ) {
            VerifierMessageBase msg = (VerifierMessageBase) iterator.next();
            System.out.println("ERR: " + msg.getMessage());
        }
        msgs = result.getBySeverity(Severity.WARNING);
        for (Iterator iterator = msgs.iterator(); iterator.hasNext(); ) {
            VerifierMessageBase msg = (VerifierMessageBase) iterator.next();
            System.out.println("WARN (" + msg.getClass().getSimpleName() + "): " + msg.getMessage());
            System.out.println("\t FAULT: [" + msg.getClass().getSimpleName() + "] " + msg.getFaulty());
            if (msg instanceof VerifierMessage) {
                System.out.println("\t CAUSES (message):");
                VerifierMessage amsg = (VerifierMessage) msg;
                for (Iterator iterator2 = amsg.getCauses().iterator(); iterator2.hasNext(); ) {
                    Cause c = (Cause) iterator2.next();
                    System.out.println("\t\t [" + c.getClass().getSimpleName() + "]" + c);
                }
            } else if (msg instanceof VerifierRangeCheckMessage) {
                System.out.println("\t CAUSES (range):");
                VerifierRangeCheckMessage amsg = (VerifierRangeCheckMessage) msg;
                for (Iterator iterator2 = amsg.getCauses().iterator(); iterator2.hasNext(); ) {
                    Cause c = (Cause) iterator2.next();
                    System.out.println("\t\t" + c);
                }
            }
        }
        msgs = result.getBySeverity(Severity.NOTE);
        for (Iterator iterator = msgs.iterator(); iterator.hasNext(); ) {
            VerifierMessageBase msg = (VerifierMessageBase) iterator.next();
            System.out.println("NOTE: " + msg.getMessage());
            System.out.println("\t" + msg.getFaulty());
        }
        Collection<ObjectType> classes = result.getVerifierData().getAll(VerifierComponentType.OBJECT_TYPE);
        for (Iterator iterator = classes.iterator(); iterator.hasNext(); ) {
            ObjectType c = (ObjectType) iterator.next();
            Collection<VerifierRule> cr = result.getVerifierData().getRulesByObjectTypePath(c.getPath());
            System.err.println("Class rules:" + cr);
            Set<Field> flds = c.getFields();
            for (Iterator iterator2 = flds.iterator(); iterator2.hasNext(); ) {
                Field f = (Field) iterator2.next();
                cr = result.getVerifierData().getRulesByFieldPath(f.getPath());
                System.err.println("Field rules: " + cr);
            }
        }
    // System.err.println(a.getResultAsPlainText());
    // System.out.println(result.toString());
    } catch (Throwable t) {
        t.printStackTrace();
    }
}

Example 8 with Cause

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

the class IncompatibilityBase method createIncompatibilityMap.

/**
 * Creates incompatibility map from Incompatibility objects, one rule may
 * have several incompatibility dependencies.
 *
 * @param iter
 * @return
 */
protected Map<Cause, Set<Cause>> createIncompatibilityMap(VerifierComponentType type, Iterator<Object> iter) {
    Map<Cause, Set<Cause>> map = new HashMap<Cause, Set<Cause>>();
    while (iter.hasNext()) {
        Object o = (Object) iter.next();
        if (o instanceof Incompatibility) {
            Incompatibility r = (Incompatibility) o;
            if (((VerifierComponent) r.getLeft()).getVerifierComponentType().equals(type)) {
                Cause left = r.getLeft();
                Cause right = r.getRight();
                if (map.containsKey(left)) {
                    Set<Cause> set = map.get(left);
                    set.add(right);
                } else {
                    Set<Cause> set = new HashSet<Cause>();
                    set.add(right);
                    map.put(left, set);
                }
            }
        }
    }
    return map;
}

Example 9 with Cause

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

the class IncompatibilityRestrictionsTest method testLiteralRestrictionsIncompatibilityImpossibleRange.

@Test
public void testLiteralRestrictionsIncompatibilityImpossibleRange() 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.GREATER);
    r1.setFieldPath("0");
    r1.setOrderNumber(0);
    LiteralRestriction r2 = LiteralRestriction.createRestriction(pattern1, "10");
    r2.setOperator(Operator.LESS);
    r2.setFieldPath("0");
    r2.setOrderNumber(1);
    /*
         * 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, "");
    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 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.");
    }
}

Example 10 with Cause

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

the class IncompatibilityRestrictionsTest method testLiteralRestrictionsIncompatibilityGreater.

@Test
public void testLiteralRestrictionsIncompatibilityGreater() 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.GREATER);
    r1.setFieldPath("0");
    r1.setOrderNumber(0);
    LiteralRestriction r2 = LiteralRestriction.createRestriction(pattern1, "1");
    r2.setOperator(Operator.EQUAL);
    r2.setFieldPath("0");
    r2.setOrderNumber(1);
    /*
         * 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 greater"));
    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.");
    }
}