Analyse lexicale incrémentielle

L'analyse lexicale retourne une structure (arborescente).
Chaque éléments de la structure ont les attributs :

• index
• ligne de départ
• ligne de fin

• Résultat d'une analyse lexicale d'un texte
• Texte modifié
• Index du début de la modification dans le texte
• Nombre de caractères effacés
• Nombre de caractères ajoutés

1. Recherche de l'élément le plus profond à l'index indiquée
2. Suppression au moins des éléments inclus dans l'intervalle effacé...
3. Initialisation du scanner, détermination:
   1. de l'index et la ligne courante
   2. du token fin d'analyse = premier élément suivant les tokens éffacés
   3. de la pile des ancêtres
4. Réalisation de l'analyse lexicale incrémentielle
5. Mise à jour des valeurs du token fin d'analyse (concernant sa position dans le texte source), ainsi que celles des tokens suivants et des tokens ancêtres.
6. Retour du résultat :
   • Ligne où débute les modifications
   • Ligne où finie les modifications (dans l'ancienne source)
   • Décalage de ligne = (nouveau-ancien) "nombre de ligne du texte source"

On effectue une recherche dichotomique récursive depuis la racine de la structure lexicales.

Au tout début de l'analyse est effacé:

• Le premier élément trouvé à l'index de la modification
• Les éléments à gauche tant qu'ils ne sont pas des espaces.
• Les éléments à droite tant qu'ils ne sont pas des espaces et qu'ils font parties de l'intervalle effacé.

Lors de la suppression d'un élément, son élément parent est effacé à la place, si celui-ci est :

• une limite de parent
  ou

• un enfant d'un élément ayant subit un double scannage

Ce token change au token suivant si l'analyse le dépasse.
Si le lexer trouve un token identique alors :

• L'analyse est stoppée, l'élément trouvé est abandonné.
• Les valeurs du token fin d'analyse sont mises à jour, ainsi que celles des tokens suivants et des tokens ancêtres.

Tokens identiques ?

Token suivant ?

Mises à jour ?