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
 # 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.
 """
 
     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