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

Static Dataflow Analyzer and Program Slicer for the R Programming Language

import type { BasicQueryData } from '../../base-query-format';
import type { DiceQuery, DiceQueryResult } from './dice-query-format';
/**
 * Execute dice queries. Each dice computes the intersection of a forward slice from `from`
 * and a backward slice from `to`, yielding only those program points that lie on a path
 * from the start criteria to the end criteria.
 */
export declare function executeDiceQuery({ analyzer }: BasicQueryData, queries: readonly DiceQuery[]): Promise<DiceQueryResult>;