import type { SlicingCriterion, SlicingCriteria } from '../../slicing/criterion/parse';
import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
import type { ReconstructionResult } from '../../reconstruct/reconstruct';
import type { RParseRequestFromFile, RParseRequestFromText } from '../../r-bridge/retriever';
import type { TimePerToken } from '../summarizer/data';
import type { MergeableRecord } from '../../util/objects';
import type { DataFrameOperationName } from '../../abstract-interpretation/data-frame/semantics';
export declare const RequiredSlicerMeasurements: readonly ["initialize R session", "retrieve AST from R code", "normalize R AST", "produce dataflow information", "close R session", "total"];
export declare const OptionalSlicerMeasurements: readonly ["extract control flow graph", "infer data frame shapes", "extract call graph"];
export declare const CommonSlicerMeasurements: readonly ["initialize R session", "retrieve AST from R code", "normalize R AST", "produce dataflow information", "close R session", "total", "extract control flow graph", "infer data frame shapes", "extract call graph"];
export type CommonSlicerMeasurements = typeof CommonSlicerMeasurements[number];
export declare const PerSliceMeasurements: readonly ["static slicing", "reconstruct code", "total"];
export type PerSliceMeasurements = typeof PerSliceMeasurements[number];
/**
 * Measurements that are taken *after* all {@link CommonSlicerMeasurements} and hence do not count towards them
 * (especially not towards the `total`).
 * They may be missing if the corresponding phase failed or was never run.
 */
export declare const AdditionalSlicerMeasurements: readonly ["dependencies query", "linter run", "calibration"];
export type AdditionalSlicerMeasurements = typeof AdditionalSlicerMeasurements[number];
export type ElapsedTime = bigint;
export interface PerSliceStats {
    measurements: Map<PerSliceMeasurements, ElapsedTime>;
    slicingCriteria: {
        criterion: SlicingCriterion;
        id: NodeId;
    }[];
    reconstructedCode: ReconstructionResult;
    numberOfDataflowNodesSliced: number;
    timesHitThreshold: number;
}
export interface SlicerStatsInput<T = number> {
    numberOfLines: T;
    numberOfNonEmptyLines: T;
    numberOfCharacters: T;
    numberOfCharactersNoComments: T;
    numberOfNonWhitespaceCharacters: T;
    numberOfNonWhitespaceCharactersNoComments: T;
    numberOfRTokens: T;
    numberOfRTokensNoComments: T;
    numberOfNormalizedTokens: T;
    numberOfNormalizedTokensNoComments: T;
}
export interface SlicerStatsDataflow<T = number> {
    numberOfNodes: T;
    numberOfEdges: T;
    numberOfCalls: T;
    numberOfFunctionDefinitions: T;
    sizeOfObject: T;
}
/** what the benchmarked flowR version carries, counted once per run */
export interface FlowrFeatureCounts {
    lintingRules: number;
    queries: number;
    builtinDefinitions: number;
    /** built-ins handled by the default processor, which only reads its arguments */
    builtinDefinitionsDefault: number;
    /** built-ins with a processor of their own */
    builtinDefinitionsCustom: number;
    /** built-ins that also carry a value solver, see the built-in eval handlers */
    builtinDefinitionsWithEvalHandler: number;
    /** how many linting rules carry each tag, a rule usually carries several */
    lintingRulesByTag: Record<string, number>;
}
/**
 * What the entries of the base-R bundle carry, counted by walking its function records once.
 * Only that one bundle is walked, it is the part every install ships and the only one small enough
 * to read without unpacking megabytes (see {@link SigDbCounts}).
 */
export interface SigDbBaseCounts {
    /** unique function records in the bundle's pool (a record shared by several versions counts once) */
    readonly functions: number;
    /** total number of parameters over all of those records */
    readonly parameters: number;
    /**
     * how many of the records carry each piece of information: a parameter list, a call graph, a source
     * location, a help topic, and one entry per function property flag the format defines
     */
    readonly functionsCarrying: Record<string, number>;
}
/**
 * What the signature database mounted on the benchmarking machine carries, counted once per run.
 * `undefined` when no database is mounted. Bundles are the distinct shards of the discovered manifests
 * (a shard a second manifest ships again is counted once), and a *kind* is a shard's temporal tier.
 */
export interface SigDbCounts {
    /** distinct shards over all discovered bundles */
    readonly bundles: number;
    /** how many bundles each kind contributes, e.g. `latest only` or `full history` */
    readonly bundlesByKind: Record<string, number>;
    /** distinct package names the database describes */
    readonly packages: number;
    /** package versions the bundles store, summed (a kind-wise split would overlap, so there is none) */
    readonly packageVersions: number;
    /** function records the bundles store, summed over the bundles */
    readonly functions: number;
    /** function records per kind, a partition: every record belongs to exactly one bundle */
    readonly functionsByKind: Record<string, number>;
    /** bytes the bundles of each kind occupy on disk, in the codec this runtime reads */
    readonly sizeByKind: Record<string, number>;
    /** bytes of the shared string dictionaries */
    readonly sizeOfDictionaries: number;
    /** bytes of the manifests themselves */
    readonly sizeOfManifests: number;
    /** bytes of everything the database occupies */
    readonly size: number;
    readonly base?: SigDbBaseCounts;
}
export interface SlicerStatsControlFlow<T = number> {
    numberOfVertices: T;
    numberOfEdges: T;
    sizeOfObject: T;
}
export interface SlicerStatsDfShape<T = number> {
    numberOfDataFrameFiles: T extends number ? 0 | 1 : number;
    numberOfNonDataFrameFiles: T extends number ? 0 | 1 : number;
    numberOfResultConstraints: T;
    numberOfResultingValues: T;
    numberOfResultingBottom: T;
    numberOfResultingTop: T;
    numberOfEmptyNodes: T;
    numberOfOperationNodes: T;
    numberOfValueNodes: T;
    sizeOfInfo: T;
    perNodeStats: Map<NodeId, PerNodeStatsDfShape<T>>;
}
export interface PerNodeStatsDfShape<T = number> {
    numberOfEntries: T;
    mappedOperations?: DataFrameOperationName[];
    inferredColNames?: T | 'bottom' | 'infinite' | 'top';
    inferredColCount?: T | 'bottom' | 'infinite' | 'top';
    inferredRowCount?: T | 'bottom' | 'infinite' | 'top';
    /** difference between upper and lower bound of interval domain (to estimate approximation) */
    approxRangeColNames?: T;
    approxRangeColCount?: T;
    approxRangeRowCount?: T;
}
/**
 * Please note, that these measurement can be negative as there is no guarantee that the memory usage will increase
 * due to, e.g., garbage collection.
 */
export interface BenchmarkMemoryMeasurement<T = number> extends MergeableRecord {
    heap: T;
    rss: T;
    external: T;
    buffs: T;
}
/**
 * The statistics that are collected by the {@link BenchmarkSlicer} and used for benchmarking.
 */
export interface SlicerStats {
    commonMeasurements: Map<CommonSlicerMeasurements, ElapsedTime>;
    perSliceMeasurements: Map<SlicingCriteria, PerSliceStats>;
    /** measured after all {@link commonMeasurements}, see {@link AdditionalSlicerMeasurements} */
    additionalMeasurements: Map<AdditionalSlicerMeasurements, ElapsedTime>;
    memory: Map<CommonSlicerMeasurements, BenchmarkMemoryMeasurement>;
    request: RParseRequestFromFile | RParseRequestFromText;
    input: SlicerStatsInput;
    dataflow: SlicerStatsDataflow;
    controlFlow?: SlicerStatsControlFlow;
    dataFrameShape?: SlicerStatsDfShape;
    retrieveTimePerToken: TimePerToken<number>;
    normalizeTimePerToken: TimePerToken<number>;
    dataflowTimePerToken: TimePerToken<number>;
    totalCommonTimePerToken: TimePerToken<number>;
    controlFlowTimePerToken?: TimePerToken<number>;
    callGraphTimePerToken?: TimePerToken<number>;
    dataFrameShapeTimePerToken?: TimePerToken<number>;
    /** time in nanoseconds per 100 lines of the input, the pendant to {@link retrieveTimePerToken} */
    retrieveTimePer100Lines: number;
    normalizeTimePer100Lines: number;
    dataflowTimePer100Lines: number;
    totalCommonTimePer100Lines: number;
    controlFlowTimePer100Lines?: number;
}