Salome HOME
gitignore V1
[tools/eficas.git] / Validation / V_MCSIMP.py
index 9735364528b06d6a6744045b33e1dfdc307494e8..8a5c32e96c6a2da7fe5da9fcf271634aff942534 100644 (file)
@@ -1,24 +1,22 @@
-#@ MODIF V_MCSIMP Validation  DATE 20/09/2004   AUTEUR DURAND C.DURAND 
 # -*- coding: iso-8859-1 -*-
-#            CONFIGURATION MANAGEMENT OF EDF VERSION
-# ======================================================================
-# COPYRIGHT (C) 1991 - 2002  EDF R&D                  WWW.CODE-ASTER.ORG
-# THIS PROGRAM IS FREE SOFTWARE; YOU CAN REDISTRIBUTE IT AND/OR MODIFY
-# IT UNDER THE TERMS OF THE GNU GENERAL PUBLIC LICENSE AS PUBLISHED BY
-# THE FREE SOFTWARE FOUNDATION; EITHER VERSION 2 OF THE LICENSE, OR   
-# (AT YOUR OPTION) ANY LATER VERSION.                                 
+# Copyright (C) 2007-2013   EDF R&D
 #
-# THIS PROGRAM 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    
-# GENERAL PUBLIC LICENSE FOR MORE DETAILS.                            
+# 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
 #
-# YOU SHOULD HAVE RECEIVED A COPY OF THE GNU GENERAL PUBLIC LICENSE   
-# ALONG WITH THIS PROGRAM; IF NOT, WRITE TO EDF R&D CODE_ASTER,       
-#    1 AVENUE DU GENERAL DE GAULLE, 92141 CLAMART CEDEX, FRANCE.      
-#                                                                       
-#                                                                       
-# ======================================================================
 
 """
    Ce module contient la classe mixin MCSIMP qui porte les méthodes
    utilisée par héritage multiple pour composer les traitements.
 """
 # Modules Python
-import string,types
 import traceback
 
 # Modules EFICAS
 from Noyau import N_CR
 from Noyau.N_Exception import AsException
+from Noyau.N_VALIDATOR import ValError,TypeProtocol,CardProtocol,IntoProtocol
+from Noyau.N_VALIDATOR import listProto
+from Noyau.strfunc import ufmt
 
 class MCSIMP:
    """
-      COMMENTAIRE CCAR
-        Cette classe est quasiment identique à la classe originale d'EFICAS
-        a part quelques changements cosmétiques et des chagements pour la
-        faire fonctionner de facon plus autonome par rapport à l'environnement
-        EFICAS
-        A mon avis, il faudrait aller plus loin et réduire les dépendances
-        amont au strict nécessaire.
+      COMMENTAIRE CCAR:
+      Cette classe est quasiment identique à la classe originale d'EFICAS
+      a part quelques changements cosmétiques et des chagements pour la
+      faire fonctionner de facon plus autonome par rapport à l'environnement
+      EFICAS
+
+      A mon avis, il faudrait aller plus loin et réduire les dépendances
+      amont au strict nécessaire.
 
-        - Est il indispensable de faire l'évaluation de la valeur dans le contexte
-          du jdc dans cette classe.
+          - Est il indispensable de faire l'évaluation de la valeur dans le contexte
+            du jdc dans cette classe.
 
-        - Ne pourrait on pas doter les objets en présence des méthodes suffisantes
-          pour éviter les tests un peu particuliers sur GEOM, PARAMETRE et autres. J'ai
-          d'ailleurs modifié la classe pour éviter l'import de GEOM
+          - Ne pourrait on pas doter les objets en présence des méthodes suffisantes
+            pour éviter les tests un peu particuliers sur GEOM, PARAMETRE et autres. J'ai
+            d'ailleurs modifié la classe pour éviter l'import de GEOM
    """
 
    CR=N_CR.CR
-   
+
    def __init__(self):
       self.state='undetermined'
+      self.typeProto=TypeProtocol("type",typ=self.definition.type)
+      self.intoProto=IntoProtocol("into",into=self.definition.into,val_min=self.definition.val_min,val_max=self.definition.val_max)
+      self.cardProto=CardProtocol("card",min=self.definition.min,max=self.definition.max)
 
    def get_valid(self):
        if hasattr(self,'valid'):
@@ -93,25 +96,69 @@ class MCSIMP:
         #  verification presence
         if self.isoblig() and v == None :
           if cr == 'oui' :
-            self.cr.fatal(string.join(("Mot-clé : ",self.nom," obligatoire non valorisé")))
+            self.cr.fatal(_(u"Mot-clé : %s obligatoire non valorisé"), self.nom)
           valid = 0
 
-        if v is None:
+        lval=listProto.adapt(v)
+        if lval is None:
            valid=0
            if cr == 'oui' :
-              self.cr.fatal("None n'est pas une valeur autorisée")
+              self.cr.fatal(_(u"None n'est pas une valeur autorisée"))
         else:
            # type,into ...
-           valid = self.verif_type(val=v,cr=cr)*self.verif_into(cr=cr)*self.verif_card(cr=cr)
-           #
-           # On verifie les validateurs s'il y en a et si necessaire (valid == 1)
-           #
-           if valid and self.definition.validators and not self.definition.validators.verif(self.valeur):
-              if cr == 'oui' :
-                 self.cr.fatal(string.join(("Mot-clé : ",self.nom,"devrait avoir ",self.definition.validators.info())))
-              valid=0
-           # fin des validateurs
-           #
+           #typeProto=TypeProtocol("type",typ=self.definition.type)
+           #intoProto=IntoProtocol("into",into=self.definition.into,val_min=self.definition.val_min,val_max=self.definition.val_max)
+           #cardProto=CardProtocol("card",min=self.definition.min,max=self.definition.max)
+           #typeProto=self.definition.typeProto
+           #intoProto=self.definition.intoProto
+           #cardProto=self.definition.cardProto
+           typeProto=self.typeProto
+           intoProto=self.intoProto
+           cardProto=self.cardProto
+           if cr == 'oui' :
+               #un cr est demandé : on collecte tous les types d'erreur
+               try:
+                   for val in lval:
+                       typeProto.adapt(val)
+               except ValError,e:
+                   valid=0
+                   self.cr.fatal(*e)
+               try:
+                   for val in lval:
+                       intoProto.adapt(val)
+               except ValError,e:
+                   valid=0
+                   self.cr.fatal(*e)
+                   #self.cr.fatal(unicode(e))
+               try:
+                   cardProto.adapt(lval)
+               except ValError,e:
+                   valid=0
+                   self.cr.fatal(*e)
+                   #self.cr.fatal(unicode(e))
+               #
+               # On verifie les validateurs s'il y en a et si necessaire (valid == 1)
+               #
+               if valid and self.definition.validators:
+                   try:
+                       self.definition.validators.convert(lval)
+                   except ValError,e:
+                       self.cr.fatal(_(u"Mot-clé %s invalide : %s\nCritère de validité: %s"),
+                            self.nom, str(e), self.definition.validators.info())
+                       valid=0
+           else:
+               #si pas de cr demande, on sort a la toute premiere erreur
+               try:
+                   for val in lval:
+                       typeProto.adapt(val)
+                       intoProto.adapt(val)
+                   cardProto.adapt(lval)
+                   if self.definition.validators:
+                       if hasattr(self.definition.validators,'set_MCSimp'):
+                          self.definition.validators.set_MCSimp(self)
+                       self.definition.validators.convert(lval)
+               except ValError,e:
+                   valid=0
 
         self.set_valid(valid)
         return self.valid
@@ -121,263 +168,9 @@ class MCSIMP:
       """
       return self.definition.statut=='o'
 
-   def verif_card(self,cr='non'):
-      """ 
-         un mot-clé simple ne peut etre répété :
-           la cardinalité ici s'entend par la vérification que le nombre d'arguments de self.valeur
-           est bien compris entre self.min et self.max dans le cas où il s'agit d'une liste
-      """
-      card = 1
-      min=self.definition.min
-      max=self.definition.max
-
-      if type(self.valeur) == types.TupleType and not self.valeur[0] in ('RI','MP') or type(self.valeur) == types.ListType:
-        length=len(self.valeur)
-      else:
-        if self.valeur == None :
-           length=0
-        else:
-           length=1
-
-      if length < min or length >max:
-         if cr == 'oui':
-            self.cr.fatal("Nombre d'arguments de %s incorrect pour %s (min = %s, max = %s)" %(`self.valeur`,self.nom,min,max))
-         card = 0
-      return card
-
-   def verif_type(self,val=None,cr='non'):
-      """
-        FONCTION :
-         Cette methode verifie que le type de l'argument val est en conformite avec celui 
-         qui est declare dans la definition du mot cle simple.
-         Elle a plusieurs modes de fonctionnement liés à la valeur de cr.
-         Si cr vaut 'oui' : elle remplit le compte-rendu self.cr sinon elle ne le remplit pas.
-        PARAMETRE DE RETOUR :
-         Cette méthode retourne une valeur booléenne qui vaut 1 si le type de val est correct ou 0 sinon
-         
-      """
-      valeur = val
-      if valeur == None :
-        if cr == 'oui':
-          self.cr.fatal("None n'est pas une valeur autorisée")
-        return 0
-
-      if type(valeur) == types.TupleType and not valeur[0] in ('RI','MP') or type(valeur) == types.ListType:
-        # Ici on a identifié une liste de valeurs
-        for val in valeur:
-            if not self.verif_type(val=val,cr=cr) : return 0
-        return 1
-
-      # Ici, valeur est un scalaire ...il faut tester sur tous les types ou les valeurs possibles
-
-      for type_permis in self.definition.type:
-          if self.compare_type(valeur,type_permis) : return 1
-
-      # si on sort de la boucle précédente par ici c'est que l'on n'a trouvé aucun type valable --> valeur refusée
-      if cr =='oui':
-          self.cr.fatal("%s n'est pas d'un type autorisé" %`valeur`)
-      return 0
-
-   def verif_into(self,cr='non'):
-      """
-      Vérifie si la valeur de self est bien dans l'ensemble discret de valeurs
-      donné dans le catalogue derrière l'attribut into ou vérifie que valeur est bien compris
-      entre val_min et val_max
-      """
-      if self.definition.into == None :
-        #on est dans le cas d'un ensemble continu de valeurs possibles (intervalle)
-        if self.definition.val_min == '**' and self.definition.val_max == '**':
-           # L'intervalle est infini, on ne fait pas de test
-           return 1
-        #if type(self.valeur) in (types.ListType,types.TupleType) :
-        if type(self.valeur) == types.TupleType and not self.valeur[0] in ('RI','MP') or type(self.valeur) == types.ListType:
-          # Cas d'une liste de valeurs
-          test = 1
-          for val in self.valeur :
-            if type(val) != types.StringType and type(val) != types.InstanceType:
-              test = test*self.isinintervalle(val,cr=cr)
-          return test
-        else :
-          # Cas d'un scalaire
-          val = self.valeur
-          if type(val)!=types.StringType and type(val)!=types.InstanceType:
-            return self.isinintervalle(self.valeur,cr=cr)
-          else :
-            return 1
-      else :
-        # on est dans le cas d'un ensemble discret de valeurs possibles (into)
-        #if type(self.valeur) in (types.ListType,types.TupleType) :
-        if type(self.valeur) == types.TupleType and not self.valeur[0] in ('RI','MP') or type(self.valeur) == types.ListType:
-          # Cas d'une liste de valeur
-          for e in self.valeur:
-            if e not in self.definition.into:
-              if cr=='oui':
-                self.cr.fatal(string.join(("La valeur :",`e`," n'est pas permise pour le mot-clé :",self.nom)))
-              return 0
-        else:
-          if self.valeur not in self.definition.into:
-            if cr=='oui':
-              self.cr.fatal(string.join(("La valeur :",`self.valeur`," n'est pas permise pour le mot-clé :",self.nom)))
-            return 0
-        return 1
-
-   def is_complexe(self,valeur):
-      """ Retourne 1 si valeur est un complexe, 0 sinon """
-      if type(valeur) == types.InstanceType :
-        #XXX je n'y touche pas pour ne pas tout casser mais il serait
-        #XXX préférable d'appeler une méthode de valeur : return valeur.is_type('C'), par exemple
-        if valeur.__class__.__name__ in ('complexe','PARAMETRE_EVAL'):
-          return 1
-        elif valeur.__class__.__name__ in ('PARAMETRE',):
-          # il faut tester si la valeur du parametre est un complexe
-          return self.is_complexe(valeur.valeur)
-        else:
-          return 0
-      # Pour permettre l'utilisation de complexes Python
-      #elif type(valeur) == types.ComplexType:
-        #return 1
-      elif type(valeur) != types.TupleType :
-        # On n'autorise pas les listes pour les complexes
-        return 0
-      elif len(valeur) != 3:return 0
-      else:
-          # Un complexe doit etre un tuple de longueur 3 avec 'RI' ou 'MP' comme premiere
-          # valeur suivie de 2 reels.
-          try:
-             if string.strip(valeur[0]) in ('RI','MP') and self.is_reel(valeur[1]) and self.is_reel(valeur[2]):
-                return 1
-          except:
-             return 0
-
-   def is_reel(self,valeur):
-      """
-      Retourne 1 si valeur est un reel, 0 sinon
-      """
-      if type(valeur) == types.InstanceType :
-        #XXX je n'y touche pas pour ne pas tout casser mais il serait
-        #XXX préférable d'appeler une méthode de valeur : return valeur.is_type('R'), par exemple
-        #XXX ou valeur.is_reel()
-        #XXX ou encore valeur.compare(self.is_reel)
-        if valeur.__class__.__name__ in ('reel','PARAMETRE_EVAL') :
-          return 1
-        elif valeur.__class__.__name__ in ('PARAMETRE',):
-          # il faut tester si la valeur du parametre est un réel
-          return self.is_reel(valeur.valeur)
-        else:
-          return 0
-      elif type(valeur) not in (types.IntType,types.FloatType,types.LongType):
-        # ce n'est pas un réel
-        return 0
-      else:
-        return 1
-
-   def is_entier(self,valeur):
-      """ Retourne 1 si valeur est un entier, 0 sinon """
-      if type(valeur) == types.InstanceType :
-        #XXX je n'y touche pas pour ne pas tout casser mais il serait
-        #XXX préférable d'appeler une méthode de valeur : return valeur.is_type('I'), par exemple
-        if valeur.__class__.__name__ in ('entier','PARAMETRE_EVAL') :
-          return 1
-        elif valeur.__class__.__name__ in ('PARAMETRE',):
-          # il faut tester si la valeur du parametre est un entier
-          return self.is_entier(valeur.valeur)
-        else:
-          return 0
-      elif type(valeur) not in (types.IntType,types.LongType):
-        # ce n'est pas un entier
-        return 0
-      else:
-        return 1
-
-   def is_shell(self,valeur):
-      """ 
-          Retourne 1 si valeur est un shell, 0 sinon
-          Pour l'instant aucune vérification n'est faite
-          On impose juste que valeur soit une string
-      """
-      if type(valeur) != types.StringType:
-        return 0
-      else:
-        return 1
-
-   def is_object_from(self,objet,classe):
-      """
-           Retourne 1 si valeur est un objet de la classe classe ou d'une
-           sous-classe de classe, 0 sinon
-      """
-      if type(objet) != types.InstanceType :
-          return 0
-      if not objet.__class__ == classe and not issubclass(objet.__class__,classe):
-        return 0
-      else:
-        return 1
-
-   def compare_type(self,valeur,type_permis):
-      """
-          Fonction booléenne qui retourne 1 si valeur est du type type_permis, 0 sinon
-      """
-      if type(valeur) == types.InstanceType and valeur.__class__.__name__ == 'PARAMETRE':
-        if type(valeur.valeur) == types.TupleType :
-          # on a à faire à un PARAMETRE qui définit une liste d'items
-          # --> on teste sur la première car on n'accepte que les liste homogènes
-          valeur = valeur.valeur[0]
-      if type_permis == 'R':
-        return self.is_reel(valeur)
-      elif type_permis == 'I':
-        return self.is_entier(valeur)
-      elif type_permis == 'C':
-        return self.is_complexe(valeur)
-      elif type_permis == 'shell':
-        return self.is_shell(valeur)
-      elif type_permis == 'TXM':
-        if type(valeur) != types.InstanceType:
-          return type(valeur)==types.StringType
-        else:
-          #XXX je n'y touche pas pour ne pas tout casser mais il serait
-          #XXX préférable d'appeler une méthode de valeur : return valeur.is_type('TXM'), par exemple
-          if valeur.__class__.__name__ == 'chaine' :
-            return 1
-          elif valeur.__class__.__name__ == 'PARAMETRE':
-            # il faut tester si la valeur du parametre est une string
-            return type(valeur.valeur)==types.StringType
-          else:
-            return 0
-      elif type(type_permis) == types.ClassType:
-        # on ne teste pas certains objets de type GEOM , assd, ...
-        # On appelle la méthode de classe is_object de type_permis.
-        # Comme valeur peut etre de n'importe quel type on utilise la fonction (is_object.im_func)
-        # et non pas la methode (is_object) ce qui risquerait de provoquer des erreurs
-        if type_permis.is_object.im_func(valeur):
-          return 1
-        else :
-          return self.is_object_from(valeur,type_permis)
-      else:
-        print "Type non encore géré %s" %`type_permis`
-        print self.nom,self.parent.nom,self.jdc.fichier
-
-   def isinintervalle(self,valeur,cr='non'):
-      """
-      Booléenne qui retourne 1 si la valeur passée en argument est comprise dans
-      le domaine de définition donné dans le catalogue, 0 sinon.
-      """
-      if type(valeur) not in (types.IntType,types.FloatType,types.LongType) :
-        return 1
-      else :
-        min = self.definition.val_min
-        max = self.definition.val_max
-        if min == '**': min = valeur -1
-        if max == '**': max = valeur +1
-        if valeur < min or valeur > max :
-          if cr=='oui':
-            self.cr.fatal(string.join(("La valeur :",`valeur`," du mot-clé ",self.nom,\
-                                       " est en dehors du domaine de validité [",`min`,",",`max`,"]")))
-          return 0
-        else :
-          return 1
-
    def init_modif_up(self):
       """
-         Propage l'état modifié au parent s'il existe et n'est l'objet 
+         Propage l'état modifié au parent s'il existe et n'est l'objet
          lui-meme
       """
       if self.parent and self.parent != self :
@@ -386,14 +179,14 @@ class MCSIMP:
    def report(self):
       """ génère le rapport de validation de self """
       self.cr=self.CR()
-      self.cr.debut = "Mot-clé simple : "+self.nom
-      self.cr.fin = "Fin Mot-clé simple : "+self.nom
+      self.cr.debut = u"Mot-clé simple : "+self.nom
+      self.cr.fin = u"Fin Mot-clé simple : "+self.nom
       self.state = 'modified'
       try:
         self.isvalid(cr='oui')
       except AsException,e:
         if CONTEXT.debug : traceback.print_exc()
-        self.cr.fatal(string.join(("Mot-clé simple : ",self.nom,str(e))))
+        self.cr.fatal(_(u"Mot-clé simple : %s %s"), self.nom, e)
       return self.cr