Ejemplo n.º 1
0
        public void test_constraint_unsatisfied()
        {
            var seqabinputs = new List <AbstractEvent>(createPrimitiveEvents("A"));

            seqabinputs.Add(new PrimitiveEvent("B"));
            var seqabs = getOutputListFromInputList("[SEQ(A,B),[A,B],n(B)]", seqabinputs);

            Assert.Equal(1, seqabs.Count);

            var seqacinputs = new List <AbstractEvent>(createPrimitiveEvents("A"));

            seqacinputs.Add(new PrimitiveEvent("C"));
            var seqacs = getOutputListFromInputList("[SEQ(A,C),[A,C],n(B)]", seqacinputs);

            Assert.Equal(1, seqacs.Count);

            var c = new EqualIDWhenEqualEventTypeConstraint(new EventType("A"));

            Assert.False(PrimitiveBufferComponentAnyMatchConstraint.checkAll(new List <PrimitiveBufferComponentAnyMatchConstraint>()
            {
                c
            }, seqacs[0], seqabs));
            Assert.False(PrimitiveBufferComponentAnyMatchConstraint.checkAll(new List <PrimitiveBufferComponentAnyMatchConstraint>()
            {
                c
            }, seqabs[0], seqacs));
        }
Ejemplo n.º 2
0
        public bool testGuardConditions(AbstractEvent candidate, IEnumerable <AbstractEvent> eventBuffer)
        {
            if (!candidate.type.Equals(requiredEventType))
            {
                return(false);
            }

            if (eventBuffer == null)
            {
                eventBuffer = Enumerable.Empty <AbstractEvent>();
            }

            if (!PrimitiveBufferComponentAnyMatchConstraint.checkAll(pBCAnyMatchConstraints, candidate, eventBuffer))
            {
                return(false);
            }

            if (!PrimitiveBufferComponentAllMatchConstraint.checkAll(pBCAllMatchConstraints, candidate, eventBuffer))
            {
                return(false);
            }

            foreach (var item in bufferConstraints)
            {
                if (!item.check(candidate, eventBuffer))
                {
                    return(false);
                }
            }
            return(true);
        }