Esempio n. 1
0
 def test_str(self):
     # Arrange.
     b = S(I(), I())
     # Act.
     s = str(b)
     # Assert.
     self.assertEqual(s, "(ISI)")
Esempio n. 2
0
 def test_var_eq(self):
     # Arrange.
     i = I()
     id = Idea()
     # Act.
     s = i.subst(id, I())
     # Assert.
     self.assertIsNot(s, id)
     self.assertEqual(s, id)
Esempio n. 3
0
 def test_repr(self):
     # Arrange.
     s = S(I(), I())
     # Act.
     r = repr(s)
     e = eval(r)
     # Assert.
     self.assertEqual(r, "S(I(),I())")
     self.assertEqual(e, s)
Esempio n. 4
0
 def test_repr_check(self):
     # Arrange.
     b = BE(I(), I())
     # Act.
     r = repr(b)
     e = eval(r)
     # Assert.
     self.assertEqual(r, "BE(I(),I())")
     self.assertEqual(e, b)
Esempio n. 5
0
 def test_var_neq(self):
     # Arrange.
     i = I()
     # Act.
     s = i.subst(Idea(), Idea())
     # Assert.
     self.assertIsNot(s, i)
     self.assertEqual(s, i)
Esempio n. 6
0
        sleep(espaceLettre)

    elif x.upper() == 'F':
        F()
        sleep(espaceLettre)

    elif x.upper() == 'G':
        G()
        sleep(espaceLettre)

    elif x.upper() == 'H':
        H()
        sleep(espaceLettre)

    elif x.upper() == 'I':
        I()
        sleep(espaceLettre)

    elif x.upper() == 'J':
        J()
        sleep(espaceLettre)

    elif x.upper() == 'K':
        K()
        sleep(espaceLettre)

    elif x.upper() == 'L':
        L()
        sleep(espaceLettre)

    elif x.upper() == 'M':
Esempio n. 7
0
 def test_str(self):
     # Act.
     s = str(I())
     # Assert.
     self.assertEqual(s, 'I')
Esempio n. 8
0
 def test_repr(self):
     # Act.
     r = repr(I())
     # Assert.
     self.assertEqual(r, 'I()')
     self.assertEqual(type(eval(r)), I)
Esempio n. 9
0
 def test_not_eq(self):
     self.assertEqual(I() == Idea(), False)
Esempio n. 10
0
 def test_eq(self):
     self.assertEqual(I() == I(), True)
Esempio n. 11
0
 def test_eq_is_reflexive(self):
     # Arrange.
     i = I()
     # Act & Assert.
     self.assertEqual(i == i, True)