import { type VmScript, type VmValue } from '@mirascript/mirascript';
import { type Logger, type Options } from './interface.js';
import { type GlobalReferenceChain } from './analyze.js';
import { CompiledExpression, type Expression, type ExpressionFunction, type ExpressionOrValue, type ExpressionSource } from './expression.js';
import { Scope } from './scope.js';
import { type ArgumentMap, type ArgumentValue, type ChoiceParameterType, type ConditionExpression, type Parameter, type ParameterGroup, type ParameterMap } from './definitions.js';
/** 选项类型 */
export type EvaluatedChoices<T extends ChoiceParameterType> = {
    [K in T]: ParameterMap[K] extends {
        choices?: infer C;
    } ? (C extends readonly unknown[] ? C : never) : never;
}[T];
/**
 * 表达式求值
 */
export declare class Evaluator {
    constructor(options?: Partial<Options> | null);
    /** Logger */
    get logger(): Logger;
    /** 选项 */
    readonly options: Readonly<Partial<Options>>;
    /** 默认执行环境 */
    private readonly scope;
    private readonly __imported;
    /** 执行环境 */
    get imported(): ReadonlyMap<string, VmValue>;
    /**
     * 导入到执行环境
     *
     * 使用 `undefined` 删除已导入的变量
     */
    import(values: Record<string, unknown>): void;
    /** 编译表达式 */
    compile<T extends VmValue>(expression: Expression<T> | VmScript, throws?: boolean): CompiledExpression<T>;
    /** 执行 MiraScript 模板 */
    template(template: string | null | undefined, scope?: Scope | null): string;
    /** 求值 */
    evaluate<T extends VmValue>(expression: ExpressionOrValue<T> | ExpressionFunction<T> | null | undefined, scope?: Scope | null): T | null;
    /** 求值 */
    evaluate<T extends VmValue, const D = NonNullable<T>>(expression: ExpressionOrValue<T> | ExpressionFunction<T> | null | undefined, scope: Scope | null | undefined, defaults: D): NonNullable<T> | D;
    /** 求值 */
    evaluate<T>(expression: ExpressionFunction<T> | T | null | undefined, scope?: Scope | null): T | null;
    /** 求值 */
    evaluate<T, const D = NonNullable<T>>(expression: ExpressionFunction<T> | T | null | undefined, scope: Scope | null | undefined, defaults: D): NonNullable<T> | D;
    /** 求值 */
    evaluateSource<T extends VmValue>(expression: ExpressionSource<T> | T | null | undefined, scope: Scope | null | undefined): T | null;
    /** 求值 */
    evaluateSource<T extends VmValue, const D = NonNullable<T>>(expression: ExpressionSource<T> | T | null | undefined, scope: Scope | null | undefined, defaults: D): NonNullable<T> | D;
    /** 求条件 */
    evaluateCondition(condition: ConditionExpression | null | undefined, scope: Scope | null | undefined, defaults?: boolean): boolean;
    /** 求选项列表 */
    evaluateChoices<T extends ChoiceParameterType>(definition: Pick<ParameterMap[T], 'type' | 'choices' | 'value'>, scope: Scope | null | undefined): EvaluatedChoices<T>;
    /** 求参数值 */
    evaluateArg<V extends ArgumentValue>(expression: ExpressionOrValue<V> | null | undefined, scope: Scope | null | undefined, definition: Parameter): V;
    /** 求参数表的所有参数值 */
    evaluateArgs<T extends Record<string, ArgumentValue>>(args: ArgumentMap<T> | null | undefined, scope: Scope | null | undefined, definition: ReadonlyArray<Pick<ParameterGroup, 'items'>>): T;
    /** 解析表达式 */
    validate<T extends VmValue>(expression: Expression<T>): void;
    /** 分析表达式 */
    analyze<T extends VmValue>(expression: Expression<T>, scope?: Scope | null): readonly GlobalReferenceChain[];
}
//# sourceMappingURL=main.d.ts.map