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