8. Phase de vérification#

On vérifie que les intitulés sont tous différents.

8.1. Lors de l’exécution#

Cette phase vérifie la cohérence des arguments entre eux. Elle concerne toutes les occurrences du mot-clé facteur ACTION. On distingue 2 groupes de vérifications.

Le premier groupe est commun aux arguments du mot-clé CHAM_GD et RESULTAT (qui s’excluent mutuellement) et se réduit aux vérifications suivantes :

  • acceptabilité des composantes :

on vérifie que les composantes demandées sont bien présentes au catalogue de description de la grandeur à traiter,

Le second groupe est spécifique au mot-clé RESULTAT, et se réduit aux vérifications:

  • vérification de l’acceptabilité du champ symbolique:

on s’assure que le champ symbolique argument du mot-clé NOM_CHAM existe bien pour le type de concept resultat argument du mot-clé RESULTAT,

  • existence d’au moins une structure de données pour le champ symbolique à traiter.

A l’issue de la phase de vérification, en phase d’exécution l’alternative suivante se présente :

  • toutes les occurrences de ACTION sont correctes et les opérations sont lancées,

  • au moins une occurrence de ACTION est incorrecte, alors un message d’erreur fatale est produit avec arrêt de la commande. Des informations renseignent sur la nature des erreurs et le moyen de les corriger.

8.2. Lors du traitement#

Un nouveau filtre de vérification se présente mais ne provoque jamais l’arrêt de la commande. Ce filtre se réduit aux vérifications suivantes :

  • existence de la structure de données désigné par CHAM_GD ou RESULTAT et un des mots-clés permettant l’accès dans une structure de données RESULTAT.

En cas d’échec un message est émis et l’occurrence suivante est traitée,

  • dans le cas d’un calcul d’invariants tensoriels, on vérifie que l’objet du traitement désigne bien un tenseur d’ordre 2,

  • dans le cas d’un calcul de moyenne ou d’une demande d’extraction de valeurs, on vérifie que les composantes à traiter ont bien été calculées sur le lieu du post‑traitement. En cas d’échec de cette vérification, un message détaille les composantes non disponibles en fonction des mailles ou nœuds du lieu de post‑traitement.

Dans le cas où ce dernier filtre ne détecte aucune impossibilité de calcul, le post-traitement est lancé et les résultats sont insérés dans la table.