Variable GasFeatureKey`Const`

GasFeatureKey: {
    Linter: "linter";
    SideEffectLinking: "side-effect-linking";
    Slicer: "slicer";
    Source: "source";
} = ...

Known feature keys accepted by ReadOnlyFlowrAnalyzerGasContext.checkGas. Each key corresponds to a sensitivity factor in FlowrGasConfig.features.

ReadonlyLinter: "linter"

Gas key for the linter, checked once per linting rule. Under critical pressure, remaining rules are skipped.
ReadonlySideEffectLinking: "side-effect-linking"

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.
ReadonlySlicer: "slicer"

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.
ReadonlySource: "source"

Gas key for built-in source() file analysis.

Variable GasFeatureKeyConst