fix(linter): don't flag None range on any_of/exactly_one_of slots

Author: binggao1230

packages/linkml/src/linkml/linter/rules.py

@@ -274,6 +274,14 @@ def check(self, schema_view: SchemaView, fix: bool = False) -> Iterable[LinterPr
             for slot in schema_view.class_induced_slots(class_name):
                 slot_range: set[ElementName] = set(schema_view.slot_range_as_union(slot))
 
+                # slot_range_as_union includes a None entry for a slot whose
+                # top-level `range` is unset. That is only undeclared when the
+                # slot offers no other range; when a boolean range expression
+                # (any_of / exactly_one_of) supplies concrete ranges, the None
+                # is expected and must not be reported (#3477).
+                if None in slot_range and len(slot_range) > 1:
+                    slot_range.discard(None)
+
                 # check slot range is valid
                 for range_name in slot_range:
                     if range_name not in all_possible_ranges:

tests/linkml/test_linter/test_rule_no_undeclared_ranges.py

@@ -361,6 +361,49 @@ def test_undeclared_ranges_Any(range_type: str) -> None:
     assert problems[0].message == "Class 'SomeClass' slot 'some_slot' range 'spreadsheet' is not defined."
 
 
+@pytest.mark.parametrize("range_type", ["any_of", "exactly_one_of"])
+def test_expression_range_without_top_level_range_no_false_positive(range_type: str) -> None:
+    """A slot whose range is expressed only through a boolean expression (no top-level
+    ``range``) must not be reported as having an undeclared ``None`` range (#3477)."""
+    test_schema = f"""id: http://example.org/test_undeclared_ranges
+
+classes:
+  Foo:
+    attributes:
+      bar:
+        {range_type}:
+          - range: integer
+          - range: string
+
+types:
+  integer:
+  string:
+"""
+    assert not check_schema(test_schema)
+
+
+@pytest.mark.parametrize("range_type", ["any_of", "exactly_one_of"])
+def test_expression_range_without_top_level_range_still_flags_undefined(range_type: str) -> None:
+    """An undefined range inside a boolean expression is still flagged by name even
+    when the slot has no top-level ``range`` — and never reported as ``None`` (#3477)."""
+    test_schema = f"""id: http://example.org/test_undeclared_ranges
+
+classes:
+  Foo:
+    attributes:
+      bar:
+        {range_type}:
+          - range: string
+          - range: spreadsheet
+
+types:
+  string:
+"""
+    problems = check_schema(test_schema)
+    assert len(problems) == 1
+    assert problems[0].message == "Class 'Foo' slot 'bar' range 'spreadsheet' is not defined."
+
+
 @pytest.mark.parametrize("range_type", ["any_of", "exactly_one_of"])
 def test_undeclared_ranges_Any_in_slots(range_type: str) -> None:
     """Test that declaring an 'Any' range with undefined types throws an error.