From 52daf03ff5b9c0e09a43c872bec51e02dcba5204 Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Mon, 23 May 2016 22:18:30 +0100
Subject: [PATCH] Add [[Prototype]] to object listing
---
navig-driver.js | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/navig-driver.js b/navig-driver.js
index e7bc7b0..cd86ef0 100644
--- a/navig-driver.js
+++ b/navig-driver.js
@@ -817,6 +817,9 @@ function show_object(state, loc, target, depth) {
var key_value_pair_array = encoded_list_to_array(HeapStr.to_list(props));
//
var is_global = (string_of_loc(loc) == "global");
+
+ key_value_pair_array.push(["[[Prototype]]", obj.object_proto_]);
+
for (var j = 0; j < key_value_pair_array.length; j++) {
var i = key_value_pair_array.length-j-1;
var prop_name = key_value_pair_array[i][0];
@@ -839,7 +842,13 @@ function show_object(state, loc, target, depth) {
// TODO: complete
break;
+ case "Coq_value_prim":
+ case "Coq_value_object":
+ show_value(state, attribute, targetsub, depth-1);
+ break;
+
default:
+ console.log(attribute);
throw "invalid attribute.tag";
}
}
--
GitLab