import { PointerType, Int, PointerToCompleteType as PointerToCompleteObjectType } from "../../compilation/types";
import { ExpressionContext, ConstructDescription } from "../../compilation/contexts";
import { SuccessfullyCompiled, RuntimeConstruct } from "../CPPConstruct";
import { CompiledExpression, TypedExpression, t_TypedExpression } from "./Expression";
import { RuntimeExpression } from "./RuntimeExpression";
import { CompiledTemporaryDeallocator } from "../TemporaryDeallocator";
import { ArithmeticBinaryOperatorExpressionASTNode } from "../../../ast/ast_expressions";
import { SimpleRuntimeExpression } from "./SimpleRuntimeExpression";
import { BinaryOperatorExpression } from "./BinaryOperatorExpression";
export declare class PointerDifferenceExpression extends BinaryOperatorExpression<ArithmeticBinaryOperatorExpressionASTNode> {
    readonly construct_type = "pointer_difference_expression";
    readonly type: Int;
    readonly valueCategory = "prvalue";
    readonly left: TypedExpression<PointerType, "prvalue">;
    readonly right: TypedExpression<PointerType, "prvalue">;
    readonly operator: "-";
    constructor(context: ExpressionContext, ast: ArithmeticBinaryOperatorExpressionASTNode, left: TypedExpression<PointerType, "prvalue">, right: TypedExpression<PointerType, "prvalue">);
    describeEvalResult(depth: number): ConstructDescription;
}
export interface TypedPointerDifferenceExpression extends PointerDifferenceExpression, t_TypedExpression {
}
export interface CompiledPointerDifferenceExpression extends TypedPointerDifferenceExpression, SuccessfullyCompiled {
    readonly temporaryDeallocator?: CompiledTemporaryDeallocator;
    readonly left: CompiledExpression<PointerToCompleteObjectType, "prvalue">;
    readonly right: CompiledExpression<PointerToCompleteObjectType, "prvalue">;
}
export declare class RuntimePointerDifference extends SimpleRuntimeExpression<Int, "prvalue", CompiledPointerDifferenceExpression> {
    left: RuntimeExpression<PointerToCompleteObjectType, "prvalue">;
    right: RuntimeExpression<PointerToCompleteObjectType, "prvalue">;
    constructor(model: CompiledPointerDifferenceExpression, parent: RuntimeConstruct);
    operate(): void;
}