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')
