]> SALOME platform Git repositories - tools/eficas.git/blob - Noyau/ascheckers.py
Salome HOME
premiere version
[tools/eficas.git] / Noyau / ascheckers.py
1 # -*- coding: iso-8859-1 -*-
2 # Copyright (C) 2007-2013   EDF R&D
3 #
4 # This library is free software; you can redistribute it and/or
5 # modify it under the terms of the GNU Lesser General Public
6 # License as published by the Free Software Foundation; either
7 # version 2.1 of the License.
8 #
9 # This library is distributed in the hope that it will be useful,
10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12 # Lesser General Public License for more details.
13 #
14 # You should have received a copy of the GNU Lesser General Public
15 # License along with this library; if not, write to the Free Software
16 # Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
17 #
18 # See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
19 #
20
21 class Parmi(object):
22     """Classe qui exprime une contrainte multiple pour un attribut"""
23     def __init__(self, *args):
24         self.values = list(args)
25
26     def add_value(self, value ):
27         if value not in self.values:
28             self.values.append( value )
29
30     def __call__(self, obj, name, value, log ):
31         if value not in self.values:
32             log.err( obj, "l'attribut %s=%r n'est pas dans %r" % (name, value, self.values) )
33
34     def __repr__(self):
35         l = [ "Parmi(", ]
36         g = [ repr(v) for v in self.values ]
37         l.append( ", ".join(g) )
38         l.append( ")" )
39         return "".join( l )
40
41 class CheckLog(object):
42     """Un validateur qui enregistre toutes les erreurs trouvées.
43     checkedXXX répond True si la "marq" courante est inférieure ou égale
44     à la celle de la dernière vérification.
45     Si on incrémentait "marq" à chaque étape, on revérifie à chaque fois.
46     """
47
48     def __init__(self):
49         self.msg       = []
50         self.names     = {}
51         self.cksums    = {}
52         self.optional  = False
53         self._marq     = 1
54         self._lastmarq = self._marq
55         self._debug    = False
56         self._profond  = False # True pour forcer des vérifications plus profondes
57
58     def log(self, level, obj, msg ):
59         if obj :
60             self.msg.append( (level, obj.nomj(), msg) )
61         else :
62             self.msg.append( (level, 'None', msg) )
63
64     def err(self, obj, msg ):
65         self.log( 0, obj, msg )
66
67     def warn(self, obj, msg ):
68         self.log( 1, obj, msg )
69
70     def visitOJB(self, obj):
71         key = obj.nomj()
72         self.names[key] = self._marq
73
74     def checkSumOJB(self, obj, sd, maj='non'):
75         # vérifie que le checksum de obj n'a pas changé
76         # sd : concept qui contient obj
77         # maj='maj', l'opérateur a le droit de modifier ojb
78         if obj.exists :
79             import md5
80             m=md5.new()
81             m.update(str(obj.get()))
82             cksum=m.digest()
83             nom=obj.nomj()
84             if not self.cksums.has_key(nom) :
85                 self.cksums[nom]=cksum
86             else :
87                 if self.cksums[nom] != cksum :
88                     self.cksums[nom] = cksum
89                     #if maj.strip()=='maj' and nom[0:8].strip()==sd.nomj.nomj[0:8].strip() :
90                     # Remarque : ne pas tester 'maj' premet de résoudre (un peu) le problème
91                     #            posé par la commande DETRUIRE
92                     if nom[0:8].strip()==sd.nomj.nomj[0:8].strip() :
93                         pass
94                     else :
95                         self.err(obj,'Le checksum a changé')
96
97     def visitAsBase(self, obj):
98         key = (obj.nomj(), obj.__class__.__name__)
99         self.names[key] = self._marq
100
101     def force(self, force=False):
102         if not force:
103            self._marq = 1
104         else:
105            self._lastmarq += 1
106            self._marq = self._lastmarq
107
108     def checkedOJB(self, obj):
109         key = obj.nomj()
110         res = self.names.get(key, 0) >= self._marq
111         self.help_dbg([key,], res)
112         return res
113
114     def checkedAsBase(self, obj):
115         key = (obj.nomj(), obj.__class__.__name__)
116         res = self.names.get(key, 0) >= self._marq
117         self.help_dbg(key, res)
118         return res
119
120     def help_dbg(self, key, res):
121         if self._debug:
122             if res:
123                s = 'ignore'
124             else:
125                s = 'check '
126             print '#DBG %6d %s : %s' % (self._marq, s, ', '.join(key))
127
128     def __str__(self):
129         d = { 0: "E", 1:"W" }
130         return "\n".join( [ "%s:%s: %s" % (d[l],n,m)
131                             for l,n,m in self.msg ])
132
133 class CheckFail(CheckLog):
134     """Un validateur qui lève une exception
135     dès la première erreur"""
136     def err(self, obj, msg ):
137         raise AssertionError("%s: %s" % (obj.nomj(), msg) )