Crawler, first version

lib/logger.js

Index: lib/logger.js
===================================================================
new file mode 100644
--- /dev/null
+++ b/lib/logger.js
@@ -0,0 +1,142 @@
+/**
+ * Logging service. This is not the log function itself, but rather provide a factory for making such.
+ *
+ * @param {String} module
+ *      The name identifying the main module.
+ * @constructor
+ */
+var Logger = function( module )
+{
+    /**
+     * The module name
+     * @type {String}
+     */
+    this.module = module;
+
+    /**
+     * Global flag to suppress all output.
+     * @type {boolean}
+     * @private
+     */
+    this._suppressed = false;
+
+    /**
+     * The console service used to report messages. This instance is used to get access to logMessage, which
+     * we use as a static function.
+     */
+    this.console_service =
+        Components.classes["@mozilla.org/consoleservice;1"].getService( Components.interfaces.nsIConsoleService );
+};
+exports.Logger = Logger;
+
+Logger.prototype.suppress = function( suppressed )
+{
+    this._suppressed = suppressed;
+};
+
+/**
+ * Create an ordinary log function with a consistent naming convention.
+ *
+ * @param {String} [submodule]
+ *      The name identifying some piece of the main module.
+ * @return {Function}
+ *      A two-argument function with the ordinary signature for a log message.
+ */
+Logger.prototype.make_log = function( submodule )
+{
+    var prefix = this.module;
+    if ( submodule && submodule.length > 0 )
+    {
+        prefix += "/" + submodule;
+    }
+    prefix += ": ";
+    return this.log.bind( this, prefix );
+};
+
+/**
+ * Display a log message whose location is reported as the source line of the caller, rather than some line within
+ * the log function itself.
+ * <p/>
+ * Note that this function would ordinarily be called from a function returned from make_log(), which computes the
+ * prefix argument. This is not a hard requirement, but rather a recommended practice.
+ *
+ * @param {String} prefix
+ *      String to be prepended before the message argument.
+ * @param {String} message
+ *      The main error message.
+ * @param {Boolean} [allow]
+ *      If present and false, suppresses the message. Allows disabling a log message by arbitrary category,
+ *      as implemented by the caller.
+ */
+Logger.prototype.log = function( prefix, message, allow )
+{
+    if ( ( arguments.length >= 3 && !allow ) || this._suppressed )
+    {
+        // Assert we have an explicit argument to disallow the message
+        return;
+    }
+    var error_report =
+        Components.classes["@mozilla.org/scripterror;1"].createInstance( Components.interfaces.nsIScriptError );
+    var caller = Components.stack.caller;
+
+    /*
+     * Remove the beginning of any filename value that contains a text arrow. This notation is used to indicate the
+     * complete link path by which the source came into context. While complete, it makes the links presented in
+     * the error console non-clickable.
+     */
+    var filename = caller.filename;
+    var n = filename.lastIndexOf( " -> " );
+    if ( n > -1 )
+    {
+        filename = filename.substr( n + 4 );
+    }
+
+    error_report.init( prefix + message, filename, null, caller.lineNumber, null, 1, "javascript" );
+    this.console_service.logMessage( error_report );
+
+    /*
+     * This line was used during development to see just what was in the scripterror object. Unfortunately, making a
+     * string message that exactly matches this format does not display as an error. In particular there is no
+     * clickable link displayed. Thus the best we can do is to display a warning with a link, rather than an ordinary
+     * console message, which doesn't display a clickable location.
+     */
+    //Cu.reportError( "ScriptError=" + scriptError.toString() );
+};
+
+/**
+ * Emit a stack trace to the log.
+ */
+Logger.prototype.stack_trace = function()
+{
+    var e = new Error();
+    this.log( "", e.stack );
+};
+
+
+function pad2( n )
+{
+    var s = String( n );
+    if ( n < 10 )
+        s = "0" + s;
+    return s;
+}
+
+function pad3( n )
+{
+    var s = String( n );
+    if ( n < 100 )
+    {
+        s = "0" + s;
+        if ( n < 10 )
+            s = "0" + s;
+    }
+    return s;
+}
+
+Logger.timestamp = function()
+{
+    let date = new Date();
+    return date.getUTCFullYear() + "-" + pad2( date.getUTCMonth() + 1 ) + "-" + pad2( date.getUTCDate() )
+        + " " + pad2( date.getUTCHours() ) + ":" + pad2( date.getUTCMinutes() ) + ":" + pad2( date.getUTCSeconds() )
+        + "." + pad3( date.getUTCMilliseconds() );
+};