@eagleoutice/flowr-dev/gas.js

Static Dataflow Analyzer and Program Slicer for the R Programming Language

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.GasFeatureKey = exports.GasWikiRef = void 0;
/** Wiki reference for the gas resource guard, use this in user-facing warnings. */
exports.GasWikiRef = 'https://github.com/flowr-analysis/flowr/wiki/Core#gas-resource-guard';
/**
 * Known feature keys accepted by {@link ReadOnlyFlowrAnalyzerGasContext.checkGas}.
 * Each key corresponds to a sensitivity factor in {@link FlowrGasConfig.features}.
 */
exports.GasFeatureKey = {
    /** Gas key for built-in `source()` file analysis. */
    Source: 'source',
    /** Gas key for the side-effect link resolution phase of the dataflow extractor, which matches unknown side effects against call sites via the CFG and can be expensive for large scripts. */
    SideEffectLinking: 'side-effect-linking',
    /** Gas key for the linter, checked once per linting rule. Under critical pressure, remaining rules are skipped. */
    Linter: 'linter',
    /**
     * Gas key for the static slicer, checked while traversing the dataflow graph. Under critical pressure the
     * traversal stops and the slice is returned as far as it got (`SliceResult.stoppedEarly`), which is the only
     * way to bound the otherwise synchronous traversal from the outside.
     */
    Slicer: 'slicer'
};
//# sourceMappingURL=gas.js.map