js-slang/dist/constants.js

Javascript-based implementations of Source, written in Typescript

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.JSSLANG_PROPERTIES = exports.UNKNOWN_LOCATION = exports.MAX_LIST_DISPLAY_LENGTH = exports.NATIVE_STORAGE_ID = exports.GLOBAL = exports.TRY_AGAIN = exports.CUT = exports.REQUIRE_PROVIDER_ID = exports.ACORN_PARSE_OPTIONS = exports.DEFAULT_ECMA_VERSION = void 0;
exports.DEFAULT_ECMA_VERSION = 6;
exports.ACORN_PARSE_OPTIONS = { ecmaVersion: exports.DEFAULT_ECMA_VERSION };
exports.REQUIRE_PROVIDER_ID = 'requireProvider';
exports.CUT = 'cut'; // cut operator for Source 4.3
exports.TRY_AGAIN = 'retry'; // command for Source 4.3
exports.GLOBAL = typeof window === 'undefined' ? global : window;
exports.NATIVE_STORAGE_ID = 'nativeStorage';
exports.MAX_LIST_DISPLAY_LENGTH = 100;
exports.UNKNOWN_LOCATION = {
    start: {
        line: -1,
        column: -1
    },
    end: {
        line: -1,
        column: -1
    }
};
exports.JSSLANG_PROPERTIES = {
    maxExecTime: 1000,
    factorToIncreaseBy: 10
};
//# sourceMappingURL=constants.js.map