示例#1
0
        public void T5()
        {
            var tran = new LockTransaction("Testing 101", "A", 0, 0.0d,
                                           LockOp.Assert(LockOp.Or(LockOp.True, LockOp.False)) //assert(true | false) must pass
                                           );

            var session = new Agni.Locking.Server.LockSessionData(new LockSessionID(null), "My session", 1000);
            var result  = m_Server.ExecuteLockTransaction(session, tran);

            Aver.IsTrue(LockStatus.TransactionOK == result.Status);
        }
示例#2
0
        public void T11()
        {
            var tran = new LockTransaction("Testing 101", "A", 0, 0.0d,
                                           LockOp.Assert(LockOp.True),
                                           LockOp.Assert(LockOp.And(LockOp.True, LockOp.True)),
                                           LockOp.Assert(LockOp.Or(LockOp.False, LockOp.True)),
                                           LockOp.Assert(LockOp.Not(LockOp.Or(LockOp.False, LockOp.False))),
                                           LockOp.Assert(LockOp.Not(LockOp.False)),
                                           LockOp.Assert(LockOp.Xor(LockOp.False, LockOp.True)),
                                           LockOp.Assert(LockOp.Xor(LockOp.True, LockOp.False)),
                                           LockOp.Assert(LockOp.Not(LockOp.Xor(LockOp.False, LockOp.True))),
                                           LockOp.Assert(LockOp.Not(LockOp.Xor(LockOp.False, LockOp.False)))
                                           );

            var session = new Agni.Locking.Server.LockSessionData(new LockSessionID(null), "My session", 1000);
            var result  = m_Server.ExecuteLockTransaction(session, tran);

            Aver.IsTrue(LockStatus.TransactionError == result.Status);
            Aver.IsTrue(LockErrorCause.Statement == result.ErrorCause);
            Aver.AreEqual("7:/AssertOp/", result.FailedStatement);
        }