*** empty log message ***

diff --git a/Traducteur/dictErreurs.py b/Traducteur/dictErreurs.py
index d740fd5b81cf32b9ff908d2798b751f5047bfdb7..fc721f40f507bb0af4a08ab56ca727b55f646b23 100644 (file)
--- a/Traducteur/dictErreurs.py
+++ b/Traducteur/dictErreurs.py
@@ -42,3 +42,16 @@ def GenereErreurPourCommande(jdc,listeCommande) :
            if c.name != Mot :continue
            EcritErreur((Mot,),c.lineno)
 
+def GenereErreurMotCleInFact(jdc,command,fact,mocle):
+    for c in jdc.root.childNodes:
+        if c.name != command:continue
+        for mc in c.childNodes:
+            if mc.name != fact:continue
+            l=mc.childNodes[:]
+            for ll in l:
+                for n in ll.childNodes:
+                    if n.name != mocle:
+                       continue
+                   else :
+                       EcritErreur((command,fact,mocle,),c.lineno)
+