le code

Tests/test_base_with_sementic_issue.input

 programme Program
-    entier x, y;
-entier x, y;
-booleen z;
+    booleen v;
+    booleen f;
+    entier x;
+    entier y;
 debutprg
-    ecrire 6 + 2;
-    ecrire 6 - 2;
-    ecrire 6 / 2;
-    ecrire 6 * 2;
-    x = 20;
-    y = 4;
-    ecrire x + y;
-    ecrire x - y;
-    ecrire x / y;
-    ecrire x * y;
-    x = x + 4;
-    y = y - 2;
-    ecrire x + y;
-    ecrire x - y;
-    ecrire x / y;
-    ecrire x * y;
+    v = vrai;
+    f = faux;
+    x = 2;
+    y = 3;
+    ecrire "::: et";
+    ecrire faux et faux;
+    ecrire vrai et faux;
+    ecrire vrai et vrai;
+    ecrire vrai et v;
+    ecrire vrai et f;
+    ecrire non faux et vrai;
 finprg

Visitors/SemanticAnalyzer.java

@@ -34,7 +34,8 @@ public class SemanticAnalyzer implements ASTVisitor {
         node.getDestination().accept(this);
         node.getSource().accept(this);
         if (!(node.getDestination() instanceof Idf)) {
-            throw new RuntimeException("Impossible d'effectuer une affectation sur quelque chose d'autre qu'un identifiant !");
+            throw new RuntimeException(
+                    "Impossible d'effectuer une affectation sur quelque chose d'autre qu'un identifiant !");
         }
         String idfNom = ((Idf) node.getDestination()).getNom();
         if (TDS.getInstance().identifier(new Entree(((Idf) node.getDestination()).getNom())).cst) {
@@ -256,7 +257,8 @@ public class SemanticAnalyzer implements ASTVisitor {
         node.getFrom().accept(this);
         node.getTo().accept(this);
         node.getInstruction().accept(this);
-        if(!(isExpressionNumber(node.getFrom()) && isExpressionNumber(node.getTo()) && isExpressionNumber(node.getIteratorName()))){
+        if (!(isExpressionNumber(node.getFrom()) && isExpressionNumber(node.getTo())
+                && isExpressionNumber(node.getIteratorName()))) {
             throw new RuntimeException("Erreur dans la condition de la boucle 'pour' !");
         }
         return null;
@@ -356,7 +358,8 @@ public class SemanticAnalyzer implements ASTVisitor {
      */
     private boolean isRelationOk(Expression gauche, Expression droite) {
         boolean ok = false;
-        if ((isExpressionNumber(gauche) && isExpressionNumber(droite)) || (isExpressionBooleen(gauche) && isExpressionBooleen(droite))) {
+        if ((isExpressionNumber(gauche) && isExpressionNumber(droite))
+                || (isExpressionBooleen(gauche) && isExpressionBooleen(droite))) {
             ok = true;
         }
         return ok;
@@ -382,7 +385,9 @@ public class SemanticAnalyzer implements ASTVisitor {
      */
     private boolean isExpressionBooleen(Expression expr) {
         expr = (expr instanceof Parentheses) ? ((Parentheses) expr).getExpression() : expr;
-        return expr instanceof Vrai || expr instanceof Faux || expr instanceof Relation || expr instanceof Non || expr instanceof Et || expr instanceof Ou || (expr instanceof Idf
-                && TDS.getInstance().identifier(new Entree(((Idf) expr).getNom())).getType() instanceof Booleen);
+        return expr instanceof Vrai || expr instanceof Faux || expr instanceof Relation || expr instanceof Non
+                || expr instanceof Et || expr instanceof Ou || (expr instanceof Idf
+                        && TDS.getInstance().identifier(new Entree(((Idf) expr).getNom()))
+                                .getType() instanceof Booleen);
     }
 }