Changes between Version 4 and Version 5 of 2010CaoTme3

Timestamp:

Mar 20, 2010, 8:00:39 PM (15 years ago)

Author:

jpc

Comment:

--

2010CaoTme3

@@ -177 +177 @@
 En conclusion, la fonction récursive aura la structure générale suivante:
 
+{{{
+LITTERALS(e)
+  IF e IS_A variable:
+    RETURN 1
+  ELSE
+    sum = 0
+    FOR EACH operand OF e:
+      sum += LITTERALS(operand)
+    RETURN sum
+}}}
+
 [[Image(Ebm-1.png)]]
+
+La figure suivante représente l'ordre dans lequel les noeud de l'arbre de l'{{{EBM}}}
+sont parcourus lors d'une récursion.
+
 [[Image(Ebm-2.png)]]
+
+État de la pile d'appel des fonctions a un instant donné du parcours récursif.
+Le chemin actullement parcouru est {{{(e4,e1,a)}}}
+
 [[Image(Ebm-3.png)]]
+
+La pile d'appel des fonctions membres à un instant donné.
+
+''Attention'' : il est très important de bien distinguer le code la fonction,
+qui est écrit une fois (dans {{{Ebm}}}) et l' ''objet'' auquel elle s'applique.
+Nous avons ainsi la même fonction membre {{display()}} mais sur trois objets
+différents : {{{e4}}}, {{{e1}}} et {{{a}}}.
+
 [[Image(Ebm-4.png)]]
 
@@ -186 +213 @@
 
 
+Dans la présentation de la récursion, nous avons vu qu'il était nécessaire,
+pour choisir entre la récursion et l'arrêt, de savoir distinguer une variable
+({{{EbmVar}}}) d'une expression ({{{EbmExpr}}}).
+
+Pour cela nous allons implanter la fonction {{{getType()}}}.
+
+La fonction {{{getType()}}} a les caractéristiques suivantes:
+ * Elle est déclarée virtuelle pure dans la classe {{{Ebm}}}, c'est à dire
+   qu'elle '''doit''' être sur-définie dans les classes dérivées '''et'''
+   qu'elle n'a aucune implémentation au niveau de la classe {{{Ebm}}}.
+ * Dans la classe {{{EbmVar}}} elle retourne '''Variable'''.
+ * Dans la classe {{{EbmExpr}}} elle retourne '''Expression'''.
+
+De cette façon, lorsqu'elle est appelée dans les fonctions récursives définies
+dans {{{Ebm}}}, elle retournera la valeur associée au ''type dynamique'' de
+l'{{{Ebm}}} en cours de traitement. C'est à dire {{{EbmVar}}} ou {{{EbmExpr}}}.
+
 [[Image(Ebm-5.png)]]
 
 
 == Les ''templates'' {{{map<>}}} et {{{set<>}}} ==
+