def test_bar_star_ok(self: 'TestIsRegex') -> None:
"""Bar-star regexes accepted?"""
bar_star_list = [
'(0|1)*', '(0*|1)', '(1|0*)', '(0|(1|2*))*', '((0|1)*|2)*'
]
for r in bar_star_list:
self.assertTrue(is_regex(r), "Rejects valid regex: {}".format(r))
def test_dot_star_ok(self: 'TestIsRegex') -> None:
"""Dot-star regexes accepted?"""
dot_star_list = [
'(0.1)*', '(0*.1)', '(1.0*)', '(0.(1.2*))*', '((0.1)*.2)*'
]
for r in dot_star_list:
self.assertTrue(is_regex(r), "Rejects valid regex: {}".format(r))
def test_bar_star_dot_ok(self: 'TestIsRegex') -> None:
"""Bar-star-dot regexes accepted?"""
bar_star_dot_list = [
'((0.e)|(1*.2))*', '((0|e).(1*|2))*', '(0|(1*.2))*',
'((0|1)|(2*.(e|0)))*', '((0.1).(2*|(e.0)))*'
]
for r in bar_star_dot_list:
self.assertTrue(is_regex(r), "Rejects valid regex: {}".format(r))
def test_bar_dot_ok(self: 'TestIsRegex') -> None:
"""Bar-dot regexes accepted?"""
bar_dot_list = [
'((0.1)|(2.e))', '((0|1).(2|e))', '((0|1).e)', '(0.(2|e))',
'((0.1)|e)', '(1|(2.e))', '((0.1)|(2|e))', '((0|1).(2.e))'
]
for r in bar_dot_list:
self.assertTrue(is_regex(r), "Rejects valid regex: {}".format(r))
def test_bar_star_dot_fail(self: 'TestIsRegex') -> None:
"""Bar-star-dot non-regexes rejected?"""
bad_bar_star_dot_list = [
'0*|1.2', '((0*)|(1).(2))', '(0.1|2*)', '((0*|(1.2)))',
'((0.1*)|(2*)', '((0|1).(2|((1.0))))*', '((0.1)|(2.((1|0))))*'
]
for r in bad_bar_star_dot_list:
self.assertFalse(is_regex(r),
"Accepts invalid regex: {}".format(r))
def test_dot_star_fail(self: 'TestIsRegex') -> None:
"""Dot-star-like non-regexes rejected?"""
bad_dot_star_list = ['0.1*', '*(0.1)', '(*0.1)', '(1.*0)', '(.0(1.2*)']
for r in bad_dot_star_list:
self.assertFalse(is_regex(r),
"Accepts invalid regex: {}".format(r))
def test_bar_star_fail(self: 'TestIsRegex') -> None:
"""Bar-star-like non-regexes rejected?"""
bad_bar_star_list = ['0|1*', '*(0|1)', '(*0|1)', '(1|*0)', '(|0(1|2*)']
for r in bad_bar_star_list:
self.assertFalse(is_regex(r),
"Accepts invalid regex: {}".format(r))
def test_bar_dot_fail(self: 'TestIsRegex') -> None:
"""Bar-dot-line non-regexes rejected?"""
bad_bar_dot_list = ['(0.1|2.e)', '(.2|e)', '((0.1)|(1.2.0))', '(.|)']
for r in bad_bar_dot_list:
self.assertFalse(is_regex(r),
"Accepts invalid regex: {}".format(r))
def test_star_fail(self: 'TestIsRegex') -> None:
"""Star-like non-regexes rejected?"""
bad_star_list = ['*1', '*', '(2*)', '0*1', '(1)*']
for r in bad_star_list:
self.assertFalse(is_regex(r),
"Accepts invalid regex: {}".format(r))
def test_dot_fail(self: 'TestIsRegex') -> None:
"""Dot-like non-regexes rejected?"""
bad_dot_list = ['0.1', '(0.1.2)', '.', '(.)', '(00.1)']
for r in bad_dot_list:
self.assertFalse(is_regex(r),
"Accepts invalid regex: {}".format(r))
def test_star_ok(self: 'TestIsRegex') -> None:
"""Star regexes accepted?"""
star_list = ['e*', '0*', '1*', '2*']
for r in star_list:
self.assertTrue(is_regex(r), "Rejects valid regex: {}".format(r))
def test_dot(self: 'TestIsRegex') -> None:
"""Dot regexes accepted?"""
dot_regex_list = ['(0.1)', '(0.e)', '(1.1)', '(1.e)', '(2.1)']
for r in dot_regex_list:
self.assertTrue(is_regex(r), "Rejects valid regex: {}".format(r))
def test_bar_fail(self: 'TestIsRegex') -> None:
"""Bar-like non-regexes rejected?"""
bad_bar_list = ['0|1', '(0|1|2)', '|', '(|)', '(00|1)']
for r in bad_bar_list:
self.assertFalse(is_regex(r),
"Accepts invalid regex: {}".format(r))
def test_bar(self: 'TestIsRegex') -> None:
"""Bar regexes accepted?"""
bar_regex_list = ['(0|1)', '(0|e)', '(1|1)', '(1|e)', '(2|1)']
for r in bar_regex_list:
self.assertTrue(is_regex(r), "Rejects valid regex: {}".format(r))
def test_leaf_fail(self: 'TestIsRegex') -> None:
"""Leaf non-regexes rejected?"""
bad_leaf_list = ['3', '00', '', '(1)']
for r in bad_leaf_list:
self.assertFalse(is_regex(r),
"Accepts invalid regex: {}".format(r))
def test_leaf_ok(self: 'TestIsRegex') -> None:
"""Leaf regular expressions accepted?"""
leaf_list = ['0', '1', '2', 'e']
for r in leaf_list:
self.assertTrue(is_regex(r), "Rejects valid regex: {}".format(r))
