import { Bool, AtomicType, IntegralType, Int, PointerToCompleteType } from "../compilation/types";
export declare type RawValueType = number;
export declare class Value<T extends AtomicType = AtomicType> {
    private static _name;
    readonly type: T;
    private readonly _isValid;
    readonly rawValue: RawValueType;
    constructor(rawValue: RawValueType, type: T, isValid?: boolean);
    get isValid(): boolean;
    isTyped<NarrowedT extends AtomicType>(predicate: (t: AtomicType) => t is NarrowedT): this is Value<NarrowedT>;
    clone(valueToClone?: RawValueType): Value<T>;
    cvUnqualified(): Value<T>;
    cvQualified(isConst: boolean, isVolatile?: boolean): Value<T>;
    invalidated(): Value<T>;
    equals(otherValue: Value<T>): Value<Bool>;
    rawEquals(otherRawValue: RawValueType): boolean;
    combine(otherValue: Value<T>, combiner: (a: RawValueType, b: RawValueType) => RawValueType): Value<T>;
    pointerOffset<T extends PointerToCompleteType>(this: Value<T>, offsetValue: Value<IntegralType>, subtract?: boolean): Value<T>;
    pointerOffsetRaw<T extends PointerToCompleteType>(this: Value<T>, rawOffsetValue: number, subtract?: boolean): Value<T>;
    pointerDifference(this: Value<PointerToCompleteType>, otherValue: Value<PointerToCompleteType>): Value<Int>;
    compare(otherValue: Value<T>, comparer: (a: RawValueType, b: RawValueType) => boolean): Value<Bool>;
    modify(modifier: (a: RawValueType) => RawValueType): Value<T>;
    add(otherValue: Value<T>): Value<T>;
    addRaw(x: number): Value<T>;
    sub(otherValue: Value<T>): Value<T>;
    subRaw(x: number): Value<T>;
    arithmeticNegate(): Value<T>;
    logicalNot(): Value<T>;
    toString(): string;
    valueString(): string;
    valueToOstreamString(): string;
    /**
     * This should be used VERY RARELY. The only time to use it is if you have a temporary Value instance
     * that you're using locally and want to keep updating its raw value to something else before passing
     * to something like memory.dereference(). For example, this is done when traversing through a cstring by
     * getting the value of the pointer initially, then ad hoc updating that value as you move through the cstring.
     */
    setRawValue(rawValue: RawValueType): void;
    describe(): {
        message: string;
    };
}