Module

contracts.template_scan

Template source scanners used by contracts checker.

Functions

get_form_method 2 str | None
Return POST only when form has method='post', otherwise GET.
def get_form_method(source: str, action_pos: int) -> str | None
Parameters
Name Type Description
source str
action_pos int
Returns
str | None
extract_targets_from_source 1 list[tuple[str, str, str…
Extract (attr_name, url, method_override) from template source.
def extract_targets_from_source(source: str) -> list[tuple[str, str, str | None]]
Parameters
Name Type Description
source str
Returns
list[tuple[str, str, str | None]]
extract_hx_target_selectors 1 list[str]
Extract static hx-target selector values from source.
def extract_hx_target_selectors(source: str) -> list[str]
Parameters
Name Type Description
source str
Returns
list[str]
extract_static_ids 1 set[str]
Extract static id= values from source.
def extract_static_ids(source: str) -> set[str]
Parameters
Name Type Description
source str
Returns
set[str]
extract_template_references 1 set[str]
Extract static template references from Kida template tags.
def extract_template_references(source: str) -> set[str]
Parameters
Name Type Description
source str
Returns
set[str]
extract_fragment_island_ids 1 set[str]
Extract id values from fragment_island() macro calls.
def extract_fragment_island_ids(source: str) -> set[str]
Parameters
Name Type Description
source str
Returns
set[str]
extract_ids_with_disinherit 1 set[str]
Extract id values from elements that have hx-disinherit.
def extract_ids_with_disinherit(source: str) -> set[str]
Parameters
Name Type Description
source str
Returns
set[str]
extract_mutation_target_ids 1 set[str]
Extract #id values from hx-target when element is mutating.
def extract_mutation_target_ids(source: str) -> set[str]
Parameters
Name Type Description
source str
Returns
set[str]
load_template_sources 1 dict[str, str]
Load all template sources from environment loader.
def load_template_sources(kida_env: Any) -> dict[str, str]
Parameters
Name Type Description
kida_env Any
Returns
dict[str, str]