Description

Синтаксические предикаты утверждают, что определенный условный синтаксис должен быть удовлетворен перед оценкой другого произведения. Подобно семантическим предикатам,<eps>, синтаксические предикаты не потребляют никаких входных данных. Непредикат,<!a>является отрицательным синтаксическим предикатом, который возвращает совпадение нулевой длины только в том случае, если его предикат не соответствует.

Header

// forwards to <boost/spirit/home/qi/operator/not_predicate.hpp>
#include <boost/spirit/include/qi_not_predicate.hpp>

См. такжеВключить структуру.

Model of

Expression Semantics

Семантика выражения определяется только там, где она отличается от или не определена в<UnaryParser>.

Attributes

См.Составные обозначения атрибутов.

Complexity

Example

	Note
	Тестовый ремень для примера (примеров) ниже представлен в разделеОсновные примеры.

Некоторые используют декларации:

using boost::spirit::ascii::char_;
using boost::spirit::ascii::alpha;
using boost::spirit::qi::lit;
using boost::spirit::qi::symbols;

Вот альтернатива идиоме<*(r-x)>>x>с использованием не-предиката. Это анализирует список символов, оканчивающихся на «;»:

test_parser("abcdef;", *(!lit(';') >> char_) >> ';');

Следующий парсер гарантирует, что мы сопоставляем отдельные ключевые слова (хранимые в таблице символов). Для этого мы следим за тем, чтобы ключевое слово не соответствовало альфе или подчеркиванию:

symbols<char, int> keywords;
keywords = "begin", "end", "for";
// This should fail:
test_parser("beginner", keywords >> !(alpha | '_'));
// This is ok:
test_parser("end ", keywords >> !(alpha | '_'), false);
// This is ok:
test_parser("for()", keywords >> !(alpha | '_'), false);