intercept.js

// intercept.js
// 2011-06-13

// This file makes it possible for JSLint to run as an ADsafe widget by
// adding lib features.

// It provides a JSON cookie facility. Each widget is allowed to create a
// single JSON cookie.

// It also provides a way for the widget to call JSLint. The widget cannot
// call JSLint directly because it is loaded as a global variable. I don't
// want to change that because other versions of JSLint depend on that.

// And it provides access to the syntax tree that JSLint constructed.

/*jslint nomen: true, unparam: true */

/*global ADSAFE, document, JSLINT */

/*properties ___nodes___, _intercept, cookie, edition, get, getTime,
    indexOf, innerHTML, jslint, length, now, parse, replace, report, set,
    setTime, slice, stringify, toGMTString, tree
*/

ADSAFE._intercept(function (id, dom, lib, bunch) {
    "use strict";

// Give every widget access to a JSON cookie. The name of the cookie will be
// the same as the id of the widget.

    lib.cookie = {
        get: function () {

// Get the raw cookie. Extract this widget's cookie, and parse it.

            var c = ' ' + document.cookie + ';',
                s = c.indexOf((' ' + id + '=')),
                v;
            try {
                if (s >= 0) {
                    s += id.length + 2;
                    v = JSON.parse(c.slice(s, c.indexOf(';', s)));
                }
            } catch (ignore) {}
            return v;
        },
        set: function (value) {

// Set a cookie. It must be under 2000 in length. Escapify equal sign
// and semicolon if necessary.

            var d,
                j = JSON.stringify(value)
                    .replace(/[=]/g, '\\u003d')
                    .replace(/[;]/g, '\\u003b');

            if (j.length < 2000) {
                d = new Date();
                d.setTime(d.getTime() + 1e9);
                document.cookie = id + "=" + j + ';expires=' + d.toGMTString();
            }
        }
    };
});

ADSAFE._intercept(function (id, dom, lib, bunch) {
    "use strict";

// Give only the JSLINT_ widget access to the JSLINT function.
// We add a jslint function to its lib that calls JSLINT and
// then calls JSLINT.report, and stuffs the html result into
// a node provided by the widget. A widget does not get direct
// access to nodes.

// We also add an edition function to the lib that gives the
// widget access to the current edition string.

    var now = Date.now || function () {
        return new Date().getTime();
    };
    if (id === 'JSLINT_') {
        lib.jslint = function (source, options, output) {
            output.___nodes___[0].innerHTML = "Working.";
            var after, report, before = now();
            JSLINT(source, options);
            report = JSLINT.report();
            after = now();
            output.___nodes___[0].innerHTML = report;
            return after - before;
        };
        lib.edition = function () {
            return JSLINT.edition;
        };
        lib.tree = function () {
            return JSLINT.tree;
        };
    }
});