/// <reference types="jquery" />
/// <reference types="bootstrap" />
import { CompleteObjectType, FunctionType, CompleteClassType, PotentiallyCompleteObjectType } from "../../compilation/types";
import { ExpressionContext, ConstructDescription, SemanticContext } from "../../compilation/contexts";
import { SuccessfullyCompiled, RuntimeConstruct } from "../CPPConstruct";
import { FunctionEntity, MemberVariableEntity } from "../../compilation/entities";
import { LexicalIdentifier } from "../../compilation/lexical";
import { Expression, CompiledExpression, TypedExpression, t_TypedExpression } from "./Expression";
import { RuntimeExpression } from "./RuntimeExpression";
import { DotExpressionOutlet } from "../../../view/constructs/ExpressionOutlets";
import { ConstructOutlet } from "../../../view/constructs/ConstructOutlet";
import { AnalyticConstruct } from "../../../analysis/predicates";
import { CompiledTemporaryDeallocator } from "../TemporaryDeallocator";
import { DotExpressionASTNode } from "../../../ast/ast_expressions";
export declare class DotExpression extends Expression<DotExpressionASTNode> {
    readonly construct_type = "dot_expression";
    readonly type?: PotentiallyCompleteObjectType | FunctionType;
    readonly valueCategory = "lvalue";
    readonly operand: Expression;
    readonly memberName: LexicalIdentifier;
    readonly entity?: MemberVariableEntity | FunctionEntity;
    static createFromAST(ast: DotExpressionASTNode, context: ExpressionContext): DotExpression;
    constructor(context: ExpressionContext, ast: DotExpressionASTNode, operand: Expression, memberName: LexicalIdentifier);
    createDefaultOutlet(this: CompiledObjectDotExpression<CompleteObjectType> | CompiledFunctionDotExpression, element: JQuery, parent?: ConstructOutlet): DotExpressionOutlet;
    describeEvalResult(depth: number): ConstructDescription;
    entitiesUsed(): (FunctionEntity<FunctionType<import("../../compilation/types").PotentialReturnType>> | MemberVariableEntity<PotentiallyCompleteObjectType>)[];
    isSemanticallyEquivalent_impl(other: AnalyticConstruct, ec: SemanticContext): boolean;
}
export interface TypedObjectDotExpression<T extends PotentiallyCompleteObjectType = PotentiallyCompleteObjectType> extends DotExpression, t_TypedExpression {
    readonly type: T;
    readonly entity: MemberVariableEntity<T>;
    readonly operand: TypedExpression<CompleteClassType>;
}
export interface CompiledObjectDotExpression<T extends PotentiallyCompleteObjectType = PotentiallyCompleteObjectType> extends TypedObjectDotExpression<T>, SuccessfullyCompiled {
    readonly temporaryDeallocator?: CompiledTemporaryDeallocator;
    readonly operand: CompiledExpression<CompleteClassType>;
}
export interface TypedFunctionDotExpression<T extends FunctionType = FunctionType> extends DotExpression, t_TypedExpression {
    readonly type: T;
    readonly entity: FunctionEntity<T>;
    readonly operand: TypedExpression<CompleteClassType>;
}
export interface CompiledFunctionDotExpression<T extends FunctionType = FunctionType> extends TypedFunctionDotExpression<T>, SuccessfullyCompiled {
    readonly temporaryDeallocator?: CompiledTemporaryDeallocator;
    readonly operand: CompiledExpression<CompleteClassType>;
}
export declare class RuntimeObjectDotExpression<T extends CompleteObjectType = CompleteObjectType> extends RuntimeExpression<T, "lvalue", CompiledObjectDotExpression<T>> {
    readonly operand: RuntimeExpression<CompleteClassType>;
    constructor(model: CompiledObjectDotExpression<T>, parent: RuntimeConstruct);
    protected upNextImpl(): void;
    protected stepForwardImpl(): void;
}
export declare class RuntimeFunctionDotExpression extends RuntimeExpression<FunctionType, "lvalue", CompiledFunctionDotExpression> {
    readonly operand: RuntimeExpression<CompleteClassType>;
    constructor(model: CompiledFunctionDotExpression, parent: RuntimeConstruct);
    protected upNextImpl(): void;
    protected stepForwardImpl(): void;
    get contextualReceiver(): import("../../runtime/objects").CPPObject<CompleteClassType>;
}