Variable TaintQueryDefinition`Const`

TaintQueryDefinition: {
    asciiSummarizer: (
        formatter: OutputFormatter,
        _analyzer: ReadonlyFlowrAnalysisProvider<KnownParser>,
        queryResults: BaseQueryResult,
        resultStrings: string[],
    ) => true;
    completer: (
        line: readonly string[],
        startingNewArg: boolean,
        _config: FlowrConfig,
    ) => CommandCompletions;
    executor: (
        __namedParameters: BasicQueryData,
        queries: readonly TaintQuery[],
    ) => Promise<TaintQueryResult<AllPredefinedTaintAnalysisNames>>;
    flattenInvolvedNodes: () => never[];
    fromLine: (
        output: ReplOutput,
        line: readonly string[],
        _config: FlowrConfig,
    ) => ParsedQueryLine<"taint">;
    jsonFormatter: (queryResults: BaseQueryResult) => object;
    schema: ObjectSchema<any>;
    title: "Taint Analysis Query";
} = ...

Type Declaration

ReadonlyasciiSummarizer: (
    formatter: OutputFormatter,
    _analyzer: ReadonlyFlowrAnalysisProvider<KnownParser>,
    queryResults: BaseQueryResult,
    resultStrings: string[],
) => true
Readonlycompleter: (
    line: readonly string[],
    startingNewArg: boolean,
    _config: FlowrConfig,
) => CommandCompletions
Readonlyexecutor: (
__namedParameters: BasicQueryData,
queries: readonly TaintQuery[],
) => Promise<TaintQueryResult<AllPredefinedTaintAnalysisNames>>
ReadonlyflattenInvolvedNodes: () => never[]
ReadonlyfromLine: (
    output: ReplOutput,
    line: readonly string[],
    _config: FlowrConfig,
) => ParsedQueryLine<"taint">
ReadonlyjsonFormatter: (queryResults: BaseQueryResult) => object
Readonlyschema: ObjectSchema<any>
Readonlytitle: "Taint Analysis Query"

Variable TaintQueryDefinition`Const`

Type Declaration

`Readonly`asciiSummarizer: (
    formatter: OutputFormatter,
    _analyzer: ReadonlyFlowrAnalysisProvider<KnownParser>,
    queryResults: BaseQueryResult,
    resultStrings: string[],
) => true

`Readonly`completer: (
    line: readonly string[],
    startingNewArg: boolean,
    _config: FlowrConfig,
) => CommandCompletions

`Readonly`executor: (
__namedParameters: BasicQueryData,
queries: readonly TaintQuery[],
) => Promise<TaintQueryResult<AllPredefinedTaintAnalysisNames>>

`Readonly`flattenInvolvedNodes: () => never[]

`Readonly`fromLine: (
    output: ReplOutput,
    line: readonly string[],
    _config: FlowrConfig,
) => ParsedQueryLine<"taint">

`Readonly`jsonFormatter: (queryResults: BaseQueryResult) => object

`Readonly`schema: ObjectSchema<any>

`Readonly`title: "Taint Analysis Query"

Settings

Variable TaintQueryDefinitionConst

Type Declaration

ReadonlyasciiSummarizer: ( formatter: OutputFormatter, _analyzer: ReadonlyFlowrAnalysisProvider<KnownParser>, queryResults: BaseQueryResult, resultStrings: string[],) => true

Readonlycompleter: ( line: readonly string[], startingNewArg: boolean, _config: FlowrConfig,) => CommandCompletions

Readonlyexecutor: ( __namedParameters: BasicQueryData, queries: readonly TaintQuery[],) => Promise<TaintQueryResult<AllPredefinedTaintAnalysisNames>>

ReadonlyflattenInvolvedNodes: () => never[]

ReadonlyfromLine: ( output: ReplOutput, line: readonly string[], _config: FlowrConfig,) => ParsedQueryLine<"taint">

ReadonlyjsonFormatter: (queryResults: BaseQueryResult) => object

Readonlyschema: ObjectSchema<any>

Readonlytitle: "Taint Analysis Query"

Settings

Variable TaintQueryDefinition`Const`

`Readonly`asciiSummarizer: (
formatter: OutputFormatter,
_analyzer: ReadonlyFlowrAnalysisProvider<KnownParser>,
queryResults: BaseQueryResult,
resultStrings: string[],
) => true

`Readonly`completer: (
line: readonly string[],
startingNewArg: boolean,
_config: FlowrConfig,
) => CommandCompletions

`Readonly`executor: (
__namedParameters: BasicQueryData,
queries: readonly TaintQuery[],
) => Promise<TaintQueryResult<AllPredefinedTaintAnalysisNames>>

`Readonly`flattenInvolvedNodes: () => never[]

`Readonly`fromLine: (
output: ReplOutput,
line: readonly string[],
_config: FlowrConfig,
) => ParsedQueryLine<"taint">

`Readonly`jsonFormatter: (queryResults: BaseQueryResult) => object

`Readonly`schema: ObjectSchema<any>

`Readonly`title: "Taint Analysis Query"