Производство шаблона Pattern :: Disjunction оценивается следующим образом: 1. Оцените Разъединение Disjunction с 1 в качестве аргумента направления direction, чтобы получить Сопоставитель Matcher m. 2. Верните новое Абстрактное Замыкание с параметрами (str, index), которое захватывает m и при вызове выполняет следующие шаги: а. Утверждено: Тип(str) - это String. b. Утверждено: […]
Архивы по дням: 20.05.2021
4 записи
С параметром направления direction. Производство Alternative :: [empty] оценивается следующим образом: 1. Верните новый Matcher с параметрами (x, c), который ничего не захватывает и при вызове выполняет следующие шаги: a. Утвердить: x является состоянием State. b. Утвердить: c является продолжением Continuation. c. Вернуть c(x). Производство Alternative :: Alternative Term […]
С параметром направления — direction. Производство Term :: Assertion оценивается следующим образом: 1. Верните совпадение (Matcher), которое является результатом оценки Утверждения Assertion. Примечание Результирующий Matcher не зависит от направления direction. Производство Term :: Atom оценивается следующим образом: 1. Верните Matcher, который является результатом вычисления Атома Atom с аргументом направления direction. […]
Производство квантификатора Quantifier :: QuantifierPrefix оценивается следующим образом: 1. Оцените QuantifierPrefix, чтобы получить два результата: целое число min и целое число (или +∞) max. 2. Верните три результата min, max и true. Производство квантификатора Quantifier :: QuantifierPrefix ? оценивается следующим образом: 1. Оцените QuantifierPrefix, чтобы получить два результата: целое число […]