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

    Properties

    arguments?: string
    data?: Record<string, string>
    finished?: boolean
    id?: string
    name?: string