Generator . Boost , Spirit 2.5.2 , Generator Concepts

Generator

Description

Генератор является самой фундаментальной концепцией. Генератор имеет функцию члена, генерат, который принимает OutputIterator и возвращает дурака в результате. Итератор получает данные, которые генерируются. Генератор генерат функция члена возвращает Правда, если генератор работает. Каждый генератор может представлять определенный шаблон или алгоритм, или это может быть более сложный генератор, сформированный как состав других генераторов.

Notation

g: A Generator.
G: A Generator тип.
OutIter: OutputIterator тип.
sink: An OutputIterator instance.
Context: Контекстный тип генератора.
context: Контекст генератора, или неиспользованный.
delimit: неиспользуется.
attrib: Совместимые атрибуты, или неиспользуемые.

Valid Expressions

В приведенных ниже выражениях поведение генератора, g, а также то, как delimit и attrib обрабатываются g, остаются неопределенными в базе Generator. Они указаны в последующих, более утонченных концепциях и их фактических моделях.

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

Выражение

Семантика

Тип возврата

g.generate(sink, context, delimit, attrib)

Создайте последовательность вывода, вставляя созданные символы/токены в sink. Используйте генератор delimit для делимитации. Возвращение Правда, если это успешно, в противном случае возврат false.

bool

g. what(context)

Получить информацию о генераторе.

info

Type Expressions

Выражение	Описание
`G::template ttribute<Контекст>::type<318>`	Атрибут генератора.
`лоты::is_generator<G>::type`	Метафункция, которая оценивает до `mpl:: True_` если определенный тип, `G` является генератором, `mpl::false_` в противном случае (см. MPL Boolean Constant).
`G::properties`	An `mpl::int_` (см. MPL Integral Constant) с значением от `karma::generator_properties`. Значение по умолчанию - `генератор_помещения::no_properties`

Postcondition

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

На успешном поколении sink получает последовательность сгенерированных символов/токонов.
Никаких пре-ограничений: delimit символы/токены не будут выпущены перед любым другим выходом.
Атрибут attrib не был изменен.

Models

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

Статья Generator раздела Spirit 2.5.2 Generator Concepts может быть полезна для разработчиков на c++ и boost.

Generator

Boost , Spirit 2.5.2 , Generator Concepts

Boost C++ Libraries

Generator

Description

Valid Expressions

Type Expressions

Postcondition

Models