6. Phases de vérification / d’exécution

Le paragraphe Syntaxe de la documentation d’utilisation est le reflet exact du catalogue de la commande. Ce catalogue est un fichier qui comprend, écrites dans le langage du superviseur, toutes les règles sur les mots clés: présence, exclusion, implication, contenu …

L’éditeur EFICAS exploite ce catalogue de commande et permet à l’utilisateur, si au final le fichier composé est valide, d’obtenir un jeu de commandes correct.

A l’exécution de l’étude, le superviseur de Code_Aster reproduit la même tâche de vérification syntaxique: soit globalement pour tout le fichier, soit en alternant avec l’exécution, commande par commande.

De plus, lors de l’exécution proprement dite des commandes (entrées dans la partie FORTRAN du code source), des vérifications supplémentaires peuvent être faites. Il s’agit de contraintes impossibles à gérer au niveau du langage de commande (égalité de cardinaux de listes différentes …).