Theia API Documentation v1.65.0
    Preparing search index...

    A reference to a tool that the user manually attached to their request, either using the #-syntax inline, or as an attachment via the paperclip button.

    interface ChatLanguageModelToolReference {
        name: string;
        range?: [start: number, end: number];
    }
    Index

    Properties

    Properties

    name: string

    The tool name. Refers to a tool listed in lm.tools.

    range?: [start: number, end: number]

    The start and end index of the reference in the prompt. When undefined, the reference was not part of the prompt text.

    Note that the indices take the leading #-character into account which means they can be used to modify the prompt as-is.