/**
 * @license
 * Copyright Google LLC All Rights Reserved.
 *
 * Use of this source code is governed by an MIT-style license that can be
 * found in the LICENSE file at https://angular.dev/license
 */
import { ConstantPool } from '@angular/compiler';
import ts from 'typescript';
import { SourceFileTypeIdentifier } from '../../core/api';
import { IncrementalBuild } from '../../incremental/api';
import { SemanticDepGraphUpdater, SemanticSymbol } from '../../incremental/semantic_graph';
import { IndexingContext } from '../../indexer';
import { PerfRecorder } from '../../perf';
import { ClassDeclaration, DeclarationNode, Decorator, ReflectionHost } from '../../reflection';
import { ProgramTypeCheckAdapter, TypeCheckContext } from '../../typecheck/api';
import { Xi18nContext } from '../../xi18n';
import { CompilationMode, CompileResult, DecoratorHandler } from './api';
import { DtsTransformRegistry } from './declaration';
import { PendingTrait, Trait } from './trait';
/**
 * Records information about a specific class that has matched traits.
 */
export interface ClassRecord {
    /**
     * The `ClassDeclaration` of the class which has Angular traits applied.
     */
    node: ClassDeclaration;
    /**
     * All traits which matched on the class.
     */
    traits: Trait<unknown, unknown, SemanticSymbol | null, unknown>[];
    /**
     * Meta-diagnostics about the class, which are usually related to whether certain combinations of
     * Angular decorators are not permitted.
     */
    metaDiagnostics: ts.Diagnostic[] | null;
    /**
     * Whether `traits` contains traits matched from `DecoratorHandler`s marked as `WEAK`.
     */
    hasWeakHandlers: boolean;
    /**
     * Whether `traits` contains a trait from a `DecoratorHandler` matched as `PRIMARY`.
     */
    hasPrimaryHandler: boolean;
}
/**
 * The heart of Angular compilation.
 *
 * The `TraitCompiler` is responsible for processing all classes in the program. Any time a
 * `DecoratorHandler` matches a class, a "trait" is created to represent that Angular aspect of the
 * class (such as the class having a component definition).
 *
 * The `TraitCompiler` transitions each trait through the various phases of compilation, culminating
 * in the production of `CompileResult`s instructing the compiler to apply various mutations to the
 * class (like adding fields or type declarations).
 */
export declare class TraitCompiler implements ProgramTypeCheckAdapter {
    private handlers;
    private reflector;
    private perf;
    private incrementalBuild;
    private compileNonExportedClasses;
    private compilationMode;
    private dtsTransforms;
    private semanticDepGraphUpdater;
    private sourceFileTypeIdentifier;
    /**
     * Maps class declarations to their `ClassRecord`, which tracks the Ivy traits being applied to
     * those classes.
     */
    private classes;
    /**
     * Maps source files to any class declaration(s) within them which have been discovered to contain
     * Ivy traits.
     */
    private fileToClasses;
    /**
     * Tracks which source files have been analyzed but did not contain any traits. This set allows
     * the compiler to skip analyzing these files in an incremental rebuild.
     */
    private filesWithoutTraits;
    private reexportMap;
    private handlersByName;
    constructor(handlers: DecoratorHandler<unknown, unknown, SemanticSymbol | null, unknown>[], reflector: ReflectionHost, perf: PerfRecorder, incrementalBuild: IncrementalBuild<ClassRecord, unknown>, compileNonExportedClasses: boolean, compilationMode: CompilationMode, dtsTransforms: DtsTransformRegistry, semanticDepGraphUpdater: SemanticDepGraphUpdater | null, sourceFileTypeIdentifier: SourceFileTypeIdentifier);
    analyzeSync(sf: ts.SourceFile): void;
    analyzeAsync(sf: ts.SourceFile): Promise<void> | undefined;
    private analyze;
    recordFor(clazz: ClassDeclaration): ClassRecord | null;
    getAnalyzedRecords(): Map<ts.SourceFile, ClassRecord[]>;
    /**
     * Import a `ClassRecord` from a previous compilation (only to be used in global compilation
     * modes)
     *
     * Traits from the `ClassRecord` have accurate metadata, but the `handler` is from the old program
     * and needs to be updated (matching is done by name). A new pending trait is created and then
     * transitioned to analyzed using the previous analysis. If the trait is in the errored state,
     * instead the errors are copied over.
     */
    private adopt;
    private scanClassForTraits;
    protected detectTraits(clazz: ClassDeclaration, decorators: Decorator[] | null): PendingTrait<unknown, unknown, SemanticSymbol | null, unknown>[] | null;
    private makeSymbolForTrait;
    private analyzeClass;
    private analyzeTrait;
    resolve(): void;
    /**
     * Generate type-checking code into the `TypeCheckContext` for any components within the given
     * `ts.SourceFile`.
     */
    typeCheck(sf: ts.SourceFile, ctx: TypeCheckContext): void;
    runAdditionalChecks(sf: ts.SourceFile, check: (clazz: ts.ClassDeclaration, handler: DecoratorHandler<unknown, unknown, SemanticSymbol | null, unknown>) => ts.Diagnostic[] | null): ts.Diagnostic[];
    index(ctx: IndexingContext): void;
    xi18n(bundle: Xi18nContext): void;
    updateResources(clazz: DeclarationNode): void;
    compile(clazz: DeclarationNode, constantPool: ConstantPool): CompileResult[] | null;
    compileHmrUpdateCallback(clazz: DeclarationNode): ts.FunctionDeclaration | null;
    decoratorsFor(node: ts.Declaration): ts.Decorator[];
    get diagnostics(): ReadonlyArray<ts.Diagnostic>;
    get exportStatements(): Map<string, Map<string, [string, string]>>;
}