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); }
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); }