Noyau/N_OPER.py

   1 """
   2     Ce module contient la classe de definition OPER
   3     qui permet de spécifier les caractéristiques d'un opérateur
   4 """
   5
   6 import types,string,traceback
   7
   8 import N_ENTITE
   9 import N_ETAPE
  10 import nommage
  11
  12 class OPER(N_ENTITE.ENTITE):
  13    """
  14     Classe pour definir un opérateur
  15
  16     Cette classe a trois attributs de classe
  17
  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
  21
  22     - label qui indique la nature de l'objet de définition (ici, OPER)
  23
  24     - nommage qui est un module Python qui fournit la fonctionnalité de nommage
  25
  26     et les attributs d'instance suivants :
  27
  28     - nom   : son nom
  29
  30     - op   : le numéro d'opérateur
  31
  32     - sd_prod : le type de concept produit. C'est une classe ou une fonction qui retourne
  33                       une classe
  34
  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
  37
  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.
  41
  42     - fr   : commentaire associé en français
  43
  44     - ang : commentaire associé en anglais
  45
  46     - docu : clé de documentation associée
  47
  48     - regles : liste des règles associées
  49
  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.
  52
  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.
  56
  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.
  60
  61
  62    """
  63    class_instance = N_ETAPE.ETAPE
  64    label = 'OPER'
  65    nommage = nommage
  66
  67    def __init__(self,nom,op,sd_prod,reentrant='n',repetable='o',fr="",ang="",
  68                 docu="",regles=(),op_init=None,niveau = None,**args):
  69       """
  70          Méthode d'initialisation de l'objet OPER. Les arguments sont utilisés pour initialiser
  71          les attributs de meme nom
  72       """
  73       self.nom=nom
  74       self.op=op
  75       self.sd_prod=sd_prod
  76       self.reentrant=reentrant
  77       self.fr=fr
  78       self.ang=ang
  79       self.repetable = repetable
  80       self.docu=docu
  81       if type(regles)== types.TupleType:
  82           self.regles=regles
  83       else:
  84           self.regles=(regles,)
  85       # Attribut op_init : Fonction a appeler a la construction de l operateur sauf si == None
  86       self.op_init=op_init
  87       self.entites=args
  88       current_cata=CONTEXT.get_current_cata()
  89       if niveau == None:
  90          self.niveau=None
  91          current_cata.enregistre(self)
  92       else:
  93          self.niveau=current_cata.get_niveau(niveau)
  94          self.niveau.enregistre(self)
  95       self.affecter_parente()
  96
  97    def __call__(self,reuse=None,**args):
  98       """
  99           Construit l'objet ETAPE a partir de sa definition (self),
 100           puis demande la construction de ses sous-objets et du concept produit.
 101       """
 102       nomsd=self.nommage.GetNomConceptResultat(self.nom)
 103       etape= self.class_instance(oper=self,reuse=reuse,args=args)
 104       etape.McBuild()
 105       return etape.Build_sd(nomsd)
 106
 107    def make_objet(self,mc_list='oui'):
 108       """
 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
 112            des objets MCxxx.
 113       """
 114       etape= self.class_instance(oper=self,reuse=None,args={})
 115       if mc_list == 'oui':etape.McBuild()
 116       return etape
 117
 118    def verif_cata(self):
 119       """
 120           Méthode de vérification des attributs de définition
 121       """
 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()
 135
 136    def supprime(self):
 137       """
 138           Méthode pour supprimer les références arrières susceptibles de provoquer
 139           des cycles de références
 140       """
 141       self.niveau=None
 142
 143