Description

Лексерявляется наиболее фундаментальным понятием. Lexer имеет функцию члена,собирают, которая принимает контейнер определения токена.Def, и к названию состояния лексера необходимо добавить токеновые определения лексера-компонента (струна). Он не возвращает ничего (тип возвратапустота). Каждый Лексер может представлять собой определенный шаблон или алгоритм, или это может быть более сложный лексерный компонент, сформированный как композиция другого Лексера. Кроме того, Lexer раскрывает участникаadd_actions, который принимает контейнер определения токенаОшибка, при этом ничего не возвращая (опять же, возвращаемый типнедействителен).

Valid Expressions

В приведенных ниже выражениях поведение лексерной составляющейlостается неопределенным в основании.Лексерконцепция. Они конкретизируются в последующих, более утонченных понятиях и их фактических моделях.

Для любого Lexer должны быть действительны следующие выражения:

Type Expressions

Postcondition

По возвращении изl.собратьследующие условия должно содержать:

По возвращении изl.add_actionsдолжны соблюдаться следующие условия поста:

Models

Все компоненты лексера вSpirit.Lexявляются моделями концепцииЛексера.