Changes between Initial Version and Version 1 of 2011CaoTme2

Timestamp:

Feb 25, 2011, 12:52:23 AM (14 years ago)

Author:

jpc

Comment:

--

2011CaoTme2

@@ +1 @@
+[[PageOutline]]
+
+= Objets Simples & Opérateurs =
+
+Pour valider la description d'un circuit intégré, il est nécessaire de passer par une
+étape de simulation (cf. {{{asimut}}}). Une variable à l'intérieur du simulateur est
+un booléen, mais dans certains cas on peut ne pas connaître sa valeur. Le simulateur
+introduit donc un nouveau type de variable pouvant prendre trois valeurs: '''0''',
+'''1''' ou '''U''' ({{{Undefined}}} ou encore {{{non-définie}}}).
+
+Au cours de ce TME nous allons créer ce nouveau type (ou classe) que nous appellerons
+{{{BoolValue}}}.
+
+
+== Spécification de {{{BoolValue}}} ==
+
+La classe {{{BoolValue}}} va contenir un seul attribut {{{_value}}} qui sera de type
+entier et ne pourra prendre que trois valeurs: 0, 1 ou 2 ayant respectivement la
+signification {{{Zero}}}, {{{One}}} et {{{Undefined}}}.
+
+Plutôt que travailler avec des constantes numériques, nous allons utiliser des
+constantes nommées. On réalise cela avec un {{{enum}}}, comme ci-après:
+
+{{{
+class BoolValue {
+  public:
+    enum Value { Zero=0, One=1, Undefined=2 };
+  public:
+    // ...
+};
+}}}
+
+A l'extérieur de la classe on les référencera avec la syntaxe {{{BoolValue::Undefined}}}
+et à l'intérieur, simplement comme {{{Undefined}}}.
+
+La classe {{{BoolValue}}} possèdera les fonctions membres suivantes:
+
+Constructeurs: (''CTOR'')
+* {{{BoolValue()}}}, le constructeur par défaut, devra affecter la valeur {{{Zero}}}.
+* {{{BoolValue{{{int}}}, un contructeur à partir d'un entier ordinaire. Tout entier
+  de valeur supérieure ou égale à 2 sera considéré comme {{{Undefined}}}.
+* {{{BoolValue(const BoolValue&)}}}, un constructeur par copie.
+
+Destructeur: (''DTOR'')
+* {{{~BoolValue()}}}, le destructeur (unique).
+
+Accesseurs: (''Accessors'')
+* {{{print(std::ostream&)}}}, une fonction d'affichage.
+* {{{toInt()}}}, une fonction de conversion vers un entier.
+
+Modifieur: (''Mutators'')
+* {{{fromInt(int)}}}, affectation depuis un entier.
+
+En plus des fonctions membres listées çi dessus, on ajoute les fonctions non-membres
+suivantes permettant de réaliser des opérations logiques:
+* {{{BoolValue non(const BoolValue&)}}}, négation logique.
+* {{{BoolValue ou (const BoolValue&, const BoolValue&), ''ou'' logique.
+* {{{BoolValue et (const BoolValue&, const BoolValue&), ''et'' logique.
+
+La table de vérité des fonctions négation et ''ou'' vous est fournie çi-après.
+
+[[Image(TruthTable-1.png,70%,align=center)]]
+
+=== Question 1 ===
+
+Implanter la class {{{BoolValue}}} telle que décrite précédemment. La tester à
+l'aide du petit programme de test suivant:
+
+[[Image(CheckOuCode-1.png,70%,align=center)]