Theia API Documentation v1.68.0
    Preparing search index...
    • Extracts the tool call ID from an unknown context object. Returns undefined if the context is not a valid ToolInvocationContext or has no toolCallId.

      Parameters

      • ctx: unknown

      Returns undefined | string