Update generated JavaScript

souffle-lang · Jan 12, 2023 · 0334b07 · 0334b07
1 parent 453ae6d
commit 0334b07
Showing 1 changed file with 16 additions and 7 deletions.
diff --git a/src/include/souffle/profile/htmlJsMain.h b/src/include/souffle/profile/htmlJsMain.h
@@ -25,6 +25,14 @@ function changeSelectedRul(id) {
     genAtomVer();
 }
 
+function goBack() {
+    if (came_from==="rel") {
+        document.getElementById("rel_tab").click();
+    } else if (came_from==="rul") {
+        document.getElementById("rul_tab").click();
+    }
+}
+
 function highlightRow() {
     var i;
     for (i=0;i<document.getElementsByClassName("rel_row").length;i++) {
@@ -51,13 +59,13 @@ function graphRel() {
     graph_vals.labels = [];
     graph_vals.tot_t = [];
     graph_vals.tuples = [];
-    for (j = 0; j < data.rel[selected.rel][9].tot_t.length; j++) {
+    for (var j = 0; j < data.rel[selected.rel][10].tot_t.length; j++) {
         graph_vals.labels.push(j.toString());
         graph_vals.tot_t.push(
-            data.rel[selected.rel][9].tot_t[j]
+            data.rel[selected.rel][10].tot_t[j]
         );
         graph_vals.tuples.push(
-            data.rel[selected.rel][9].tuples[j]
+            data.rel[selected.rel][10].tuples[j]
         )
     }
 
@@ -76,13 +84,13 @@ function graphIterRul() {
     graph_vals.labels = [];
     graph_vals.tot_t = [];
     graph_vals.tuples = [];
-    for (j = 0; j < data.rul[selected.rul][9].tot_t.length; j++) {
+    for (var j = 0; j < data.rul[selected.rul][10].tot_t.length; j++) {
         graph_vals.labels.push(j.toString());
         graph_vals.tot_t.push(
-            data.rul[selected.rul][9].tot_t[j]
+            data.rul[selected.rul][10].tot_t[j]
         );
         graph_vals.tuples.push(
-            data.rul[selected.rul][9].tuples[j]
+            data.rul[selected.rul][10].tuples[j]
         )
     }
 
@@ -96,7 +104,7 @@ function graphUsages() {
     graph_vals.cpu = [];
     graph_vals.rss = [];
     var interval = Math.ceil(data.usage.length / 8);
-    for (j = 0; j < data.usage.length; j++) {
+    for (var j = 0; j < data.usage.length; j++) {
         graph_vals.labels.push(
             j % interval == 0 ? data.usage[j][0] : "");
         graph_vals.cpu.push(
@@ -552,6 +560,7 @@ function gen_code(highlight_row) {
     var list, row, text, target_row;
     list = document.getElementById("code-list");
     list.innerHTML = "";
+    if (!data.code) return;
     for (var i=0; i<data.code.length; i++) {
         row = document.createElement("li");
         row.className = "code-li";