/// <reference types="jquery" />
/// <reference types="bootstrap" />
import type { AnalyticConstruct } from "../../../analysis/predicates";
import { ExpressionASTNode } from "../../../ast/ast_expressions";
import { ExpressionOutlet } from "../../../view/constructs/ExpressionOutlets";
import { ConstructOutlet } from "../../../view/constructs/ConstructOutlet";
import { ConstructDescription, ExpressionContext, SemanticContext } from "../../compilation/contexts";
import { FunctionEntity } from "../../compilation/entities";
import { AtomicType, CompleteObjectType, ExpressionType, FunctionType, Type } from "../../compilation/types";
import { CPPObject } from "../../runtime/objects";
import { Value } from "../../runtime/Value";
import { CPPConstruct, SuccessfullyCompiled } from "../CPPConstruct";
import { PotentialFullExpression } from "../PotentialFullExpression";
import { CompiledTemporaryDeallocator } from "../TemporaryDeallocator";
import { AnalyticExpression } from "./expressions";
import { StringLiteralExpression } from "./StringLiteralExpression";
export declare type ValueCategory = "prvalue" | "lvalue";
export declare abstract class Expression<ASTType extends ExpressionASTNode = ExpressionASTNode> extends PotentialFullExpression<ExpressionContext, ASTType> {
    readonly t_analytic: AnalyticExpression;
    abstract readonly type?: ExpressionType;
    abstract readonly valueCategory?: ValueCategory;
    readonly conversionLength: number;
    readonly foo?: string;
    protected constructor(context: ExpressionContext, ast: ASTType | undefined);
    abstract createDefaultOutlet(this: CompiledExpression, element: JQuery, parent?: ConstructOutlet): ExpressionOutlet;
    isWellTyped(): this is TypedExpression;
    isPrvalue<T extends ExpressionType, V extends ValueCategory>(this: TypedExpression<T, V>): this is TypedExpression<T, "prvalue">;
    isLvalue<T extends ExpressionType, V extends ValueCategory>(this: TypedExpression<T, V>): this is TypedExpression<T, "lvalue">;
    isStringLiteralExpression(): this is StringLiteralExpression;
    isTailChild(child: CPPConstruct): {
        isTail: boolean;
    };
    abstract describeEvalResult(depth: number): ConstructDescription;
    analytic(): AnalyticExpression;
    isSemanticallyEquivalent_impl(other: AnalyticConstruct, ec: SemanticContext): boolean;
}
export interface t_TypedExpression {
    readonly _t_isTyped: never;
}
export interface TypedExpression<T extends ExpressionType = ExpressionType, V extends ValueCategory = ValueCategory> extends Expression<ExpressionASTNode> {
    readonly type: T;
    readonly valueCategory: V;
}
export interface CompiledExpression<T extends ExpressionType = ExpressionType, V extends ValueCategory = ValueCategory> extends TypedExpression<T, V>, SuccessfullyCompiled {
    readonly temporaryDeallocator?: CompiledTemporaryDeallocator;
}
export declare type SpecificCompiledExpression<T extends ExpressionType = ExpressionType, V extends ValueCategory = ValueCategory> = V extends ValueCategory ? CompiledExpression<T, V> : never;
export interface WellTyped<T extends ExpressionType = ExpressionType, V extends ValueCategory = ValueCategory> {
    readonly type: T;
    readonly valueCategory: V;
}
export declare type SpecificTypedExpression<T extends ExpressionType = ExpressionType, V extends ValueCategory = ValueCategory> = TypedExpression<T, V>;
export declare function allWellTyped(expressions: Expression[]): expressions is TypedExpression[];
export declare function allWellTyped(expressions: readonly Expression[]): expressions is readonly TypedExpression[];
export declare function allObjectTyped(expressions: Expression[]): expressions is TypedExpression<CompleteObjectType>[];
export declare function allObjectTyped(expressions: readonly Expression[]): expressions is readonly TypedExpression<CompleteObjectType>[];
export declare type VCResultTypes<T extends Type, V extends ValueCategory> = T extends FunctionType ? (V extends "prvalue" ? never : V extends "xvalue" ? never : FunctionEntity) : T extends AtomicType ? (V extends "prvalue" ? Value<T> : V extends "xvalue" ? CPPObject<T> : CPPObject<T>) : T extends CompleteObjectType ? (V extends "prvalue" ? (AtomicType extends T ? Value<AtomicType> | CPPObject<T> : CPPObject<T>) : V extends "xvalue" ? CPPObject<T> : CPPObject<T>) : (V extends "prvalue" ? Value<AtomicType> | CPPObject<CompleteObjectType> : V extends "xvalue" ? CPPObject<CompleteObjectType> : CPPObject<CompleteObjectType>);