Salome HOME
sauve0206
[tools/eficas.git] / Ihm / I_MCSIMP.py
1 # -*- coding: utf-8 -*-
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 import types,string
21 import traceback
22 from copy import copy
23 from repr import Repr
24 from Extensions.i18n import tr
25 from Extensions.eficas_exception import EficasException
26 myrepr = Repr()
27 myrepr.maxstring = 100
28 myrepr.maxother = 100
29
30 from Noyau.N_utils import repr_float
31 import Validation
32 import CONNECTOR
33
34 # Attention : les classes ASSD,.... peuvent etre surchargees
35 # dans le package Accas. Il faut donc prendre des precautions si
36 # on utilise les classes du Noyau pour faire des tests (isxxxx, ...)
37 # Si on veut creer des objets comme des CO avec les classes du noyau
38 # ils n'auront pas les conportements des autres packages (pb!!!)
39 # Il vaut mieux les importer d'Accas mais probleme d'import circulaire,
40 # on ne peut pas les importer au debut.
41 # On fait donc un import local quand c'est necessaire (peut occasionner
42 # des pbs de prformance).
43 from Noyau.N_ASSD import ASSD,assd
44 from Noyau.N_GEOM import GEOM,geom
45 from Noyau.N_CO import CO
46 import Accas
47 # fin attention
48
49 from Extensions import parametre
50 from Extensions import param2
51 import I_OBJECT
52 import CONNECTOR
53 from I_VALIDATOR import ValError,listProto
54
55 class MCSIMP(I_OBJECT.OBJECT):
56
57
58   def isvalid(self,cr='non'):
59       if self.state == 'unchanged':
60         return self.valid
61       for type_permis in self.definition.type:
62           if hasattr(type_permis, "__class__") and type_permis.__class__.__name__ == 'Matrice':
63              self.monType=type_permis
64              return self.valideMatrice(cr=cr)
65       return Validation.V_MCSIMP.MCSIMP.isvalid(self,cr=cr)
66
67   def GetNomConcept(self):
68       p=self
69       while p.parent :
70          try :
71             nomconcept=p.get_sdname()
72             return nomconcept
73          except:
74             try :
75                nomconcept= p.object.get_sdname()
76                return nomconcept
77             except :
78                pass
79          p=p.parent
80       return ""
81
82   def GetText(self):
83     """
84         Retourne le texte a afficher dans l'arbre representant la valeur de l'objet
85         pointe par self
86     """
87
88     if self.valeur == None : 
89       return None
90     elif type(self.valeur) == types.FloatType : 
91       # Traitement d'un flottant isole
92       txt = str(self.valeur)
93       clefobj=self.GetNomConcept()
94       if self.jdc.appli.appliEficas.dict_reels.has_key(clefobj):
95         if self.jdc.appli.appliEficas.dict_reels[clefobj].has_key(self.valeur):
96            txt=self.jdc.appli.appliEficas.dict_reels[clefobj][self.valeur]
97     elif type(self.valeur) in (types.ListType,types.TupleType) :
98       if self.valeur==[]: return str(self.valeur)
99       # Traitement des listes
100       txt='('
101       sep=''
102       for val in self.valeur:
103         if type(val) == types.FloatType : 
104            clefobj=self.GetNomConcept()
105            if self.jdc.appli.appliEficas.dict_reels.has_key(clefobj):
106               if self.jdc.appli.appliEficas.dict_reels[clefobj].has_key(val):
107                  txt=txt + sep +self.jdc.appli.appliEficas.dict_reels[clefobj][val]
108               else :
109                  txt=txt + sep + str(val)
110            else :
111               txt=txt + sep + str(val)
112         else: 
113            if isinstance(val,types.TupleType):
114               texteVal='('
115               for i in val :
116                   if isinstance(i, types.StringType) : texteVal = texteVal +"'"+str(i)+"'," 
117                   else : texteVal = texteVal + str(i)+','
118               texteVal=texteVal[:-1]+')'
119            else : 
120               if isinstance(val,types.StringType): texteVal="'"+str(val)+"'"
121               else :texteVal=str(val)
122            txt = txt + sep+ texteVal 
123
124 ##        if len(txt) > 200:
125 ##            #ligne trop longue, on tronque
126 ##            txt=txt+" ..."
127 ##            break
128         sep=','
129       # cas des listes de tuples de longueur 1
130       if isinstance(val,types.TupleType) and len(self.valeur) == 1 : txt=txt+','
131       txt=txt+')'
132     else:
133       # Traitement des autres cas
134       txt = str(self.valeur)
135
136     # txt peut etre une longue chaine sur plusieurs lignes.
137     # Il est possible de tronquer cette chaine au premier \n et 
138     # de limiter la longueur de la chaine a 30 caracteres. Cependant
139     # ceci provoque une perte d'information pour l'utilisateur
140     # Pour le moment on retourne la chaine telle que
141     return txt
142
143   def getval(self):
144     """ 
145        Retourne une chaine de caractere representant la valeur de self 
146     """
147     val=self.valeur
148     if type(val) == types.FloatType : 
149       clefobj=self.GetNomConcept()
150       if self.jdc.appli.appliEficas.dict_reels.has_key(clefobj):
151         if self.jdc.appli.appliEficas.appliEficas.dict_reels[clefobj].has_key(val):
152            return self.jdc.appli.appliEficas.dict_reels[clefobj][val]
153     if type(val) != types.TupleType :
154       try:
155         return val.get_name()
156       except:
157         return val
158     else :
159       s='( '
160       for item in val :
161         try :
162           s=s+item.get_name()+','
163         except:
164           s=s+`item`+','
165       s=s+' )'
166       return s
167
168   def wait_bool(self):
169       for typ in self.definition.type:
170           try :
171             if typ == types.BooleanType: return True
172           except :
173             pass
174       return False
175
176   def wait_co(self):
177     """
178         Methode booleenne qui retourne 1 si l'objet attend un objet ASSD 
179         qui n'existe pas encore (type CO()), 0 sinon
180     """
181     for typ in self.definition.type:
182       if type(typ) == types.ClassType or isinstance(typ,type):
183         if issubclass(typ,CO) :
184            return 1
185     return 0
186
187   def wait_assd(self):
188     """ 
189         Methode booleenne qui retourne 1 si le MCS attend un objet de type ASSD 
190         ou derive, 0 sinon
191     """
192     for typ in self.definition.type:
193       if type(typ) == types.ClassType or isinstance(typ,type):
194         if issubclass(typ,ASSD) and not issubclass(typ,GEOM):
195           return 1
196     return 0
197
198   def wait_assd_or_geom(self):
199     """ 
200          Retourne 1 si le mot-cle simple attend un objet de type
201          assd, ASSD, geom ou GEOM
202          Retourne 0 dans le cas contraire
203     """
204     for typ in self.definition.type:
205       if type(typ) == types.ClassType or isinstance(typ,type):
206         if typ.__name__ in ("GEOM","ASSD","geom","assd") or issubclass(typ,GEOM) :
207           return 1
208     return 0
209
210   def wait_geom(self):
211     """ 
212          Retourne 1 si le mot-cle simple attend un objet de type GEOM
213          Retourne 0 dans le cas contraire
214     """
215     for typ in self.definition.type:
216       if type(typ) == types.ClassType or isinstance(typ,type):
217         if issubclass(typ,GEOM) : return 1
218     return 0
219
220
221   def wait_TXM(self):
222     """ 
223          Retourne 1 si le mot-cle simple attend un objet de type TXM
224          Retourne 0 dans le cas contraire
225     """
226     for typ in self.definition.type:
227       if typ == 'TXM' :return 1
228     return 0
229
230   def get_liste_valeurs(self):
231     """
232     """
233     if self.valeur == None:
234       return []
235     elif type(self.valeur) == types.TupleType:
236       return list(self.valeur)
237     elif type(self.valeur) == types.ListType:
238       return self.valeur
239     else:
240       return [self.valeur]
241
242   def isoblig(self):
243     return self.definition.statut=='o'
244
245   def isImmuable(self):
246     return self.definition.homo=='constant'
247
248   def isInformation(self):
249     return self.definition.homo=='information'
250
251
252
253   def valid_val(self,valeur):
254       """
255         Verifie que la valeur passee en argument (valeur) est valide
256         sans modifier la valeur courante 
257       """
258       lval=listProto.adapt(valeur)
259       if lval is None:
260          valid=0
261          mess=tr("None n'est pas une valeur autorisee")
262       else:
263          try:
264             for val in lval:
265                 self.typeProto.adapt(val)
266                 self.intoProto.adapt(val)
267             self.cardProto.adapt(lval)
268             if self.definition.validators:
269                 self.definition.validators.convert(lval)
270             valid,mess=1,""
271          except ValError as e:
272             mess=str(e)
273             valid=0
274       return valid,mess
275
276   def valid_valeur(self,new_valeur):
277       """
278         Verifie que la valeur passee en argument (new_valeur) est valide
279         sans modifier la valeur courante (evite d'utiliser set_valeur et est plus performant)
280       """
281       validite,mess=self.valid_val(new_valeur)
282       return validite
283
284   def valid_valeur_partielle(self,new_valeur):
285       """
286         Verifie que la valeur passee en argument (new_valeur) est une liste partiellement valide
287         sans modifier la valeur courante du mot cle
288       """
289       validite=1
290       try:
291           for val in new_valeur:
292               self.typeProto.adapt(val)
293               self.intoProto.adapt(val)
294               #on ne verifie pas la cardinalite
295               if self.definition.validators:
296                   validite=self.definition.validators.valide_liste_partielle(new_valeur)
297       except ValError as e:
298           validite=0
299
300       return validite
301
302   def update_condition_bloc(self):
303       """ Met a jour les blocs conditionnels dependant du mot cle simple self
304       """
305       if self.definition.position == 'global' : 
306          self.etape.deep_update_condition_bloc()
307       elif self.definition.position == 'global_jdc' :
308          self.jdc.deep_update_condition_bloc()
309       else:
310          self.parent.update_condition_bloc()
311
312   def set_valeur(self,new_valeur,evaluation='oui'):
313         #print "set_valeur",new_valeur
314         self.init_modif()
315         self.valeur = new_valeur
316         self.val = new_valeur
317         self.update_condition_bloc()
318         self.etape.modified()
319         self.fin_modif()
320         return 1
321
322   def eval_valeur(self,new_valeur):
323     """
324         Essaie d'evaluer new_valeur comme une SD, une declaration Python 
325         ou un EVAL: Retourne la valeur evaluee (ou None) et le test de reussite (1 ou 0)
326     """
327     sd = self.jdc.get_sd_avant_etape(new_valeur,self.etape)
328     #sd = self.jdc.get_contexte_avant(self.etape).get(new_valeur,None)
329     #print sd
330     if sd is not None:
331       return sd,1
332     lsd = self.jdc.cherche_list_avant(self.etape,new_valeur) 
333     if lsd :
334       return lsd,1
335     else:
336       d={}
337       # On veut EVAL avec tous ses comportements. On utilise Accas. Perfs ??
338       d['EVAL']=Accas.EVAL
339       try :
340         objet = eval(new_valeur,d)
341         return objet,1
342       except Exception:
343         itparam=self.cherche_item_parametre(new_valeur)
344         if itparam:
345              return itparam,1
346         try :
347              object=eval(new_valeur.valeur,d)
348         except :
349              pass
350         if CONTEXT.debug : traceback.print_exc()
351         return None,0
352
353   def eval_val(self,new_valeur):
354     """
355        Tente d'evaluer new_valeur comme un objet du jdc (par appel a eval_val_item)
356        ou comme une liste de ces memes objets
357        Si new_valeur contient au moins un separateur (,), tente l'evaluation sur
358        la chaine splittee
359     """
360     if new_valeur in ('True','False') and 'TXM' in self.definition.type  :
361        valeur=self.eval_val_item(str(new_valeur))
362        return new_valeur
363     if type(new_valeur) in (types.ListType,types.TupleType):
364        valeurretour=[]
365        for item in new_valeur :
366           valeurretour.append(self.eval_val_item(item))
367        return valeurretour
368     else:
369        valeur=self.eval_val_item(new_valeur)
370        return valeur
371
372   def eval_val_item(self,new_valeur):
373     """
374        Tente d'evaluer new_valeur comme un concept, un parametre, un objet Python
375        Si c'est impossible retourne new_valeur inchange
376        argument new_valeur : string (nom de concept, de parametre, expression ou simple chaine)
377     """
378     if self.etape and self.etape.parent:
379        valeur=self.etape.parent.eval_in_context(new_valeur,self.etape)
380        return valeur
381     else:
382        try :
383            valeur = eval(val)
384            return valeur
385        except:
386            #traceback.print_exc()
387            return new_valeur
388            pass
389
390   def cherche_item_parametre (self,new_valeur):
391         try:
392           nomparam=new_valeur[0:new_valeur.find("[")]
393           indice=new_valeur[new_valeur.find(u"[")+1:new_valeur.find(u"]")]
394           for p in self.jdc.params:
395              if p.nom == nomparam :
396                 if int(indice) < len(p.get_valeurs()):
397                    itparam=parametre.ITEM_PARAMETRE(p,int(indice))
398                    return itparam
399           return None
400         except:
401           return None
402
403   def update_concept(self,sd):
404     if type(self.valeur) in (types.ListType,types.TupleType) :
405        if sd in self.valeur:
406          self.init_modif()
407          self.fin_modif()
408     else:
409        if sd == self.valeur:
410          self.init_modif()
411          self.fin_modif()
412
413   def delete_concept(self,sd):
414     """ 
415         Inputs :
416            - sd=concept detruit
417         Fonction :
418         Met a jour la valeur du mot cle simple suite a la disparition 
419         du concept sd
420         Attention aux matrices
421     """
422     if type(self.valeur) == types.TupleType :
423       if sd in self.valeur:
424         self.init_modif()
425         self.valeur=list(self.valeur)
426         self.valeur.remove(sd)
427         self.fin_modif()
428     elif type(self.valeur) == types.ListType:
429       if sd in self.valeur:
430         self.init_modif()
431         self.valeur.remove(sd)
432         self.fin_modif()
433     else:
434       if self.valeur == sd:
435         self.init_modif()
436         self.valeur=None
437         self.val=None
438         self.fin_modif()
439     # Glut Horrible pour les matrices ???
440     if sd.__class__.__name__== "variable":
441        for type_permis in self.definition.type:
442             if type(type_permis) == types.InstanceType:
443                if type_permis.__class__.__name__ == 'Matrice' :
444                    self.state="changed"
445                    self.isvalid()
446                   
447
448   def replace_concept(self,old_sd,sd):
449     """
450         Inputs :
451            - old_sd=concept remplace
452            - sd=nouveau concept
453         Fonction :
454         Met a jour la valeur du mot cle simple suite au remplacement 
455         du concept old_sd
456     """
457     #print "replace_concept",old_sd,sd
458     if type(self.valeur) == types.TupleType :
459       if old_sd in self.valeur:
460         self.init_modif()
461         self.valeur=list(self.valeur)
462         i=self.valeur.index(old_sd)
463         self.valeur[i]=sd
464         self.fin_modif()
465     elif type(self.valeur) == types.ListType:
466       if old_sd in self.valeur:
467         self.init_modif()
468         i=self.valeur.index(old_sd)
469         self.valeur[i]=sd
470         self.fin_modif()
471     else:
472       if self.valeur == old_sd:
473         self.init_modif()
474         self.valeur=sd
475         self.val=sd
476         self.fin_modif()
477
478   def set_valeur_co(self,nom_co):
479       """
480           Affecte a self l'objet de type CO et de nom nom_co
481       """
482       #print "set_valeur_co",nom_co
483       step=self.etape.parent
484       if nom_co == None or nom_co == '':
485          new_objet=None
486       else:
487          # Avant de creer un concept il faut s'assurer du contexte : step 
488          # courant
489          sd= step.get_sd_autour_etape(nom_co,self.etape,avec='oui')
490          if sd:
491             # Si un concept du meme nom existe deja dans la portee de l'etape
492             # on ne cree pas le concept
493             return 0,tr("un concept de meme nom existe deja")
494          # Il n'existe pas de concept de meme nom. On peut donc le creer 
495          # Il faut neanmoins que la methode NommerSdProd de step gere les 
496          # contextes en mode editeur
497          # Normalement la methode  du Noyau doit etre surchargee
498          # On declare l'etape du mot cle comme etape courante pour NommerSdprod
499          cs= CONTEXT.get_current_step()
500          CONTEXT.unset_current_step()
501          CONTEXT.set_current_step(step)
502          step.set_etape_context(self.etape)
503          new_objet = Accas.CO(nom_co)
504          CONTEXT.unset_current_step()
505          CONTEXT.set_current_step(cs)
506       self.init_modif()
507       self.valeur = new_objet
508       self.val = new_objet
509       # On force l'enregistrement de new_objet en tant que concept produit 
510       # de la macro en appelant get_type_produit avec force=1
511       self.etape.get_type_produit(force=1)
512       self.fin_modif()
513       step.reset_context()
514       #print "set_valeur_co",new_objet
515       return 1,tr("Concept cree")
516         
517   def verif_existence_sd(self):
518      """
519         Verifie que les structures de donnees utilisees dans self existent bien dans le contexte
520         avant etape, sinon enleve la referea ces concepts
521      """
522      #print "verif_existence_sd"
523      # Attention : possible probleme avec include
524      # A priori il n'y a pas de raison de retirer les concepts non existants
525      # avant etape. En fait il s'agit uniquement eventuellement de ceux crees par une macro
526      l_sd_avant_etape = self.jdc.get_contexte_avant(self.etape).values()  
527      if type(self.valeur) in (types.TupleType,types.ListType) :
528        l=[]
529        for sd in self.valeur:
530          if isinstance(sd,ASSD) :
531             if sd in l_sd_avant_etape or self.etape.get_sdprods(sd.nom) is sd:
532                l.append(sd)
533          else:
534             l.append(sd)
535        if len(l) < len(self.valeur):
536           self.init_modif()
537           self.valeur=tuple(l)
538           self.fin_modif()
539      else:
540        if isinstance(self.valeur,ASSD) :
541           if self.valeur not in l_sd_avant_etape and self.etape.get_sdprods(self.valeur.nom) is None:
542              self.init_modif()
543              self.valeur = None
544              self.fin_modif()
545  
546   def get_min_max(self):
547      """
548      Retourne les valeurs min et max admissibles pour la valeur de self
549      """
550      return self.definition.min,self.definition.max
551
552
553   def get_type(self):
554      """
555      Retourne le type attendu par le mot-cle simple
556      """
557      return self.definition.type
558
559   def delete_mc_global(self):
560       """ Retire self des declarations globales
561       """
562       if self.definition.position == 'global' : 
563          etape = self.get_etape()
564          if etape :
565             del etape.mc_globaux[self.nom]
566       elif self.definition.position == 'global_jdc' :
567          del self.jdc.mc_globaux[self.nom]
568
569   def update_mc_global(self):
570      """
571         Met a jour les mots cles globaux enregistres dans l'etape parente
572         et dans le jdc parent.
573         Un mot cle simple peut etre global. 
574      """
575      if self.definition.position == 'global' :
576         etape = self.get_etape()
577         if etape :
578            etape.mc_globaux[self.nom]=self
579      elif self.definition.position == 'global_jdc' :
580         if self.jdc:
581            self.jdc.mc_globaux[self.nom]=self
582
583   def nbrColonnes(self):
584      genea = self.get_genealogie()
585      if "VALE_C" in genea and "DEFI_FONCTION" in genea : return 3
586      if "VALE" in genea and "DEFI_FONCTION" in genea : return 2
587      return 0
588
589   def valide_item(self,item):
590       """Valide un item isole. Cet item est candidata l'ajout a la liste existante"""
591       valid=1
592       try:
593           #on verifie le type
594           self.typeProto.adapt(item)
595           #on verifie les choix possibles
596           self.intoProto.adapt(item)
597           #on ne verifie pas la cardinalite
598           if self.definition.validators:
599               valid=self.definition.validators.verif_item(item)
600       except ValError as e:
601           #traceback.print_exc()
602           valid=0
603       return valid
604
605   def verif_type(self,item):
606       """Verifie le type d'un item de liste"""
607       try:
608           #on verifie le type
609           self.typeProto.adapt(item)
610           #on verifie les choix possibles
611           self.intoProto.adapt(item)
612           #on ne verifie pas la cardinalite mais on verifie les validateurs
613           if self.definition.validators:
614               valid=self.definition.validators.verif_item(item)
615           comment=""
616           valid=1
617       except ValError as e:
618           #traceback.print_exc()
619           comment=tr(e.__str__())
620           valid=0
621       return valid,comment
622
623   def valideMatrice(self,cr):
624        #Attention, la matrice contient comme dernier tuple l ordre des variables
625        if self.valideEnteteMatrice()==False :
626            self.set_valid(0)
627            if cr == "oui" : self.cr.fatal(tr("La matrice n'a pas le bon entete"))
628            return 0
629        if self.monType.methodeCalculTaille != None :
630            apply (MCSIMP.__dict__[self.monType.methodeCalculTaille],(self,))
631        try :
632        #if 1 :
633            ok=0
634            if len(self.valeur) == self.monType.nbLigs +1:
635               ok=1
636               for i in range(len(self.valeur) -1):
637                   if len(self.valeur[i])!= self.monType.nbCols:
638                      ok=0
639            if ok: 
640               self.set_valid(1)
641               return 1 
642        except :
643        #else :
644             pass
645        if cr == 'oui' :
646              self.cr.fatal(tr("La matrice n'est pas une matrice %(n_lign)d sur %(n_col)d", \
647              {'n_lign': self.monType.nbLigs, 'n_col': self.monType.nbCols}))
648        self.set_valid(0)
649        return 0
650
651
652   def NbDeVariables(self):
653        listeVariables=self.jdc.get_variables(self.etape)
654        self.monType.nbLigs=len(listeVariables)
655        self.monType.nbCols=len(listeVariables)
656       
657   def valideEnteteMatrice(self):
658       if self.jdc.get_distributions(self.etape) == () or self.valeur == None : return 0
659       if self.jdc.get_distributions(self.etape) != self.valeur[0] : return 0
660       return 1
661      
662   def changeEnteteMatrice(self):
663       a=[self.jdc.get_distributions(self.etape),]
664       for t in self.valeur[1:]:
665          a.append(t)
666       self.valeur=a
667
668
669   def NbDeDistributions(self):
670        listeVariables=self.jdc.get_distributions(self.etape)
671        self.monType.nbLigs=len(listeVariables)
672        self.monType.nbCols=len(listeVariables)
673       
674 #--------------------------------------------------------------------------------
675  
676 #ATTENTION SURCHARGE : toutes les methodes ci apres sont des surcharges du Noyau et de Validation
677 # Elles doivent etre reintegrees des que possible
678
679
680   def verif_typeihm(self,val,cr='non'):
681       try :
682          val.eval()
683          return 1
684       except :
685          traceback.print_exc()
686          pass
687       return self.verif_type(val,cr)
688
689   def verif_typeliste(self,val,cr='non') :
690       verif=0
691       for v in val :
692         verif=verif+self.verif_typeihm(v,cr)
693       return verif
694
695   def init_modif_up(self):
696     Validation.V_MCSIMP.MCSIMP.init_modif_up(self)
697     CONNECTOR.Emit(self,"valid")