src/spidermonkey-externs.js

// SpiderMonkey externs for Closure to know about

/**
 * @param {string} filename
 * @param {string} type
 * @return {string}
 * @suppress {duplicate}
 */
var read = function(filename, type) {};
/**
 * @param {string} expression
 * @suppress {duplicate}
 */
var print = function(expression) {};
/**
 * @param {string} expression
 * @suppress {duplicate}
 */
var printErr = function(expression) {};
/**
 * @param {string} filename
 * @return {ArrayBuffer}
 * @suppress {duplicate}
 */
var readbuffer = function(filename) {};
/**
 * @const
 * @suppress {duplicate}
 */
var scriptArgs = [];
/**
 * @const
 * @suppress {duplicate}
 */
var quit = function() {};
/**
 * @return {number}
 * @suppress {duplicate}
 */
var dateNow = function() {};
/**
 * This is to prevent Closure Compiler to use `gc` as variable name anywhere, otherwise it might collide with SpiderMonkey's shell `gc()` function
 */
var gc = function () {};
/**
 * @suppress {duplicate}
 */
var print;
/**
 * @suppress {duplicate}
 */
var printErr;