@leanprover/infoview
    Preparing search index...

    Interface DocumentPosition

    A document URI and a position in that document.

    interface DocumentPosition {
        character: number;
        line: number;
        uri: string;
    }

    Hierarchy

    Index
    character: number

    Character offset on a line in a document (zero-based).

    The meaning of this offset is determined by the negotiated PositionEncodingKind.

    If the character value is greater than the line length it defaults back to the line length.

    line: number

    Line position in a document (zero-based).

    If a line number is greater than the number of lines in a document, it defaults back to the number of lines in the document. If a line number is negative, it defaults to 0.

    uri: string