import type { SentenceEnvsStruct } from "../../analyzer/getSentenceEnvs";
import type * as std from "../../law/std";
import type { Container } from "../container";
import type { SentenceEnv } from "../container/sentenceEnv";
import type { ____Declaration, ____PF, ____Pointer } from "../el/controls";
import { ____LawRef } from "../el/controls";
export interface InternalLocatedInfo {
    type: "internal";
    fragments: {
        fragment: ____PF;
        containers: Container[];
    }[];
}
export interface ExternalLocatedInfo {
    type: "external";
    lawRef: ____LawRef;
    fqPrefixFragments: ____PF[];
    skipSameCount: number;
}
export type LocatedInfo = InternalLocatedInfo | ExternalLocatedInfo;
export interface AppdxPointer {
    pointerText: string;
    el: std.AppdxItem | std.SupplProvisionAppdxItem;
}
export interface LocateOptions {
    force?: boolean;
    declarations: Map<string, ____Declaration>;
    lawRefByDeclarationID: Map<string, ____LawRef>;
}
export declare class PointerEnv {
    namingParent: PointerEnv | null;
    namingChildren: PointerEnv[];
    seriesPrev: PointerEnv | null;
    seriesNext: PointerEnv | null;
    located: LocatedInfo | null;
    pointer: ____Pointer;
    sentenceEnv: SentenceEnv;
    sentenceEnvsStruct: SentenceEnvsStruct;
    appdxPointers: AppdxPointer[];
    constructor(options: {
        pointer: ____Pointer;
        sentenceEnv: SentenceEnv;
        sentenceEnvsStruct: SentenceEnvsStruct;
        appdxPointers: AppdxPointer[];
    });
    json(): {
        pointer: import("../el/jsonEL").JsonEL;
        located: {
            fragments: {
                text: string;
                containers: string[];
            }[];
            type: "internal";
        } | {
            fqPrefixFragments: string[];
            lawRef: Pick<{
                includingDeclarationID?: string;
                suggestedLawTitle?: string;
                lawNum: string;
            }, "lawNum" | "suggestedLawTitle">;
            type: "external";
            skipSameCount: number;
        } | null;
        namingParent: string | null;
        namingChildren: string[];
        seriesPrev: string | null;
        seriesNext: string | null;
    };
    locate(options: LocateOptions): void;
}