/// <reference types="jquery" />
/// <reference types="bootstrap" />
import { AnalyticConstruct } from "../../../analysis/predicates";
import { IdentifierExpressionASTNode } from "../../../ast/ast_expressions";
import { IdentifierOutlet } from "../../../view/constructs/ExpressionOutlets";
import { ConstructOutlet } from "../../../view/constructs/ConstructOutlet";
import { ConstructDescription, ExpressionContext, SemanticContext } from "../../compilation/contexts";
import { FunctionEntity, GlobalVariableEntity, LocalVariableEntity, MemberVariableEntity } from "../../compilation/entities";
import { LexicalIdentifier } from "../../compilation/lexical";
import { CompleteObjectType, FunctionType, PotentiallyCompleteObjectType } from "../../compilation/types";
import { RuntimeConstruct, SuccessfullyCompiled } from "../CPPConstruct";
import { CompiledTemporaryDeallocator } from "../TemporaryDeallocator";
import { Expression, TypedExpression, t_TypedExpression } from "./Expression";
import { RuntimeExpression } from "./RuntimeExpression";
export declare class IdentifierExpression extends Expression<IdentifierExpressionASTNode> {
    readonly construct_type = "identifier_expression";
    readonly type?: PotentiallyCompleteObjectType | FunctionType;
    readonly valueCategory = "lvalue";
    readonly name: LexicalIdentifier;
    readonly entity?: LocalVariableEntity | GlobalVariableEntity | MemberVariableEntity | FunctionEntity;
    constructor(context: ExpressionContext, ast: IdentifierExpressionASTNode | undefined, name: LexicalIdentifier);
    static createFromAST(ast: IdentifierExpressionASTNode, context: ExpressionContext): IdentifierExpression;
    getEntity<T extends CompleteObjectType>(this: TypedExpression<T>): LocalVariableEntity<T> | GlobalVariableEntity<T> | MemberVariableEntity<T>;
    getEntity<T extends FunctionType>(this: TypedExpression<T>): FunctionEntity<T>;
    createDefaultOutlet(this: CompiledObjectIdentifierExpression<CompleteObjectType> | CompiledFunctionIdentifierExpression, element: JQuery, parent?: ConstructOutlet): IdentifierOutlet;
    describeEvalResult(depth: number): ConstructDescription;
    entitiesUsed(): (FunctionEntity<FunctionType<import("../../compilation/types").PotentialReturnType>> | LocalVariableEntity<PotentiallyCompleteObjectType> | import("../../compilation/entities").GlobalObjectEntity<import("../../compilation/types").AtomicType | import("../../compilation/types").CompleteClassType | import("../../compilation/types").BoundedArrayType<import("../../compilation/types").ArrayElemType>> | MemberVariableEntity<PotentiallyCompleteObjectType>)[];
    isSemanticallyEquivalent_impl(other: AnalyticConstruct, ec: SemanticContext): boolean;
}
export interface TypedObjectIdentifierExpression<T extends PotentiallyCompleteObjectType = PotentiallyCompleteObjectType> extends IdentifierExpression, t_TypedExpression {
    readonly type: T;
    readonly entity: LocalVariableEntity<T> | GlobalVariableEntity<T> | MemberVariableEntity<T>;
}
export interface CompiledObjectIdentifierExpression<T extends PotentiallyCompleteObjectType = PotentiallyCompleteObjectType> extends TypedObjectIdentifierExpression<T>, SuccessfullyCompiled {
    readonly temporaryDeallocator?: CompiledTemporaryDeallocator;
}
export interface TypedFunctionIdentifierExpression<T extends FunctionType = FunctionType> extends IdentifierExpression, t_TypedExpression {
    readonly type: T;
    readonly entity: FunctionEntity<T>;
}
export interface CompiledFunctionIdentifierExpression<T extends FunctionType = FunctionType> extends TypedFunctionIdentifierExpression<T>, SuccessfullyCompiled {
    readonly temporaryDeallocator?: CompiledTemporaryDeallocator;
}
export declare class RuntimeObjectIdentifierExpression<T extends CompleteObjectType = CompleteObjectType> extends RuntimeExpression<T, "lvalue", CompiledObjectIdentifierExpression<T>> {
    constructor(model: CompiledObjectIdentifierExpression<T>, parent: RuntimeConstruct);
    protected upNextImpl(): void;
    protected stepForwardImpl(): void;
}
export declare class RuntimeFunctionIdentifierExpression extends RuntimeExpression<FunctionType, "lvalue", CompiledFunctionIdentifierExpression> {
    constructor(model: CompiledFunctionIdentifierExpression, parent: RuntimeConstruct);
    protected upNextImpl(): void;
    protected stepForwardImpl(): void;
}