class TestCanon95(unittest.TestCase, CanonNotEqualTest):
def setUp(self):
self.a = Expression()
self.a.decapitate("onelevel")
self.b = Expression()
self.b.decapitate("onelevel", reverse=True)
class TestCanon95(unittest.TestCase, CanonNotEqualTest):
def setUp(self):
self.a = Expression()
self.a.decapitate("onelevel")
self.b = Expression()
self.b.decapitate("onelevel", reverse=True)
def test_plus_is_conmutative(self):
other = Expression()
other.decapitate("blabla")
a = self.e + other
b = other + self.e
self.assertEqual(make_canonical_expression(a),
make_canonical_expression(b))
def test_plus_is_conmutative2(self):
other = Expression()
other.decapitate("blabla")
a = self.e + other + self.e
b = other + self.e + self.e
self.assertEqual(make_canonical_expression(a),
make_canonical_expression(b))
def test_merges2(self):
other = Expression()
other.decapitate("blabla")
oldlen = len(other)
oldhead = other.get_head()
other.merge(self.e)
self.assertEqual(other.get_head(), oldhead)
self.assertEqual(len(other), oldlen + len(self.e) - 1)
def test_merges1(self):
oldlen = len(self.e)
oldhead = self.e.get_head()
other = Expression()
other.decapitate("blabla")
self.e.merge(other)
self.assertEqual(self.e.get_head(), oldhead)
self.assertEqual(len(self.e), oldlen + len(other) - 1)
def test_merges1(self):
oldlen = len(self.e)
oldhead = self.e.get_head()
other = Expression()
other.decapitate("blabla")
self.e.merge(other)
self.assertEqual(self.e.get_head(), oldhead)
self.assertEqual(len(self.e), oldlen + len(other) - 1)
def test_merges2(self):
other = Expression()
other.decapitate("blabla")
oldlen = len(other)
oldhead = other.get_head()
other.merge(self.e)
self.assertEqual(other.get_head(), oldhead)
self.assertEqual(len(other), oldlen + len(self.e) - 1)
def setUp(self):
A = Expression()
A.add_data("bla", "somedata")
A.decapitate("hier")
B = Expression()
B.add_data("ble", "otherdata")
B.decapitate("hier")
self.a = A + B
self.b = B + A
def setUp(self):
A = Expression()
A.add_data("bla", "somedata")
A.decapitate("hier")
B = Expression()
B.add_data("ble", "otherdata")
B.decapitate("hier")
self.a = A + B
self.b = B + A
def setUp(self):
self.e = Expression()
self.e.add_data(123, "456")
other = Expression()
other.add_data(0, "1")
other.add_data(2, "3")
other.decapitate("iuju")
for _ in xrange(5):
self.e.decapitate("nouu")
self.e += other
class TestExpression3(unittest.TestCase, ExpressionTests):
def setUp(self):
self.e = Expression()
self.e.add_data("key", "1")
self.e.decapitate(u"µ")
self.e.add_data("a", "2")
self.e.add_data("a", "3")
self.e.add_data(None, None)
self.e.decapitate(None)
self.e.add_data(None, None)
class TestExpression3(unittest.TestCase, ExpressionTests):
def setUp(self):
self.e = Expression()
self.e.add_data("key", "1")
self.e.decapitate(u"µ")
self.e.add_data("a", "2")
self.e.add_data("a", "3")
self.e.add_data(None, None)
self.e.decapitate(None)
self.e.add_data(None, None)
def setUp(self):
self.e = Expression()
self.e.add_data(123, "456")
other = Expression()
other.add_data(0, "1")
other.add_data(2, "3")
other.decapitate("iuju")
for _ in xrange(5):
self.e.decapitate("nouu")
self.e += other
class TestExpression4(unittest.TestCase, ExpressionTests):
def setUp(self):
self.e = Expression()
self.e.add_data(123, "456")
other = Expression()
other.add_data(0, "1")
other.add_data(2, "3")
other.decapitate("iuju")
for _ in xrange(5):
self.e.decapitate("nouu")
self.e += other
class TestExpression4(unittest.TestCase, ExpressionTests):
def setUp(self):
self.e = Expression()
self.e.add_data(123, "456")
other = Expression()
other.add_data(0, "1")
other.add_data(2, "3")
other.decapitate("iuju")
for _ in xrange(5):
self.e.decapitate("nouu")
self.e += other
def setUp(self):
other = Expression()
other.decapitate("onelevel")
self.a = Expression()
for _ in xrange(5):
self.a.decapitate("step")
self.a += other
other = Expression()
other.decapitate("onelevel", reverse=True)
self.b = Expression()
for _ in xrange(5):
self.b.decapitate("step")
self.b += other
def setUp(self):
other = Expression()
other.decapitate("onelevel")
self.a = Expression()
for _ in xrange(5):
self.a.decapitate("step")
self.a += other
other = Expression()
other.decapitate("onelevel", reverse=True)
self.b = Expression()
for _ in xrange(5):
self.b.decapitate("step")
self.b += other
class TestCanon97(unittest.TestCase, CanonNotEqualTest):
def setUp(self):
other = Expression()
other.decapitate("onelevel")
self.a = Expression()
for _ in xrange(5):
self.a.decapitate("step")
self.a += other
other = Expression()
other.decapitate("onelevel", reverse=True)
self.b = Expression()
for _ in xrange(5):
self.b.decapitate("step")
self.b += other
class TestCanon97(unittest.TestCase, CanonNotEqualTest):
def setUp(self):
other = Expression()
other.decapitate("onelevel")
self.a = Expression()
for _ in xrange(5):
self.a.decapitate("step")
self.a += other
other = Expression()
other.decapitate("onelevel", reverse=True)
self.b = Expression()
for _ in xrange(5):
self.b.decapitate("step")
self.b += other
def setUp(self):
A = Expression()
A.add_data("bla", "somedata")
A.decapitate("hier")
B = Expression()
B.add_data("ble", "otherdata")
B.decapitate("hier")
C = A + B
C.decapitate("hier")
C += B
C.decapitate("hier")
self.a = C + A
D = B + A
D.decapitate("hier")
D += B
D.decapitate("hier")
self.b = D + A
def setUp(self):
A = Expression()
A.add_data("bla", "somedata")
A.decapitate("hier")
B = Expression()
B.add_data("ble", "otherdata")
B.decapitate("hier")
C = A + B
C.decapitate("hier")
C += B
C.decapitate("hier")
self.a = C + A
D = B + A
D.decapitate("hier")
D += B
D.decapitate("hier")
self.b = D + A
def test_plus_makes_copy(self):
other = Expression()
other.decapitate("blabla")
a = self.e + other
self.assertFalse(a is other or self.e is other or a is self.e)
class TestCanon99(unittest.TestCase, CanonNotEqualTest):
def setUp(self):
self.a = Expression()
self.b = Expression()
self.b.decapitate("relation")
class TestCanon99(unittest.TestCase, CanonNotEqualTest):
def setUp(self):
self.a = Expression()
self.b = Expression()
self.b.decapitate("relation")
def test_plus_makes_copy(self):
other = Expression()
other.decapitate("blabla")
a = self.e + other
self.assertFalse(a is other or self.e is other or a is self.e)
