]> SALOME platform Git repositories - tools/eficas.git/blobdiff - Ihm/I_VALIDATOR.py
Salome HOME
optim eciture
[tools/eficas.git] / Ihm / I_VALIDATOR.py
index d968e8a0330cc9ff48273ae73e73f72e29b79598..ec414ba2eff2287e1a50f8a5fb0e4425d535cfc8 100644 (file)
-"""
-   Ce module contient des classes permettant de définir des validateurs
-   pour EFICAS. Ces classes constituent un complément à des classes existantes
-   dans Noyau/N_VALIDATOR.py ou de nouvelles classes de validation.
-   Ces classes complémentaires ne servent que pour l'IHM d'EFICAS.
-   Elles servent essentiellement à ajouter des comportements spécifiques
-   IHM aux classes existantes dans le Noyau.
-   Ces comportements pourront etre rapatries dans le Noyau quand leur
-   interface sera stabilisée.
-"""
-
-class Valid:
-   """
-        Cette classe est la classe mere de toutes les classes complémentaires
-        que l'on trouve dans Ihm.
-        Elle porte les comportements par défaut des méthodes des validateurs.
-   """
-
-   def info_erreur_item(self):
-       """
-          Cette méthode permet d'avoir un message d'erreur pour un item
-          dans une liste dans le cas ou le validateur fait des vérifications
-          sur les items d'une liste. Si le validateur fait des vérifications 
-          sur la liste elle meme et non sur ses items, la méthode
-          doit retourner une chaine vide.
-       """
-       return ""
-
-   def aide(self):
-       """
-          Cette methode retourne une chaine de caractère qui permet à EFICAS de construire
-          un message d'aide en ligne
-          En général, le message retourné est le meme que celui retourné par la 
-          méthode info
-       """
-       return self.info()
-
-   def info_erreur_liste(self):
-       """
-          Cette méthode a un comportement complémentaire de celui de info_erreur_item.
-          Elle retourne un message d'erreur lié uniquement aux vérifications sur la liste
-          elle meme et pas sur ses items. Dans le cas où le validateur ne fait pas de vérification
-          sur des listes, elle retourne une chaine vide
-       """
-       return ""
-
-   def is_list(self):
-       """
-          Cette méthode retourne un entier qui indique si le validateur permet les listes (valeur 1)
-          ou ne les permet pas (valeur 0).
-          Par défaut, un validateur n'autorise que des scalaires.
-       """
-       return 0
-
-   def has_into(self):
-       """
-          Cette méthode retourne un entier qui indique si le validateur propose une liste de choix (valeur 1)
-          ou n'en propose pas.
-          Par défaut, un validateur n'en propose pas.
-       """
-       return 0
-
-   def get_into(self,liste_courante=None,into_courant=None):
-       """
-          Cette méthode retourne la liste de choix proposée par le validateur. Si le validateur ne propose
-          pas de liste de choix, la méthode retourne None.
-          L'argument d'entrée liste_courante, s'il est différent de None, donne la liste des choix déjà
-          effectués par l'utilisateur. Dans ce cas, la méthode get_into doit calculer la liste des choix
-          en en tenant compte. Par exemple, si le validateur n'autorise pas les répétitions, la liste des
-          choix retournée ne doit pas contenir les choix déjà contenus dans liste_courante.
-          L'argument d'entrée into_courant, s'il est différent de None, donne la liste des choix proposés
-          par d'autres validateurs. Dans ce cas, la méthode get_into doit calculer la liste des choix à retourner
-          en se limitant à cette liste initiale. Par exemple, si into_courant vaut (1,2,3) et que le validateur
-          propose la liste de choix (3,4,5), la méthode ne doit retourner que (3,).
-
-          La méthode get_into peut retourner une liste vide [], ce qui veut dire qu'il n'y a pas (ou plus) de choix possible
-          Cette situation peut etre normale : l''utilisateur a utilisé tous les choix, ou résulter d'une incohérence 
-          des validateurs : choix parmi (1,2,3) ET choix parmi (4,5,6). Il est impossible de faire la différence entre
-          ces deux situations.
-       """
-       return into_courant
-
-class FunctionVal(Valid):pass
-
-class OrVal(Valid):
-   def is_list(self):
-       """
-          Si plusieurs validateurs sont reliés par un OU
-          il suffit qu'un seul des validateurs attende une liste
-          pour qu'on considère que leur union attende une liste.
-       """
-       for validator in self.validators:
-           v=validator.is_list()
-           if v :
-              return 1
-       return 0
-
-   def has_into(self):
-       """
-          Dans le cas ou plusieurs validateurs sont reliés par un OU
-          il faut que tous les validateurs proposent un choix pour 
-          qu'on considère que leur union propose un choix.
-          Exemple : Enum(1,2,3) OU entier pair, ne propose pas de choix
-          En revanche, Enum(1,2,3) OU Enum(4,5,6) propose un choix (1,2,3,4,5,6)
-       """
-       for validator in self.validators:
-           v=validator.has_into()
-           if not v :
-              return 0
-       return 1
-
-   def get_into(self,liste_courante=None,into_courant=None):
-       """
-          Dans le cas ou plusieurs validateurs sont reliés par un OU
-          tous les validateurs doivent proposer un choix pour 
-          qu'on considère que leur union propose un choix.
-          Tous les choix proposés par les validateurs sont réunis (opérateur d'union)
-          Exemple : Enum(1,2,3) OU entier pair, ne propose pas de choix
-          En revanche, Enum(1,2,3) OU Enum(4,5,6) propose un choix (1,2,3,4,5,6)
-       """
-       validator_into=[]
-       for validator in self.validators:
-           v_into=v.get_info(liste_courante,into_courant)
-           if v_into is None:
-              return v_into
-           validator_into.extend(v_into)
-       return validator_into
-
-class AndVal(Valid):
-   def is_list(self):
-       """
-          Si plusieurs validateurs sont reliés par un ET
-          il faut que tous les validateurs attendent une liste
-          pour qu'on considère que leur intersection attende une liste.
-          Exemple Range(2,5) ET Card(1) n'attend pas une liste
-          Range(2,5) ET Pair attend une liste
-       """
-       for validator in self.validators:
-           v=validator.is_list()
-           if v == 0 :
-              return 0
-       return 1
-
-   def has_into(self):
-       """
-          Dans le cas ou plusieurs validateurs sont reliés par un ET
-          il suffit qu'un seul validateur propose un choix pour 
-          qu'on considère que leur intersection propose un choix.
-          Exemple : Enum(1,2,3) ET entier pair, propose un choix
-          En revanche, entier pair ET superieur à 10 ne propose pas de choix 
-       """
-       for validator in self.validators:
-           v=validator.has_into()
-           if v :
-              return 1
-       return 0
-
-   def get_into(self,liste_courante=None,into_courant=None):
-       """
-          Dans le cas ou plusieurs validateurs sont reliés par un ET
-          il suffit qu'un seul validateur propose un choix pour 
-          qu'on considère que leur intersection propose un choix.
-
-          Tous les choix proposés par les validateurs sont croisés (opérateur d'intersection)
-          Exemple : Enum(1,2,3) ET entier pair, propose un choix (2,)
-          En revanche, Enum(1,2,3) ET Enum(4,5,6) ne propose pas de choix
-       """
-       for validator in self.validators:
-           into_courant=v.get_info(liste_courante,into_courant)
-           if into_courant in ([],None):
-              return into_courant
-       return into_courant
-
-class CardVal(Valid):
-   def is_list(self):
-       if self.max == '**' or self.max > 1:
-             return 1
-       else:
-             return 0
-
-   def get_into(self,liste_courante=None,into_courant=None):
-       if into_courant is None:
-          return None
-       elif liste_courante is None:
-          return into_courant
-       elif self.max == '**':
-          return into_courant
-       elif len(liste_courante) < self.max:
-          return into_courant
-       else:
-          return []
-
-class ListVal(Valid):
-   def is_list(self):
-       return 1
-
-   def get_into(self,liste_courante=None,into_courant=None):
-       """
-          Cette méthode get_into effectue un traitement général qui consiste
-          a filtrer la liste de choix into_courant, si elle existe, en ne conservant
-          que les valeurs valides (appel de la méthode valid)
-       """
-       if into_courant is None:
-          return None
-       else:
-          liste_choix=[]
-          for e in into_courant:
-              if self.verif(e):
-                 liste_choix.append(e)
-          return liste_choix
-
-class EnumVal(ListVal):
-   def has_into(self):
-       return 1
-   def get_into(self,liste_courante=None,into_courant=None):
-       if into_courant is None:
-          liste_choix= list(self.into)
-       else:
-          liste_choix=[]
-          for e in into_courant:
-              if e in self.into:
-                 liste_choix.append(e)
-       return liste_choix
-          
-class LongStr(ListVal):pass
-class RangeVal(ListVal):pass
-class TypeVal(ListVal):pass
-class PairVal(ListVal):pass
-class InstanceVal(ListVal):pass
-
-class NoRepeat(ListVal):
-   def get_into(self,liste_courante=None,into_courant=None):
-       """
-          Methode get_into spécifique pour validateur NoRepeat
-          on retourne une liste de choix qui ne contient aucune valeur de into_courant
-          déjà contenue dans liste_courante
-       """
-       if into_courant is None:
-          return None
-       else:
-          liste_choix=[]
-          for e in into_courant:
-              if e in liste_choix: continue
-              if liste_courante is not None and e in liste_courante: continue
-              liste_choix.append(e)
-          return liste_choix
-class OrdList(ListVal):
-   def get_into(self,liste_courante=None,into_courant=None):
-       """
-          Methode get_into spécifique pour validateur OrdList 
-          on retourne une liste de choix qui ne contient aucune valeur de into_courant
-          dont la valeur est inférieure à la dernière valeur de liste_courante, si
-          elle est différente de None.
-       """
-       if into_courant is None:
-          return None
-       elif not liste_courante :
-          return into_courant
-       else:
-          liste_choix=[]
-          last_val=liste_choix[-1]
-          for e in into_courant:
-              if self.ord=='croissant' and e <= last_val:continue
-              if self.ord=='decroissant' and e >= last_val:continue
-              liste_choix.append(e)
-          return liste_choix
-
-          
-          
-
-
-
+# -*- coding: utf-8 -*-
+# Copyright (C) 2007-2013   EDF R&D
+#
+# This library is free software; you can redistribute it and/or
+# modify it under the terms of the GNU Lesser General Public
+# License as published by the Free Software Foundation; either
+# version 2.1 of the License.
+#
+# This library is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# Lesser General Public License for more details.
+#
+# You should have received a copy of the GNU Lesser General Public
+# License along with this library; if not, write to the Free Software
+# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
+#
+# See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
+#
+
+from __future__ import absolute_import
+from Noyau.N_VALIDATOR import *
+
+class Compulsory(Compulsory):
+      def has_into(self):
+          return 0
+      def valide_liste_partielle(self,liste_courante=None):
+          return 1
+
+class OrdList(OrdList):
+      def valide_liste_partielle(self,liste_courante=None):
+          """
+           Methode de validation de liste partielle pour le validateur OrdList
+          """
+          try:
+             self.convert(liste_courante)
+             valid=1
+          except :
+             valid=0
+          return valid