lawref.amend_enum

Шаблон enum-исключения и соседние входы amend (DECISION-0178).

Здесь только структурные операции: применение сравнения §94 и проверку сохранения исходов выполняет обычный evaluate. Сочетания нескольких осей, алиасы enum-типов и значения, не предъявленные const_ref во входе, вне среза.

Attributes

Name	Description
AUTO_REGRESSION_CAP	No description.

Functions

Name	Description
enum_members	No description.
exclude	No description.
prepare	No description.
replace_value	Заменить все вхождения терма и обновить только затронутые хэши.
scenario_key	No description.
valid_edit	No description.

AUTO_REGRESSION_CAPattributemodule attribute#

View source

AUTO_REGRESSION_CAP = 64

enum_membersfunction#

View source

def enum_members(document: dict) -> dict[str, list[dict]]

excludefunction#

View source

def exclude(rule: dict, edits: list[dict]) -> dict

preparefunction#

View source

def prepare(document: dict, targets: list[tuple[str, dict]], observations: list[tuple[str, dict]], reserved: set[str]) -> tuple[list[dict], dict]

replace_valuefunction#

View source

def replace_value(node, old: dict, new: dict)

Заменить все вхождения терма и обновить только затронутые хэши.

scenario_keyfunction#

View source

def scenario_key(scenario: dict) -> bytes

valid_editfunction#

View source

def valid_edit(rule: dict, edit: dict, enums: dict[str, list[dict]]) -> bool