[[PageOutline]] = La Structure de Données Lofig = La structure de données {{{Lofig}}} est conçue pour représenter les ''netlists'' en mémoire. Les attributs des différents objets constituants cette structure ont été présentés en cours. Nous allons maintenant compléter avec les déclarations des fonctions membres. == Fonctions membres de la class Locon == Les constructeurs : * Un {{{Locon}}} peut appartenir, soit à un modèle ({{{Lofig}}}), soit à une instance ({{{Loins}}}). Il y aura donc deux constructeurs correspondants à chacune de ces possibilités. On fournit en outre son nom et sa direction. Le type sera déduit à partir du constructeur appelé. * {{{Locon ( Lofig*, const std::string& name, unsigned int dir );}}} * {{{Locon ( Loins*, const std::string& name, unsigned int dir );}}} Les accesseurs : * {{{std::string getName ();}}} * {{{Losig* getSignal ();}}} * {{{Lofig* getModel ();}}} * {{{Loins* getInstance ();}}} * {{{unsigned int getDirection();}}} Les modificateurs (''mutators'', en VO) : * Un {{{Locon}}} peut (doit) être associé à un signal. On pourra le faire de deux façons différentes, soit en donnant explicitement un pointeur sur le {{{Losig}}}, soit en indiquant simplement le nom du signal. * {{{void setSignal ( Losig* );}}} * {{{void setSignal ( const std::string& );}}} * Positionnement de la direction : * {{{void setDirection ( unsigned int );}}} De plus, le code de trois fonctions membres vous sont fournies pour pouvoir afficher l'objet dans un flux. Dans {{{Locon.h}}} : {{{ class Locon { public: static std::string typeToString ( unsigned int ); static std::string dirToString ( unsigned int ); public: void xmlDrive ( std::ostream& ); }; }}} Code de [attachment:Locon-Skeleton.cpp Locon.cpp] == Fonctions membres de la class Losig == Le constructeur : * {{{Losig ( Lofig*, const std::string&, unsigned int type );}}} Les arguments correspondent respectivement à la {{{Lofig}}} auxquel le signal appartient, son nom et son type. L'identificateur sera demandé directement à la {{{Lofig}}} dans le corps du constructeur. Les accesseurs : * {{{Lofig* getOwner ();}}} * {{{std::string& getName ();}}} * {{{unsigned int getId ();}}} * {{{unsigned int getType ();}}} Le code de la fonction utilitaire d'affichage dans un flux : [attachment:Losig-Skeleton.cpp] == Fonctions membres de la classe Loins == __Le constructeur__ : * {{{Loins ( Lofig* owner, Lofig* model, const std::string& );}}} Les arguments sont l'{{{owner}}}, la {{{Lofig}}} ''dans laquelle'' l'instance est crée, le {{{model}}}, la {{{Logig}}} ''dont'' on créé une instance et le nom de cette instance. Le constructeur se charge de la duplication des connecteurs du modèle {{{model}}} dans l'instance. __Le destructeur__ : * {{{~Loins ()}}} Il entrainera la destruction de ses connecteurs {{{Locon}}}. __Les accesseurs__ : * {{{std::string& getName ();}}} * {{{Lofig* getModel ();}}} * {{{Lofig* getOwner ();}}} * {{{std::list& getConnectors ();}}} * {{{Locon* getConnector ( const std::string& );}}} __Les modificateurs__ : * {{{bool connect ( const std::string& name, Losig* );}}} Réalise l'association entre un connecteur ({{{Locon}}}) ''de l'instance'' et un signal {{{name}}} (de la {{{Lofig}}} {{{owner}}}). Le code de la fonction utilitaire d'affichage dans un flux : [attachment:Loins-Skeleton.cpp] == Fonctions membres de la classe Lofig == __Le constructeur__ : * {{{Lofig ( const std::string& );}}} Le constructeur est extrèmement simple, il se contente de positionner le nom de la {{{Lofig}}}, tous les autres attributs sont ''vides''. __Le destructeur__ : * {{{~Lofig ()}}} Il entrainera la destruction~: * De ses instances. * De ses signaux. * De ses connecteurs. ''Mais pas'' de ses modèles, qui sont autant de {{{Lofig}}} pouvant apparaître comme modèles dans d'autres {{{Lofig}}} Voir les considération spécifiques sur la destruction de la base de données. Voir les considération spécifiques sur la destruction de la base de données. __Les accesseurs__ : * {{{unsigned int getMode ();}}} * {{{const std::string& getName ();}}} * {{{std::list& getModels ();}}} * {{{std::list& getConnectors ();}}} * {{{std::list& getInstances ();}}} * {{{std::list& getSignals ();}}} __Les modificateurs__ : * {{{setMode ( unsigned int );}}} __Les modificateurs relatifs aux modèles__ : * Ajoute un nouveau modèle, soit en donnant directement sa {{{Lofig}}}, soit par nom. On n'ajoutera pas un modèle s'il est déjà présent. * {{{void addModel ( const std::string& );}}} * {{{void addModel ( Lofig* );}}} [[br]] * Retrait d'un modèle de la liste. Mêmes variantes que pour l'ajout. * {{{void removeModel ( const std::string& );}}} * {{{void removeModel ( Lofig* );}}} * Recherche d'un modèle par son nom. S'il n'est pas trouvé, la fonction renverra {{{NULL}}}. * {{{Lofig* findModel ( const std::string& );}}} __Les modificateurs relatifs aux connecteurs__ : * Ajoute un nouveau connecteur à la {{{Losig}}}. On doit fournir son nom, sa direction ainsi que le signal auquel il est relié. Cela implique que l'on créé les signaux ''avant'' les connecteurs. * {{{void addConnector ( const std::string&, unsigned int dir, Losig* );}}} * Suppression d'un connecteur, soit directement par un pointeur sur le {{{Locon}}}, soit par nom. * {{{void removeConnector ( const std::string& );}}} * {{{void removeConnector ( Locon* );}}} * Recherche d'un connecteur par son nom. * {{{Locon* findConnector ( const std::string& );}}} * Réalisation d'une connexion. La première version correspond à la (re)connexion d'un signal sur un {{{Locon}}} du modèle. La seconde version à la connexion d'un {{{Locon}}} d'une instance (référencé par son nom {{{conName}}}) à un signal du modèle référencé par son nom {{{sigName}}}. * {{{bool connect ( const std::string& conName, const std::string& sigName );}}} * {{{bool connect ( const std::string& insName, const std::string& conName, const std::string& sigName );}}} __Les modificateurs relatifs aux instances__ : * Ajout d'une nouvelle instance. La première variante non seulement ajoute l'instance, mais aussi la créé (l'alloue par appel au constructeur de {{{Loins}}}). Dans le second cas on dispose déjà de l'instance. Dans les deux cas on effectuera une vérification de cohérence pour empécher la création de deux instances de même nom. * {{{void addInstance ( const std::string& modelName, const std::string& insName );}}} * {{{void addInstance ( Lofig*, const std::string& insName );}}} * Supprime une instance du modèle. * {{{void removeInstance ( const std::string& );}}} * {{{void removeInstance ( Loins* );}}} * Cherche une instance par son nom. * {{{Loins* findInstance ( const std::string& );}}} * Retourne {{{true}}} si l'instance pointée appartient bien à ce modèle. * {{{bool hasInstance ( Loins* );}}} __Les modificateurs relatifs aux signaux__ : * Ajout d'un signal. Faire une vérification de cohérence, on ne doit pas avoir deux signaux de même nom. * {{{void addSignal ( const std::string&, unsigned int type );}}} * Destruction d'un signal, par nom ou diectement par pointeur. * {{{void removeSignal ( const std::string& );}}} * {{{void removeSignal ( Losig* );}}} * Recherche d'un signal, par nom ou par identificateur. Si le signal n'existe pas, renvoyer {{{NULL}}}. * {{{Losig* findSignal ( const std::string& );}}} * {{{Losig* findSignal ( unsigned int id );}}} * Renvoie un nouvel identificateur de signal. Il doit avoir la garentie d'être unique. * {{{unsigned int _newSignalId ();}}} __Fonctions statiques__ : * Retourne la liste de toutes les {{{Lofig}}} présentent en mémoire. * {{{static std::list& getAll ();}}} * Recherche une {{{Lofig}}} dans la liste générale. * {{{static Lofig* findFromAll ( const std::string& );}}} * Désalloue la totalité des {{{Lofig}}}. * {{{static void destroyAll ();}}} * Ajoute une {{{Lofig}}} à la liste générale (vérifier l'unicité). * {{{static void _addToAll ( Lofig* );}}} * Retire une {{{Lofig}}} de la liste générale (par nom ou directement par pointeur). * {{{static void _removeFromAll ( Lofig* );}}} * {{{static void _removeFromAll ( const std::string& );}}} De plus, le code de deux fonctions membres vous sont fournies pour pouvoir afficher l'objet dans un flux. Dans {{{Lofig.h}}} : {{{ class Lofig { public: static std::string modeToString ( unsigned int ); public: void xmlDrive ( std::ostream& ); }; }}} Le code de la fonction utilitaire d'affichage dans un flux : [attachment:Lofig-Skeleton.cpp] == Destruction de la Base de Données == Cette base de donnée est composées d'objets contenant des pointeurs sur différents autres objets. La destruction de l'un de ces objets doit donc se faire de façon à préserver la cohérence de la base de données. Par exemple, la destruction d'un signal ''devrait'' entrainer son retrait des différents {{{Locon}}} qui pointent sur lui. De même, la destruction d'une {{{Lofig}}} devrait entraîner sa suppression de toutes les listes de modèles. Cette gestion est beaucoup trop compliquée à implanter dans le cadre d'un TME, nous ne le ferons donc pas. En revanche, la fonction {{{Lofig:destroyAll}}} détruisant la totalité de la base de données sera implantée. = Travail à réaliser = Implanter la structure de donnée {{{Lofig}}} à partir la spécification ci-dessus. Pour valider votre travail, il vous est demandé de décrire la ''netlist'' ci dessous, représentant un ''full adder'' (brique de base des additionneurs). [[Image(fulladder-1.png)]] Un ''full adder'' se décompose en deux ''half adder''. A titre d'exemple, la construction du ''half adder'' vous est fournie [attachment:Main-Skeleton.cpp]. La représentation compléte du ''full adder'' sous forme de structure {{{Lofig}}} est présentée figure 2. [[Image(fulladder-2.png)]] == La Mini Bibliothèque de Modèles == La bibliothèque vous fourni trois modèles ({{{Lofig}}}), {{{And2}}}, {{{Xor2}}} et {{{Or2}}}. Interface simplifiée de la bibliothèque : {{{ class Library { public: enum ModelType { And2=0, Or2, Xor2, ModelTypeSize }; public: static void destroy (); static Lofig* getModel ( unsigned int modelType ); }; }}} Code de la bibliothèque : [attachment:Library.h Library.h] [attachment:Library.cpp Library.cpp] [[Image(Library-1.png)]]