X-Git-Url: http://git.salome-platform.org/gitweb/?a=blobdiff_plain;f=Ihm%2FI_ETAPE.py;h=a4648fd2648279f9b7ee773c3e5a4681bbe535e2;hb=d41b1c52d0c35b655f6feabfe816a3c541f3a92a;hp=1d098585a43cd32f0b29e4ab5bc729a161fcc3cf;hpb=a99861a3719826af1b595f1049330253ad4cc50f;p=tools%2Feficas.git diff --git a/Ihm/I_ETAPE.py b/Ihm/I_ETAPE.py index 1d098585..a4648fd2 100644 --- a/Ihm/I_ETAPE.py +++ b/Ihm/I_ETAPE.py @@ -1,3 +1,4 @@ +# -*- coding: utf-8 -*- # CONFIGURATION MANAGEMENT OF EDF VERSION # ====================================================================== # COPYRIGHT (C) 1991 - 2002 EDF R&D WWW.CODE-ASTER.ORG @@ -32,10 +33,13 @@ import traceback import Noyau from Noyau import N_Exception from Noyau.N_Exception import AsException +import Validation # fin import à résorber # Modules EFICAS import I_MCCOMPO +import CONNECTOR +from Extensions import commande_comm class ETAPE(I_MCCOMPO.MCCOMPO): @@ -65,10 +69,11 @@ class ETAPE(I_MCCOMPO.MCCOMPO): Met l'état de l'étape à : modifié Propage la modification au parent """ - # Une action - # doit etre realisée apres init_modif et la validite reevaluée - # apres cette action. L'état modified de tous les objets doit etre - # preservé. + # init_modif doit etre appelé avant de réaliser une modification + # La validité devra etre recalculée apres cette modification + # mais dans l'appel à fin_modif pour préserver l'état modified + # de tous les objets entre temps + #print "init_modif",self,self.parent self.state = 'modified' if self.parent: self.parent.init_modif() @@ -79,8 +84,17 @@ class ETAPE(I_MCCOMPO.MCCOMPO): déclencher d'éventuels traitements post-modification ex : INCLUDE et POURSUITE """ - if self.isvalid() : - d=self.parent.get_contexte_apres(self) + #print "fin_modif",self,self.parent + if self.nom == "DETRUIRE": + #Il n'est pas conseillé de mettre des traitements dans fin_modif. Ceci est une + # exception qu'il faut supprimer à terme. + #une commande DETRUIRE a été modifiée. Il faut verifier les commandes + #suivantes + #ATTENTION: aux eventuelles recursions + self.parent.control_context_apres(self) + pass + + CONNECTOR.Emit(self,"valid") if self.parent: self.parent.fin_modif() @@ -110,9 +124,10 @@ class ETAPE(I_MCCOMPO.MCCOMPO): # Cas particulier des opérateurs obligatoirement réentrants # if self.definition.reentrant == 'o': - self.sd = self.reuse = self.jdc.get_sd_avant_etape(nom,self) + self.sd = self.reuse = self.jdc.get_sd_avant_etape(nom,self) if self.sd != None : self.sdnom=self.sd.nom + self.fin_modif() return 1,"Concept existant" else: return 0,"Opérateur réentrant mais concept non existant" @@ -123,25 +138,27 @@ class ETAPE(I_MCCOMPO.MCCOMPO): if self.definition.reentrant == 'f' : sd = self.jdc.get_sd_avant_etape(nom,self) if sd != None : - # FR : il faut tester que la sd trouvée est du bon type !!!!!!!!!!!!!!!!! - if isinstance(sd,self.get_type_produit()) : + # FR : il faut tester que la sd trouvée est du bon type !!!!!!!!!!!!!!!!! + if isinstance(sd,self.get_type_produit()) : self.sd = self.reuse = sd self.sdnom = sd.nom + self.fin_modif() return 1,"Opérateur facultativement réentrant et concept existant trouvé" - else: - return 0,"Concept déjà existant et de mauvais type" + else: + return 0,"Concept déjà existant et de mauvais type" else : # il faut enlever le lien vers une SD existante car si on passe ici - # cela signifie que l'opérateur n'est pas utilisé en mode réentrant. - # Si on ne fait pas cela, on risque de modifier une SD produite par un autre opérateur - if self.reuse : + # cela signifie que l'opérateur n'est pas utilisé en mode réentrant. + # Si on ne fait pas cela, on risque de modifier une SD produite par un autre opérateur + if self.reuse : old_reuse=self.reuse - self.sd = self.reuse = self.sdnom = None + self.sd = self.reuse = self.sdnom = None # # On est dans le cas ou l'opérateur n'est pas réentrant ou est facultativement reentrant # mais est utilisé en mode non réentrant # if self.sd == None : + #Pas de concept produit preexistant if self.parent.get_sd_autour_etape(nom,self): # Un concept de ce nom existe dans le voisinage de l'etape courante # On retablit l'ancien concept reentrant s'il existait @@ -153,22 +170,31 @@ class ETAPE(I_MCCOMPO.MCCOMPO): # Il n'existe pas de concept de ce nom dans le voisinage de l'etape courante # On peut donc créer le concept retourné. # Il est créé sans nom mais enregistré dans la liste des concepts existants - self.get_sd_prod() - # Il suffit de changer son attribut nom pour le nommer - self.sd.nom = nom - self.sdnom=nom - return 1,"Nommage du concept effectué" + try: + self.get_sd_prod() + # Renommage du concept : Il suffit de changer son attribut nom pour le nommer + self.sd.nom = nom + self.sdnom=nom + self.parent.update_concept_after_etape(self,self.sd) + self.fin_modif() + return 1,"Nommage du concept effectué" + except: + return 0,"Nommage impossible"+str(sys.exc_info()[1]) else : + #Un concept produit preexiste old_nom=self.sd.nom if string.find(old_nom,'sansnom') : # Dans le cas où old_nom == sansnom, isvalid retourne 0 alors que ... - # par contre si le concept existe et qu'il s'appelle sansnom c'est que l'étape est valide - # on peut donc le nommer sans test préalable + # par contre si le concept existe et qu'il s'appelle sansnom c'est que l'étape est valide + # on peut donc le nommer sans test préalable if self.parent.get_sd_autour_etape(nom,self): return 0,"Nommage du concept refuse : un concept de meme nom existe deja" else: - self.sd.nom=nom + # Renommage du concept : Il suffit de changer son attribut nom pour le nommer + self.sd.nom=nom self.sdnom=nom + self.parent.update_concept_after_etape(self,self.sd) + self.fin_modif() return 1,"Nommage du concept effectué" if self.isvalid() : # Normalement l appel de isvalid a mis a jour le concept produit (son type) @@ -177,8 +203,11 @@ class ETAPE(I_MCCOMPO.MCCOMPO): if self.parent.get_sd_autour_etape(nom,self): return 0,"Nommage du concept refuse : un concept de meme nom existe deja" else: + # Renommage du concept : Il suffit de changer son attribut nom pour le nommer self.sd.nom=nom self.sdnom=nom + self.parent.update_concept_after_etape(self,self.sd) + self.fin_modif() return 1,"Nommage du concept effectué" else: # Normalement on ne devrait pas passer ici @@ -200,11 +229,14 @@ class ETAPE(I_MCCOMPO.MCCOMPO): """ if self.actif:return self.actif = 1 - if not self.sd : return - try: - self.jdc.append_sdprod(self.sd) - except: - pass + self.init_modif() + if self.sd : + try: + self.jdc.append_sdprod(self.sd) + except: + pass + CONNECTOR.Emit(self,"add",None) + CONNECTOR.Emit(self,"valid") def inactive(self): """ @@ -213,19 +245,20 @@ class ETAPE(I_MCCOMPO.MCCOMPO): et de la liste des sd """ self.actif = 0 - if not self.sd : return - self.jdc.del_sdprod(self.sd) - self.jdc.delete_concept_after_etape(self,self.sd) + self.init_modif() + if self.sd : + self.jdc.del_sdprod(self.sd) + self.jdc.delete_concept_after_etape(self,self.sd) + CONNECTOR.Emit(self,"supp",None) + CONNECTOR.Emit(self,"valid") def control_sdprods(self,d): """ - Cette methode doit updater le contexte fournit par - l'appelant en argument (d) en fonction de sa definition - tout en verifiant que ses concepts produits ne sont pas + Cette methode doit verifier que ses concepts produits ne sont pas deja definis dans le contexte + Si c'est le cas, les concepts produits doivent etre supprimes """ - if type(self.definition.op_init) == types.FunctionType: - apply(self.definition.op_init,(self,d)) + #print "control_sdprods",d.keys(),self.sd and self.sd.nom,self.nom if self.sd: if d.has_key(self.sd.nom): # Le concept est deja defini @@ -236,11 +269,24 @@ class ETAPE(I_MCCOMPO.MCCOMPO): # Redefinition du concept, on l'annule #XXX on pourrait simplement annuler son nom pour conserver les objets # l'utilisateur n'aurait alors qu'a renommer le concept (faisable??) - self.sd=self.reuse=self.sdnom=None self.init_modif() - else: - # Le concept n'est pas defini, on peut updater d - d[self.sd.nom]=self.sd + sd=self.sd + self.sd=self.reuse=self.sdnom=None + #supprime les references a sd dans les etapes suivantes + self.parent.delete_concept_after_etape(self,sd) + self.fin_modif() + + def supprime_sdprod(self,sd): + """ + Supprime le concept produit sd s'il est produit par l'etape + """ + if sd is not self.sd:return + if self.sd != None : + self.init_modif() + self.parent.del_sdprod(sd) + self.sd=None + self.fin_modif() + self.parent.delete_concept(sd) def supprime_sdprods(self): """ @@ -250,13 +296,21 @@ class ETAPE(I_MCCOMPO.MCCOMPO): Une procedure n'en a aucun Une macro en a en général plus d'un """ - if not self.is_reentrant() : - # l'étape n'est pas réentrante - # le concept retourné par l'étape est à supprimer car il était - # créé par l'étape - if self.sd != None : - self.parent.del_sdprod(self.sd) - self.parent.delete_concept(self.sd) + #print "supprime_sdprods",self + if self.reuse is self.sd :return + # l'étape n'est pas réentrante + # le concept retourné par l'étape est à supprimer car il était + # créé par l'étape + if self.sd != None : + self.parent.del_sdprod(self.sd) + self.parent.delete_concept(self.sd) + + def close(self): + return + + def update_concept(self,sd): + for child in self.mc_liste : + child.update_concept(sd) def delete_concept(self,sd): """ @@ -291,48 +345,8 @@ class ETAPE(I_MCCOMPO.MCCOMPO): for child in self.mc_liste : child.replace_concept(old_sd,sd) -#ATTENTION SURCHARGE: cette methode doit etre gardée en synchronisation avec Noyau - def make_register(self): - """ - Initialise les attributs jdc, id, niveau et réalise les - enregistrements nécessaires - Pour EFICAS, on tient compte des niveaux - Surcharge la methode make_register du package Noyau - """ - if self.parent : - self.jdc = self.parent.get_jdc_root() - self.id= self.parent.register(self) - if self.definition.niveau : - # La définition est dans un niveau. En plus on - # l'enregistre dans le niveau - self.nom_niveau_definition = self.definition.niveau.nom - self.niveau = self.parent.dict_niveaux[self.nom_niveau_definition] - self.niveau.register(self) - else: - # La définition est au niveau global - self.nom_niveau_definition = 'JDC' - self.niveau=self.parent - else: - self.jdc = self.parent =None - self.id=None - self.niveau=None - - def copy(self): - """ Méthode qui retourne une copie de self non enregistrée auprès du JDC - et sans sd - """ - etape = copy(self) - etape.sd = None - etape.state = 'modified' - etape.reuse = None - etape.sdnom = None - etape.etape=etape - etape.mc_liste=[] - for objet in self.mc_liste: - new_obj = objet.copy() - new_obj.reparent(etape) - etape.mc_liste.append(new_obj) - return etape + def reset_context(self): + pass def get_noms_sd_oper_reentrant(self): """ @@ -354,16 +368,6 @@ class ETAPE(I_MCCOMPO.MCCOMPO): l_noms.sort() return l_noms - def get_sd_utilisees(self): - """ - Retourne la liste des concepts qui sont utilisés à l'intérieur d'une commande - ( comme valorisation d'un MCS) - """ - l=[] - for child in self.mc_liste: - l.extend(child.get_sd_utilisees()) - return l - def get_genealogie(self): """ Retourne la liste des noms des ascendants de l'objet self @@ -371,23 +375,55 @@ class ETAPE(I_MCCOMPO.MCCOMPO): """ return [self.nom] - def reparent(self,parent): - """ - Cette methode sert a reinitialiser la parente de l'objet - """ - self.parent=parent - self.jdc=parent.get_jdc_root() - self.etape=self - for mocle in self.mc_liste: - mocle.reparent(self) - def verif_existence_sd(self): """ Vérifie que les structures de données utilisées dans self existent bien dans le contexte - avant étape, sinon enlève la référence à ces concepts + avant étape, sinon enlève la référence à ces concepts """ + #print "verif_existence_sd",self.sd for motcle in self.mc_liste : motcle.verif_existence_sd() + + def update_mc_global(self): + """ + Met a jour les mots cles globaux enregistrés dans l'étape + et dans le jdc parent. + Une etape ne peut pas etre globale. Elle se contente de passer + la requete a ses fils apres avoir reinitialisé le dictionnaire + des mots cles globaux. + """ + self.mc_globaux={} + I_MCCOMPO.MCCOMPO.update_mc_global(self) + + def update_condition_bloc(self): + """ + Realise l'update des blocs conditionnels fils de self + """ + self._update_condition_bloc() + + def get_objet_commentarise(self,format): + """ + Cette méthode retourne un objet commande commentarisée + representant la commande self + """ + import generator + g=generator.plugins[format]() + texte_commande = g.gener(self,format='beautifie') + # Il faut enlever la première ligne vide de texte_commande que + # rajoute le generator + #rebut,texte_commande = string.split(texte_commande,'\n',1) + # on construit l'objet COMMANDE_COMM repésentatif de self mais non + # enregistré dans le jdc (pas ajouté dans jdc.etapes) + parent=self.parent + pos=self.parent.etapes.index(self) + commande_comment = commande_comm.COMMANDE_COMM(texte=texte_commande, + reg='non', + parent=parent) + self.parent.suppentite(self) + parent.addentite(commande_comment,pos) + + return commande_comment + #ATTENTION SURCHARGE: a garder en synchro ou a reintegrer dans le Noyau def Build_sd(self,nom): @@ -397,7 +433,6 @@ class ETAPE(I_MCCOMPO.MCCOMPO): """ try: sd=Noyau.N_ETAPE.ETAPE.Build_sd(self,nom) - self.state="changed" except AsException,e: # Une erreur s'est produite lors de la construction du concept # Comme on est dans EFICAS, on essaie de poursuivre quand meme @@ -412,91 +447,37 @@ class ETAPE(I_MCCOMPO.MCCOMPO): return self.sd - def Build_sd_old(self,nom): +#ATTENTION SURCHARGE: cette methode doit etre gardée en synchronisation avec Noyau + def make_register(self): """ - Construit le concept produit de l'opérateur. Deux cas - peuvent se présenter : - - - le parent n'est pas défini. Dans ce cas, l'étape prend en charge la création - et le nommage du concept. - - - le parent est défini. Dans ce cas, l'étape demande au parent la création et - le nommage du concept. - + Initialise les attributs jdc, id, niveau et réalise les + enregistrements nécessaires + Pour EFICAS, on tient compte des niveaux + Surcharge la methode make_register du package Noyau """ - if not self.isactif():return - # FR : attention cette méthode ne devrait pas se trouver là car elle surcharge celle qui - # se trouve dans N_ETAPE.py et elle est partie intégrante du noyau, mais, suite à l'absence de - # test de validité de l'opérateur avant d'essayer de déterminer la sd produite, on n'arrivait - # pas à relire avec EFICAS un fichier contenant une étape encore incomplète du style : - # sansnom = AFFE_CHAR_CINE(MODELE=None) - # Suite à la stabilisation du noyau d'Aster, je n'ai pas eu d'autre solution que de surcharger - # cette méthode ici en rajoutant le test manquant ... - # CCAR : cette modification ne corrige le probleme qu'en partie. Il faudrait probablement - # supprimer les erreurs fatales (exception ) et retourner systematiquement un objet produit - # meme en cas d'erreur et reporter l'emission du message d'erreur a la phase de validation - # - if not self.isvalid(sd='non') : return - self.sdnom=nom - try: - if self.parent: - sd= self.parent.create_sdprod(self,nom) - if type(self.definition.op_init) == types.FunctionType: - apply(self.definition.op_init,(self,self.parent.g_context)) + if self.parent : + self.jdc = self.parent.get_jdc_root() + self.id= self.parent.register(self) + self.UserError=self.jdc.UserError + if self.definition.niveau : + # La définition est dans un niveau. En plus on + # l'enregistre dans le niveau + self.nom_niveau_definition = self.definition.niveau.nom + self.niveau = self.parent.dict_niveaux[self.nom_niveau_definition] + self.niveau.register(self) else: - sd=self.get_sd_prod() - # On n'utilise pas self.definition.op_init car self.parent - # n'existe pas - if sd != None and self.reuse == None: - # On ne nomme le concept que dans le cas de non reutilisation - # d un concept - sd.nom=nom - if self.jdc and self.jdc.par_lot == "NON" : - self.Execute() - return sd - except AsException,e: - # Une erreur s'est produite lors de la construction du concept - # Comme on est dans EFICAS, on essaie de poursuivre quand meme - # Si on poursuit, on a le choix entre deux possibilités : - # 1. on annule la sd associée à self - # 2. on la conserve mais il faut la retourner - # En plus il faut rendre coherents sdnom et sd.nom - self.sd=None - self.sdnom=None - self.state="unchanged" - self.valid=0 - return self.sd - - #raise AsException("Etape ",self.nom,'ligne : ',self.appel[0], - # 'fichier : ',self.appel[1],e) - except EOFError: - # XXX Normalement le contexte courant doit etre le parent. - # Il n'y a pas de raison de remettre le contexte au parent - #self.reset_current_step() - raise - except : - l=traceback.format_exception(sys.exc_info()[0],sys.exc_info()[1],sys.exc_info()[2]) - raise AsException("Etape ",self.nom,'ligne : ',self.appel[0], - 'fichier : ',self.appel[1]+'\n', - string.join(l)) - - - - - - - - - - - - - - - - - - - - - + # La définition est au niveau global + self.nom_niveau_definition = 'JDC' + self.niveau=self.parent + else: + self.jdc = self.parent =None + self.id=None + self.niveau=None + self.UserError="UserError" + + def report(self): + cr= Validation.V_ETAPE.ETAPE.report(self) + #rafraichissement de la validité de l'etape (probleme avec l'ordre dans les macros : etape puis mots cles) + self.isvalid() + return cr +