Module

contracts.rules_fragment_scope

Fragment/block render scope contract checks.

1Class3Functions

Classes

_ScopedBinding 4 ▼

Attributes

Name Type Description
name str —
owner_block str —
kind str —
lineno int | None —

Functions

_extract_name_targets 1 frozenset[str] ▼
Return names assigned by a Kida target expression.
def _extract_name_targets(expr: object) -> frozenset[str]
Parameters
Name Type Description
expr object
Returns
frozenset[str]
_binding_names 1 frozenset[tuple[str, str… ▼
Return ``(name, kind)`` pairs introduced by one Kida AST node.
def _binding_names(node: object) -> frozenset[tuple[str, str]]
Parameters
Name Type Description
node object
Returns
frozenset[tuple[str, str]]
check_fragment_block_scope 2 list[ContractIssue] ▼
Warn when fragment blocks depend on ancestor-block local bindings.
def check_fragment_block_scope(template_sources: Mapping[str, str], kida_env: Environment | None) -> list[ContractIssue]
Parameters
Name Type Description
template_sources Mapping[str, str]
kida_env Environment | None
Returns
list[ContractIssue]