/**
 * What the analyzer records for the emitter: one side table per lowering
 * decision, keyed by node offset or by span identity.
 *
 * D114 R1a: these tables were 52 private fields on `Analyzer`, interleaved with
 * its inference state. They are one cohesive thing — the analyzer's half of the
 * `LoweringHints` contract — so they live in one collaborator the analyzer owns
 * as `this.lowering`. The recorder holds no analyzer reference: the only thing
 * it needs from its host arrives as the argument to `hints`.
 *
 * Three tables of the contract are not here. `enumValueBindings`,
 * `extensionLiterals` and `extensionCalls` are `protected` members of
 * `Analyzer` that the Web analyzer writes, so they stay on the class whose seam
 * they belong to and reach the assembly through `AnalyzerOwnedHints`. The other
 * four entries of `LoweringHints` are not tables at all — `classNames`,
 * `errorSubclassNames`, `enumNames` and `genericTypeNames` are derived at
 * assembly time from the analyzer's class, enum and generic rosters.
 */
import { type Expression } from "../ast.ts";
import { type CollectionOperation, type CollectionRuntimeKind, type DisposalContract, type FormReadField, type LoweringHints, type PrimitiveOperation, type RecordFromHint, type RecordTypeField, type RuntimeNarrowingGuard } from "../contracts.ts";
import { type BinaryStorageKind } from "../types.ts";
/**
 * The part of `LoweringHints` the recorder cannot answer: the three
 * `protected` tables that belong to the analyzer's subclass seam, and the four
 * entries derived from the analyzer's own class, enum and generic rosters.
 */
export interface AnalyzerOwnedHints {
    readonly runtimeTypeIdentities: ReadonlyMap<string, string>;
    readonly classNames: ReadonlySet<string>;
    readonly errorSubclassNames: ReadonlySet<string>;
    readonly enumNames: ReadonlySet<string>;
    readonly genericTypeNames: ReadonlySet<string>;
    readonly enumValueBindings: ReadonlyMap<number, string>;
    readonly extensionLiterals: ReadonlyMap<string, string>;
    readonly extensionCalls: ReadonlyMap<string, string>;
}
export declare class LoweringRecorder {
    readonly collectionCalls: Map<number, CollectionOperation>;
    readonly collectionSizes: Map<number, CollectionRuntimeKind>;
    readonly collectionIndexes: Map<string, "list" | "record">;
    readonly collectionMemberships: Map<string, "string" | CollectionRuntimeKind>;
    readonly collectionIterations: Map<number, "binary" | "string" | CollectionRuntimeKind>;
    readonly recordFromCalls: Map<string, RecordFromHint>;
    readonly recordMapFromCalls: Map<string, RecordFromHint>;
    readonly binaryCalls: Map<number, "bufferCopy" | "bufferSlice" | "bufferToBytes" | "bufferValues">;
    readonly binarySizes: Map<number, BinaryStorageKind>;
    readonly binaryIndexes: Map<string, BinaryStorageKind>;
    readonly primitiveCalls: Map<number, PrimitiveOperation>;
    readonly stringSizes: Set<number>;
    readonly constructorCalls: Set<string>;
    readonly javaScriptCallBoundaries: Set<string>;
    readonly classChecks: Set<string>;
    readonly privateMembers: Set<string>;
    /** Module-scope names bound to runtime Type objects (local and imported); see LoweringHints.runtimeTypeObjectNames. */
    readonly runtimeTypeObjectNames: Set<string>;
    moduleNamespaceExports: NonNullable<LoweringHints["moduleNamespaceExports"]>;
    runtimeTypeReExports: NonNullable<LoweringHints["runtimeTypeReExports"]>;
    runtimeTypeExports: NonNullable<LoweringHints["runtimeTypeExports"]>;
    runtimeTypeImports: NonNullable<LoweringHints["runtimeTypeImports"]>;
    /** Analyzer-owned complete field tables passed to the emitter for runtime validation. */
    readonly typeDeclarationFields: Map<number, readonly RecordTypeField[]>;
    readonly optionalMembers: Set<string>;
    readonly optionalCalls: Set<string>;
    readonly optionalIndexes: Set<string>;
    readonly optionalCallees: Set<string>;
    readonly truthConditions: Set<string>;
    readonly normalizedNullResults: Set<string>;
    readonly normalizedPromiseValues: Set<string>;
    readonly asyncResolvedValues: Set<string>;
    readonly asyncForStatements: Set<number>;
    readonly nativeRangeForStatements: Set<number>;
    readonly normalizedUndefinedExpressions: Set<string>;
    readonly instanceFieldReads: Set<string>;
    readonly errorCodeReads: Set<string>;
    readonly privateInstanceFieldReads: Set<string>;
    readonly staticFieldReads: Map<string, number>;
    readonly classMethodReferences: Set<string>;
    readonly optionalBindingEntries: Set<number>;
    readonly reactiveReferences: Map<string, "prop" | "state">;
    readonly exhaustiveMatches: Set<number>;
    readonly formReads: Map<string, readonly FormReadField[]>;
    readonly namedArgumentOrders: Map<string, readonly number[]>;
    readonly moduleNamespaceReferences: Set<string>;
    readonly builtinValueReferences: Map<string, "Json" | "Math" | "Promise" | "Text" | "range">;
    readonly runtimeNarrowings: Map<string, RuntimeNarrowingGuard>;
    readonly sameValueZeroEqualities: Set<string>;
    readonly sameValueZeroMatchValues: Set<string>;
    readonly equalsCalls: Set<string>;
    readonly stringOrderings: Set<string>;
    readonly dynamicOrderings: Set<string>;
    readonly usingDisposals: Map<string, DisposalContract>;
    readonly classDisposeChains: Map<string, "async" | "sync">;
    /** D68 rule 177: expression spans a consumer iterates through `@iterate:`. */
    readonly iterationContracts: Set<string>;
    /** D90 R18: `async for` statements pulling a declared asynchronous `@iterate:`. */
    readonly asyncIterationStatements: Set<number>;
    /** D90 R18: `@iterate:` blocks that are the asynchronous pull form, by keyword span. */
    readonly asyncIterateBlocks: Set<string>;
    readonly moduleTopLevelHostCalls: Set<string>;
    /** True when this expression was accepted using a flow fact from its branch. */
    expressionUsesRuntimeNarrowing(expression: Expression): boolean;
    expressionAlreadyNormalizesUndefined(expression: Expression): boolean;
    hints(owned: AnalyzerOwnedHints): LoweringHints;
}
//# sourceMappingURL=lowering-recorder.d.ts.map