2 # ======================================================================
3 # COPYRIGHT (C) 1991 - 2017 EDF R&D WWW.CODE-ASTER.ORG
4 # THIS PROGRAM IS FREE SOFTWARE; YOU CAN REDISTRIBUTE IT AND/OR MODIFY
5 # IT UNDER THE TERMS OF THE GNU GENERAL PUBLIC LICENSE AS PUBLISHED BY
6 # THE FREE SOFTWARE FOUNDATION; EITHER VERSION 2 OF THE LICENSE, OR
7 # (AT YOUR OPTION) ANY LATER VERSION.
9 # THIS PROGRAM IS DISTRIBUTED IN THE HOPE THAT IT WILL BE USEFUL, BUT
10 # WITHOUT ANY WARRANTY; WITHOUT EVEN THE IMPLIED WARRANTY OF
11 # MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. SEE THE GNU
12 # GENERAL PUBLIC LICENSE FOR MORE DETAILS.
14 # YOU SHOULD HAVE RECEIVED A COPY OF THE GNU GENERAL PUBLIC LICENSE
15 # ALONG WITH THIS PROGRAM; IF NOT, WRITE TO EDF R&D CODE_ASTER,
16 # 1 AVENUE DU GENERAL DE GAULLE, 92141 CLAMART CEDEX, FRANCE.
19 # ======================================================================
23 Ce module contient la classe ENTITE qui est la classe de base
24 de toutes les classes de definition d'EFICAS.
27 from __future__ import absolute_import
28 from __future__ import print_function
30 from builtins import str
31 from builtins import object
37 from . import N_VALIDATOR
40 stringTypes = (str, six.text_type)
46 Classe de base pour tous les objets de definition : mots cles et commandes
47 Cette classe ne contient que des methodes utilitaires
48 Elle ne peut être instanciee et doit d abord être specialisee
51 factories = {'validator': N_VALIDATOR.validatorFactory}
53 def __init__(self, validators=None):
55 Initialise les deux attributs regles et entites d'une classe dérivée
56 à : pas de règles et pas de sous-entités.
58 L'attribut regles doit contenir la liste des regles qui s'appliquent
61 L'attribut entités doit contenir le dictionnaires des sous-entités
62 (clé = nom, valeur=objet)
67 self.validators = self.factories['validator'](validators)
69 self.validators = validators
71 def affecter_parente(self):
73 Cette methode a pour fonction de donner un nom et un pere aux
74 sous entités qui n'ont aucun moyen pour atteindre leur parent
76 Il s'agit principalement des mots cles
78 for k, v in list(self.entites.items()):
84 Cette methode sert à valider les attributs de l'objet de définition
86 raise NotImplementedError("La méthode verifCata de la classe %s doit être implémentée"
87 % self.__class__.__name__)
91 Cette methode doit retourner un objet dérivé de la classe OBJECT
94 raise NotImplementedError("La méthode __call__ de la classe %s doit être implémentée"
95 % self.__class__.__name__)
99 Cette méthode construit pour tous les objets dérivés de ENTITE un
100 rapport de validation de la définition portée par cet objet
104 for k, v in list(self.entites.items()):
107 cr.debut = u"Début " + v.__class__.__name__ + ' : ' + k
108 cr.fin = u"Fin " + v.__class__.__name__ + ' : ' + k
111 self.cr.fatal("Impossible d'obtenir le rapport de %s %s" % (k, repr(v)))
112 print(("Impossible d'obtenir le rapport de %s %s" % (k, repr(v))))
113 print(("père =", self))
116 def verifCataRegles(self):
118 Cette méthode vérifie pour tous les objets dérivés de ENTITE que
119 les objets REGLES associés ne portent que sur des sous-entités
122 for regle in self.regles:
125 if not mc in self.entites :
130 _(u"Argument(s) non permis : %r pour la règle : %s"), l, txt)
132 def checkDefinition(self, parent):
133 """Verifie la definition d'un objet composite (commande, fact, bloc)."""
134 args = self.entites.copy()
136 for nom, val in list(args.items()):
137 if val.label == 'SIMP':
140 # if val.max != 1 and val.type == 'TXM':
141 # print "#CMD", parent, nom
142 elif val.label == 'FACT':
143 val.checkDefinition(parent)
145 # assert self.label != 'FACT', \
146 #'Commande %s : Mot-clef facteur present sous un mot-clef facteur : interdit !' \
151 # seuls les blocs peuvent entrer en conflit avec les mcs du plus haut
153 for nom, val in list(args.items()):
154 if val.label == 'BLOC':
155 mcbloc = val.checkDefinition(parent)
157 # print "#BLOC", parent, re.sub('\s+', ' ', val.condition)
158 assert mcs.isdisjoint(mcbloc), "Commande %s : Mot(s)-clef(s) vu(s) plusieurs fois : %s" \
159 % (parent, tuple(mcs.intersection(mcbloc)))
162 def checkOp(self, valmin=-9999, valmax=9999):
163 """Vérifie l'attribut op."""
164 if self.op is not None and \
165 (type(self.op) is not int or self.op < valmin or self.op > valmax):
166 self.cr.fatal(_(u"L'attribut 'op' doit être un entier "
167 u"compris entre %d et %d : %r"), valmin, valmax, self.op)
170 """Vérifie l'attribut proc."""
171 if self.proc is not None and not isinstance(self.proc, N_OPS.OPS):
173 _(u"L'attribut op doit être une instance d'OPS : %r"), self.proc)
175 def checkRegles(self):
176 """Vérifie l'attribut regles."""
177 if type(self.regles) is not tuple:
178 self.cr.fatal(_(u"L'attribut 'regles' doit être un tuple : %r"),
182 """Vérifie l'attribut fr."""
183 if type(self.fr) not in stringTypes:
185 _(u"L'attribut 'fr' doit être une chaine de caractères : %r"),
189 """Vérifie l'attribut docu."""
190 if type(self.docu) not in stringTypes:
192 _(u"L'attribut 'docu' doit être une chaine de caractères : %r"),
196 """Vérifie l'attribut proc."""
197 if type(self.nom) is not str:
199 _(u"L'attribut 'nom' doit être une chaine de caractères : %r"),
202 def checkReentrant(self):
203 """Vérifie l'attribut reentrant."""
204 if self.reentrant not in ('o', 'n', 'f'):
206 _(u"L'attribut 'reentrant' doit valoir 'o','n' ou 'f' : %r"),
209 def checkStatut(self, into=('o', 'f', 'c', 'd')):
210 """Vérifie l'attribut statut."""
211 if self.statut not in into:
212 self.cr.fatal(_(u"L'attribut 'statut' doit être parmi %s : %r"),
215 def checkCondition(self):
216 """Vérifie l'attribut condition."""
217 if self.condition != None:
218 if type(self.condition) is not str:
220 _(u"L'attribut 'condition' doit être une chaine de caractères : %r"),
223 self.cr.fatal(_(u"La condition ne doit pas valoir None !"))
225 def checkMinMax(self):
226 """Vérifie les attributs min/max."""
227 if type(self.min) != int:
228 if self.min != '**'and self.min != float('-inf'):
230 _(u"L'attribut 'min' doit être un entier : %r"), self.min)
231 if type(self.max) != int:
232 if self.max != '**' and self.max != float('inf'):
234 _(u"L'attribut 'max' doit être un entier : %r"), self.max)
235 if self.min > self.max:
237 _(u"Nombres d'occurrence min et max invalides : %r %r"),
240 def checkValidators(self):
241 """Vérifie les validateurs supplémentaires"""
242 if self.validators and not self.validators.verifCata():
243 self.cr.fatal(_(u"Un des validateurs est incorrect. Raison : %s"),
244 self.validators.cata_info)
247 """Vérifie l'attribut homo."""
248 if self.homo != 0 and self.homo != 1:
250 _(u"L'attribut 'homo' doit valoir 0 ou 1 : %r"), self.homo)
253 """Vérifie l'attribut into."""
254 if self.into != None:
255 if (type(self.into) not in (list, tuple)) and (type(self.into) != types.FunctionType) :
257 _(u"L'attribut 'into' doit être un tuple : %r"), self.into)
259 def checkPosition(self):
260 """Vérifie l'attribut position."""
261 if self.position not in ('local', 'global', 'global_jdc'):
262 self.cr.fatal(_(u"L'attribut 'position' doit valoir 'local', 'global' "
263 u"ou 'global_jdc' : %r"), self.position)
266 args = self.entites.copy()
268 for nom, val in list(args.items()):
269 if val.label == 'SIMP':
272 # if val.max != 1 and val.type == 'TXM':
273 # print "#CMD", parent, nom
274 elif val.label == 'FACT':
277 print (self.nom, mcs)