summaryrefslogtreecommitdiffstats
path: root/rtemsspec/specverify.py
diff options
context:
space:
mode:
Diffstat (limited to 'rtemsspec/specverify.py')
-rwxr-xr-xrtemsspec/specverify.py8
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)