Add console logger

logging/console.js

@@ -0,0 +1,47 @@
+var Logger = (function () {
+  var color = { red: "\033[1;31m", green: "\033[1;32m", clear: "\033[0m" };
+  if (Platform.isWindows) {
+    color = { red: "", green: "", clear: ""};
+  }
+  var sep = "\n/* ### NEXT TESTCASE ############################## */";
+
+  function console(msg) {
+    if (websocket) {
+      websocket.send(msg);
+    }
+    if (typeof window == 'undefined') {
+      print(msg);
+    } else if (window.dump) {
+      window.dump(msg);
+    } else if (window.console && window.console.log) {
+      window.console.log(msg);
+    } else {
+      throw "Unable to run console logger.";
+    }
+  }
+
+  function dump(msg) { console(msg); }
+
+  function testcase(msg) { dump("/*L*/ " + JSON.stringify(msg) + "\n"); }
+
+  function dumpln(msg) { dump(msg + "\n"); }
+
+  function error(msg) { dumpln(color.red + msg + color.clear); }
+
+  function JSError(msg) { error(comment(msg)) }
+
+  function comment(msg) { return "/* " + msg + " */"; }
+
+  function separator() { dumpln(color.green + sep + color.clear); }
+
+  return {
+    console: console,
+    dump: dump,
+    error: error,
+    JSError: JSError,
+    dumpln: dumpln,
+    comment: comment,
+    testcase: testcase,
+    separator: separator
+  };
+})();