diff options
author | Aleš Smodiš <aless@guru.si> | 2015-07-14 17:57:06 +0200 |
---|---|---|
committer | Aleš Smodiš <aless@guru.si> | 2015-07-14 17:57:06 +0200 |
commit | 13399da7f5eea223db86ff4d30403bc714c5816c (patch) | |
tree | f49dd400b20c3ff84931994d9d99e5f58cc2be0c /js/codeq.js | |
parent | 9a9c1113c90cf787a82312a548f2bf3776927d8e (diff) |
Implemented a parser of simple pythonic definitions.
Diffstat (limited to 'js/codeq.js')
-rw-r--r-- | js/codeq.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/js/codeq.js b/js/codeq.js index 3a30823..770153e 100644 --- a/js/codeq.js +++ b/js/codeq.js @@ -614,7 +614,7 @@ window.siteDefinition = { logLevel: 'debug' }; // for debug purposes // -------------------------------------------------------------------------------- // Task info parser: converts simplified pythonic syntax to a JavaScript function // -------------------------------------------------------------------------------- - + // deprecated: use codeq.parseDefinition() instead parseInfo: function (infoText) { var parts = [], n, lines, line, i, j, len, walker, fn, obj; @@ -700,7 +700,7 @@ window.siteDefinition = { logLevel: 'debug' }; // for debug purposes // if (s.length == 0) return; // empty hash // if (s.charAt(0) == '#') s = s.substring(1); // if (s.length == 0) return; // empty hash - var editor = CodeMirror.fromTextArea(document.getElementById('program'), { cursorHeight: 0.85, lineNumbers: true, matchBrackets: true }); + var editor = CodeMirror(document.getElementById('code_editor'), { cursorHeight: 0.85, lineNumbers: true, matchBrackets: true }); editor.setValue('sister(X, Y) :-\n female(X),\n parent(Z, X),\n parent(Z, Y),\n X \\== Y.'); /* $('#console').terminal(function (command, term) { @@ -734,7 +734,7 @@ window.siteDefinition = { logLevel: 'debug' }; // for debug purposes url: 'sister.py', callback: function (data, status, url) { if (!data) return; - var info = codeq.system.parseInfo(data); + var info = codeq.parseDefinition(data); $('#description').html(info.description); } }); |