From 6597098b84a63ba4c59d0ceb0b2439d1e3adbccb Mon Sep 17 00:00:00 2001
From: Alan Schmitt <alan.schmitt@polytechnique.org>
Date: Wed, 13 May 2015 10:11:57 +0200
Subject: [PATCH] adding esprima support

---
 navig.html | 4 +---
 navig.js   | 2 ++
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/navig.html b/navig.html
index eebfe4d..c7892bb 100644
--- a/navig.html
+++ b/navig.html
@@ -31,13 +31,11 @@
 <script src="jquery-ui-1.11.4.custom/jquery-ui.js"></script>
 
 
-
+<script src="https://cdn.rawgit.com/jquery/esprima/1.2/esprima.js"></script>
 <script src="sparray.js"></script>
 <script type = "text/javascript" src="trace.js"></script>
 <script src="interp.js"></script>
 
-
-
 <style>
 .source_div {
    border-top: 1px solid black; 
diff --git a/navig.js b/navig.js
index b4dc5b7..cd9ce23 100644
--- a/navig.js
+++ b/navig.js
@@ -2,6 +2,7 @@
 
 var handlers = [];
 
+var parsedTree;
 
 (function(check_pred){
 
@@ -98,6 +99,7 @@ $("#navigation_step").change(function(e) {
 });
 
 $("#button_run").click(function() {
+ parsedTree = esprima.parse($("#source_code").val(), {loc:true});   
  $("#run_output").html("Run successful !");
  var timeoutID = window.setTimeout(function() { $("#run_output").html(""); }, 1000);
 });
-- 
GitLab