From 4bf07043f7c48e7a755a6e972d718983f8b9461e Mon Sep 17 00:00:00 2001
From: Robert Zorko <robertz@gurucue.com>
Date: Fri, 18 Sep 2015 14:41:57 +0200
Subject: removed old prolog and python files

---
 js/python.js | 175 -----------------------------------------------------------
 1 file changed, 175 deletions(-)
 delete mode 100644 js/python.js

(limited to 'js/python.js')

diff --git a/js/python.js b/js/python.js
deleted file mode 100644
index 1f2b5cb..0000000
--- a/js/python.js
+++ /dev/null
@@ -1,175 +0,0 @@
-/**
- * Handler for a Python assignment. Works with the corresponding python.html content.
- */
-
-(function () {
-    // a constant
-    var firstCharacterPos = {'line': 0, 'ch': 0};
-
-    var makePythonTerminalHandler = function (jqConsole, editor, problem_id, activityHandler) {
-        var terminal = codeq.makeConsole(jqConsole, {
-                'greeting': 'CodeQ Python terminal proxy'
-            }),
-            tcs = function terminalCommandSuccess (data) {
-                if (data.code !== 0) {
-                    terminal.append(data.message, 'error');
-                }
-            },
-            tcf = function terminalCommandFailed (error) {
-                terminal.append(error + '\n', 'error');
-            };
-
-        terminal.onInput = function (text) {
-            return codeq.comms.sendPush({
-                'text': text + '\n'
-            }).then(tcs, tcf);
-        };
-
-        codeq.comms.on('terminal_output', function (data) {
-            var text = data.text;
-            terminal.append(text, 'output');
-            lines = text.split('\n');
-            terminal.leftmostCol = lines[lines.length-1].length;
-        });
-
-        terminal.leftmostCol = 1;
-
-        return terminal;
-    };
-
-    var makeActivityHandler = function (editor, problem_id) {
-        var lastActivityMillis = Date.now(),
-            deltaActivityMillis = function deltaActivityMillisFunc () {
-                var now = Date.now(),
-                    dt = now - lastActivityMillis;
-                lastActivityMillis = now;
-                return dt;
-            },
-            queue = [],
-            ts = null,
-            timer = function () {
-                var promise;
-                ts = null;
-                if (queue.length === 0) return Q(true);
-                promise = codeq.comms.sendActivity(queue, editor.getDoc().getValue(), problem_id);
-                queue.length = 0;
-                return promise;
-            },
-            flush = function () {
-                clearTimeout(ts);
-                return timer();
-            };
-
-        return {
-            'queueTrace': function (trace) {
-                trace['dt'] = deltaActivityMillis();
-                queue.push(trace);
-                if (ts === null) ts = setTimeout(timer, 10000); // flush every 10 seconds
-                return this;
-            },
-            'flush': flush,
-            'addAndPurge': function (trace) {
-                var accumulatedTrace = queue;
-                queue = [];
-                trace['dt'] = deltaActivityMillis();
-                accumulatedTrace.push(trace);
-                if (ts !== null) {
-                    clearTimeout(ts);
-                    ts = null;
-                }
-                return accumulatedTrace;
-            }
-        };
-    };
-
-    /**
-     * Creates a new handler for the given Prolog assignment definition.
-     *
-     * @param {PrologTaskDef} info
-     * @returns {{destroy: Function, processServerHints: Function}}
-     */
-    codeq.createPythonHandler = function (info) {
-        var problem = info.problem,
-            jqDescription = $('#description'),
-            jqEditor = $('#code_editor'),
-            jqConsole = $('#console'),
-            jqHints = $('#info'),
-            editor = CodeMirror(jqEditor[0], { cursorHeight: 0.85, lineNumbers: true, matchBrackets: true, mode: 'python' }),
-            activityHandler = makeActivityHandler(editor, problem.id),
-            terminal = makePythonTerminalHandler(jqConsole, editor, problem.id, activityHandler),
-            hinter = codeq.makeHinter(jqHints, jqEditor, editor, problem.hint);
-
-        editor.setValue(info.solution);
-        $('#title').text(problem.slug);
-        jqDescription.html(problem.description);
-
-        editor.on('change', function (instance, changeObj) {
-            var doc = editor.getDoc(),
-                pos = codeq.codePointCount(doc.getRange(firstCharacterPos, changeObj.from));
-
-            if (changeObj.removed) {
-                activityHandler.queueTrace({'typ': 'rm', 'off': pos, 'len': codeq.codePointCount(changeObj.removed.join(''))});
-            }
-
-            if (changeObj.text) {
-                activityHandler.queueTrace({'typ': 'ins', 'off': pos, 'txt': changeObj.text});
-            }
-        });
-
-        $('#btn_code_hint').on('click', function () {
-            var doc = editor.getDoc();
-            codeq.comms.sendHint({
-                'language': 'python',
-                'program': editor.getDoc().getValue(),
-                'problem_id': problem.id
-            }).then(
-                function hintSuccess(data) {
-                    if (data.code === 0)
-                        hinter.handle(data.hints);
-                    else
-                        terminal.append('error: ' + data.message);
-                },
-                function hintFailed (error) {
-                    terminal.append('exception: ' + error);
-                }
-            ).done();
-        });
-        $('#btn_code_test').on('click', function () {
-            var doc = editor.getDoc();
-            codeq.comms.sendTest({
-                'language': 'python',
-                'program': editor.getDoc().getValue(),
-                'problem_id': problem.id
-            }).then(
-                function testSuccess(data) {
-                    if (data.code === 0)
-                        hinter.handle(data.hints);
-                    else
-                        terminal.append('error: ' + data.message);
-                },
-                function testFailed (error) {
-                    terminal.append('exception: ' + error);
-                }
-            ).done();
-        });
-
-        // TODO first line of interpreter output is buffered without this, why?
-        codeq.comms.sendPush({
-            'text': ''
-        });
-
-        return {
-            destroy: function () {
-                hinter.destroy();
-                terminal.destroy();
-                jqDescription.empty();
-                jqEditor.empty(); // TODO: perhaps you do not want to "free" the editor, just empty it
-                jqConsole.empty(); // TODO: the same with the console
-                jqDescription = null;
-                jqEditor = null;
-                jqConsole = null;
-                jqHints = null;
-            }
-        };
-    };
-})();
-- 
cgit v1.2.1