Project

General

Profile

Maintenance validation » History » Version 2

Mathieu MONTIN, 03/11/2013 04:50 PM

1 1 Guillaume Babin
h1. Maintenance des vérifications sous-jacentes à l'éditeur textuel
2 2 Mathieu MONTIN
3 2 Mathieu MONTIN
h2. De quoi s'agit-il ?
4 2 Mathieu MONTIN
5 2 Mathieu MONTIN
La validation est responsable de la vérification du code dans l'éditeur textuel. De base, elle est présente sous la forme des vérifications syntaxiques mais il est possible d'étendre ces vérifications. Par exemple à l'heure actuelle, nous vérifions qu'une variable d'entrée n'est pas affectée et que toutes les variables de sorties et locales le sont. Il est possible d'implémenter d'autres vérifications de ce type.
6 2 Mathieu MONTIN
7 2 Mathieu MONTIN
h3. Où est-ce implanté ?
8 2 Mathieu MONTIN
9 2 Mathieu MONTIN
Actuellement, le validateur est implémenté dans le fichier _*LustreJavaValidator.java*_. Ce fichier contient des fonctions qui seront appelés lorsque les règles seront parsées dans l'éditeur textuel. Ce fichier est situé dans le package *org.obeonetwork.dsl.lustre.validation*