1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
"""Cross-cutting invariants that must hold for every registered library Pattern."""
from collections.abc import Iterator
import pytest
import edify.library as library_module
from edify import Pattern
def _registered_patterns() -> Iterator[tuple[str, Pattern]]:
for name in sorted(dir(library_module)):
if name.startswith("_"):
continue
value = getattr(library_module, name)
if isinstance(value, Pattern):
yield name, value
REGISTERED_PATTERNS: list[tuple[str, Pattern]] = list(_registered_patterns())
_IDS = [registered_name for registered_name, _ in REGISTERED_PATTERNS]
@pytest.mark.parametrize(("name", "pattern"), REGISTERED_PATTERNS, ids=_IDS)
def test_to_regex_string_matches_the_compiled_pattern_source(name: str, pattern: Pattern):
emitted_source = pattern.to_regex_string()
compiled_source = pattern.to_regex().source
assert emitted_source == compiled_source, (
f"library pattern {name!r} emits {emitted_source!r} but its compiled Regex reports "
f"{compiled_source!r} — the terminals have drifted apart."
)
@pytest.mark.parametrize(("name", "pattern"), REGISTERED_PATTERNS, ids=_IDS)
def test_dict_round_trip_preserves_the_emitted_regex(name: str, pattern: Pattern):
restored = Pattern.from_dict(pattern.to_dict())
assert restored.to_regex_string() == pattern.to_regex_string(), (
f"library pattern {name!r} does not survive a to_dict/from_dict round trip."
)
@pytest.mark.parametrize(("name", "pattern"), REGISTERED_PATTERNS, ids=_IDS)
def test_json_round_trip_preserves_the_emitted_regex(name: str, pattern: Pattern):
restored = Pattern.from_json(pattern.to_json())
assert restored.to_regex_string() == pattern.to_regex_string(), (
f"library pattern {name!r} does not survive a to_json/from_json round trip."
)
|
