[UR] Move validation of range() to spec parsing

Author: Petr Vesely

scripts/parse_specs.py

@@ -326,6 +326,10 @@ def __validate_params(d, tags):
 
             if item['type'].endswith("flag_t"):
                 raise Exception(prefix+"'type' must not be '*_flag_t': %s"%item['type'])
+        
+            if type_traits.is_pointer(item['type']) and "_handle_t" in item['type'] and "[in]" in item['desc']:
+                if not param_traits.is_range(item):
+                    raise Exception(prefix+"handle type must include a range(start, end) as part of 'desc'")
 
             ver = __validate_version(item, prefix=prefix, base_version=d_ver)
             if ver < max_ver:

scripts/templates/helper.py

@@ -1148,9 +1148,6 @@ def get_loader_prologue(namespace, tags, obj, meta):
             fty_name = re.sub(r"(\w+)_handle_t", r"\1_factory", tname)
 
             if type_traits.is_pointer(item['type']):
-                if not param_traits.is_range(item):
-                    print(item)
-                    raise Exception("Pointer to a handle parameter requires a `[range(start, end)]` check as part of the description.")
                 range_start = param_traits.range_start(item)
                 range_end   = param_traits.range_end(item)
                 prologue.append({