Análisis léxico y sintáctico

Introducción

Advertencia

Esta extensión es EXPERIMENTAL. El comportamiento de esta extensión, los nombres de sus funciones, y toda la documentación alrededor de esta extensión puede cambiar sin previo aviso en una próxima versión de PHP. Esta extensión debe ser utilizada bajo su propio riesgo.

La extensión parle proporciona facilidades de lexing y parsing de uso general. La implementación se basa en las bibliotecas de » estas librerías y requiere un compilador compatible con » C++14. El análisis léxico se basa en la correspondencia regex, el análisis sintáctico es LALR(1). Los analizadores se generan sobre la marcha y pueden ser utilizados inmediatamente después de haber sido finalizados. Parle maneja el análisis léxico y sintáctico, la representación y el tratamiento de las estructuras de datos apropiadas son tarea del implementador. La serialización y la generación de código no son soportadas por la extensión, por el momento.

El analizador léxico es un proceso de división de una secuencia de caracteres en una lista de lexemas. La lista de lexemas puede ser utilizada posteriormente para el análisis sintáctico en relación con una gramática formal. Estas operaciones también son conocidas como análisis léxico (lexing) y análisis sintáctico (parsing). Esta documentación no tiene como objetivo proporcionar información exhaustiva sobre el lexing y el parsing. Buena información sobre estos temas está disponible en numerosos recursos en la red. Varios ejemplos de uso están incluidos para mostrar la funcionalidad. La extensión es útil para los desarrolladores PHP que deseen aprender o utilizar el análisis léxico y sintáctico. Las máquinas de estado y el análisis de gramática no tienen

Los casos de uso comunes para parle son cuando un formato de datos es demasiado complejo para ser manejado por la correspondencia regex con PCRE. La aplicación práctica es, por lo tanto, amplia. Ya sea un formato de datos específico, una modificación del comportamiento de las funciones existentes, o incluso un lenguaje de programación y más allá. Los métodos de ayuda como Parle\Lexer::dump() para inspeccionar la máquina de estado generada, o Parle\Parser::dump() para inspeccionar la gramática generada, son útiles. El método Parle\Parser::trace() también puede ser utilizado para seguir la operación de análisis.

Instalación/Configuración
- Requerimientos
- Instalación
Constantes predefinidas
Correspondencia de patrón — Correspondencia de patrón Parle
Ejemplos
- Ejemplos de análisis léxico (Lexer)
- Ejemplos de análisis sintáctico (Parser)
Parle\Lexer — La clase Parle\Lexer
- Parle\Lexer::advance — Avanzar a la regla siguiente del lexer
- Parle\Lexer::build — Finaliza el conjunto de reglas del lexer
- Parle\Lexer::callout — Define una función de retrollamada de token
- Parle\Lexer::consume — Pasa los datos para el procesamiento
- Parle\Lexer::dump — Muestra la máquina de estado
- Parle\Lexer::getToken — Devuelve el token actual
- Parle\Lexer::insertMacro — Inserta una macro regex
- Parle\Lexer::push — Añade una regla de análisis
- Parle\Lexer::reset — Reinicializa el analizador léxico
Parle\RLexer — La clase Parle\RLexer
- Parle\RLexer::advance — Procesa la regla siguiente del analizador
- Parle\RLexer::build — Finaliza el conjunto de reglas del lexer
- Parle\RLexer::callout — Define una función de retrollamada de token
- Parle\RLexer::consume — Pasa los datos para su procesamiento
- Parle\RLexer::dump — Muestra la máquina de estado
- Parle\RLexer::getToken — Devuelve el token actual
- Parle\RLexer::insertMacro — Inserta una macro regex
- Parle\RLexer::push — Añade una regla de análisis
- Parle\RLexer::pushState — Empuja un nuevo estado de inicio
- Parle\RLexer::reset — Reinicializa el analizador léxico
Parle\Parser — La clase Parle\Parser
- Parle\Parser::advance — Procesa la regla siguiente del analizador
- Parle\Parser::build — Finaliza las reglas de gramática
- Parle\Parser::consume — Consume los datos para el procesamiento
- Parle\Parser::dump — Muestra la gramática
- Parle\Parser::errorInfo — Recupera las informaciones de error
- Parle\Parser::left — Declara un token con asociatividad a la izquierda
- Parle\Parser::nonassoc — Declara un token sin asociatividad
- Parle\Parser::precedence — Declara una regla de precedencia
- Parle\Parser::push — Añade una regla de gramática
- Parle\Parser::reset — Reinicializa el estado del analizador
- Parle\Parser::right — Declara un token con asociatividad a la derecha
- Parle\Parser::sigil — Recupera una parte correspondiente de una regla
- Parle\Parser::sigilCount — Número de elementos en la regla correspondiente
- Parle\Parser::sigilName — Recupera un nombre de regla o de token
- Parle\Parser::token — Declara un token
- Parle\Parser::tokenId — Devuelve el identificador del token
- Parle\Parser::trace — Rastrea la operación del analizador
- Parle\Parser::validate — Valida una entrada
Parle\RParser — La clase Parle\RParser
- Parle\RParser::advance — Procesa la regla siguiente del analizador
- Parle\RParser::build — Finaliza las reglas de gramática
- Parle\RParser::consume — Consume los datos para el procesamiento
- Parle\RParser::dump — Muestra la gramática
- Parle\RParser::errorInfo — Recupera las informaciones de error
- Parle\RParser::left — Declara un token con asociatividad a la izquierda
- Parle\RParser::nonassoc — Declara un token sin asociatividad
- Parle\RParser::precedence — Declara una regla de precedencia
- Parle\RParser::push — Añade una regla de gramática
- Parle\RParser::reset — Reinicializa el estado del analizador
- Parle\RParser::right — Declara un token con asociatividad a la derecha
- Parle\RParser::sigil — Recupera una parte correspondiente de una regla
- Parle\RParser::sigilCount — Número de elementos en la regla correspondiente
- Parle\RParser::sigilName — Recupera un nombre de regla o de token
- Parle\RParser::token — Declara un token
- Parle\RParser::tokenId — Devuelve el identificador del token
- Parle\RParser::trace — Rastrea la operación del analizador
- Parle\RParser::validate — Valida una entrada
Parle\Stack — La clase Parle\Stack
- Parle\Stack::pop — Extrae un elemento de la pila
- Parle\Stack::push — Añade un elemento a la pila
Parle\Token — La clase Parle\Token
Parle\ErrorInfo — La clase Parle\ErrorInfo
Parle\LexerException — La clase Parle\LexerException
Parle\ParserException — La clase Parle\ParserException