Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web

1 files changed, 12 insertions, 4 deletions

diff --git a/js/codeq/prolog.js b/js/codeq/prolog.js
index 2aeede4..ce1865a 100644
--- a/js/codeq/prolog.js
+++ b/js/codeq/prolog.js
@@ -166,7 +166,7 @@
                     'step': 'run',
                     'program': editor.getDoc().getValue(),
                     'query': command,
-                    'trace': activityHandler.addAndPurge({'typ': 'slv', 'qry': command})
+                    'trace': activityHandler.addAndPurge({'typ': 'prolog_solve', 'query': command})
                 }, problem_id).then(tcs, tcf);
             }
             else {
@@ -176,7 +176,7 @@
                     return codeq.comms.sendQuery({
                         'problem_id': problem_id,
                         'step': 'next',
-                        'trace': activityHandler.addAndPurge({'typ': 'nxt'})
+                        'trace': activityHandler.addAndPurge({'typ': 'prolog_next'})
                     }, problem_id).then(tcs, tcf);
                 }
                 else {
@@ -185,10 +185,9 @@
                     return codeq.comms.sendQuery({
                         'problem_id': problem_id,
                         'step': 'end',
-                        'trace': activityHandler.addAndPurge({'typ': 'stp'})
+                        'trace': activityHandler.addAndPurge({'typ': 'prolog_end'})
                     }, problem_id).then(tcs, tcf);
                 }
-
             }
         };
 
@@ -240,6 +239,7 @@
         });
 
         jqBtnPlan.on('click', function () {
+            activityHandler.queueTrace({'typ': 'plan'});
             if (!hinter.planNext()) {
                 jqBtnPlan.prop('disabled', true).blur();
             }
@@ -255,6 +255,7 @@
                 })
                 .then(function (data) {
                     if (data.code === 0) {
+                        activityHandler.queueTrace({'typ': 'hint', 'feedback': data.hints});
                         hinter.handle(data.hints);
                     }
                     else {
@@ -279,6 +280,7 @@
                 })
                 .then(function (data) {
                     if (data.code === 0) {
+                        activityHandler.queueTrace({'typ': 'test', 'feedback': data.hints});
                         hinter.handle(data.hints);
                     }
                     else {
@@ -294,6 +296,11 @@
         });
 
         codeq.comms.loadProblem(problemDef.id).done();
+        activityHandler.queueTrace({
+            'typ': 'open',
+            'time': Date.now(),
+            'content': editor.getDoc().getValue()
+        });
 
         return {
             destroy: function () {
@@ -301,6 +308,7 @@
                 $('#screen_prolog .title').text('');//empty the title text
                 jqAllButtons.off();
                 editor.off('change');
+                activityHandler.queueTrace({'typ': 'close'});
                 activityHandler.flush();
                 hinter.destroy();
                 terminal.destroy();