dep-ui.js: Add some debugging machinery.

[dep-ui] / dep-ui.js

diff --git a/dep-ui.js b/dep-ui.js
index 29f5d6b..22f2e60 100644 (file)
--- a/dep-ui.js
+++ b/dep-ui.js
@@ -25,6 +25,22 @@ var DEP_UI = {}; (function () { with (DEP_UI) {
 
 /*----- Utility functions and classes -------------------------------------*/
 
+DEP_UI.debug = function(msg) {
+  /* Write the string MSG to the `trace' element, if there is one. */
+
+  var e = elt('trace');
+  if (e !== null) e.textContent += msg;
+}
+
+  DEP_UI.trap = function(what, func) {
+  try {
+    func();
+  } catch (e) {
+    debug('caught exception in ' + what + ': ' + e);
+    throw e;
+  }
+}
+
 DEP_UI.elt = function (id) {
   /* Find and return the element with the given ID. */
   return document.getElementById(id);