Salome HOME
Merge V9 dans Master
[tools/eficas.git] / Noyau / N_ENTITE.py
index b5b9d875513cdcf9540693b95cf4f5458b8bb6fd..4735edd3fad71c904a78be20972cf19037d1dfcb 100644 (file)
-#@ MODIF N_ENTITE Noyau  DATE 27/03/2002   AUTEUR DURAND C.DURAND 
-#            CONFIGURATION MANAGEMENT OF EDF VERSION
+# coding=utf-8
 # ======================================================================
-# COPYRIGHT (C) 1991 - 2002  EDF R&D                  WWW.CODE-ASTER.ORG
+# COPYRIGHT (C) 1991 - 2017  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.                                 
+# THE FREE SOFTWARE FOUNDATION; EITHER VERSION 2 OF THE LICENSE, OR
+# (AT YOUR OPTION) ANY LATER VERSION.
+#
+# 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.
+#
+# 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.
 #
-# 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.                            
 #
-# 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 ENTITE qui est la classe de base
     de toutes les classes de definition d'EFICAS.
 """
 
-import N_CR
-
-class ENTITE:
-   """
-      Classe de base pour tous les objets de definition : mots cles et commandes
-      Cette classe ne contient que des methodes utilitaires
-      Elle ne peut etre instanciee et doit d abord etre specialisee
-   """
-   CR=N_CR.CR
-
-   def __init__(self):
-      """
-         Initialise les deux attributs regles et entites d'une classe dérivée
-         à : pas de règles et pas de sous-entités.
-        
-         L'attribut regles doit contenir la liste des regles qui s'appliquent 
-         sur ses sous-entités
-
-         L'attribut entités doit contenir le dictionnaires des sous-entités 
-         (clé = nom, valeur=objet)
-      """
-      self.regles=()
-      self.entites={}
-
-   def affecter_parente(self):
-      """
-          Cette methode a pour fonction de donner un nom et un pere aux
-          sous entités qui n'ont aucun moyen pour atteindre leur parent 
-          directement
-          Il s'agit principalement des mots cles 
-      """
-      for k,v in self.entites.items():
-        v.pere = self
-        v.nom = k
-
-   def verif_cata(self):
-      """
-          Cette methode sert à valider les attributs de l'objet de définition
-      """
-      raise "La méthode verif_cata de la classe %s doit etre implémentée" % self.__class__.__name__
-
-   def __call__(self):
-      """
-          Cette methode doit retourner un objet dérivé de la classe OBJECT
-      """
-      raise "La méthode __call__ de la classe %s doit etre implémentée" % self.__class__.__name__
-
-   def report(self):
-      """
-         Cette méthode construit pour tous les objets dérivés de ENTITE un 
-         rapport de validation de la définition portée par cet objet
-      """
-      self.cr = self.CR()
-      self.verif_cata()
-      for k,v in self.entites.items() :
-         try :
-            cr = v.report()
-            cr.debut = "Début "+v.__class__.__name__+ ' : ' + k
-            cr.fin = "Fin "+v.__class__.__name__+ ' : ' + k
-            self.cr.add(cr)
-         except:
-            self.cr.fatal("Impossible d'obtenir le rapport de %s %s" %(k,`v`))
-            print "Impossible d'obtenir le rapport de %s %s" %(k,`v`)
-            print "père =",self
-      return self.cr
-
-   def verif_cata_regles(self):
-      """
-         Cette méthode vérifie pour tous les objets dérivés de ENTITE que 
-         les objets REGLES associés ne portent que sur des sous-entités 
-         existantes
-      """
-      for regle in self.regles :
-        l=[]
-        for mc in regle.mcs :
-          if not self.entites.has_key(mc) :
-            l.append(mc)
-        if l != [] :
-          txt = str(regle)
-          self.cr.fatal("Argument(s) non permis : %s pour la règle : %s" %(`l`,txt))
+from __future__ import absolute_import
+from __future__ import print_function
+try :
+   from builtins import str
+   from builtins import object
+except :
+   pass
+import re
+from . import N_CR
+from . import N_OPS
+from . import N_VALIDATOR
+
+import six
+stringTypes = (str, six.text_type)
+
+
+class ENTITE(object):
+
+    """
+       Classe de base pour tous les objets de definition : mots cles et commandes
+       Cette classe ne contient que des methodes utilitaires
+       Elle ne peut être instanciee et doit d abord être specialisee
+    """
+    CR = N_CR.CR
+    factories = {'validator': N_VALIDATOR.validatorFactory}
+
+    def __init__(self, validators=None):
+        """
+           Initialise les deux attributs regles et entites d'une classe dérivée
+           à : pas de règles et pas de sous-entités.
+
+           L'attribut regles doit contenir la liste des regles qui s'appliquent
+           sur ses sous-entités
+
+           L'attribut entités doit contenir le dictionnaires des sous-entités
+           (clé = nom, valeur=objet)
+        """
+        self.regles = ()
+        self.entites = {}
+        if validators:
+            self.validators = self.factories['validator'](validators)
+        else:
+            self.validators = validators
+
+    def affecter_parente(self):
+        """
+            Cette methode a pour fonction de donner un nom et un pere aux
+            sous entités qui n'ont aucun moyen pour atteindre leur parent
+            directement
+            Il s'agit principalement des mots cles
+        """
+        for k, v in list(self.entites.items()):
+            v.pere = self
+            v.nom = k
+
+    def verifCata(self):
+        """
+            Cette methode sert à valider les attributs de l'objet de définition
+        """
+        raise NotImplementedError("La méthode verifCata de la classe %s doit être implémentée"
+                                  % self.__class__.__name__)
+
+    def __call__(self):
+        """
+            Cette methode doit retourner un objet dérivé de la classe OBJECT
+        """
+     
+        raise NotImplementedError("La méthode __call__ de la classe %s doit être implémentée"
+                                  % self.__class__.__name__)
+
+    def report(self):
+        """
+           Cette méthode construit pour tous les objets dérivés de ENTITE un
+           rapport de validation de la définition portée par cet objet
+        """
+        self.cr = self.CR()
+        self.verifCata()
+        for k, v in list(self.entites.items()):
+            try:
+                cr = v.report()
+                cr.debut = u"Début " + v.__class__.__name__ + ' : ' + k
+                cr.fin = u"Fin " + v.__class__.__name__ + ' : ' + k
+                self.cr.add(cr)
+            except:
+                self.cr.fatal("Impossible d'obtenir le rapport de %s %s" % (k, repr(v)))
+                print(("Impossible d'obtenir le rapport de %s %s" % (k, repr(v))))
+                print(("père =", self))
+        return self.cr
+
+    def verifCataRegles(self):
+        """
+           Cette méthode vérifie pour tous les objets dérivés de ENTITE que
+           les objets REGLES associés ne portent que sur des sous-entités
+           existantes
+        """
+        for regle in self.regles:
+            l = []
+            for mc in regle.mcs:
+                if not mc in  self.entites :
+                    l.append(mc)
+            if l != []:
+                txt = str(regle)
+                self.cr.fatal(
+                    _(u"Argument(s) non permis : %r pour la règle : %s"), l, txt)
+
+    def checkDefinition(self, parent):
+        """Verifie la definition d'un objet composite (commande, fact, bloc)."""
+        args = self.entites.copy()
+        mcs = set()
+        for nom, val in list(args.items()):
+            if val.label == 'SIMP':
+                mcs.add(nom)
+                # XXX
+                # if val.max != 1 and val.type == 'TXM':
+                    # print "#CMD", parent, nom
+            elif val.label == 'FACT':
+                val.checkDefinition(parent)
+                # CALC_SPEC !
+                # assert self.label != 'FACT', \
+                   #'Commande %s : Mot-clef facteur present sous un mot-clef facteur : interdit !' \
+                   #% parent
+            else:
+                continue
+            del args[nom]
+        # seuls les blocs peuvent entrer en conflit avec les mcs du plus haut
+        # niveau
+        for nom, val in list(args.items()):
+            if val.label == 'BLOC':
+                mcbloc = val.checkDefinition(parent)
+                # XXX
+                # print "#BLOC", parent, re.sub('\s+', ' ', val.condition)
+                assert mcs.isdisjoint(mcbloc), "Commande %s : Mot(s)-clef(s) vu(s) plusieurs fois : %s" \
+                    % (parent, tuple(mcs.intersection(mcbloc)))
+        return mcs
+
+    def checkOp(self, valmin=-9999, valmax=9999):
+        """Vérifie l'attribut op."""
+        if self.op is not None and \
+           (type(self.op) is not int or self.op < valmin or self.op > valmax):
+            self.cr.fatal(_(u"L'attribut 'op' doit être un entier "
+                            u"compris entre %d et %d : %r"), valmin, valmax, self.op)
+
+    def checkProc(self):
+        """Vérifie l'attribut proc."""
+        if self.proc is not None and not isinstance(self.proc, N_OPS.OPS):
+            self.cr.fatal(
+                _(u"L'attribut op doit être une instance d'OPS : %r"), self.proc)
+
+    def checkRegles(self):
+        """Vérifie l'attribut regles."""
+        if type(self.regles) is not tuple:
+            self.cr.fatal(_(u"L'attribut 'regles' doit être un tuple : %r"),
+                          self.regles)
+
+    def checkFr(self):
+        """Vérifie l'attribut fr."""
+        if type(self.fr) not in stringTypes:
+            self.cr.fatal(
+                _(u"L'attribut 'fr' doit être une chaine de caractères : %r"),
+                self.fr)
+
+    def checkDocu(self):
+        """Vérifie l'attribut docu."""
+        if type(self.docu) not in stringTypes:
+            self.cr.fatal(
+                _(u"L'attribut 'docu' doit être une chaine de caractères : %r"),
+                self.docu)
+
+    def checkNom(self):
+        """Vérifie l'attribut proc."""
+        if type(self.nom) is not str:
+            self.cr.fatal(
+                _(u"L'attribut 'nom' doit être une chaine de caractères : %r"),
+                self.nom)
+
+    def checkReentrant(self):
+        """Vérifie l'attribut reentrant."""
+        if self.reentrant not in ('o', 'n', 'f'):
+            self.cr.fatal(
+                _(u"L'attribut 'reentrant' doit valoir 'o','n' ou 'f' : %r"),
+                self.reentrant)
+
+    def checkStatut(self, into=('o', 'f', 'c', 'd')):
+        """Vérifie l'attribut statut."""
+        if self.statut not in into:
+            self.cr.fatal(_(u"L'attribut 'statut' doit être parmi %s : %r"),
+                          into, self.statut)
+
+    def checkCondition(self):
+        """Vérifie l'attribut condition."""
+        if self.condition != None:
+            if type(self.condition) is not str:
+                self.cr.fatal(
+                    _(u"L'attribut 'condition' doit être une chaine de caractères : %r"),
+                    self.condition)
+        else:
+            self.cr.fatal(_(u"La condition ne doit pas valoir None !"))
+
+    def checkMinMax(self):
+        """Vérifie les attributs min/max."""
+        if type(self.min) != int:
+            if self.min != '**'and self.min != float('-inf'):
+                self.cr.fatal(
+                    _(u"L'attribut 'min' doit être un entier : %r"), self.min)
+        if type(self.max) != int:
+            if self.max != '**' and self.max != float('inf'):
+                self.cr.fatal(
+                    _(u"L'attribut 'max' doit être un entier : %r"), self.max)
+        if self.min > self.max:
+            self.cr.fatal(
+                _(u"Nombres d'occurrence min et max invalides : %r %r"),
+                self.min, self.max)
+
+    def checkValidators(self):
+        """Vérifie les validateurs supplémentaires"""
+        if self.validators and not self.validators.verifCata():
+            self.cr.fatal(_(u"Un des validateurs est incorrect. Raison : %s"),
+                          self.validators.cata_info)
+
+    def checkHomo(self):
+        """Vérifie l'attribut homo."""
+        if self.homo != 0 and self.homo != 1:
+            self.cr.fatal(
+                _(u"L'attribut 'homo' doit valoir 0 ou 1 : %r"), self.homo)
+
+    def checkInto(self):
+        """Vérifie l'attribut into."""
+        if self.into != None:
+            if (type(self.into) not in (list, tuple)) and (type(self.into) != types.FunctionType) :
+                self.cr.fatal(
+                    _(u"L'attribut 'into' doit être un tuple : %r"), self.into)
 
+    def checkPosition(self):
+        """Vérifie l'attribut position."""
+        if self.position not in ('local', 'global', 'global_jdc'):
+            self.cr.fatal(_(u"L'attribut 'position' doit valoir 'local', 'global' "
+                            u"ou 'global_jdc' : %r"), self.position)
 
+    def dumpXSD(self):
+        args = self.entites.copy()
+        mcs = set()
+        for nom, val in list(args.items()):
+            if val.label == 'SIMP':
+                mcs.add(nom)
+                # XXX
+                # if val.max != 1 and val.type == 'TXM':
+                    # print "#CMD", parent, nom
+            elif val.label == 'FACT':
+                liste=val.dumpXSD()
+                mcs.update(liste)
+        print (self.nom, mcs) 
+        return mcs