module validation

irx.analysis.validation

Source: packages/irx/src/irx/analysis/validation.py:1

Validation helpers for semantic analysis.

Collect the focused validation routines that emit diagnostics for assignments, calls, casts, and temporal literals.

Functions

_callable_resolution — Return the canonical callable wrapper for one semantic function.
_implicit_conversion_note — Describe one rejected implicit conversion when relevant.
_is_void_call_value — Return whether one AST value is the result of a void call.
_is_void_return_sentinel — Return whether one AST value represents a bare void return.
_variadic_argument_type — Return the normalized type for one C-style variadic argument.
resolve_return — Validate one return statement.
validate_assignment — Validate an assignment.
validate_calendar_date — Validate a date component.
validate_call — Validate a function call.
validate_cast — Validate a cast expression.
validate_literal_datetime — Validate an astx datetime literal.
validate_literal_time — Validate an astx time literal.
validate_literal_timestamp — Validate an astx timestamp literal.