Project

General

Profile

Maintenance validation » History » Version 2

« Previous - Version 2/3 (diff) - Next » - Current version
Mathieu MONTIN, 03/11/2013 04:50 PM


Maintenance des vérifications sous-jacentes à l'éditeur textuel

De quoi s'agit-il ?

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.

Où est-ce implanté ?

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