diff options
Diffstat (limited to 'rtemsspec/specverify.py')
-rwxr-xr-x | rtemsspec/specverify.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/rtemsspec/specverify.py b/rtemsspec/specverify.py index 060a39d0..2f8f058c 100755 --- a/rtemsspec/specverify.py +++ b/rtemsspec/specverify.py @@ -241,6 +241,13 @@ class _Verifier: """ Resolves the type refinements for this type. """ +class _AnyVerifier(_Verifier): + def verify(self, path: _Path, _value: Any) -> Set[str]: + """ Does not verify the value. """ + self.verify_info(path) + return set() + + class _NameVerifier(_Verifier): def verify(self, path: _Path, value: Any) -> Set[str]: """ Verifies a name. """ @@ -493,6 +500,7 @@ class SpecVerifier: # pylint: disable=too-few-public-methods def __init__(self, item_cache: ItemCache, root_uid: str): verifier_map = {} # type: _VerifierMap + _AnyVerifier("any", verifier_map) _NameVerifier("name", verifier_map) _UIDVerifier("uid", verifier_map) _Verifier("bool", verifier_map) |