adding esprima support

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; 

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);
 });