Análise sintática e léxixa

Introdução

Aviso

Esta extensão é EXPERIMENTAL. O comportamento desta extensão, incluindo os nomes de suas funções e qualquer outra documentação relacionada a esta extensão, pode mudar sem aviso prévio em futuras versões do PHP. Use por sua conta e risco.

A extensão Parle fornece recursos gerais de análise sintática e léxica. A implementação é baseada » nestas bibliotecas e requer um compilador compatível com » C++14. O analisador léxico é baseado na correspondência de expressões regulares, e o analisador sintático é LALR(1). Analisadores sintáticos e léxicos são gerados dinamicamente e podem ser usados imediatamente após sua finalização. Parle lida com análise sintática e léxica, e a representação e o processamento apropriados das estruturas de dados são tarefa do implementador. A serialização e a geração de código ainda não são suportadas pela extensão.

A análise léxica é o processo de divisão de uma sequência de caracteres em uma lista de lexemas. A lista de lexemas pode então ser usada para análise sintática em relação a uma gramática formal. Essas operações também são conhecidas como análise léxica e interpretação. Esta documentação não pretende fornecer informações exaustivas sobre análise léxica e interpretação. Boas fontes de informações a esse respeito estão disponíveis em diversos recursos na rede. Vários exemplos de uso foram incluídos para demonstrar a funcionalidade. A extensão é útil para programadores PHP que desejam aprender ou utilizar análise sintática e interpretação. Máquinas de estado e análise gramatical não precisam ser implementadas manualmente; essas tarefas complexas são eliminadas pelo Parle. Graças a isso, o desenvolvimento pode ser focado na resolução real do problema.

O caso de uso comum para Parle é quando um formato de dados é muito complexo para ser manipulado pela expressão regular correspondente com PCRE. A aplicação prática é ampla, seja para um formato de dados específico, uma modificação de comportamento de funções existentes, até mesmo uma linguagem de programação própria e muito mais. Métodos auxiliares como Parle\Lexer::dump() para inspecionar a máquina de estados gerada, ou Parle\Parser::dump() para inspecionar a gramática gerada, são úteis. O método Parle\Parser::trace() também pode ser usado para rastrear a operação de análise sintática.

Instalação/Configuração
- Dependências
- Instalação
Constantes predefinidas
Correspondência de padrões — Correspondência de padrões do Parle
Exemplos
- Exemplos de Lexer
- Exemplos de Parser
Parle\Lexer — A classe Parle\Lexer
- Parle\Lexer::advance — Processa a próxima regra do analisador léxico
- Parle\Lexer::build — Finaliza o conjunto de regras do analisador léxico
- Parle\Lexer::callout — Define função de retorno para token
- Parle\Lexer::consume — Passa os dados para processamento
- Parle\Lexer::dump — Despeja a máquina de estados
- Parle\Lexer::getToken — Obtém o token atual
- Parle\Lexer::insertMacro — Insere macro de expressão regular
- Parle\Lexer::push — Adiciona uma regra de análise léxica
- Parle\Lexer::reset — Redefine o analisador léxico
Parle\RLexer — A classe Parle\RLexer
- Parle\RLexer::advance — Processa a próxima regra do analisador léxico
- Parle\RLexer::build — Finaliza o conjunto de regras do analisador léxico
- Parle\RLexer::callout — Define função de retorno para token
- Parle\RLexer::consume — Passa os dados para processamento
- Parle\RLexer::dump — Despeja a máquina de estados
- Parle\RLexer::getToken — Obtém o token atual
- Parle\RLexer::insertMacro — Insere macro de expressão regular
- Parle\RLexer::push — Adiciona uma regra de análise léxica
- Parle\RLexer::pushState — Insere na pilha um novo estado inicial
- Parle\RLexer::reset — Redefine o analisador léxico
Parle\Parser — A classe Parle\Parser
- Parle\Parser::advance — Processa a próxima regra do analisador
- Parle\Parser::build — Finaliza as regras gramaticais
- Parle\Parser::consume — Consome os dados para processamento
- Parle\Parser::dump — Despeja a gramática
- Parle\Parser::errorInfo — Obtém informação do erro
- Parle\Parser::left — Declara um token com associatividade à esquerda
- Parle\Parser::nonassoc — Declara um token sem associatividade
- Parle\Parser::precedence — Declara uma regra de precedência
- Parle\Parser::push — Adiciona uma regra gramatical
- Parle\Parser::reset — Redefine estado do analisador
- Parle\Parser::right — Declara um token com associatividade à direita
- Parle\Parser::sigil — Recupera uma parte correspondente de uma regra
- Parle\Parser::sigilCount — Número de elementos na regra correspondente
- Parle\Parser::sigilName — Recupera um nome de regra ou de token
- Parle\Parser::token — Declara um token
- Parle\Parser::tokenId — Obtém o ID do token
- Parle\Parser::trace — Rastreia a operação do analisador
- Parle\Parser::validate — Valida entrada
Parle\RParser — A classe Parle\RParser
- Parle\RParser::advance — Processa a próxima regra do analisador
- Parle\RParser::build — Finaliza as regras gramaticais
- Parle\RParser::consume — Consome os dados para processamento
- Parle\RParser::dump — Despeja a gramática
- Parle\RParser::errorInfo — Obtém informação do erro
- Parle\RParser::left — Declara um token com associatividade à esquerda
- Parle\RParser::nonassoc — Declara um token sem associatividade
- Parle\RParser::precedence — Declarar uma regra de precedência
- Parle\RParser::push — Adiciona uma regra gramatical
- Parle\RParser::reset — Redefine estado do analisador
- Parle\RParser::right — Declara um token com associatividade à direita
- Parle\RParser::sigil — Recupera uma parte correspondente de uma regra
- Parle\RParser::sigilCount — Número de elementos na regra correspondente
- Parle\RParser::sigilName — Recupera um nome de regra ou de token
- Parle\RParser::token — Declara um token
- Parle\RParser::tokenId — Obtém o ID do token
- Parle\RParser::trace — Rastreia a operação do analisador
- Parle\RParser::validate — Valida entrada
Parle\Stack — A classe Parle\Stack
- Parle\Stack::pop — Remove um item da pilha
- Parle\Stack::push — Insere um item na pilha
Parle\Token — A classe Parle\Token
Parle\ErrorInfo — A classe Parle\ErrorInfo
Parle\LexerException — A classe Parle\LexerException
Parle\ParserException — A classe Parle\ParserException