Examples with Pattern org.drools.verifier.components.Pattern used on opensource projects

Example 11 with Pattern

use of org.drools.verifier.components.Pattern in project drools by kiegroup.

the class IncoherentRestrictionsTest method testIncoherentLiteralRestrictionsInSubPattern.

@Test
public void testIncoherentLiteralRestrictionsInSubPattern() throws Exception {
    KieSession session = getStatelessKieSession(this.getClass().getResourceAsStream("Restrictions.drl"));
    VerifierReport result = VerifierReportFactory.newVerifierReport();
    Collection<? extends Object> testData = getTestData(getClass().getResourceAsStream("RestrictionsTest.drl"), result.getVerifierData());
    session.setGlobal("result", result);
    for (Object o : testData) {
        session.insert(o);
    }
    session.fireAllRules(new RuleNameMatchesAgendaFilter("Incoherent LiteralRestrictions in pattern possibility"));
    Iterator<VerifierMessageBase> iter = result.getBySeverity(Severity.ERROR).iterator();
    Set<String> rulesThatHadErrors = new HashSet<String>();
    while (iter.hasNext()) {
        Object o = (Object) iter.next();
        if (o instanceof VerifierMessage) {
            Pattern pattern = (Pattern) ((VerifierMessage) o).getFaulty();
            rulesThatHadErrors.add(pattern.getRuleName());
        }
    }
    assertTrue(rulesThatHadErrors.remove("Incoherent restrictions 1"));
    assertTrue(rulesThatHadErrors.remove("Incoherent restrictions 2"));
    if (!rulesThatHadErrors.isEmpty()) {
        for (String string : rulesThatHadErrors) {
            fail("Rule " + string + " caused an error.");
        }
    }
}

Example 12 with Pattern

use of org.drools.verifier.components.Pattern in project drools by kiegroup.

the class PatternSolverTest method testAddBasicOr.

/**
 * <pre>
 *       or
 *      /  \
 *  descr descr2
 * </pre>
 *
 * result:<br>
 * descr<br>
 * or<br>
 * descr2
 */
@Test
public void testAddBasicOr() {
    Pattern pattern = VerifierComponentMockFactory.createPattern1();
    LiteralRestriction literalRestriction = LiteralRestriction.createRestriction(pattern, "");
    LiteralRestriction literalRestriction2 = LiteralRestriction.createRestriction(pattern, "");
    PatternSolver solver = new PatternSolver(pattern);
    solver.addOperator(OperatorDescrType.OR);
    solver.add(literalRestriction);
    solver.add(literalRestriction2);
    solver.end();
    List<Set<VerifierComponent>> list = solver.getPossibilityLists();
    assertEquals(2, list.size());
    assertEquals(1, list.get(0).size());
    assertEquals(1, list.get(1).size());
}

Example 13 with Pattern

use of org.drools.verifier.components.Pattern in project drools by kiegroup.

the class PatternSolverTest method testAddOrAndOrDescr.

/**
 * <pre>
 *                   and
 *          /         |      \
 *       and         or       descr5
 *      /  \         / \
 * descr descr2 descr3 descr4
 * </pre>
 *
 * result:<br>
 * descr && descr2 && descr3 && descr5<br>
 * or<br>
 * descr && descr2 && descr4 && descr5<br>
 */
@Test
public void testAddOrAndOrDescr() {
    Pattern pattern = VerifierComponentMockFactory.createPattern1();
    LiteralRestriction literalRestriction = LiteralRestriction.createRestriction(pattern, "");
    LiteralRestriction literalRestriction2 = LiteralRestriction.createRestriction(pattern, "");
    LiteralRestriction literalRestriction3 = LiteralRestriction.createRestriction(pattern, "");
    LiteralRestriction literalRestriction4 = LiteralRestriction.createRestriction(pattern, "");
    LiteralRestriction literalRestriction5 = LiteralRestriction.createRestriction(pattern, "");
    PatternSolver solver = new PatternSolver(pattern);
    solver.addOperator(OperatorDescrType.AND);
    solver.addOperator(OperatorDescrType.AND);
    solver.add(literalRestriction);
    solver.add(literalRestriction2);
    solver.end();
    solver.addOperator(OperatorDescrType.OR);
    solver.add(literalRestriction3);
    solver.add(literalRestriction4);
    solver.end();
    solver.add(literalRestriction5);
    solver.end();
    List<Set<VerifierComponent>> list = solver.getPossibilityLists();
    assertEquals(2, list.size());
    assertEquals(4, list.get(0).size());
    assertTrue(list.get(0).contains(literalRestriction));
    assertTrue(list.get(0).contains(literalRestriction2));
    assertTrue(list.get(0).contains(literalRestriction3));
    assertTrue(list.get(0).contains(literalRestriction5));
    assertEquals(4, list.get(1).size());
    assertTrue(list.get(1).contains(literalRestriction));
    assertTrue(list.get(1).contains(literalRestriction2));
    assertTrue(list.get(1).contains(literalRestriction4));
    assertTrue(list.get(1).contains(literalRestriction4));
}

Example 14 with Pattern

use of org.drools.verifier.components.Pattern in project drools by kiegroup.

the class PatternSolverTest method testAddBasicAnd.

/**
 * <pre>
 *      and
 *     /   \
 *  descr  descr2
 * </pre>
 *
 * result:<br>
 * descr && descr2
 */
@Test
public void testAddBasicAnd() {
    Pattern pattern = VerifierComponentMockFactory.createPattern1();
    LiteralRestriction literalRestriction = LiteralRestriction.createRestriction(pattern, "");
    LiteralRestriction literalRestriction2 = LiteralRestriction.createRestriction(pattern, "");
    PatternSolver solver = new PatternSolver(pattern);
    solver.addOperator(OperatorDescrType.AND);
    solver.add(literalRestriction);
    solver.add(literalRestriction2);
    solver.end();
    List<Set<VerifierComponent>> list = solver.getPossibilityLists();
    assertEquals(1, list.size());
    assertEquals(2, list.get(0).size());
}

Example 15 with Pattern

use of org.drools.verifier.components.Pattern in project drools by kiegroup.

the class PatternSolverTest method testAddOrAndOr.

/**
 * <pre>
 *             or
 *         /        \
 *       and         or
 *      /  \         / \
 * descr descr2 descr3 descr4
 * </pre>
 *
 * result:<br>
 * descr && descr2<br>
 * or<br>
 * descr3<br>
 * or<br>
 * descr4
 */
@Test
public void testAddOrAndOr() {
    Pattern pattern = VerifierComponentMockFactory.createPattern1();
    LiteralRestriction literalRestriction = LiteralRestriction.createRestriction(pattern, "");
    LiteralRestriction literalRestriction2 = LiteralRestriction.createRestriction(pattern, "");
    LiteralRestriction literalRestriction3 = LiteralRestriction.createRestriction(pattern, "");
    LiteralRestriction literalRestriction4 = LiteralRestriction.createRestriction(pattern, "");
    PatternSolver solver = new PatternSolver(pattern);
    solver.addOperator(OperatorDescrType.OR);
    solver.addOperator(OperatorDescrType.AND);
    solver.add(literalRestriction);
    solver.add(literalRestriction2);
    solver.end();
    solver.addOperator(OperatorDescrType.OR);
    solver.add(literalRestriction3);
    solver.add(literalRestriction4);
    solver.end();
    solver.end();
    List<Set<VerifierComponent>> list = solver.getPossibilityLists();
    assertEquals(3, list.size());
    assertEquals(2, list.get(0).size());
    assertTrue(list.get(0).contains(literalRestriction));
    assertTrue(list.get(0).contains(literalRestriction2));
    assertEquals(1, list.get(1).size());
    assertTrue(list.get(1).contains(literalRestriction3));
    assertEquals(1, list.get(2).size());
    assertTrue(list.get(2).contains(literalRestriction4));
}