import type { BaseQueryFormat, BaseQueryResult } from '../../base-query-format';
import type { SlicingCriteria } from '../../../slicing/criterion/parse';
import type { ParsedQueryLine } from '../../query';
import Joi from 'joi';
import { executeResolveValueQuery } from './resolve-value-query-executor';
import type { ResolveResult } from '../../../dataflow/eval/resolve/alias-tracking';
import type { ReplOutput } from '../../../cli/repl/commands/repl-main';
import type { FlowrConfig } from '../../../config';
export interface ResolveValueQuery extends BaseQueryFormat {
    readonly type: 'resolve-value';
    /** The slicing criteria to use */
    readonly criteria: SlicingCriteria;
}
export interface ResolveValueQueryResult extends BaseQueryResult {
    results: Record<string, {
        values: ResolveResult[];
    }>;
}
declare function resolveValueLineParser(output: ReplOutput, line: readonly string[], _config: FlowrConfig): ParsedQueryLine<'resolve-value'>;
export declare const ResolveValueQueryDefinition: {
    readonly executor: typeof executeResolveValueQuery;
    readonly asciiSummarizer: (formatter: import("../../../util/text/ansi").OutputFormatter, _analyzer: import("../../../project/flowr-analyzer").ReadonlyFlowrAnalysisProvider<import("../../../r-bridge/parser").KnownParser>, queryResults: BaseQueryResult, result: string[]) => true;
    readonly fromLine: typeof resolveValueLineParser;
    readonly schema: Joi.ObjectSchema<any>;
    readonly flattenInvolvedNodes: () => never[];
};
export {};