def test_explicit_or(self):
ex = Expectation(deferred=True)
ex.equal(1).or_equal(0)
ex.resolve(0)
ex.equal(0).Or_equal(1)
ex.resolve(0)
ex.equal(1).OR_equal(2)
self.assertRaises(AssertionError, lambda: ex.resolve(0))
def test_implicit_or(self):
ex = Expectation(deferred=True, def_op=OPERATOR.OR)
ex.equal(1).equal(0)
ex.resolve(0)
ex.equal(0).equal(1)
ex.resolve(0)
ex.equal(1).equal(2)
self.assertRaises(AssertionError, lambda: ex.resolve(0))
def test_explicit_or(self):
ex = Expectation(deferred=True)
ex.equal(1).or_equal(0)
ex.resolve(0)
ex.equal(0).Or_equal(1)
ex.resolve(0)
ex.equal(1).OR_equal(2)
self.assertRaises(AssertionError, lambda: ex.resolve(0))
def test_implicit_or(self):
ex = Expectation(deferred=True, def_op=OPERATOR.OR)
ex.equal(1).equal(0)
ex.resolve(0)
ex.equal(0).equal(1)
ex.resolve(0)
ex.equal(1).equal(2)
self.assertRaises(AssertionError, lambda: ex.resolve(0))
def test_precedence(self):
ex = Expectation(deferred=True)
ex = ex.equal(3).or_equal(0).and_less_than(2)
ex.resolve(0)
ex = ex.equal(3).or_equal(0).and_less_than(2)
ex.resolve(3)
ex = ex.equal(3).or_equal(0).and_less_than(2)
self.assertRaises(AssertionError, lambda: ex.resolve(4))
ex = ex.equal(0).or_equal(10).but_less_than(5)
ex.resolve(0)
ex = ex.equal(0).or_equal(10).but_less_than(5)
self.assertRaises(AssertionError, lambda: ex.resolve(3))
ex = ex.equal(0).or_equal(10).but_less_than(5)
self.assertRaises(AssertionError, lambda: ex.resolve(10))
ex = ex.equal(0).and_less_than(1).or_equal(2).and_greater_than(1)
ex.resolve(0)
ex = ex.equal(0).and_less_than(1).or_equal(2).and_greater_than(1)
ex.resolve(2)
def test_precedence(self):
ex = Expectation(deferred=True)
ex = ex.equal(3). or_equal(0).and_less_than(2)
ex.resolve(0)
ex = ex.equal(3). or_equal(0).and_less_than(2)
ex.resolve(3)
ex = ex.equal(3). or_equal(0).and_less_than(2)
self.assertRaises(AssertionError, lambda: ex.resolve(4))
ex = ex.equal(0).or_equal(10) .but_less_than(5)
ex.resolve(0)
ex = ex.equal(0).or_equal(10) .but_less_than(5)
self.assertRaises(AssertionError, lambda: ex.resolve(3))
ex = ex.equal(0).or_equal(10) .but_less_than(5)
self.assertRaises(AssertionError, lambda: ex.resolve(10))
ex = ex.equal(0).and_less_than(1) .or_equal(2).and_greater_than(1)
ex.resolve(0)
ex = ex.equal(0).and_less_than(1) .or_equal(2).and_greater_than(1)
ex.resolve(2)
