1 # CONFIGURATION MANAGEMENT OF EDF VERSION
2 # ======================================================================
3 # COPYRIGHT (C) 1991 - 2002 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 # ======================================================================
20 import os,sys,string,re,types,traceback
28 __version__="$Name: $"
29 __Id__="$Id: treewidget.py,v 1.4 2002/04/05 06:32:39 eficas Exp $"
32 Fonte_Standard = fontes.standard
35 def __init__(self,appli,jdc_item,scrolledcanvas,command = None):
37 self.scrolledcanvas = scrolledcanvas
38 self.canvas = self.scrolledcanvas.component('canvas')
39 self.canvas.bind("<Key-Prior>", self.page_up)
40 self.canvas.bind("<Key-Next>", self.page_down)
41 self.canvas.bind("<Key-Up>", self.unit_up)
42 self.canvas.bind("<Key-Down>", self.unit_down)
44 self.command = command
48 self.node_selected = None
51 def page_up(self,event):
52 event.widget.yview_scroll(-1, "page")
53 def page_down(self,event):
54 event.widget.yview_scroll(1, "page")
55 def unit_up(self,event):
56 event.widget.yview_scroll(-1, "unit")
57 def unit_down(self,event):
58 event.widget.yview_scroll(1, "unit")
60 def build_children(self):
61 """ Construit la liste des enfants de self """
63 child = Node(self,self.item,self.command)
64 self.children.append(child)
65 child.state='expanded'
68 """ Dessine l'arbre """
71 for child in self.children:
73 lasty = child.lasty + 15
76 self.children[0].select()
77 self.resizescrollregion()
79 def deselectall_old(self):
80 """ déselectionne tous les éléments de l'arbre """
81 for child in self.children:
84 def deselectall(self):
85 """ déselectionne tous les éléments de l'arbre """
86 if self.node_selected :
87 self.node_selected.deselect()
90 """ Update tous les éléments de l'arbre """
91 for child in self.children:
94 def resizescrollregion(self):
95 self.scrolledcanvas.resizescrollregion()
97 def select_next(self,event):
98 self.node_selected.select_next()
100 def select_previous(self,event):
101 self.node_selected.select_previous()
103 def full_creation(self,name,index):
104 # A changer lorsqu'il y aura plusieurs jdc ouverts en même temps
105 self.children[0].full_creation(name,index)
108 for child in self.children :
109 self.verif_all_children()
112 def __init__(self,parent,item,command=None):
115 self.command = command
116 self.tree = self.parent.tree
117 self.appli = self.parent.appli
118 self.canvas = self.parent.canvas
120 #self.build_children()
123 self.state='collapsed'
126 self.x = self.y =None
130 # etape = noeud d'étape auquel appartient self
131 # = self si c'est lui-même
132 if isinstance(self.parent,Tree) :
133 # on est sur un noeud de JDC
137 elif isinstance(self.parent.parent,Tree) :
138 # on est sur un noeud d'étape
139 self.racine = self.parent
141 self.nature = 'ETAPE'
143 # on est sur un noeud de mot-clé
144 self.racine = self.parent.racine
145 self.etape=self.parent.etape
146 self.nature = 'MOTCLE'
148 def build_children(self):
149 """ Construit la liste des enfants de self """
151 sublist = self.item._GetSubList()
152 if not sublist : return
153 for item in sublist :
154 child = Node(self,item,self.command)
155 self.children.append(child)
157 #-----------------------------------------------
158 # Méthodes de sélection/déselection d'un noeud
159 #-----------------------------------------------
161 def select(self, event=None):
163 Rend le noeud courant (self) sélectionné et déselectionne
166 if not self.children : self.build_children()
167 self.tree.deselectall()
169 self.tree.node_selected = self
170 if self.command:apply(self.command,(self,))
172 self.canvas.focus_force()
175 def deselect_old(self, event=None):
176 """ Déselectionne self """
178 if self.displayed == 1:
180 for child in self.children:
183 def deselect(self, event=None):
184 """ Déselectionne self """
186 if self.displayed == 1 : self.dehighlight()
188 def make_visible(self):
189 """ Rend l'objet self visible cad déplace le scroll pour que self soit dans
190 la fenêtre de visu"""
191 x0,y0,x1,y1 = self.canvas.bbox(ALL)
192 self.canvas.yview("moveto",self.y/y1)
194 def select_next(self,ind=0):
195 """ on doit chercher à sélectionner dans l'ordre:
196 - son premier fils s'il est affiché
197 - son frère cadet s'il existe
198 - son oncle (benjamin de son père)
199 - ... appel récursif ...
201 if self.state=='expanded' and len(self.children) > ind:
202 self.children[ind].select()
204 index = self.parent.children.index(self) + 1
205 if isinstance(self.parent,TREE) :
207 self.children[ind].select()
209 self.children[0].select()
211 self.parent.select_next(index)
213 def select_previous(self):
214 """ on doit d'abord sélectionner(dans l'ordre) :
218 index = self.parent.children.index(self) + 1
220 self.parent.children[index].select()
223 #-----------------------------------------------
224 # Méthodes de recherche d'informations
225 #-----------------------------------------------
226 def geticonimage(self,name=None):
228 Retourne l'image qui doit être associée à self
231 name = self.item.GetIconName()
232 if not name or name == 'aucune' :
234 return images.get_image(name)
236 def get_nb_children(self):
237 """ Retourne le nombre d'enfants affichés de self """
239 if self.state =='collapsed' : return nb
240 for child in self.children :
241 nb = nb + 1 + child.get_nb_children()
244 def get_liste_id(self):
245 """ Retourne la liste de tous les id (filiation comprise) de self """
247 for child in self.children:
248 liste.extend(child.get_liste_id())
251 def get_node_fils(self,name) :
252 """ Retourne le fils de self de nom name s'il existe"""
253 for child in self.children:
254 if child.item.get_nom() == name: return child
256 #-----------------------------------------------
257 # Méthodes d'affichage d'un noeud
258 #-----------------------------------------------
260 """ Permet de tracer le noeud self """
261 # le début du noeud est en x,y
267 # choix de l'icone à afficher : + ou -
268 if self.item.IsExpandable():
269 if self.state == 'expanded':
270 iconname = "minusnode"
271 callback = self.collapse
273 iconname = "plusnode"
274 callback = self.expand
275 image = self.geticonimage(name=iconname)
276 self.icone_id = self.canvas.create_image(self.x, self.y, image=image)
277 self.canvas.tag_bind(self.icone_id, "<1>", callback)
278 self.id.append(self.icone_id)
279 # création de la ligne horizontale
280 self.ligne_id = self.canvas.create_line(self.x,self.y,self.x+10,self.y)
281 self.id.append(self.ligne_id)
282 self.canvas.tag_lower(self.ligne_id)
283 # affichage de l'icone (carre ,rond, ovale ...) de couleur
284 image = self.geticonimage()
286 self.image_id = self.canvas.create_image(self.x+15,self.y,image = image)
287 self.canvas.tag_bind(self.image_id,"<1>",self.select)
288 self.id.append(self.image_id)
291 # affichage du texte : nom de l'objet (ETAPE ou MOT-CLE) et sa valeur
293 if self.state == 'expanded' :
294 if not self.children : self.build_children()
295 if len(self.children) > 0:
297 self.lasty = self.children[-1].lasty
299 def drawchildren(self):
300 """ Dessine les enfants de self """
303 for child in self.children:
305 nb = child.get_nb_children()
309 """ Affiche les deux zones de texte après l'icône de couleur de l'objet """
310 if self.image_id != None :
315 # nom,fonte et couleur de l'objet du noeud à afficher
316 labeltext,fonte,couleur = self.item.GetLabelText()
317 if labeltext == '' : labeltext = ' '
318 if fonte == None : fonte = Fonte_Standard
319 if couleur == None : couleur = 'black'
320 # création du widget label
321 self.label = Label(self.canvas,
326 self.label_id = self.canvas.create_window(textx,texty,window=self.label,anchor='w')
327 self.id.append(self.label_id)
328 # bindings sur le widget label
329 self.label.bind("<1>", self.select)
330 self.label.bind("<Enter>",self.enter)
331 self.label.bind("<Leave>",self.leave)
332 # valeur de cet objet à afficher
333 x0, y0, x1, y1 = self.canvas.bbox(self.label_id)
334 textx = max(x1, 200) + 10
335 text = self.item.GetText() or " "
336 self.text = Label(self.canvas, text=text,
337 bd=0, padx=2, pady=2,background='gray95',
343 self.text_id = self.canvas.create_window(textx, texty,anchor="w", window=self.text)
344 self.id.append(self.text_id)
346 def highlight(self,event=None):
347 """ Met en surbrillance self"""
348 if hasattr(self,'label'):
349 self.label.configure(fg='white',bg='#00008b')
351 def dehighlight(self,event=None):
352 """ Rétablit l'affichage normal de self"""
353 if hasattr(self,'label'):
354 self.label.configure(fg='black',bg='gray95')
356 def enter(self,event=None):
357 """ Met en surbrillance self et affiche le fr de l'objet """
359 fr = self.item.get_fr()
360 self.appli.affiche_infos(fr)
362 def leave(self,event=None):
363 """ Rétablit l'affichage normal de self et efface le fr de l'objet """
364 if not self.selected :
366 self.appli.affiche_infos('')
368 def collapse_children(self):
369 """ Collapse récursivement tous les descendants de self """
370 if not self.children : return
371 for child in self.children:
372 child.state='collapsed'
374 child.collapse_children()
376 def collapse(self,event = None):
377 """ Collapse self et descendants et retrace self """
378 nb = self.get_nb_children()
379 self.state = 'collapsed'
380 self.collapse_children()
386 self.draw(self.x,self.y)
390 def expand(self,event = None):
391 """ Expanse self et le retrace """
392 if not self.item.isactif() : return
393 if not self.children : self.build_children()
394 self.state = 'expanded'
395 nb = self.get_nb_children()
398 self.draw(self.x,self.y)
403 """ Redessine self : nb est le décalage à introduire
404 en dessous de self pour le redessiner """
405 # nb = nombre d'items de décalage
407 # on efface self et on le redessine
409 self.draw(self.x,self.y)
412 def update_coords(self):
413 """ Permet d'updater les coordonnes de self et de tous ses enfants"""
414 if self.displayed == 0 : return
415 if self.image_id != None :
416 coords = self.canvas.coords(self.image_id)
417 self.x = coords[0]-15
419 coords = self.canvas.coords(self.label_id)
420 self.x = coords[0]-15
422 if self.state == 'expanded' :
423 for child in self.children:
424 if child.displayed != 0:
425 child.update_coords()
427 def update_icone(self):
428 """ Met à jour les icônes de tous les noeuds : teste la validité de l'objet
429 Cette méthode est très lente, trop !!"""
430 if self.image_id != None :
431 image = self.geticonimage()
432 self.canvas.itemconfig(self.image_id,image=image)
433 if self.state == 'expanded':
434 for child in self.children:
435 if child.displayed != 0:
438 def update_texte(self):
439 """ Met à jour les noms des SD et valeurs des mots-clés """
440 text = self.item.GetText()
441 if text == None : text = ''
442 self.text.configure(text=text)
443 if self.state == 'expanded' :
444 for child in self.children:
445 if child.displayed != 0 : child.update_texte()
447 def update(self,event=None) :
449 Cette méthode est appelée pour demander l update d un noeud
450 d'un jeu de commandes
451 Cette demande est transmise au noeud racine (le JDC) qui update
452 tout l arbre représentant le jeu de commandes
453 Pendant cette mise à jour, on appelle la méthode isvalid qui
454 fera l update de tous les objets déclarés modifiés lors des
456 La métode isvalid est en général appelée par l intermédiaire de
457 update_icone -> geticonimage -> GetIconName
459 self.racine.update_coords()
460 self.racine.trace_ligne()
461 self.racine.update_icone()
462 self.racine.update_texte()
463 self.tree.resizescrollregion()
466 """ Efface du canvas les id associés à self : cad les siens et ceux
469 self.canvas.delete(id)
470 if not self.children : return
471 for child in self.children:
475 """ Déplace de l'incrément dy tous les id en dessous de self """
476 # il faut marquer tous les suivants de self
477 bbox1 = self.canvas.bbox(ALL)
478 self.canvas.dtag(ALL,'move')
479 self.canvas.delete('line')
481 self.canvas.addtag_overlapping('move',bbox1[0],self.y +10,bbox1[2],bbox1[3])
483 print "Erreur dans move :"
486 print self.item.object
487 print self.item.object.definition.label
490 # on déplace tous les items de dy
491 self.canvas.move('move',0,dy)
492 # il faut réactualiser la zone de scroll
493 self.tree.resizescrollregion()
495 def trace_ligne(self):
496 """ Dessine les lignes verticales entre frères et entre père et premier fils"""
497 if self.state=='collapsed' : return
498 #if self.displayed == 0 : return
499 if len(self.children)==0 : return
500 # on est bien dans le cas d'un noeud expansé avec enfants ...
501 # il faut rechercher l'ordonnée du dernier fils de self
502 y_end = self.children[-1].y
503 ligne = self.canvas.create_line(self.x+15,self.y,self.x+15,y_end,tags='line')
504 self.canvas.tag_lower(ligne)
505 for child in self.children :
509 print "Erreur dans trace_ligne :"
511 print child.item.object
513 def make_visible_OBSOLETE(self,nb):
514 """ Cette méthode a pour but de rendre le noeud self (avec tous ses descendants
515 affichés) visible dans le canvas """
516 x = self.canvas.canvasx(self.canvas.cget('width'))
517 y = self.canvas.canvasy(self.canvas.cget('height'))
519 x0,y0,x1,y1 = self.canvas.bbox(ALL)
520 #print 'x0,y1=',x0,y1
522 nb = self.get_nb_children()
523 y_fin = y_deb + 20*nb
524 #print 'y_deb,y_fin=',y_deb,y_fin
526 #------------------------------------------------------------------
527 # Méthodes de création et destruction de noeuds
528 # Certaines de ces méthodes peuvent être appelées depuis l'externe
529 #------------------------------------------------------------------
530 def replace_node(self,node1,node2):
531 """ Remplace le noeud 1 par le noeud 2 dans la liste des enfants de self"""
532 index= self.children.index(node1)
533 self.delete_node_child(node1)
534 self.children.insert(index,node2)
536 def full_creation(self,name,pos=None):
538 Interface avec ACCAS : création de l'objet de nom name et
539 du noeud associé. Retourne le noeud fils ainsi créé
541 item = self.item.additem(name,pos)
542 if item == None or item == 0:
543 # impossible d'ajouter le noeud de nom : name
545 nature = item.get_nature()
546 if nature in ("COMMANDE","OPERATEUR","PROCEDURE","COMMENTAIRE",
547 "PARAMETRE","COMMANDE_COMMENTARISEE","PARAMETRE_EVAL"):
548 # on veut ajouter une commande ou un commentaire ou un paramètre
549 # il ne faut pas rechercher un même objet déjà existant
550 # à modifier : il faut tester l'attribut 'repetable'
552 elif self.item.object.isMCList():
553 # Dans ce cas on ne fait pas de remplacement. On ne cherche pas un objet de meme nom
556 enfant = self.get_node_fils(item.get_nom())
558 # un fils de même nom existe déjà : on remplace
559 # un MCFACT (ou une MCList) par une (autre) MCList
560 child = Node(self,item,self.command)
561 self.replace_node(enfant,child)
563 child = Node(self, item,self.command)
565 self.children.append(child)
567 self.children.insert(pos,child)
570 def append_brother(self,name,pos='after',retour='non'):
572 Permet d'ajouter un frère à self
573 par défaut on l'ajoute après self
576 # on veut ajouter le frère de nom name directement avant ou après self
577 index = self.parent.children.index(self)
583 print str(pos)," n'est pas un index valide pour append_brother"
585 return self.parent.append_child(name,pos=index,retour=retour)
587 def append_node_child(self,fils,pos=None,verif='oui'):
589 Fait appel à la création complète de fils et à la vérification
590 des conditions en fonction du contexte
591 Attention : fils peut être un nom ou déjà un object (cas d'une copie)
593 if not self.children : self.build_children()
595 #pos = len(self.children)
596 if type(fils) == types.InstanceType:
597 pos = self.item.get_index_child(fils.nom)
599 pos = self.item.get_index_child(fils)
600 child = self.full_creation(fils,pos)
602 # on n'a pas pu créer le noeud fils
605 self.state = 'expanded'
607 if not child.children : child.build_children()
608 test = child.item.isMCList()
610 child.children[-1].verif_condition()
612 child.verif_condition()
613 self.verif_condition()
616 def append_child(self,name,pos=None,verif='oui',retour='non'):
618 Permet d'ajouter un fils à self
619 on peut l'ajouter en fin de liste (défaut) ou en début
625 index = len(self.children)
626 elif pos != None and type(pos) == types.IntType :
627 # on donne la position depuis l'extérieur
628 # (appel de append_child par append_brother par exemple)
630 elif type(pos) == types.InstanceType:
631 # pos est un item. Il faut inserer name apres pos
632 index = self.item.get_index(pos) +1
634 if type(name) == types.InstanceType:
635 index = self.item.get_index_child(name.nom)
637 index = self.item.get_index_child(name)
638 nbold = self.get_nb_children()
639 self.state='expanded'
640 child = self.append_node_child(name,pos=index)
642 # on n'a pas pu créer le fils
644 nbnew = self.get_nb_children()
645 self.redraw(nbnew-nbold)
648 #child.make_visible()
649 if retour == 'oui': return child
651 def delete_node_child(self,child):
652 """ Supprime child des enfants de self et les id associés """
655 self.children.remove(child)
658 def delete_child(self,child):
660 Supprime child des enfants de self, tous les id associés
663 if self.item.suppitem(child.item):
664 self.delete_node_child(child)
670 """ Méthode externe pour la destruction du noeud ET de l'objet
671 Gère l'update du canvas"""
672 if self.parent.item.isMCList():
673 pere = self.parent.parent
674 nbold = pere.get_nb_children()
675 if self.parent.delete_child(self):
676 self.parent.traite_mclist()
677 if self.item.get_position() == 'global':
678 self.etape.verif_all()
679 elif self.item.get_position() == 'global_jdc':
680 self.racine.verif_all()
682 self.parent.verif_condition()
683 nbnew = pere.get_nb_children()
686 nbold = pere.get_nb_children()
687 if self.parent.delete_child(self):
688 if self.item.get_position() == 'global':
689 self.etape.verif_all()
690 elif self.item.get_position() == 'global_jdc':
691 self.racine.verif_all()
693 self.parent.verif_condition()
695 print 'Erreur dans la destruction de ',self.item.get_nom(),' dans delete'
696 nbnew = pere.get_nb_children()
697 pere.redraw(nbnew-nbold)
700 def copynode(self,node,pos) :
701 """ node est le noeud à copier à la position pos de self ( = parent de node) """
702 objet_copie = node.item.get_copie_objet()
703 child = self.full_creation(node.item,pos)
704 child.displayed = node.displayed
705 #child.image_id = node.image_id
706 #child.label_id = node.label_id
707 if child.item.get_nature() == "MCList":
708 child.item.object[-1].mc_liste = objet_copie.mc_liste
711 child.item.object.mc_liste = objet_copie.mc_liste
713 traceback.print_exc()
714 #--------------------------------------------------------------
715 # Méthodes de vérification du contexte et de validité du noeud
716 #--------------------------------------------------------------
717 def traite_mclist_OLD(self):
718 """ Dans le cas d'une MCList il faut vérifier qu'elle n'est pas vide
719 ou réduite à un seul élément suite à une destruction
721 # self représente une MCList
722 print "on passe par traite_mclist ",len(self.item)
723 if len(self.item) == 0 :
724 # la liste est vide : il faut la supprimer
726 elif len(self.item) == 1:
727 # il ne reste plus qu'un élément dans la liste
728 # il faut supprimer la liste et créer directement l'objet
729 index = self.parent.children.index(self)
730 noeud = self.children[0]
731 if self.parent.delete_child(self):
732 self.parent.append_node_child(noeud.item,pos=index,verif='non')
734 print "destruction de self impossible !"
735 #if self.parent.delete_child(self):
736 # self.parent.copynode(self.children[0],index)
738 # print 'erreur dans la destruction de :',self.item.get_nom(),' dans traite_mclist'
742 def traite_mclist(self):
743 """ Dans le cas d'une MCList il faut vérifier qu'elle n'est pas vide
744 ou réduite à un seul élément suite à une destruction
746 # self représente une MCList
747 if len(self.item) == 0 :
748 # la liste est vide : il faut la supprimer
750 elif len(self.item) == 1:
751 # il ne reste plus qu'un élément dans la liste
752 # il faut supprimer la liste et créer directement l'objet
753 index = self.parent.children.index(self)
754 noeud = self.children[0]
755 noeud.parent = self.parent
756 self.parent.delete_node_child(self)
757 self.parent.item.replace_child(self.item,noeud.item)
758 self.parent.children.insert(index,noeud)
763 self.verif_all_children()
765 def verif_all_children(self):
766 if not self.children : self.build_children()
767 if self.nature != 'JDC' :
769 for child in self.children :
770 child.verif_all_children()
774 Lance la vérification des conditions des blocs de self et le cas
775 échéant redessine self
777 nbold = self.get_nb_children()
778 test = self.verif_condition()
779 nbnew = self.get_nb_children()
781 self.redraw(nbnew-nbold)
783 def verif_condition(self):
785 on lance la vérification des conditions de chaque bloc de self
786 on crée ou supprime les noeuds concernés
787 (self est d'un niveau inférieur ou égal à l'ETAPE)
789 if self.item.object.__class__.__name__ == 'ETAPE_NIVEAU': return 0
791 l_bloc_arajouter,l_bloc_aenlever = self.verif_condition_bloc()
792 if len(l_bloc_arajouter) > 0:
794 for mc in l_bloc_arajouter:
795 self.append_node_child(mc,verif='non')
796 if len(l_bloc_aenlever) > 0:
798 for mc in l_bloc_aenlever:
799 mocle = self.get_node_fils(mc)
800 self.delete_child(mocle)
801 l_mc_presents = self.item.get_liste_mc_presents()
802 l_mc_arajouter= self.verif_condition_regles(l_mc_presents)
803 if len(l_mc_arajouter) > 0:
805 for mc in l_mc_arajouter:
806 self.append_node_child(mc,verif='non')
807 if len(l_mc_arajouter)+len(l_bloc_arajouter)+len(l_bloc_aenlever) != 0 :
808 self.verif_condition()
811 def verif_condition_bloc(self):
812 return self.item.verif_condition_bloc()
814 def verif_condition_regles(self,l_mc_presents):
815 return self.item.verif_condition_regles(l_mc_presents)