import type { FlowrSearchElement, FlowrSearchElements } from '../flowr-search';
import type { ParentInformation } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
import { type MergeableRecord } from '../../util/objects';
import type { LinkToLastCall } from '../../queries/catalog/call-context-query/call-context-query-format';
import { type NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
import type { ControlFlowInformation } from '../../control-flow/control-flow-graph';
import type { Query, QueryResult } from '../../queries/query';
import { type CfgSimplificationPassName } from '../../control-flow/cfg-simplification';
import type { AsyncOrSync } from 'ts-essentials';
import type { ReadonlyFlowrAnalysisProvider } from '../../project/flowr-analyzer';
export interface EnrichmentData<ElementContent extends MergeableRecord, ElementArguments = undefined, SearchContent extends MergeableRecord = never, SearchArguments = ElementArguments> {
    /**
     * A function that is applied to each element of the search to enrich it with additional data.
     */
    readonly enrichElement?: (element: FlowrSearchElement<ParentInformation>, search: FlowrSearchElements<ParentInformation>, analyzer: ReadonlyFlowrAnalysisProvider, args: ElementArguments | undefined, previousValue: ElementContent | undefined) => AsyncOrSync<ElementContent>;
    readonly enrichSearch?: (search: FlowrSearchElements<ParentInformation>, data: ReadonlyFlowrAnalysisProvider, args: SearchArguments | undefined, previousValue: SearchContent | undefined) => AsyncOrSync<SearchContent>;
    /**
     * The mapping function used by the {@link Mapper.Enrichment} mapper.
     */
    readonly mapper?: (content: ElementContent) => FlowrSearchElement<ParentInformation>[];
}
export type EnrichmentElementContent<E extends Enrichment> = typeof Enrichments[E] extends EnrichmentData<infer EC, infer _EA, infer _SC, infer _SA> ? EC : never;
export type EnrichmentElementArguments<E extends Enrichment> = typeof Enrichments[E] extends EnrichmentData<infer _EC, infer EA, infer _SC, infer _SA> ? EA : never;
export type EnrichmentSearchContent<E extends Enrichment> = typeof Enrichments[E] extends EnrichmentData<infer _EC, infer _EA, infer SC, infer _SA> ? SC : never;
export type EnrichmentSearchArguments<E extends Enrichment> = typeof Enrichments[E] extends EnrichmentData<infer _EC, infer _EA, infer _SC, infer SA> ? SA : never;
/**
 * An enumeration that stores the names of the available enrichments that can be applied to a set of search elements.
 * See {@link FlowrSearchBuilder.with} for more information on how to apply enrichments.
 */
export declare enum Enrichment {
    CallTargets = "call-targets",
    LastCall = "last-call",
    CfgInformation = "cfg-information",
    QueryData = "query-data"
}
export interface CallTargetsContent extends MergeableRecord {
    /**
     * The call targets of the function call.
     * For identifier call targets, the identifier is the name of the library function being called.
     */
    targets: (FlowrSearchElement<ParentInformation> | string)[];
}
export interface LastCallContent extends MergeableRecord {
    linkedIds: FlowrSearchElement<ParentInformation>[];
}
export interface CfgInformationElementContent extends MergeableRecord {
    /**
     * Whether the current node is a root node in the CFG, which is a node that is not contained inside of a function definition.
     */
    isRoot: boolean;
    /**
     * Whether the current node is reachable from the root of the CFG.
     * Only has a value if {@link CfgInformationArguments.checkReachable} was true.
     */
    isReachable?: boolean;
}
export interface CfgInformationSearchContent extends MergeableRecord {
    /**
     * The CFG attached to the search, extracted using {@link extractCfg}.
     */
    cfg: ControlFlowInformation;
    /**
     * The set of all nodes that are reachable from the root of the CFG, extracted using {@link visitCfgInOrder}.
     * Only has a value if {@link CfgInformationArguments.checkReachable} was true.
     */
    reachableNodes?: Set<NodeId>;
}
export interface CfgInformationArguments extends MergeableRecord {
    /** Whether to recalculate the CFG information if it already exists on the current search. Defaults to `false`. */
    forceRefresh?: boolean;
    /** The simplification passes that should be run on the extracted CFG. Defaults to the entries of {@link DefaultCfgSimplificationOrder}. */
    simplificationPasses?: CfgSimplificationPassName[];
    /** Whether to check nodes for reachability, and subsequently set {@link CfgInformationSearchContent.reachableNodes} and {@link CfgInformationElementContent.isReachable}. Defaults to `false`. */
    checkReachable?: boolean;
}
export interface QueryDataElementContent extends MergeableRecord {
    /** The name of the query that this element originated from. To get each query's data, see {@link QueryDataSearchContent}. */
    query: Query['type'];
}
export interface QueryDataSearchContent extends MergeableRecord {
    queries: {
        [QueryType in Query['type']]: Awaited<QueryResult<QueryType>>;
    };
}
/**
 * The registry of enrichments that are currently supported by the search.
 * See {@link FlowrSearchBuilder.with} for more information on how to apply enrichments.
 */
export declare const Enrichments: {
    readonly "call-targets": {
        enrichElement: (e: FlowrSearchElement<ParentInformation>, _s: FlowrSearchElements<ParentInformation, FlowrSearchElement<ParentInformation>[]>, analyzer: ReadonlyFlowrAnalysisProvider<import("../../r-bridge/parser").KnownParser>, args: {
            onlyBuiltin?: boolean;
        } | undefined, prev: CallTargetsContent | undefined) => Promise<CallTargetsContent>;
        mapper: ({ targets }: CallTargetsContent) => FlowrSearchElement<ParentInformation>[];
    };
    readonly "last-call": {
        enrichElement: (e: FlowrSearchElement<ParentInformation>, _s: FlowrSearchElements<ParentInformation, FlowrSearchElement<ParentInformation>[]>, analyzer: ReadonlyFlowrAnalysisProvider<import("../../r-bridge/parser").KnownParser>, args: Omit<LinkToLastCall<import("../../queries/catalog/call-context-query/call-context-query-format").CallNameTypes>, "type">[] | undefined, prev: LastCallContent | undefined) => Promise<LastCallContent>;
        mapper: ({ linkedIds }: LastCallContent) => FlowrSearchElement<ParentInformation>[];
    };
    readonly "cfg-information": {
        enrichElement: (e: FlowrSearchElement<ParentInformation>, search: FlowrSearchElements<ParentInformation, FlowrSearchElement<ParentInformation>[]>, _data: ReadonlyFlowrAnalysisProvider<import("../../r-bridge/parser").KnownParser>, _args: CfgInformationArguments | undefined, prev: CfgInformationElementContent | undefined) => {
            isRoot: boolean;
            isReachable: boolean | undefined;
        };
        enrichSearch: (_search: FlowrSearchElements<ParentInformation, FlowrSearchElement<ParentInformation>[]>, data: ReadonlyFlowrAnalysisProvider<import("../../r-bridge/parser").KnownParser>, args: CfgInformationArguments | undefined, prev: CfgInformationSearchContent | undefined) => Promise<CfgInformationSearchContent>;
    };
    readonly "query-data": {
        enrichElement: (_e: FlowrSearchElement<ParentInformation>, _search: FlowrSearchElements<ParentInformation, FlowrSearchElement<ParentInformation>[]>, _data: ReadonlyFlowrAnalysisProvider<import("../../r-bridge/parser").KnownParser>, args: QueryDataElementContent | undefined, prev: QueryDataElementContent | undefined) => QueryDataElementContent;
        enrichSearch: (_search: FlowrSearchElements<ParentInformation, FlowrSearchElement<ParentInformation>[]>, _data: ReadonlyFlowrAnalysisProvider<import("../../r-bridge/parser").KnownParser>, args: QueryDataSearchContent | undefined, prev: QueryDataSearchContent | undefined) => Required<QueryDataSearchContent>;
    };
};
/**
 * Returns the content of the given enrichment type from a {@link FlowrSearchElement}.
 * If the search element is not enriched with the given enrichment, `undefined` is returned.
 * @param e - The search element whose enrichment content should be retrieved.
 * @param enrichment - The enrichment content, if present, else `undefined`.
 */
export declare function enrichmentContent<E extends Enrichment>(e: FlowrSearchElement<ParentInformation>, enrichment: E): EnrichmentElementContent<E>;
/**
 * Enriches the given search element with the given enrichment type, using the provided analysis data.
 */
export declare function enrichElement<Element extends FlowrSearchElement<ParentInformation>, E extends Enrichment>(e: Element, s: FlowrSearchElements<ParentInformation>, analyzer: ReadonlyFlowrAnalysisProvider, enrichment: E, args?: EnrichmentElementArguments<E>): Promise<Element>;