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

2. Evaluation des attributs

L'évaluation d'un attribut est l'appel de la fonction qui désigne cet attribut. Elle est toujours réalisée au sein d'un phylum. L'évaluation a lieu en deux temps :
- recherche de la fonction,
- appel de la fonction.

La recherche de la fonction est réalisée comme suit :

• on reçoit, au sein d'un phylum, un objet Lisp – une S-ex ;
• si la S-ex est un atome Lisp, on appelle le traitement défini dans le phylum pour les atomes ;
• sinon, c'est une liste : on regarde alors le préfixe de la liste, c'est-à-dire le premier éléments de la liste :
  • s'il s'agit du nom d'un opérateur appartenant au phylum dans lequel on se situe, on appelle alors la fonction associée à cet opérateur ;
  • il en est de même s'il s'agit du nom d'un opérateur appartenant à un phylum contenu dans le phylum dans lequel on se situe ;
  • sinon, s'il s'agit quand même d'un nom d'opérateur, on appelle le traitement défini dans le phylum pour les cas d'occurrence d'un opérateur non attendu ;
  • sinon enfin, on appelle le traitement défini dans le phylum pour les listes – le traitement est appelé à défaut d'autre chose.

Par exemple, avec la syntaxe initiale, on évalue dans le phylum TRM :

(def x (env ...) (rep ...))
def appartient au phylum TRM, on appelle la fonction associée à l'opérateur def.

(env (def a ...) (def b ...))
env appartient au phylum ENV, lui-même contenu dans le phylum TRM : on appelle la fonction associée à l'opérateur env.

(rep "a" "b" ...)
rep n'est pas visible dans le phylum TRM, mais c'est bien un opérateur : on appelle le traitement défini dans le phylum TRM pour les cas d'occurrence d'un opérateur non attendu.

(if (...) ...)
if n'est pas un opérateur : on appelle le traitement des listes défini dans le phylum TRM.