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 }; })();