Theia API Documentation v1.68.0
    Preparing search index...
    interface ToolCall {
        argumentsDelta?: boolean;
        data?: Record<string, string>;
        finished?: boolean;
        function?: { arguments?: string; name?: string };
        id?: string;
        result?: ToolCallResult;
    }
    Index

    Properties

    argumentsDelta?: boolean

    When true, the arguments field contains a delta to be appended to existing arguments rather than a complete replacement.

    data?: Record<string, string>
    finished?: boolean
    function?: { arguments?: string; name?: string }
    id?: string