import { ImportInfoInference, MethodInference, StmtInference } from '../ModelInference';
import { ArkMethod } from '../../model/ArkMethod';
import { InferenceBuilder } from '../InferenceBuilder';
import { FieldRefInference, InstanceInvokeExprInference, ValueInference } from '../ValueInference';
import { Stmt } from '../../base/Stmt';
import { Value } from '../../base/Value';
import { ArkCaughtExceptionRef, ArkInstanceFieldRef } from '../../base/Ref';
import { ArkInstanceInvokeExpr } from '../../base/Expr';
export declare class AbcMethodInference extends MethodInference {
    preInfer(arkMethod: ArkMethod): void;
    private inferArkUIComponentLifeCycleMethod;
}
export declare class AbcInferenceBuilder extends InferenceBuilder {
    buildImportInfoInference(): ImportInfoInference;
    buildMethodInference(): MethodInference;
    buildStmtInference(): StmtInference;
}
export declare class AbcFieldRefInference extends FieldRefInference {
    getValueName(): string;
    preInfer(value: ArkInstanceFieldRef, stmt: Stmt): boolean;
    infer(value: ArkInstanceFieldRef, stmt: Stmt): Value | undefined;
}
export declare class AbcInstanceInvokeExprInference extends InstanceInvokeExprInference {
    private static readonly CONTEXT;
    /**
     * Performs inference on an instance invocation expression within the context of a statement
     * Enhances the base implementation with real generic type inference and extension function support
     * @param {ArkInstanceInvokeExpr} value - The invocation expression to infer
     * @param {Stmt} stmt - The statement containing the invocation
     * @returns {Value | undefined} Returns a new expression if transformed, undefined otherwise
     */
    infer(value: ArkInstanceInvokeExpr, stmt: Stmt): Value | undefined;
    /**
     * process Context function
     * @param value
     * @param arkMethod
     */
    private processExtendFunc;
}
export declare class AbcExceptionRefInference extends ValueInference<ArkCaughtExceptionRef> {
    private static ERROR_TYPE;
    getValueName(): string;
    preInfer(value: ArkCaughtExceptionRef, stmt: Stmt): boolean;
    infer(value: ArkCaughtExceptionRef, stmt: Stmt): Value | undefined;
}
//# sourceMappingURL=AbcInference.d.ts.map