lawref.textpattern

Образец текста §257.1 (errata E-0166): разбор и полное совпадение.

Закрытый детерминированный диалект, определённый prose, а не regex-движком: литеральные кодовые точки с экранированием \, . — любая кодовая точка, \d — цифра 0–9 (только ASCII), классы […] с диапазонами и ^, счётчики ?, {n}, {n,m}. Ни чередования, ни групп, ни обратных ссылок, ни незамкнутых счётчиков: у каждого образца конечное множество длин, и совпадение всегда завершается. Совпадение — по кодовым точкам после NFC §13; документы канона §208 уже несут NFC, поэтому здесь ничего не нормализуется.

Формулировки отказов — БАЙТОВЫЙ КОНТРАКТ: движок (law_canon::text_pattern) повторяет их дословно, и check_differential сверяет тотальный TYPE_ERROR над образцом-значением слово в слово.

Attributes

Name	Description
COUNT_MAX	No description.

Classes

Name	Description
Pattern	No description.
PatternError	Образец не по грамматике §257.1; reason — фиксированная формулировка.

Functions

Name	Description
compile_pattern	Разбор по грамматике §257.1; отказ — PatternError с фиксированной причиной.
text_matches	Удобная форма: разбор и совпадение за один вызов (исключение — PatternError).

COUNT_MAXattributemodule attribute#

View source

COUNT_MAX = 65535

Patternclassdataclass#

View source

class Pattern(pieces: tuple[tuple[_Atom, int, int], ...])

piecesattributeinstance attribute#

View source

pieces: tuple[tuple[_Atom, int, int], ...]

matchesmethod#

View source

def matches(text: str) -> bool

Полное совпадение: весь текст против всего образца (якоря подразумеваются).

PatternErrorclass#

View source

class PatternError(reason: str)

Bases: ValueError

Образец не по грамматике §257.1; reason — фиксированная формулировка.

reasonattributeinstance attribute#

View source

reason = reason

compile_patternfunction#

View source

def compile_pattern(pattern: str) -> Pattern

Разбор по грамматике §257.1; отказ — PatternError с фиксированной причиной.

text_matchesfunction#

View source

def text_matches(text: str, pattern: str) -> bool

Удобная форма: разбор и совпадение за один вызов (исключение — PatternError).