/// <reference types="jquery" />
/// <reference types="bootstrap" />
import { CPPObject } from "../../runtime/objects";
import { CompleteObjectType, PointerType, 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 { ArrowExpressionOutlet } from "../../../view/constructs/ExpressionOutlets";
import { ConstructOutlet } from "../../../view/constructs/ConstructOutlet";
import { AnalyticConstruct } from "../../../analysis/predicates";
import { CompiledTemporaryDeallocator } from "../TemporaryDeallocator";
import { ArrowExpressionASTNode } from "../../../ast/ast_expressions";
export declare class ArrowExpression extends Expression<ArrowExpressionASTNode> {
    readonly construct_type = "arrow_expression";
    readonly type?: PotentiallyCompleteObjectType | FunctionType;
    readonly valueCategory = "lvalue";
    readonly operand: Expression;
    readonly memberName: LexicalIdentifier;
    readonly entity?: MemberVariableEntity | FunctionEntity;
    static createFromAST(ast: ArrowExpressionASTNode, context: ExpressionContext): ArrowExpression;
    constructor(context: ExpressionContext, ast: ArrowExpressionASTNode, operand: Expression, memberName: LexicalIdentifier);
    createDefaultOutlet(this: CompiledObjectArrowExpression<CompleteObjectType> | CompiledFunctionArrowExpression, element: JQuery, parent?: ConstructOutlet): ArrowExpressionOutlet;
    describeEvalResult(depth: number): ConstructDescription;
    entitiesUsed(): (FunctionEntity<FunctionType<import("../../compilation/types").PotentialReturnType>> | MemberVariableEntity<PotentiallyCompleteObjectType>)[];
    isSemanticallyEquivalent_impl(other: AnalyticConstruct, ec: SemanticContext): boolean;
}
export interface TypedObjectArrowExpression<T extends PotentiallyCompleteObjectType = PotentiallyCompleteObjectType> extends ArrowExpression, t_TypedExpression {
    readonly type: T;
    readonly entity: MemberVariableEntity<T>;
    readonly operand: TypedExpression<PointerType<CompleteClassType>>;
}
export interface CompiledObjectArrowExpression<T extends PotentiallyCompleteObjectType = PotentiallyCompleteObjectType> extends TypedObjectArrowExpression<T>, SuccessfullyCompiled {
    readonly temporaryDeallocator?: CompiledTemporaryDeallocator;
    readonly operand: CompiledExpression<PointerType<CompleteClassType>>;
}
export interface TypedFunctionArrowExpression<T extends FunctionType = FunctionType> extends ArrowExpression, t_TypedExpression {
    readonly type: T;
    readonly entity: FunctionEntity<T>;
    readonly operand: TypedExpression<PointerType<CompleteClassType>>;
}
export interface CompiledFunctionArrowExpression<T extends FunctionType = FunctionType> extends TypedFunctionArrowExpression<T>, SuccessfullyCompiled {
    readonly temporaryDeallocator?: CompiledTemporaryDeallocator;
    readonly operand: CompiledExpression<PointerType<CompleteClassType>>;
}
export declare class RuntimeObjectArrowExpression<T extends CompleteObjectType = CompleteObjectType> extends RuntimeExpression<T, "lvalue", CompiledObjectArrowExpression<T>> {
    readonly operand: RuntimeExpression<PointerType<CompleteClassType>>;
    constructor(model: CompiledObjectArrowExpression<T>, parent: RuntimeConstruct);
    protected upNextImpl(): void;
    protected stepForwardImpl(): void;
}
export declare class RuntimeFunctionArrowExpression extends RuntimeExpression<FunctionType, "lvalue", CompiledFunctionArrowExpression> {
    readonly operand: RuntimeExpression<PointerType<CompleteClassType>>;
    private receiverCalledOn?;
    constructor(model: CompiledFunctionArrowExpression, parent: RuntimeConstruct);
    protected upNextImpl(): void;
    protected stepForwardImpl(): void;
    get contextualReceiver(): CPPObject<CompleteClassType>;
}