Automate d'évaluation — accès par point a.b

Statut documentaire : architecture — voir Maturité et preuves.

L'accès par point représente une opération de résolution relative : la partie gauche détermine un contexte ou une valeur, puis la partie droite est résolue à l'intérieur de ce contexte.

Protocole conceptuel

évaluer la partie gauche
  -> déterminer la catégorie de valeur obtenue
  -> résoudre le segment suivant
  -> obtenir une valeur, une propriété, un rôle ou une capacité
  -> poursuivre le chemin ou retourner le résultat

Résolution polymorphe

Le moteur peut appliquer des règles de résolution différentes selon la catégorie de valeur et le contexte d'évaluation. Le point important pour une application est la sémantique publique du chemin, pas la mécanique privée de dispatch.

Chaînes de chemins

Une expression telle que :

customer.address.city

peut être comprise comme une succession de résolutions relatives. Chaque étape utilise la valeur obtenue par l'étape précédente.

Frontière

La documentation publique ne doit pas promettre qu'une catégorie de membre particulière est accessible tant que cette catégorie n'est pas définie par le contrat du langage ou du binding concerné.