From a855018e617c571bcec0208240fcabe1bbc0bb27 Mon Sep 17 00:00:00 2001
From: charguer <arthur@chargueraud.org>
Date: Wed, 13 May 2015 15:50:47 +0200
Subject: [PATCH] ok
---
navig.html | 2 +-
navig.js | 10 +++++-----
2 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/navig.html b/navig.html
index 4e7d0da..f296600 100644
--- a/navig.html
+++ b/navig.html
@@ -103,7 +103,7 @@
<textarea id='source_code' class='source' rows='6' cols='60'>source code here</textarea>
</td>
<td width='600'>
- <div class="scroll-pane" style="height: 6em">
+ <div class="scroll-pane" style="height: 10em">
<div id='disp_env'>ctx here<br>ctx here<br>ctx here<br>ctx here<br>ctx here<br>ctx here<br>ctx here<br>ctx here<br>ctx here<br>ctx here<br>ctx here<br>ctx here<br>ctx here<br>ctx here<br>ctx here</div>
</div>
</td>
diff --git a/navig.js b/navig.js
index ff712cb..13e864d 100644
--- a/navig.js
+++ b/navig.js
@@ -95,10 +95,12 @@ $("#navigation_step").change(function(e) {
$("#button_run").click(function() {
try {
- parsedTree = esprima.parse($("#source_code").val(), {loc:true});
+ var code = source.getValue();
+ // console.log(code);
+ parsedTree = esprima.parse(code, {loc:true});
// console.log(parsedTree);
program = esprimaToAST(parsedTree);
- console.log(program);
+ // console.log(program);
run();
$("#action_output").html("Run successful!");
} catch(_){
@@ -313,8 +315,7 @@ function updateSelection() {
// source panel
source_select = item.source_select;
- console.log(item);
- console.log(source_select);
+ // console.log(source_select);
updateSourceSelection();
// ctx panel
@@ -402,7 +403,6 @@ function completeTermsInDatalog(items) {
var ctx_as_array = array_of_env(item.ctx);
if (ctx_as_array.length > 0 && ctx_as_array[0].name === "t") {
var t = ctx_as_array[0].val;
- console.log(t);
if (! (t === undefined || t.start === undefined || t.end === undefined)) {
item.source_select = { start: t.start, end: t.end };
// TODO: avoir un t.location
--
GitLab