/**
 * @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 ts from 'typescript';
import { Reference } from '../../imports';
import { FunctionDefinition } from '../../reflection';
import { SyntheticValue } from './synthetic';
/**
 * The reason why a value cannot be determined statically.
 */
export declare const enum DynamicValueReason {
    /**
     * A value could not be determined statically, because it contains a term that could not be
     * determined statically.
     * (E.g. a property assignment or call expression where the lhs is a `DynamicValue`, a template
     * literal with a dynamic expression, an object literal with a spread assignment which could not
     * be determined statically, etc.)
     */
    DYNAMIC_INPUT = 0,
    /**
     * A string could not be statically evaluated.
     * (E.g. a dynamically constructed object property name or a template literal expression that
     * could not be statically resolved to a primitive value.)
     */
    DYNAMIC_STRING = 1,
    /**
     * An external reference could not be resolved to a value which can be evaluated.
     * For example a call expression for a function declared in `.d.ts`, or accessing native globals
     * such as `window`.
     */
    EXTERNAL_REFERENCE = 2,
    /**
     * Syntax that `StaticInterpreter` doesn't know how to evaluate, for example a type of
     * `ts.Expression` that is not supported.
     */
    UNSUPPORTED_SYNTAX = 3,
    /**
     * A declaration of a `ts.Identifier` could not be found.
     */
    UNKNOWN_IDENTIFIER = 4,
    /**
     * A value could be resolved, but is not an acceptable type for the operation being performed.
     *
     * For example, attempting to call a non-callable expression.
     */
    INVALID_EXPRESSION_TYPE = 5,
    /**
     * A function call could not be evaluated as the function's body is not a single return statement.
     */
    COMPLEX_FUNCTION_CALL = 6,
    /**
     * A value that could not be determined because it contains type information that cannot be
     * statically evaluated. This happens when producing a value from type information, but the value
     * of the given type cannot be determined statically.
     *
     * E.g. evaluating a tuple.
     *
     *   `declare const foo: [string];`
     *
     *  Evaluating `foo` gives a DynamicValue wrapped in an array with a reason of DYNAMIC_TYPE. This
     * is because the static evaluator has a `string` type for the first element of this tuple, and
     * the value of that string cannot be determined statically. The type `string` permits it to be
     * 'foo', 'bar' or any arbitrary string, so we evaluate it to a DynamicValue.
     */
    DYNAMIC_TYPE = 7,
    /**
     * A value could not be determined because one of the inputs to its evaluation is a synthetically
     * produced value.
     */
    SYNTHETIC_INPUT = 8,
    /**
     * A value could not be determined statically for any reason other the above.
     */
    UNKNOWN = 9
}
/**
 * Represents a value which cannot be determined statically.
 */
export declare class DynamicValue<R = unknown> {
    readonly node: ts.Node;
    readonly reason: R;
    private code;
    private constructor();
    static fromDynamicInput(node: ts.Node, input: DynamicValue): DynamicValue<DynamicValue>;
    static fromDynamicString(node: ts.Node): DynamicValue;
    static fromExternalReference(node: ts.Node, ref: Reference<ts.Declaration>): DynamicValue<Reference<ts.Declaration>>;
    static fromUnsupportedSyntax(node: ts.Node): DynamicValue;
    static fromUnknownIdentifier(node: ts.Identifier): DynamicValue;
    static fromInvalidExpressionType(node: ts.Node, value: unknown): DynamicValue<unknown>;
    static fromComplexFunctionCall(node: ts.Node, fn: FunctionDefinition): DynamicValue<FunctionDefinition>;
    static fromDynamicType(node: ts.TypeNode): DynamicValue;
    static fromSyntheticInput(node: ts.Node, value: SyntheticValue<unknown>): DynamicValue<SyntheticValue<unknown>>;
    static fromUnknown(node: ts.Node): DynamicValue;
    isFromDynamicInput(this: DynamicValue<R>): this is DynamicValue<DynamicValue>;
    isFromDynamicString(this: DynamicValue<R>): this is DynamicValue;
    isFromExternalReference(this: DynamicValue<R>): this is DynamicValue<Reference<ts.Declaration>>;
    isFromUnsupportedSyntax(this: DynamicValue<R>): this is DynamicValue;
    isFromUnknownIdentifier(this: DynamicValue<R>): this is DynamicValue;
    isFromInvalidExpressionType(this: DynamicValue<R>): this is DynamicValue<unknown>;
    isFromComplexFunctionCall(this: DynamicValue<R>): this is DynamicValue<FunctionDefinition>;
    isFromDynamicType(this: DynamicValue<R>): this is DynamicValue;
    isFromUnknown(this: DynamicValue<R>): this is DynamicValue;
    accept<R>(visitor: DynamicValueVisitor<R>): R;
}
export interface DynamicValueVisitor<R> {
    visitDynamicInput(value: DynamicValue<DynamicValue>): R;
    visitDynamicString(value: DynamicValue): R;
    visitExternalReference(value: DynamicValue<Reference<ts.Declaration>>): R;
    visitUnsupportedSyntax(value: DynamicValue): R;
    visitUnknownIdentifier(value: DynamicValue): R;
    visitInvalidExpressionType(value: DynamicValue): R;
    visitComplexFunctionCall(value: DynamicValue<FunctionDefinition>): R;
    visitDynamicType(value: DynamicValue): R;
    visitSyntheticInput(value: DynamicValue<SyntheticValue<unknown>>): R;
    visitUnknown(value: DynamicValue): R;
}
