2 Ce module contient la classe de definition OPER
3 qui permet de spécifier les caractéristiques d'un opérateur
6 import types,string,traceback
12 class OPER(N_ENTITE.ENTITE):
14 Classe pour definir un opérateur
16 Cette classe a trois attributs de classe
18 - class_instance qui indique la classe qui devra etre utilisée
19 pour créer l'objet qui servira à controler la conformité d'un
20 opérateur avec sa définition
22 - label qui indique la nature de l'objet de définition (ici, OPER)
24 - nommage qui est un module Python qui fournit la fonctionnalité de nommage
26 et les attributs d'instance suivants :
30 - op : le numéro d'opérateur
32 - sd_prod : le type de concept produit. C'est une classe ou une fonction qui retourne
35 - reentrant : vaut 'n' ou 'o'. Indique si l'opérateur est réentrant ou pas. Un opérateur
36 réentrant peut modifier un concept d'entrée et le produire comme concept de sortie
38 - repetable : vaut 'n' ou 'o'. Indique si l'opérateur est répetable ou pas. Un opérateur
39 non répétable ne doit apparaitre qu'une fois dans une exécution. C'est du ressort
40 de l'objet gérant le contexte d'exécution de vérifier cette contrainte.
42 - fr : commentaire associé en français
44 - ang : commentaire associé en anglais
46 - docu : clé de documentation associée
48 - regles : liste des règles associées
50 - op_init : cet attribut vaut None ou une fonction. Si cet attribut ne vaut pas None, cette
51 fonction est exécutée lors des phases d'initialisation de l'étape associée.
53 - niveau : indique le niveau dans lequel est rangé l'opérateur. Les opérateurs peuvent être
54 rangés par niveau. Ils apparaissent alors exclusivement dans leur niveau de rangement.
55 Si niveau vaut None, l'opérateur est rangé au niveau global.
57 - entites : dictionnaire dans lequel sont stockés les sous entités de l'opérateur. Il s'agit
58 des entités de définition pour les mots-clés : FACT, BLOC, SIMP. Cet attribut
59 est initialisé avec args, c'est à dire les arguments d'appel restants.
63 class_instance = N_ETAPE.ETAPE
67 def __init__(self,nom,op,sd_prod,reentrant='n',repetable='o',fr="",ang="",
68 docu="",regles=(),op_init=None,niveau = None,**args):
70 Méthode d'initialisation de l'objet OPER. Les arguments sont utilisés pour initialiser
71 les attributs de meme nom
76 self.reentrant=reentrant
79 self.repetable = repetable
81 if type(regles)== types.TupleType:
85 # Attribut op_init : Fonction a appeler a la construction de l operateur sauf si == None
88 current_cata=CONTEXT.get_current_cata()
91 current_cata.enregistre(self)
93 self.niveau=current_cata.get_niveau(niveau)
94 self.niveau.enregistre(self)
95 self.affecter_parente()
97 def __call__(self,reuse=None,**args):
99 Construit l'objet ETAPE a partir de sa definition (self),
100 puis demande la construction de ses sous-objets et du concept produit.
102 nomsd=self.nommage.GetNomConceptResultat(self.nom)
103 etape= self.class_instance(oper=self,reuse=reuse,args=args)
105 return etape.Build_sd(nomsd)
107 def make_objet(self,mc_list='oui'):
109 Cette méthode crée l'objet ETAPE dont la définition est self sans
110 l'enregistrer ni créer sa sdprod.
111 Si l'argument mc_list vaut 'oui', elle déclenche en plus la construction
114 etape= self.class_instance(oper=self,reuse=None,args={})
115 if mc_list == 'oui':etape.McBuild()
118 def verif_cata(self):
120 Méthode de vérification des attributs de définition
122 if type(self.regles) != types.TupleType :
123 self.cr.fatal("L'attribut 'regles' doit être un tuple : %s" %`self.regles`)
124 if type(self.fr) != types.StringType :
125 self.cr.fatal("L'attribut 'fr' doit être une chaîne de caractères : %s" %`self.fr`)
126 if self.reentrant not in ('o','n','f'):
127 self.cr.fatal("L'attribut 'reentrant' doit valoir 'o','n' ou 'f' : %s" %`self.reentrant`)
128 if type(self.docu) != types.StringType :
129 self.cr.fatal("L'attribut 'docu' doit être une chaîne de caractères : %s" %`self.docu` )
130 if type(self.nom) != types.StringType :
131 self.cr.fatal("L'attribut 'nom' doit être une chaîne de caractères : %s" %`self.nom`)
132 if type(self.op) != types.IntType :
133 self.cr.fatal("L'attribut 'op' doit être un entier signé : %s" %`self.op`)
134 self.verif_cata_regles()
138 Méthode pour supprimer les références arrières susceptibles de provoquer
139 des cycles de références