Variable AbsintQueryDefinition`Const`

AbsintQueryDefinition: {
    asciiSummarizer: (
        formatter: OutputFormatter,
        _analyzer: ReadonlyFlowrAnalysisProvider<KnownParser>,
        queryResults: BaseQueryResult,
        result: string[],
    ) => true;
    completer: (
        line: readonly string[],
        startingNewArg: boolean,
        _config: FlowrConfig,
    ) => CommandCompletions;
    executor: <AbsintType extends "df-shape">(
        __namedParameters: BasicQueryData,
        queries: readonly AbsintQuery<AbsintType>[],
    ) => Promise<AbsintQueryResult<AbsintType>>;
    flattenInvolvedNodes: () => never[];
    fromLine: (
        output: ReplOutput,
        line: readonly string[],
        _config: FlowrConfig,
    ) => ParsedQueryLine<"absint">;
    jsonFormatter: (queryResults: BaseQueryResult) => object;
    schema: ObjectSchema<any>;
    syntax: "@absint <inference-type> [(<criteria>)] <code | file://path>";
    title: "Abstract Interpretation Query";
} = ...

Type Declaration

ReadonlyasciiSummarizer: (
    formatter: OutputFormatter,
    _analyzer: ReadonlyFlowrAnalysisProvider<KnownParser>,
    queryResults: BaseQueryResult,
    result: string[],
) => true
Readonlycompleter: (
    line: readonly string[],
    startingNewArg: boolean,
    _config: FlowrConfig,
) => CommandCompletions
Readonlyexecutor: <AbsintType extends "df-shape">(
__namedParameters: BasicQueryData,
queries: readonly AbsintQuery<AbsintType>[],
) => Promise<AbsintQueryResult<AbsintType>>
ReadonlyflattenInvolvedNodes: () => never[]
ReadonlyfromLine: (
    output: ReplOutput,
    line: readonly string[],
    _config: FlowrConfig,
) => ParsedQueryLine<"absint">
ReadonlyjsonFormatter: (queryResults: BaseQueryResult) => object
Readonlyschema: ObjectSchema<any>
Readonlysyntax: "@absint <inference-type> [(<criteria>)] <code | file://path>"
Readonlytitle: "Abstract Interpretation Query"