Разбор и лексирование

Введение

Внимание

Модуль добавили как ЭКСПЕРИМЕНТАЛЬНЫЙ. Поведение модуля, названия функций и документацию к модулю изменяют в новых выпусках PHP без уведомления. Модулем пользуются на свой страх и риск.

Модуль parle предоставляет средства общего назначения для лексического анализа и синтаксического разбора. Реализация основана на » этих библиотеках и требует компилятора, поддерживающего » C++14. Лексический анализатор основан на сопоставлении регулярных выражений, синтаксический анализатор — на алгоритме LALR(1). Лексеры и парсеры генерируются на лету и готовы к работе сразу после завершения генерации. Parle занимается синтаксическим анализом и лексированием, соответствующее представление и обработка структур данных — задача разработчика. Модуль пока не поддерживает сериализацию и генерацию кода.

Лексический анализ — разбиение последовательности символов на список лексем. На основе списка лексем затем строится синтаксический анализ, который определяет соответствие синтаксиса формальной грамматике. Эти операции знают как лексирование и синтаксический анализ. Эта документация не ставит перед собой цель предоставить исчерпывающую информацию о лексировании и синтаксическом анализе. Полезная информация по синтаксическому и лексическому анализу доступна на сетевых ресурсах. Документация включает несколько примеров, чтобы показать, как работает модуль. Модуль полезен для PHP-программистов, которые изучают или планируют заниматься синтаксическим анализом и лексированием. Конечные автоматы и разбор грамматики не потребуется выполнять вручную, эти сложные задачи берёт на себя модуль Parle. Поэтому разработке проще сосредоточиться на решении практических вопросов.

Модулем Parle часто пользуются, когда формат данных слишком сложен для обработки сопоставлением с регулярными выражениями средствами модуля PCRE. Практическое применение модуля при этом шире. Модуль помогает анализировать конкретный формат данных, модифицировать поведение текущих функций, даже разрабатывать свой язык программирования и в решении вопросов за пределами этих. Пользу приносят и вспомогательные методы наподобие Parle\Lexer::dump(), который проверяет сгенерированный конечный автомат, или метод Parle\Parser::dump(), который проверяет сгенерированную грамматику. Метод Parle\Parser::trace() тоже помогает, когда требуется отследить операцию синтаксического анализа.

Установка и настройка
- Требования
- Установка
Предопределённые константы
Сопоставление с шаблоном — Сопоставление с шаблоном Parle
Примеры
- Примеры использования лексера
- Пример использования парсера
Parle\Lexer — Класс Parle\Lexer
- Parle\Lexer::advance — Обрабатывает следующее правило лексера
- Parle\Lexer::build — Завершает набор правил лексера
- Parle\Lexer::callout — Определяет callback-функцию токена
- Parle\Lexer::consume — Передаёт данные на обработку
- Parle\Lexer::dump — Выводит состояние устройства
- Parle\Lexer::getToken — Получает текущий токен
- Parle\Lexer::insertMacro — Вставляет макрос регулярного выражения
- Parle\Lexer::push — Добавляет правило лексера
- Parle\Lexer::reset — Сбрасывает лексер
Parle\RLexer — Класс Parle\RLexer
- Parle\RLexer::advance — Обработка следующего правила лексера
- Parle\RLexer::build — Завершает набор правил лексера
- Parle\RLexer::callout — Определяет callback-функцию токена
- Parle\RLexer::consume — Передаёт данные для обработки
- Parle\RLexer::dump — Выгружает состояние устройства
- Parle\RLexer::getToken — v
- Parle\RLexer::insertMacro — Вставляет макрос регулярного выражения
- Parle\RLexer::push — Добавляет правило лексера
- Parle\RLexer::pushState — Продвигает новое начальное состояние
- Parle\RLexer::reset — Сбрасывает лексер
Parle\Parser — Класс Parle\Parser
- Parle\Parser::advance — Обрабатывает следующее правило парсера
- Parle\Parser::build — Завершает грамматические правила
- Parle\Parser::consume — Потребляет данные для обработки
- Parle\Parser::dump — Выводит грамматику
- Parle\Parser::errorInfo — Получает информацию об ошибке
- Parle\Parser::left — Объявляет токен с левой ассоциативностью
- Parle\Parser::nonassoc — Объявляет токен без ассоциативности
- Parle\Parser::precedence — Объявляет правило приоритета
- Parle\Parser::push — Добавляет грамматическое правило
- Parle\Parser::reset — Сбрасывает состояние парсера
- Parle\Parser::right — Объявляет токен с правой ассоциативностью
- Parle\Parser::sigil — Извлекает часть совпадения по правилу
- Parle\Parser::sigilCount — Получает количество элементов в совпадающем правиле
- Parle\Parser::sigilName — Получает имя правила или токена
- Parle\Parser::token — Объявляет токен
- Parle\Parser::tokenId — Получает идентификатор токена
- Parle\Parser::trace — Следит за работой парсера
- Parle\Parser::validate — Проверяет входные данные
Parle\RParser — Класс Parle\RParser
- Parle\RParser::advance — Обработка следующего правила парсера
- Parle\RParser::build — Завершает грамматические правила
- Parle\RParser::consume — Использовать данные для обработки
- Parle\RParser::dump — Выводит грамматику
- Parle\RParser::errorInfo — Получает информацию об ошибке
- Parle\RParser::left — Объявляет токен с левой ассоциативностью
- Parle\RParser::nonassoc — Объявляет токен без ассоциативности
- Parle\RParser::precedence — Объявляет правило приоритета
- Parle\RParser::push — Добавляет грамматическое правило
- Parle\RParser::reset — Сбрасывает состояние парсера
- Parle\RParser::right — Объявляет токен с правой ассоциативностью
- Parle\RParser::sigil — Извлекает совпадающую часть по правилу
- Parle\RParser::sigilCount — Получает количество элементов в совпадающем правиле
- Parle\RParser::sigilName — Получает имя правила или токена
- Parle\RParser::token — Объявляет токен
- Parle\RParser::tokenId — Получает идентификатор токена
- Parle\RParser::trace — Следит за работой парсера
- Parle\RParser::validate — Проверяет входные данные
Parle\Stack — Класс Parle\Stack
- Parle\Stack::pop — Извлекает предмет из стека
- Parle\Stack::push — Помещает элемент в стек
Parle\Token — Класс Parle\Token
Parle\ErrorInfo — Класс Parle\ErrorInfo
Parle\LexerException — Класс Parle\LexerException
Parle\ParserException — Класс Parle\ParserException