use of org.drools.core.reteoo.RuleTerminalNode in project drools by kiegroup.
the class LinkingTest method testNestedSubNetworkMasks.
@Test
public void testNestedSubNetworkMasks() throws Exception {
String str = "";
str += "package org.kie \n";
str += "import " + A.class.getCanonicalName() + "\n";
str += "import " + B.class.getCanonicalName() + "\n";
str += "import " + C.class.getCanonicalName() + "\n";
str += "import " + D.class.getCanonicalName() + "\n";
str += "import " + E.class.getCanonicalName() + "\n";
str += "import " + F.class.getCanonicalName() + "\n";
str += "import " + G.class.getCanonicalName() + "\n";
str += "global java.util.List list \n";
str += "rule rule1 when \n";
str += " A() \n";
str += " B() \n";
str += " exists( C() and D() and exists( E() and F() ) ) \n";
str += " G() \n";
str += "then \n";
str += "end \n";
KnowledgeBuilder kbuilder = KnowledgeBuilderFactory.newKnowledgeBuilder();
kbuilder.add(ResourceFactory.newByteArrayResource(str.getBytes()), ResourceType.DRL);
assertFalse(kbuilder.getErrors().toString(), kbuilder.hasErrors());
InternalKnowledgeBase kbase = KnowledgeBaseFactory.newKnowledgeBase();
kbase.addPackages(kbuilder.getKnowledgePackages());
ObjectTypeNode node = getObjectTypeNode(kbase, A.class);
InternalWorkingMemory wm = ((StatefulKnowledgeSessionImpl) kbase.newKieSession());
LeftInputAdapterNode liaNode = (LeftInputAdapterNode) node.getObjectSinkPropagator().getSinks()[0];
JoinNode bNode = (JoinNode) liaNode.getSinkPropagator().getSinks()[0];
ExistsNode exists1n = (ExistsNode) bNode.getSinkPropagator().getSinks()[1];
JoinNode cNode = (JoinNode) bNode.getSinkPropagator().getSinks()[0];
JoinNode dNode = (JoinNode) cNode.getSinkPropagator().getSinks()[0];
ExistsNode exists2n = (ExistsNode) dNode.getSinkPropagator().getSinks()[1];
JoinNode eNode = (JoinNode) dNode.getSinkPropagator().getSinks()[0];
JoinNode fNode = (JoinNode) eNode.getSinkPropagator().getSinks()[0];
RightInputAdapterNode riaNode2 = (RightInputAdapterNode) fNode.getSinkPropagator().getSinks()[0];
RightInputAdapterNode riaNode1 = (RightInputAdapterNode) exists2n.getSinkPropagator().getSinks()[0];
JoinNode gNode = (JoinNode) exists1n.getSinkPropagator().getSinks()[0];
RuleTerminalNode rtn = (RuleTerminalNode) gNode.getSinkPropagator().getSinks()[0];
wm.insert(new A());
wm.insert(new B());
wm.insert(new C());
wm.insert(new D());
wm.insert(new G());
wm.flushPropagations();
LiaNodeMemory liaMem = (LiaNodeMemory) wm.getNodeMemory(liaNode);
BetaMemory bMem = (BetaMemory) wm.getNodeMemory(bNode);
BetaMemory exists1Mem = (BetaMemory) wm.getNodeMemory(exists1n);
BetaMemory cMem = (BetaMemory) wm.getNodeMemory(cNode);
BetaMemory dMem = (BetaMemory) wm.getNodeMemory(dNode);
BetaMemory exists2Mem = (BetaMemory) wm.getNodeMemory(exists2n);
BetaMemory eMem = (BetaMemory) wm.getNodeMemory(eNode);
BetaMemory fMem = (BetaMemory) wm.getNodeMemory(fNode);
BetaMemory gMem = (BetaMemory) wm.getNodeMemory(gNode);
RightInputAdapterNode.RiaNodeMemory riaMem1 = (RightInputAdapterNode.RiaNodeMemory) wm.getNodeMemory(riaNode1);
RightInputAdapterNode.RiaNodeMemory riaMem2 = (RightInputAdapterNode.RiaNodeMemory) wm.getNodeMemory(riaNode2);
PathMemory rs = (PathMemory) wm.getNodeMemory(rtn);
// E and F are not inserted yet, so rule is unlinked
assertFalse(rs.isRuleLinked());
// ---
// assert a and b in same segment
assertSame(liaMem.getSegmentMemory(), bMem.getSegmentMemory());
// exists1 and b not in same segment
assertNotSame(bMem.getSegmentMemory(), exists1Mem.getSegmentMemory());
// exists1 and b are in same segment
assertSame(exists1Mem.getSegmentMemory(), gMem.getSegmentMemory());
// check segment masks
assertEquals(2, rs.getSegmentMemories().length);
assertEquals(3, rs.getAllLinkedMaskTest());
assertEquals(1, rs.getLinkedSegmentMask());
assertEquals(3, liaMem.getSegmentMemory().getAllLinkedMaskTest());
assertEquals(1, liaMem.getNodePosMaskBit());
assertEquals(2, bMem.getNodePosMaskBit());
assertEquals(3, exists1Mem.getSegmentMemory().getAllLinkedMaskTest());
assertEquals(1, exists1Mem.getNodePosMaskBit());
assertEquals(2, gMem.getNodePosMaskBit());
// assert c, d are in the same segment, and that this is the only segment in ria1 memory
assertSame(dMem.getSegmentMemory(), cMem.getSegmentMemory());
// assert d and exists are not in the same segment
assertNotSame(exists2Mem.getSegmentMemory(), dMem.getSegmentMemory());
assertEquals(3, riaMem1.getRiaPathMemory().getSegmentMemories().length);
// only needs to know about segments in the subnetwork
assertEquals(null, riaMem1.getRiaPathMemory().getSegmentMemories()[0]);
assertEquals(dMem.getSegmentMemory(), riaMem1.getRiaPathMemory().getSegmentMemories()[1]);
assertEquals(1, dMem.getSegmentMemory().getPathMemories().size());
assertSame(riaMem1.getRiaPathMemory(), cMem.getSegmentMemory().getPathMemories().get(0));
assertEquals(3, cMem.getSegmentMemory().getAllLinkedMaskTest());
// E and F is not yet inserted, so bit is not set
assertEquals(3, cMem.getSegmentMemory().getLinkedNodeMask());
assertEquals(1, cMem.getNodePosMaskBit());
assertEquals(2, dMem.getNodePosMaskBit());
assertEquals(0, exists2Mem.getNodePosMaskBit());
// insert to lazy initialize exists2Mem segment
FactHandle fhE1 = wm.insert(new E());
FactHandle fhF1 = wm.insert(new F());
wm.flushPropagations();
assertEquals(1, exists2Mem.getNodePosMaskBit());
// only cares that the segment for c, E and exists1 are set, ignores the outer first segment
assertEquals(6, riaMem1.getRiaPathMemory().getAllLinkedMaskTest());
// E and F are inerted, so 6
assertEquals(6, riaMem1.getRiaPathMemory().getLinkedSegmentMask());
wm.delete(fhE1);
wm.delete(fhF1);
wm.flushPropagations();
// E deleted
assertEquals(2, riaMem1.getRiaPathMemory().getLinkedSegmentMask());
// assert e, f are in the same segment, and that this is the only segment in ria2 memory
// subnetworks are recursively created, so segment already exists
assertNotNull(null, eMem.getSegmentMemory());
assertSame(fMem.getSegmentMemory(), eMem.getSegmentMemory());
assertEquals(3, riaMem2.getRiaPathMemory().getSegmentMemories().length);
// only needs to know about segments in the subnetwork
assertEquals(null, riaMem2.getRiaPathMemory().getSegmentMemories()[0]);
// only needs to know about segments in the subnetwork
assertEquals(null, riaMem2.getRiaPathMemory().getSegmentMemories()[1]);
assertEquals(fMem.getSegmentMemory(), riaMem2.getRiaPathMemory().getSegmentMemories()[2]);
assertSame(riaMem2.getRiaPathMemory(), eMem.getSegmentMemory().getPathMemories().get(0));
assertEquals(3, eMem.getSegmentMemory().getAllLinkedMaskTest());
assertEquals(0, eMem.getSegmentMemory().getLinkedNodeMask());
// only cares that the segment for e and f set, ignores the outer two segment
assertEquals(4, riaMem2.getRiaPathMemory().getAllLinkedMaskTest());
// E and F is not yet inserted, so bit is not set
assertEquals(0, riaMem2.getRiaPathMemory().getLinkedSegmentMask());
fhE1 = wm.insert(new E());
wm.insert(new F());
wm.flushPropagations();
// E and F are now inserted yet, so rule is linked
assertTrue(rs.isRuleLinked());
assertEquals(3, rs.getAllLinkedMaskTest());
assertEquals(3, rs.getLinkedSegmentMask());
// retest bits
assertEquals(3, cMem.getSegmentMemory().getAllLinkedMaskTest());
assertEquals(3, cMem.getSegmentMemory().getLinkedNodeMask());
assertEquals(6, riaMem1.getRiaPathMemory().getAllLinkedMaskTest());
assertEquals(6, riaMem1.getRiaPathMemory().getLinkedSegmentMask());
assertEquals(3, eMem.getSegmentMemory().getAllLinkedMaskTest());
assertEquals(3, eMem.getSegmentMemory().getLinkedNodeMask());
assertEquals(4, riaMem2.getRiaPathMemory().getAllLinkedMaskTest());
assertEquals(4, riaMem2.getRiaPathMemory().getLinkedSegmentMask());
wm.delete(fhE1);
wm.flushPropagations();
// retest bits
assertFalse(rs.isRuleLinked());
assertEquals(3, cMem.getSegmentMemory().getLinkedNodeMask());
assertEquals(2, riaMem1.getRiaPathMemory().getLinkedSegmentMask());
assertEquals(2, eMem.getSegmentMemory().getLinkedNodeMask());
assertEquals(0, riaMem2.getRiaPathMemory().getLinkedSegmentMask());
}
use of org.drools.core.reteoo.RuleTerminalNode in project drools by kiegroup.
the class MarshallingTest method testDynamicEmptyRule.
@Test
public void testDynamicEmptyRule() throws Exception {
String rule1 = "package org.drools.compiler.test;\n";
rule1 += "global java.util.List list\n";
rule1 += "rule \"Rule 1\"\n";
rule1 += "when\n";
rule1 += "then\n";
rule1 += " list.add( \"fired1\" );\n";
rule1 += "end";
String rule2 = "package org.drools.compiler.test;\n";
rule2 += "global java.util.List list\n";
rule2 += "rule \"Rule 2\"\n";
rule2 += "when\n";
rule2 += "then\n";
rule2 += " list.add( \"fired2\" );\n";
rule2 += "end";
InternalKnowledgeBase kBase = (InternalKnowledgeBase) loadKnowledgeBaseFromString(rule1);
// Make sure the rete node map is created correctly
Map<Integer, BaseNode> nodes = RuleBaseNodes.getNodeMap((InternalKnowledgeBase) kBase);
// Make sure the rete node map is created correctly
assertEquals(2, nodes.size());
assertEquals("InitialFactImpl", ((ClassObjectType) ((ObjectTypeNode) nodes.get(2)).getObjectType()).getClassType().getSimpleName());
assertEquals("Rule 1", ((RuleTerminalNode) nodes.get(4)).getRule().getName());
KieSession session = kBase.newKieSession();
List list = new ArrayList();
session.setGlobal("list", list);
KieSession session1 = SerializationHelper.getSerialisedStatefulKnowledgeSession(session, kBase, false);
session1.fireAllRules();
assertEquals(1, ((List) session1.getGlobal("list")).size());
KieSession session2 = SerializationHelper.getSerialisedStatefulKnowledgeSession(session1, kBase, false);
session.dispose();
session1.dispose();
Collection<KiePackage> kpkgs = loadKnowledgePackagesFromString(rule2);
kBase.addPackages(kpkgs);
session2.fireAllRules();
System.out.println(session2.getGlobal("list"));
assertEquals(2, ((List) session2.getGlobal("list")).size());
assertEquals("fired1", ((List) session2.getGlobal("list")).get(0));
assertEquals("fired2", ((List) session2.getGlobal("list")).get(1));
}
use of org.drools.core.reteoo.RuleTerminalNode in project drools by kiegroup.
the class SegmentCreationTest method tesShareInSubnetwork.
@Test
public void tesShareInSubnetwork() throws Exception {
KieBase kbase = buildKnowledgeBase(" A() \n", " A() B() C() \n", " A() not ( B() and C() ) \n");
InternalWorkingMemory wm = ((InternalWorkingMemory) kbase.newKieSession());
ObjectTypeNode aotn = getObjectTypeNode(kbase, LinkingTest.A.class);
LeftInputAdapterNode liaNode = (LeftInputAdapterNode) aotn.getObjectSinkPropagator().getSinks()[0];
RuleTerminalNode rtn1 = (RuleTerminalNode) liaNode.getSinkPropagator().getSinks()[0];
JoinNode bNode = (JoinNode) liaNode.getSinkPropagator().getSinks()[1];
JoinNode cNode = (JoinNode) bNode.getSinkPropagator().getSinks()[0];
RuleTerminalNode rtn2 = (RuleTerminalNode) cNode.getSinkPropagator().getSinks()[0];
RightInputAdapterNode riaNode = (RightInputAdapterNode) cNode.getSinkPropagator().getSinks()[1];
NotNode notNode = (NotNode) liaNode.getSinkPropagator().getSinks()[2];
RuleTerminalNode rtn3 = (RuleTerminalNode) notNode.getSinkPropagator().getSinks()[0];
wm.insert(new LinkingTest.A());
wm.insert(new LinkingTest.B());
wm.insert(new LinkingTest.C());
wm.flushPropagations();
// LiaNode is in it's own segment
LiaNodeMemory liaMem = (LiaNodeMemory) wm.getNodeMemory(liaNode);
SegmentMemory smem = liaMem.getSegmentMemory();
assertEquals(liaNode, smem.getRootNode());
assertEquals(liaNode, smem.getTipNode());
SegmentMemory rtnSmem1 = smem.getFirst();
assertEquals(rtn1, rtnSmem1.getRootNode());
assertEquals(rtn1, rtnSmem1.getTipNode());
SegmentMemory bSmem = rtnSmem1.getNext();
assertEquals(bNode, bSmem.getRootNode());
assertEquals(cNode, bSmem.getTipNode());
// segment is not initialized yet
assertNull(bSmem.getFirst());
wm.fireAllRules();
SegmentMemory rtn2Smem = bSmem.getFirst();
assertEquals(rtn2, rtn2Smem.getRootNode());
assertEquals(rtn2, rtn2Smem.getTipNode());
SegmentMemory riaSmem = rtn2Smem.getNext();
assertEquals(riaNode, riaSmem.getRootNode());
assertEquals(riaNode, riaSmem.getTipNode());
SegmentMemory notSmem = bSmem.getNext();
assertEquals(notNode, notSmem.getRootNode());
assertEquals(rtn3, notSmem.getTipNode());
}
use of org.drools.core.reteoo.RuleTerminalNode in project drools by kiegroup.
the class SegmentCreationTest method testBranchCEMultipleSegments.
@Test
public void testBranchCEMultipleSegments() throws Exception {
KieBase kbase = buildKnowledgeBase(// r1
" $a : A() \n", " $a : A() \n" + " if ( $a != null ) do[t1] \n" + // r2
" B() \n", " $a : A() \n" + " if ( $a != null ) do[t1] \n" + " B() \n" + // r3
" C() \n");
InternalWorkingMemory wm = ((InternalWorkingMemory) kbase.newKieSession());
ObjectTypeNode aotn = getObjectTypeNode(kbase, LinkingTest.A.class);
LeftInputAdapterNode liaNode = (LeftInputAdapterNode) aotn.getObjectSinkPropagator().getSinks()[0];
ConditionalBranchNode cen1Node = (ConditionalBranchNode) liaNode.getSinkPropagator().getSinks()[1];
JoinNode bNode = (JoinNode) cen1Node.getSinkPropagator().getSinks()[0];
RuleTerminalNode rtn2 = (RuleTerminalNode) bNode.getSinkPropagator().getSinks()[0];
JoinNode cNode = (JoinNode) bNode.getSinkPropagator().getSinks()[1];
RuleTerminalNode rtn3 = (RuleTerminalNode) cNode.getSinkPropagator().getSinks()[0];
FactHandle bFh = wm.insert(new LinkingTest.B());
FactHandle cFh = wm.insert(new LinkingTest.C());
wm.flushPropagations();
BetaMemory bNodeBm = (BetaMemory) wm.getNodeMemory(bNode);
SegmentMemory bNodeSmem = bNodeBm.getSegmentMemory();
// no beta nodes before branch CE, so never unlinks
assertEquals(0, bNodeSmem.getAllLinkedMaskTest());
assertEquals(2, bNodeSmem.getLinkedNodeMask());
PathMemory pmemr2 = (PathMemory) wm.getNodeMemory(rtn2);
assertEquals(1, pmemr2.getAllLinkedMaskTest());
assertEquals(2, pmemr2.getLinkedSegmentMask());
assertEquals(3, pmemr2.getSegmentMemories().length);
assertFalse(pmemr2.isRuleLinked());
PathMemory pmemr3 = (PathMemory) wm.getNodeMemory(rtn3);
// notice only the first segment links
assertEquals(1, pmemr3.getAllLinkedMaskTest());
assertEquals(3, pmemr3.getSegmentMemories().length);
assertFalse(pmemr3.isRuleLinked());
BetaMemory cNodeBm = (BetaMemory) wm.getNodeMemory(cNode);
SegmentMemory cNodeSmem = cNodeBm.getSegmentMemory();
assertEquals(1, cNodeSmem.getAllLinkedMaskTest());
assertEquals(1, cNodeSmem.getLinkedNodeMask());
wm.insert(new LinkingTest.A());
wm.flushPropagations();
assertTrue(pmemr2.isRuleLinked());
assertTrue(pmemr3.isRuleLinked());
// retract B does not unlink the rule
wm.delete(bFh);
// retract C does not unlink the rule
wm.delete(cFh);
wm.flushPropagations();
// b segment never unlinks, as it has no impact on path unlinking anyway
assertEquals(3, pmemr2.getLinkedSegmentMask());
assertTrue(pmemr2.isRuleLinked());
// b segment never unlinks, as it has no impact on path unlinking anyway
assertEquals(3, pmemr3.getLinkedSegmentMask());
assertTrue(pmemr3.isRuleLinked());
}
use of org.drools.core.reteoo.RuleTerminalNode in project drools by kiegroup.
the class SegmentCreationTest method testSingleSharedEmptyLhs.
@Test
public void testSingleSharedEmptyLhs() throws Exception {
KieBase kbase = buildKnowledgeBase(" ", " ");
InternalWorkingMemory wm = ((InternalWorkingMemory) kbase.newKieSession());
ObjectTypeNode aotn = getObjectTypeNode(kbase, InitialFactImpl.class);
LeftInputAdapterNode liaNode = (LeftInputAdapterNode) aotn.getObjectSinkPropagator().getSinks()[0];
RuleTerminalNode rtn1 = (RuleTerminalNode) liaNode.getSinkPropagator().getSinks()[0];
RuleTerminalNode rtn2 = (RuleTerminalNode) liaNode.getSinkPropagator().getSinks()[1];
wm.insert(new LinkingTest.A());
wm.flushPropagations();
// LiaNode is in it's own segment
LiaNodeMemory liaMem = (LiaNodeMemory) wm.getNodeMemory(liaNode);
SegmentMemory smem = liaMem.getSegmentMemory();
assertEquals(liaNode, smem.getRootNode());
assertEquals(liaNode, smem.getTipNode());
// each RTN is in it's own segment
SegmentMemory rtnSmem1 = smem.getFirst();
assertEquals(rtn1, rtnSmem1.getRootNode());
assertEquals(rtn1, rtnSmem1.getTipNode());
SegmentMemory rtnSmem2 = rtnSmem1.getNext();
assertEquals(rtn2, rtnSmem2.getRootNode());
assertEquals(rtn2, rtnSmem2.getTipNode());
}
Aggregations