Analyse lexicale et syntaxique

Introduction

Avertissement

Cette extension est EXPERIMENTALE. Le comportement de cette extension, les noms de ses fonctions, et toute la documentation autour de cette extension peut changer sans préavis dans une prochaine version de PHP. Cette extension doit être utilisée à vos risques et périls.

L'extension parle apporte des facilités de lexing et de parsing à usage général. L'implémentation est basée sur » ces bibliothèques et nécessite un compilateur compatible avec » C++14. L'analyse lexicale est basée sur la correspondance regex, l'analyse syntaxique est LALR(1). Les analyseurs sont générés à la volée et peuvent être utilisés immédiatement après avoir été finalisés. Parle traite l'analyse lexicale et syntaxique, la représentation et le traitement des structures de données appropriées sont la tâche de l'implémenteur. La sérialisation et la génération de code ne sont pas prises en charge par l'extension, pour l'instant.

L'analyse lexicale est un processus de division d'une séquence de caractères en une liste de lexèmes. La liste de lexèmes peut ensuite être utilisée pour l'analyse syntaxique par rapport à une grammaire formelle. Ces opérations sont également connues sous le nom d'analyse lexicale (lexing) et d'analyse syntaxique (parsing). Cette documentation n'a pas pour but de fournir une information exhaustive sur le lexing et le parsing. De bonnes informations à ce sujet sont disponibles sur les nombreuses ressources sur le net. Plusieurs exemples d'utilisation sont inclus, pour montrer la fonctionnalité. L'extension est utile pour les développeurs PHP désireux d'apprendre ou d'utiliser l'analyse lexicale et syntaxique. Les machines à états et l'analyse de grammaire n'ont pas à être implémentées manuellement, ces tâches complexes sont prises en charge par parle. Grâce à cela, le développement peut se concentrer sur la résolution de problèmes réels.

Les cas d'utilisation courants pour parle sont, quand un format de données est trop complexe pour être géré par la correspondance regex avec PCRE. L'application pratique est donc large. Que ce soit un format de données spécifique, une modification du comportement des fonctions existantes, voire un langage de programmation et au-delà. Les méthodes d'aide telles que Parle\Lexer::dump() pour inspecter la machine à états générée, ou Parle\Parser::dump() pour inspecter la grammaire générée, sont utiles. La méthode Parle\Parser::trace() peut également être utilisée pour suivre l'opération d'analyse.

Installation/Configuration
- Pré-requis
- Installation
Constantes pré-définies
Correspondance de motif — Correspondance de motif Parle
Exemples
- Exemples d'analyse lexicale (Lexer)
- Exemples d'analyse syntaxique (Parser)
Parle\Lexer — La classe Parle\Lexer
- Parle\Lexer::advance — Avance à la règle suivante du lexer
- Parle\Lexer::build — Finalise l'ensemble de règles du lexer
- Parle\Lexer::callout — Définit une fonction de rappel de jeton
- Parle\Lexer::consume — Passe les données pour le traitement
- Parle\Lexer::dump — Affiche la machine d'état
- Parle\Lexer::getToken — Renvoie le jeton actuel
- Parle\Lexer::insertMacro — Insère une macro regex
- Parle\Lexer::push — Ajoute une règle d'analyse
- Parle\Lexer::reset — Réinitialise l'analyseur lexical
Parle\RLexer — La classe Parle\RLexer
- Parle\RLexer::advance — Traite la règle suivante de l'analyseur
- Parle\RLexer::build — Finalise le jeu de règles du lexer
- Parle\RLexer::callout — Définit une fonction de rappel de jeton
- Parle\RLexer::consume — Passe les données pour traitement
- Parle\RLexer::dump — Affiche la machine d'état
- Parle\RLexer::getToken — Renvoie le jeton actuel
- Parle\RLexer::insertMacro — Insère une macro regex
- Parle\RLexer::push — Ajoute une règle d'analyse
- Parle\RLexer::pushState — Pousse un nouvel état de départ
- Parle\RLexer::reset — Réinitialise l'analyseur lexical
Parle\Parser — La classe Parle\Parser
- Parle\Parser::advance — Traite la règle suivante de l'analyseur
- Parle\Parser::build — Finalise les règles de grammaire
- Parle\Parser::consume — Consomme les données pour le traitement
- Parle\Parser::dump — Affiche la grammaire
- Parle\Parser::errorInfo — Récupère les informations d'erreur
- Parle\Parser::left — Déclare un jeton avec une associativité à gauche
- Parle\Parser::nonassoc — Déclare un jeton sans associativité
- Parle\Parser::precedence — Déclare une règle de précédence
- Parle\Parser::push — Ajoute une règle de grammaire
- Parle\Parser::reset — Réinitialise l'état de l'analyseur
- Parle\Parser::right — Déclare un jeton avec une associativité à droite
- Parle\Parser::sigil — Récupère une partie correspondante d'une règle
- Parle\Parser::sigilCount — Nombre d'éléments dans la règle correspondante
- Parle\Parser::sigilName — Récupère un nom de règle ou de jeton
- Parle\Parser::token — Déclare un jeton
- Parle\Parser::tokenId — Renvoie l'identifiant du jeton
- Parle\Parser::trace — Trace l'opération de l'analyseur
- Parle\Parser::validate — Valide une entrée
Parle\RParser — La classe Parle\RParser
- Parle\RParser::advance — Traite la règle suivante de l'analyseur
- Parle\RParser::build — Finalise les règles de grammaire
- Parle\RParser::consume — Consomme les données pour le traitement
- Parle\RParser::dump — Affiche la grammaire
- Parle\RParser::errorInfo — Récupère les informations d'erreur
- Parle\RParser::left — Déclare un jeton avec une associativité à gauche
- Parle\RParser::nonassoc — Déclare un jeton sans associativité
- Parle\RParser::precedence — Déclare une règle de précédence
- Parle\RParser::push — Ajoute une règle de grammaire
- Parle\RParser::reset — Réinitialise l'état de l'analyseur
- Parle\RParser::right — Déclare un jeton avec une associativité à droite
- Parle\RParser::sigil — Récupère une partie correspondante d'une règle
- Parle\RParser::sigilCount — Nombre d'éléments dans la règle correspondante
- Parle\RParser::sigilName — Récupère un nom de règle ou de jeton
- Parle\RParser::token — Déclare un jeton
- Parle\RParser::tokenId — Renvoie l'identifiant du jeton
- Parle\RParser::trace — Trace l'opération de l'analyseur
- Parle\RParser::validate — Valide une entrée
Parle\Stack — La classe Parle\Stack
- Parle\Stack::pop — Sort un élément de la pile
- Parle\Stack::push — Ajoute un élément à la pile
Parle\Token — La classe Parle\Token
Parle\ErrorInfo — La classe Parle\ErrorInfo
Parle\LexerException — La classe Parle\LexerException
Parle\ParserException — La classe Parle\ParserException

Found A Problem?

Learn How To Improve This Page • Submit a Pull Request • Report a Bug

＋add a note

User Contributed Notes

There are no user contributed notes for this page.