@eagleoutice/flowr
Version:
Static Dataflow Analyzer and Program Slicer for the R Programming Language
19 lines (18 loc) • 1.21 kB
TypeScript
import type { InspectExceptionQuery, InspectExceptionQueryResult } from './inspect-exception-query-format';
import type { BasicQueryData } from '../../base-query-format';
import { SlicingCriterion } from '../../../slicing/criterion/parse';
import type { NodeId } from '../../../r-bridge/lang-4.x/ast/model/processing/node-id';
import type { ReadonlyFlowrAnalysisProvider } from '../../../project/flowr-analyzer';
/**
* Get the functions to consider in the call graph based on the given queries.
*/
export declare function getFunctionsToConsiderInCallGraph(queries: readonly {
filter?: readonly SlicingCriterion[];
}[], analyzer: ReadonlyFlowrAnalysisProvider, onlyDefinitions?: boolean): Promise<{
cg: import("../../../dataflow/graph/call-graph").CallGraph;
fns: MapIterator<[NodeId, Required<import("../../../dataflow/graph/vertex").DataflowGraphVertexFunctionCall | import("../../../dataflow/graph/vertex").DataflowGraphVertexFunctionDefinition>]>;
}>;
/**
* Execute exception function inspection queries on the given analyzer.
*/
export declare function executeExceptionQuery({ analyzer }: BasicQueryData, queries: readonly InspectExceptionQuery[]): Promise<InspectExceptionQueryResult>;