def test_not_replacement(self): with self.subTest(): self.assertEqual(EP.standardize_string('a not b'), 'a ~ b') with self.subTest(): self.assertEqual(EP.standardize_string('not b'), '~ b') with self.subTest(): self.assertEqual(EP.standardize_string('testnot'), 'testnot') with self.subTest(): self.assertEqual(EP.standardize_string('nottest'), 'nottest') with self.subTest(): self.assertEqual(EP.standardize_string('!b'), '~ b') with self.subTest(): self.assertEqual(EP.standardize_string('! b'), '~ b') with self.subTest(): self.assertEqual(EP.standardize_string('~'), '~')
def test_if_replacement(self): with self.subTest(): self.assertEqual(EP.standardize_string('a if b'), 'a > b') with self.subTest(): self.assertEqual(EP.standardize_string('testif'), 'testif') with self.subTest(): self.assertEqual(EP.standardize_string('iftest'), 'iftest') with self.subTest(): self.assertEqual(EP.standardize_string('a -> b'), 'a > b') with self.subTest(): self.assertEqual(EP.standardize_string('a --> b'), 'a > b') with self.subTest(): self.assertEqual(EP.standardize_string('>'), '>')
def test_or_replacement(self): with self.subTest(): self.assertEqual(EP.standardize_string('a or b'), 'a + b') with self.subTest(): self.assertEqual(EP.standardize_string('testor'), 'testor') with self.subTest(): self.assertEqual(EP.standardize_string('ortest'), 'ortest') with self.subTest(): self.assertEqual(EP.standardize_string('a\\/b'), 'a + b') with self.subTest(): self.assertEqual(EP.standardize_string('a \\/ b'), 'a + b') with self.subTest(): self.assertEqual(EP.standardize_string('+'), '+')
def test_and_replacement(self): with self.subTest(): self.assertEqual(EP.standardize_string('a and b'), 'a * b') with self.subTest(): self.assertEqual(EP.standardize_string('testand'), 'testand') with self.subTest(): self.assertEqual(EP.standardize_string('andtest'), 'andtest') with self.subTest(): self.assertEqual(EP.standardize_string('a/\\b'), 'a * b') with self.subTest(): self.assertEqual(EP.standardize_string('a /\\ b'), 'a * b') with self.subTest(): self.assertEqual(EP.standardize_string('*'), '*')
def test_trailing_spaces_replacement(self): self.assertEqual(EP.standardize_string(' a '), 'a')
def test_complex_expression_no_spaces(self): self.assertEqual(EP.standardize_string('a/\\b\\/c-->d<->e!f'), 'a * b + c > d = e ~ f')
def test_complex_expression(self): self.assertEqual(EP.standardize_string( 'a and b or c if d iff e not f'), 'a * b + c > d = e ~ f')
def test_space_replacement(self): self.assertEqual(EP.standardize_string('a b'), 'a b')
def test_iff_replacement(self): with self.subTest(): self.assertEqual(EP.standardize_string('a iff b'), 'a = b') with self.subTest(): self.assertEqual(EP.standardize_string('testiff'), 'testiff') with self.subTest(): self.assertEqual(EP.standardize_string('ifftest'), 'ifftest') with self.subTest(): self.assertEqual(EP.standardize_string('a if and only if b'), 'a = b') with self.subTest(): self.assertEqual(EP.standardize_string('a <-> b'), 'a = b') with self.subTest(): self.assertEqual(EP.standardize_string('a <> b'), 'a = b') with self.subTest(): self.assertEqual(EP.standardize_string('a == b'), 'a = b') with self.subTest(): self.assertEqual(EP.standardize_string('='), '=') with self.subTest(): self.assertEqual(EP.standardize_string('testif and only if b'), 'testif * only > b') with self.subTest(): self.assertEqual(EP.standardize_string('a if and only iftest'), 'a > * only iftest') with self.subTest(): self.assertEqual(EP.standardize_string('a === b'), 'a = b')