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

    Interface ToolInvocation

    What the runtime tells a tool handler about its invocation.

    interface ToolInvocation {
        arguments: unknown;
        sessionId: string;
        toolCallId: string;
        toolName: string;
    }
    Index

    Properties

    arguments sessionId toolCallId toolName

    Properties

    arguments: unknown
    sessionId: string
    toolCallId: string
    toolName: string

    Settings

    Member Visibility

    On This Page

    Properties