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

    Registry for all the function calls available to Agents.

    interface ToolInvocationRegistry {
        onDidChange: Event<void>;
        getAllFunctions(): ToolRequest<ToolInvocationContext>[];
        getFunction(toolId: string): undefined | ToolRequest<ToolInvocationContext>;
        getFunctions(...toolIds: string[]): ToolRequest<ToolInvocationContext>[];
        registerTool(tool: ToolRequest): void;
        unregisterAllTools(providerName: string): void;
    }

    Implemented by

    Index

    Properties

    onDidChange: Event<void>

    Event that is fired whenever the registry changes (tool registered or unregistered).

    Methods

    • Unregisters all tools provided by a specific tool provider.

      Parameters

      • providerName: string

        The name of the tool provider whose tools should be removed (as specificed in the ToolRequest).

      Returns void