Glossaire

Ce lexique définit des termes spécifiques à notre projet. Les définitions ne sont pas objectives et peuvent légèrement varier des définitions communément admises.

Analyseur lexical: Algorithme qui scinde un texte en lexèmes localisés. Situé dans rustre-parser.
Arbre de syntaxe sans perte: Arbre de syntaxe qui inclut tous les lexèmes passés en entrée, y compris les espaces, saut de lignes, commentaires et lexèmes non-reconnus (sous un lexème Error spécial). On peut en restituer le fichier d'entrée sans aucune perte d'informations.
Arbre de syntaxe typé: Arbre de syntaxe abstraite qui représente la structure du programme sans informations superflues (espaces blancs, commentaires) et où les valeurs sont typées. On se laisse la possibilité de conserver les commentaires "de documentation" dans l'AST dans l'éventualité de construire un générateur de documentation similaire à rustdoc, javadoc ou doxygen.
clap (command-line argument parser): Bibliothèque permettant de parser les arguments de ligne de commande
Equation: (d'après la spec) Une affectation dans un noeud lustre (e.g. a = b + 2;) ou une assertion.
Lexème: Elément atomique produit par un analyseur lexical. Une différence par rapport à beaucoup d'implémentations est qu'il existe dans notre cas des lexèmes spéciaux pour représenter les espaces blancs, les commentaires, les sauts de ligne et même les lexèmes non reconnus (Error).
Lexème localisé: Lexème accompagné d'un intervalle d'entiers correspondant à sa position dans le texte. Contrairement à d'autres représentations possibles de lexèmes, les nôtres ne contiennent pas leur valeur lorsqu'ils sont paramétriques. Par exemple, un lexème correspondant à un nombre entier litéral s'appelle juste IConst et ne stocke pas la valeur de l'entier. Si on veut la récupérer, il faut utiliser la localisation du lexème et parser ce nombre dans le code source a posteriori.
logos: Bibliothèque pour générer un analyseur lexical à partir d'un enum Rust dont chaque variante est annotée. Par exemple, pour lexer des expressions mathématiques simples, on pourrait définir:
```
#[derive(Logos)]
enum Token {
  #[token("+")]
  Plus,

  #[token("-")]
  Minus,

  #[regex(r"\d+")]
  Literal,

  #[regex(r"\s+")]
  Whitespace,

  #[error]
  Error,
}
```
...et logos s'occupe de nous générer la fonction d'analyse lexicale.
nom: Bibliothèque pour construire des parseurs basés sur des combinateurs
rowan: Bibliothèque pour représenter et construire des arbres de syntaxe génériques sans perte
yeter: Bibliothèque pour concevoir un système de compilation incrémentale basée sur des "queries". Cette bibliothèque est développée par nous spécfiquement pour les besoins de rustre, et s'inspire d'architectures existantes.

Rustre

Glossaire