Attributs de la syntaxe abstraite

1. Introduction

2. Evaluation des attributs

3. Attributs d'opérateurs

4. Attributs de phylum

5. Syntaxe concrète

6. Attributs d'opérateurs dans l'éditeur ligne

3. Attributs d'opérateurs

3.1. évaluation

C'est la fonction d'évaluation des textes. L'évaluation des textes étant activée soit par une demande explicite soit par l'évaluateur Lisp, on définit une "passerelle" entre ces deux évaluateurs : ce sont les fonctions définies.

fonctions définies

variables héritées

fonctions utilisateur

3.2. recherche

C'est la fonction qui recherche une définition dans un contexte d'évaluation. Comme il a été dit, la fonction de recherche n'est peut-être pas un attribut bien spécifique des opérateurs. Pour ce qui est de la syntaxe initiale, cet attribut n'est utilisé qu'à l'intérieur d'un environnement, autrement dit depuis le phylum des termes TRM.

variables héritées

fonction utilisateur

3.3. complétion

C'est la fonction qui complète une liste pour construire une liste conforme à la représentation interne des données. Par exemple :

(txt)

sera complétée en :

(use txt (env))

3.4. impression

On a deux fonctions d'impression :

• la fonction d'impression concise, qui est appelée quand l'opérateur obtenu était attendu – c'est-à-dire quand l'opérateur appartient au phylum dans lequel on imprime ;
• la fonction d'impression complète, qui est appelée dans les autres cas – ce sont les cas où l'opérateur n'appartient pas au phylum dans lequel on imprime mais à l'un des phyla contenus dans ce phylum, directement ou non.

variables héritées

fonctions utilisateur

3.5. autres attributs

Il reste trois attributs, qui sont présentés dans le paragraphe traitant de l'éditeur ligne. Il s'agit de  :

• l'entrée dans les champs d'un opérateur,
• la sortie des champs d'un opérateur,
• l'impression d'un opérateur évalué.