Imported from robotics-4-all/demol (demol/lang/semantics/validators/AGENTS.md). Install upstream with npx skills add robotics-4-all/demol --skill validators. Copyright stays with the author.

demol/lang/semantics/validators/ — Validator Classes

OVERVIEW

16 files (15 concrete + base.py) implementing BaseValidator, exposing 21 validator classes across 14 validation domains. All registered in demol/lang/device.py via run_rule(). See ../README.md for the framework guide.

VALIDATOR INVENTORY

ADDING A VALIDATOR

from ..core import raise_validation_error, report_passed_rule
from .base import BaseValidator

class MyValidator(BaseValidator):
    @staticmethod
    def get_name() -> str:
        return "[My-Rule-Name]"          # [Category-Rule] convention

    @staticmethod
    def get_description() -> str:
        return "Checks that X holds"

    @staticmethod
    def validate(model, **kwargs):
        for item in model.items:
            if not item.valid:
                raise_validation_error(item, f"Item {item.name} is invalid", "[My-Rule-Name]")
        report_passed_rule("[My-Rule-Name]")   # Always call on success

Register in demol/lang/device.py: run_rule("My Rule", MyValidator.validate, model)

ANTI-PATTERNS

• Never import from ../../semantics.py monolith in new validators
• Never raise TextXSemanticError directly — always use raise_validation_error() from ..core
• Rule name strings must follow [Category-Rule] format
• Always call report_passed_rule() at end of a fully successful validation pass
• Never call clear_validation_results() from within a validator (only test fixtures)