@eagleoutice/flowr-dev/queries/catalog/absint-query/absint-query-executor.d.ts

Static Dataflow Analyzer and Program Slicer for the R Programming Language

import type { BasicQueryData } from '../../base-query-format';
import { type AbsintQuery, type AbsintQueryResult, type AbsintQueryType } from './absint-query-format';
/**
 * Executes the given abstract interpretation queries using the provided analyzer.
 */
export declare function executeAbsintQuery<AbsintType extends AbsintQueryType>({ analyzer }: BasicQueryData, queries: readonly AbsintQuery<AbsintType>[]): Promise<AbsintQueryResult<AbsintType>>;