From 3713745a452ff9363c213cf1c5e2401da747ef13 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Mon, 26 Nov 2018 15:44:11 +0000
Subject: [PATCH] Facet tree debug output

---
 packages/core/src/ground.js | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/packages/core/src/ground.js b/packages/core/src/ground.js
index 4e5db5f..94dba93 100644
--- a/packages/core/src/ground.js
+++ b/packages/core/src/ground.js
@@ -107,6 +107,18 @@ function bootModule(mod) {
     process.on('SIGQUIT', () => {
       console.log('---------------------------------------------------------------------------');
       console.log(g.index.root._debugString());
+      console.log('FACET TREE');
+      g.actors.forEach((a) => {
+        console.log('  ' + a.toString());
+        function walkFacet(indent, f) {
+          console.log(indent + f.toString());
+          f.endpoints.forEach((ep) => {
+            console.log(indent + '  - ' + ep.id + ': ' + (ep.assertion && ep.assertion.toString()));
+          });
+          f.children.forEach((child) => { walkFacet(indent + '  ', child); });
+        }
+        a.rootFacet.children.forEach((child) => { walkFacet('    ', child); });
+      });
       console.log('ACTORS');
       g.actors.forEach((a) => console.log('  ' + a.toString()));
     });