@theia/plugin 1.56.0 → 1.57.0-next.112

package/src/theia.d.ts

@@ -43,6 +43,7 @@ import './theia.proposed.profileContentHandlers';
 import './theia.proposed.resolvers';
 import './theia.proposed.scmValidation';
 import './theia.proposed.shareProvider';
+import './theia.proposed.terminalCompletionProvider';
 import './theia.proposed.terminalQuickFixProvider';
 import './theia.proposed.textSearchProvider';
 import './theia.proposed.timeline';
@@ -2163,7 +2164,7 @@ export module '@theia/plugin' {
         /**
          * The icon path or {@link ThemeIcon} for the QuickPickItem.
          */
-        iconPath?: Uri | { light: Uri; dark: Uri } | ThemeIcon;
+        iconPath?: IconPath;
 
         /**
          * A human-readable string which is rendered less prominent in the same line. Supports rendering of
@@ -2740,6 +2741,21 @@ export module '@theia/plugin' {
         private constructor(id: string, color?: ThemeColor);
     }
 
+    /**
+     * Represents an icon in the UI. This is either an uri, separate uris for the light- and dark-themes,
+     * or a {@link ThemeIcon theme icon}.
+     */
+    export type IconPath = Uri | {
+        /**
+         * The icon path for the light theme.
+         */
+        light: Uri;
+        /**
+         * The icon path for the dark theme.
+         */
+        dark: Uri;
+    } | ThemeIcon;
+
     /**
      * Represents the state of a window.
      */
@@ -3520,7 +3536,7 @@ export module '@theia/plugin' {
         /**
          * The icon path or {@link ThemeIcon} for the terminal.
          */
-        iconPath?: Uri | { light: Uri; dark: Uri } | ThemeIcon;
+        iconPath?: IconPath;
 
         /**
          * The icon {@link ThemeColor} for the terminal.
@@ -3640,7 +3656,7 @@ export module '@theia/plugin' {
         /**
          * The icon path or {@link ThemeIcon} for the terminal.
          */
-        iconPath?: Uri | { light: Uri; dark: Uri } | ThemeIcon;
+        iconPath?: IconPath;
 
         /**
          * The icon {@link ThemeColor} for the terminal.
@@ -6227,7 +6243,7 @@ export module '@theia/plugin' {
         /**
          * Icon for the button.
          */
-        readonly iconPath: Uri | { light: Uri; dark: Uri } | ThemeIcon;
+        readonly iconPath: IconPath;
 
         /**
          * An optional tooltip.
@@ -6841,7 +6857,7 @@ export module '@theia/plugin' {
          * When `falsy`, {@link ThemeIcon.Folder Folder Theme Icon} is assigned, if item is collapsible otherwise {@link ThemeIcon.File File Theme Icon}.
          * When a {@link ThemeIcon ThemeIcon} is specified, icon is derived from the current file icon theme for the specified theme icon using {@link TreeItem.resourceUri resourceUri} (if provided).
          */
-        iconPath?: string | Uri | { light: string | Uri; dark: string | Uri } | ThemeIcon;
+        iconPath?: string | IconPath;
 
         /**
          * A human readable string which is rendered less prominent.
@@ -10290,7 +10306,7 @@ export module '@theia/plugin' {
          * @return An array of commands, quick fixes, or refactorings or a thenable of such. The lack of a result can be
          * signaled by returning `undefined`, `null`, or an empty array.
          */
-        provideCodeActions(document: TextDocument, range: Range | Selection, context: CodeActionContext, token: CancellationToken): ProviderResult<(Command | T)[]>;
+        provideCodeActions(document: TextDocument, range: Range | Selection, context: CodeActionContext, token: CancellationToken): ProviderResult<Array<Command | T>>;
 
         /**
          * Given a code action fill in its `edit`-property. Changes to
@@ -10612,7 +10628,7 @@ export module '@theia/plugin' {
         /**
          * The icon path or {@link ThemeIcon ThemeIcon} for the edit.
          */
-        iconPath?: Uri | { light: Uri; dark: Uri } | ThemeIcon;
+        iconPath?: IconPath;
     }
 
     /**
@@ -13165,7 +13181,7 @@ export module '@theia/plugin' {
          * @param args The command arguments.
          * @param options Optional options for the started the shell.
          */
-        constructor(command: string | ShellQuotedString, args: (string | ShellQuotedString)[], options?: ShellExecutionOptions);
+        constructor(command: string | ShellQuotedString, args: Array<string | ShellQuotedString>, options?: ShellExecutionOptions);
 
         /**
          * The shell command line. Is `undefined` if created with a command and arguments.
@@ -16547,6 +16563,30 @@ export module '@theia/plugin' {
          */
         loadDetailedCoverage?: (testRun: TestRun, fileCoverage: FileCoverage, token: CancellationToken) => Thenable<FileCoverageDetail[]>;
 
+        /**
+         * An extension-provided function that provides detailed statement and
+         * function-level coverage for a single test in a file. This is the per-test
+         * sibling of {@link TestRunProfile.loadDetailedCoverage}, called only if
+         * a test item is provided in {@link FileCoverage.includesTests} and only
+         * for files where such data is reported.
+         *
+         * Often {@link TestRunProfile.loadDetailedCoverage} will be called first
+         * when a user opens a file, and then this method will be called if they
+         * drill down into specific per-test coverage information. This method
+         * should then return coverage data only for constructs the given test item
+         * executed during the test run.
+         *
+         * The {@link FileCoverage} object passed to this function is the same
+         * instance emitted on {@link TestRun.addCoverage} calls associated with this profile.
+         *
+         * @param testRun The test run that generated the coverage data.
+         * @param fileCoverage The file coverage object to load detailed coverage for.
+         * @param fromTestItem The test item to request coverage information for.
+         * @param token A cancellation token that indicates the operation should be cancelled.
+         * @stubbed
+         */
+        loadDetailedCoverageForTest?: (testRun: TestRun, fileCoverage: FileCoverage, fromTestItem: TestItem, token: CancellationToken) => Thenable<FileCoverageDetail[]>;
+
         /**
          * Deletes the run profile.
          */
@@ -17141,6 +17181,13 @@ export module '@theia/plugin' {
          */
         declarationCoverage?: TestCoverageCount;
 
+        /**
+         * A list of {@link TestItem test cases} that generated coverage in this
+         * file. If set, then {@link TestRunProfile.loadDetailedCoverageForTest}
+         * should also be defined in order to retrieve detailed coverage information.
+         */
+        includesTests?: TestItem[];
+
         /**
          * Creates a {@link FileCoverage} instance with counts filled in from
          * the coverage details.
@@ -17156,12 +17203,14 @@ export module '@theia/plugin' {
          * used to represent line coverage.
          * @param branchCoverage Branch coverage information
          * @param declarationCoverage Declaration coverage information
+         * @param includesTests Test cases included in this coverage report, see {@link includesTests}
          */
         constructor(
             uri: Uri,
             statementCoverage: TestCoverageCount,
             branchCoverage?: TestCoverageCount,
             declarationCoverage?: TestCoverageCount,
+            includesTests?: TestItem[],
         );
     }
 
@@ -17277,31 +17326,37 @@ export module '@theia/plugin' {
          *
          * *Note* that the {@link ChatParticipant.name name} of the participant and the {@link ChatCommand.name command}
          * are not part of the prompt.
+         * @stubbed
          */
         readonly prompt: string;
 
         /**
          * The id of the chat participant to which this request was directed.
+         * @stubbed
          */
         readonly participant: string;
 
         /**
          * The name of the {@link ChatCommand command} that was selected for this request.
+         * @stubbed
          */
         readonly command?: string;
 
         /**
          * The references that were used in this message.
+         * @stubbed
          */
         readonly references: ChatPromptReference[];
 
         /**
          * The list of tools were attached to this request.
+         * @stubbed
          */
         readonly toolReferences: readonly ChatLanguageModelToolReference[];
 
         /**
          * @hidden
+         * @stubbed
          */
         private constructor(prompt: string, command: string | undefined, references: ChatPromptReference[], participant: string, toolReferences: ChatLanguageModelToolReference[]);
     }
@@ -17313,21 +17368,25 @@ export module '@theia/plugin' {
     export class ChatResponseTurn {
         /**
          * The content that was received from the chat participant. Only the stream parts that represent actual content (not metadata) are represented.
+         * @stubbed
          */
         readonly response: ReadonlyArray<ChatResponseMarkdownPart | ChatResponseFileTreePart | ChatResponseAnchorPart | ChatResponseCommandButtonPart>;
 
         /**
          * The result that was received from the chat participant.
+         * @stubbed
          */
         readonly result: ChatResult;
 
         /**
          * The id of the chat participant that this response came from.
+         * @stubbed
          */
         readonly participant: string;
 
         /**
          * The name of the command that this response came from.
+         * @stubbed
          */
         readonly command?: string;
 
@@ -17344,6 +17403,7 @@ export module '@theia/plugin' {
     export interface ChatContext {
         /**
          * All of the chat messages so far in the current chat session. Currently, only chat messages for the current participant are included.
+         * @stubbed
          */
         readonly history: ReadonlyArray<ChatRequestTurn | ChatResponseTurn>;
     }
@@ -17355,11 +17415,13 @@ export module '@theia/plugin' {
     export interface ChatErrorDetails {
         /**
          * An error message that is shown to the user.
+         * @stubbed
          */
         message: string;
 
         /**
          * If set to true, the response will be partly blurred out.
+         * @stubbed
          */
         responseIsFiltered?: boolean;
     }
@@ -17371,11 +17433,13 @@ export module '@theia/plugin' {
     export interface ChatResult {
         /**
          * If the request resulted in an error, this property defines the error details.
+         * @stubbed
          */
         errorDetails?: ChatErrorDetails;
 
         /**
          * Arbitrary metadata for this result. Can be anything, but must be JSON-stringifyable.
+         * @stubbed
          */
         readonly metadata?: { readonly [key: string]: any };
     }
@@ -17403,11 +17467,13 @@ export module '@theia/plugin' {
         /**
          * The ChatResult for which the user is providing feedback.
          * This object has the same properties as the result returned from the participant callback, including `metadata`, but is not the same instance.
+         * @stubbed
          */
         readonly result: ChatResult;
 
         /**
          * The kind of feedback that was received.
+         * @stubbed
          */
         readonly kind: ChatResultFeedbackKind;
     }
@@ -17419,22 +17485,26 @@ export module '@theia/plugin' {
     export interface ChatFollowup {
         /**
          * The message to send to the chat.
+         * @stubbed
          */
         prompt: string;
 
         /**
          * A title to show the user. The prompt will be shown by default, when this is unspecified.
+         * @stubbed
          */
         label?: string;
 
         /**
          * By default, the followup goes to the same participant/command. But this property can be set to invoke a different participant by ID.
          * Followups can only invoke a participant that was contributed by the same extension.
+         * @stubbed
          */
         participant?: string;
 
         /**
          * By default, the followup goes to the same participant/command. But this property can be set to invoke a different command.
+         * @stubbed
          */
         command?: string;
     }
@@ -17467,30 +17537,25 @@ export module '@theia/plugin' {
     export interface ChatParticipant {
         /**
          * A unique ID for this participant.
+         * @stubbed
          */
         readonly id: string;
 
         /**
          * An icon for the participant shown in UI.
+         * @stubbed
          */
-        iconPath?: Uri | {
-            /**
-             * The icon path for the light theme.
-             */
-            light: Uri;
-            /**
-             * The icon path for the dark theme.
-             */
-            dark: Uri;
-        } | ThemeIcon;
+        iconPath?: IconPath;
 
         /**
          * The handler for requests to this participant.
+         * @stubbed
          */
         requestHandler: ChatRequestHandler;
 
         /**
          * This provider will be called once after each request to retrieve suggested followup questions.
+         * @stubbed
          */
         followupProvider?: ChatFollowupProvider;
 
@@ -17500,11 +17565,13 @@ export module '@theia/plugin' {
          *
          * The passed {@link ChatResultFeedback.result result} is guaranteed to be the same instance that was
          * previously returned from this chat participant.
+         * @stubbed
          */
         onDidReceiveFeedback: Event<ChatResultFeedback>;
 
         /**
          * Dispose this participant and free resources.
+         * @stubbed
          */
         dispose(): void;
     }
@@ -17516,6 +17583,7 @@ export module '@theia/plugin' {
     export interface ChatPromptReference {
         /**
          * A unique identifier for this kind of reference.
+         * @stubbed
          */
         readonly id: string;
 
@@ -17524,16 +17592,19 @@ export module '@theia/plugin' {
          *
          * *Note* that the indices take the leading `#`-character into account which means they can
          * used to modify the prompt as-is.
+         * @stubbed
          */
         readonly range?: [start: number, end: number];
 
         /**
          * A description of this value that could be used in an LLM prompt.
+         * @stubbed
          */
         readonly modelDescription?: string;
 
         /**
          * The value of this reference. The `string | Uri | Location` types are used today, but this could expand in the future.
+         * @stubbed
          */
         readonly value: string | Uri | Location | unknown;
     }
@@ -17550,11 +17621,13 @@ export module '@theia/plugin' {
          *
          * *Note* that the {@link ChatParticipant.name name} of the participant and the {@link ChatCommand.name command}
          * are not part of the prompt.
+         * @stubbed
          */
         readonly prompt: string;
 
         /**
          * The name of the {@link ChatCommand command} that was selected for this request.
+         * @stubbed
          */
         readonly command: string | undefined;
 
@@ -17566,6 +17639,7 @@ export module '@theia/plugin' {
          * headings which contain the resolved values. References are sorted in reverse by their range
          * in the prompt. That means the last reference in the prompt is the first in this list. This simplifies
          * string-manipulation of the prompt.
+         * @stubbed
          */
         readonly references: readonly ChatPromptReference[];
 
@@ -17576,18 +17650,21 @@ export module '@theia/plugin' {
          * {@link LanguageModelChatToolMode.Required} to force the language model to generate input for the tool. Then, the
          * participant can use {@link lm.invokeTool} to use the tool attach the result to its request for the user's prompt. The
          * tool may contribute useful extra context for the user's request.
+         * @stubbed
          */
         readonly toolReferences: readonly ChatLanguageModelToolReference[];
 
         /**
          * A token that can be passed to {@link lm.invokeTool} when invoking a tool inside the context of handling a chat request.
          * This associates the tool invocation to a chat session.
+         * @stubbed
          */
         readonly toolInvocationToken: ChatParticipantToolToken;
 
         /**
          * This is the model that is currently selected in the UI. Extensions can use this or use {@link chat.selectChatModels} to
          * pick another model. Don't hold onto this past the lifetime of the request.
+         * @stubbed
          */
         readonly model: LanguageModelChat;
     }
@@ -17605,6 +17682,7 @@ export module '@theia/plugin' {
          *
          * @see {@link ChatResponseStream.push}
          * @param value A markdown string or a string that should be interpreted as markdown. The boolean form of {@link MarkdownString.isTrusted} is NOT supported.
+         * @stubbed
          */
         markdown(value: string | MarkdownString): void;
 
@@ -17615,6 +17693,7 @@ export module '@theia/plugin' {
          *
          * @param value A uri or location.
          * @param title An optional title that is rendered with value.
+         * @stubbed
          */
         anchor(value: Uri | Location, title?: string): void;
 
@@ -17623,6 +17702,7 @@ export module '@theia/plugin' {
          * `push(new ChatResponseCommandButtonPart(value, title))`.
          *
          * @param command A Command that will be executed when the button is clicked.
+         * @stubbed
          */
         button(command: Command): void;
 
@@ -17632,6 +17712,7 @@ export module '@theia/plugin' {
          *
          * @param value File tree data.
          * @param baseUri The base uri to which this file tree is relative.
+         * @stubbed
          */
         filetree(value: ChatResponseFileTree[], baseUri: Uri): void;
 
@@ -17640,6 +17721,7 @@ export module '@theia/plugin' {
          * `push(new ChatResponseProgressPart(value))`.
          *
          * @param value A progress message
+         * @stubbed
          */
         progress(value: string): void;
 
@@ -17651,22 +17733,15 @@ export module '@theia/plugin' {
          *
          * @param value A uri or location
          * @param iconPath Icon for the reference shown in UI
+         * @stubbed
          */
-        reference(value: Uri | Location, iconPath?: Uri | ThemeIcon | {
-            /**
-             * The icon path for the light theme.
-             */
-            light: Uri;
-            /**
-             * The icon path for the dark theme.
-             */
-            dark: Uri;
-        }): void;
+        reference(value: Uri | Location, iconPath?: IconPath): void;
 
         /**
          * Pushes a part to this stream.
          *
          * @param part A response part, rendered or metadata
+         * @stubbed
          */
         push(part: ChatResponsePart): void;
     }
@@ -17678,6 +17753,7 @@ export module '@theia/plugin' {
     export class ChatResponseMarkdownPart {
         /**
          * A markdown string or a string that should be interpreted as markdown.
+         * @stubbed
          */
         value: MarkdownString;
 
@@ -17685,6 +17761,7 @@ export module '@theia/plugin' {
          * Create a new ChatResponseMarkdownPart.
          *
          * @param value A markdown string or a string that should be interpreted as markdown. The boolean form of {@link MarkdownString.isTrusted} is NOT supported.
+         * @stubbed
          */
         constructor(value: string | MarkdownString);
     }
@@ -17696,11 +17773,13 @@ export module '@theia/plugin' {
     export interface ChatResponseFileTree {
         /**
          * The name of the file or directory.
+         * @stubbed
          */
         name: string;
 
         /**
          * An array of child file trees, if the current file tree is a directory.
+         * @stubbed
          */
         children?: ChatResponseFileTree[];
     }
@@ -17712,11 +17791,13 @@ export module '@theia/plugin' {
     export class ChatResponseFileTreePart {
         /**
          * File tree data.
+         * @stubbed
          */
         value: ChatResponseFileTree[];
 
         /**
          * The base uri to which this file tree is relative
+         * @stubbed
          */
         baseUri: Uri;
 
@@ -17724,6 +17805,7 @@ export module '@theia/plugin' {
          * Create a new ChatResponseFileTreePart.
          * @param value File tree data.
          * @param baseUri The base uri to which this file tree is relative.
+         * @stubbed
          */
         constructor(value: ChatResponseFileTree[], baseUri: Uri);
     }
@@ -17735,11 +17817,13 @@ export module '@theia/plugin' {
     export class ChatResponseAnchorPart {
         /**
          * The target of this anchor.
+         * @stubbed
          */
         value: Uri | Location;
 
         /**
          * An optional title that is rendered with value.
+         * @stubbed
          */
         title?: string;
 
@@ -17747,6 +17831,7 @@ export module '@theia/plugin' {
          * Create a new ChatResponseAnchorPart.
          * @param value A uri or location.
          * @param title An optional title that is rendered with value.
+         * @stubbed
          */
         constructor(value: Uri | Location, title?: string);
     }
@@ -17758,12 +17843,14 @@ export module '@theia/plugin' {
     export class ChatResponseProgressPart {
         /**
          * The progress message
+         * @stubbed
          */
         value: string;
 
         /**
          * Create a new ChatResponseProgressPart.
          * @param value A progress message
+         * @stubbed
          */
         constructor(value: string);
     }
@@ -17775,38 +17862,23 @@ export module '@theia/plugin' {
     export class ChatResponseReferencePart {
         /**
          * The reference target.
+         * @stubbed
          */
         value: Uri | Location;
 
         /**
          * The icon for the reference.
+         * @stubbed
          */
-        iconPath?: Uri | ThemeIcon | {
-            /**
-             * The icon path for the light theme.
-             */
-            light: Uri;
-            /**
-             * The icon path for the dark theme.
-             */
-            dark: Uri;
-        };
+        iconPath?: IconPath;
 
         /**
          * Create a new ChatResponseReferencePart.
          * @param value A uri or location
          * @param iconPath Icon for the reference shown in UI
+         * @stubbed
          */
-        constructor(value: Uri | Location, iconPath?: Uri | ThemeIcon | {
-            /**
-             * The icon path for the light theme.
-             */
-            light: Uri;
-            /**
-             * The icon path for the dark theme.
-             */
-            dark: Uri;
-        });
+        constructor(value: Uri | Location, iconPath?: IconPath);
     }
 
     /**
@@ -17816,12 +17888,14 @@ export module '@theia/plugin' {
     export class ChatResponseCommandButtonPart {
         /**
          * The command that will be executed when the button is clicked.
+         * @stubbed
          */
         value: Command;
 
         /**
          * Create a new ChatResponseCommandButtonPart.
          * @param value A Command that will be executed when the button is clicked.
+         * @stubbed
          */
         constructor(value: Command);
     }
@@ -17875,41 +17949,47 @@ export module '@theia/plugin' {
          *
          * @param content The content of the message.
          * @param name The optional name of a user for the message.
+         * @stubbed
          */
-        static User(content: string | (LanguageModelTextPart | LanguageModelToolResultPart)[], name?: string): LanguageModelChatMessage;
+        static User(content: string | Array<LanguageModelTextPart | LanguageModelToolResultPart>, name?: string): LanguageModelChatMessage;
 
         /**
          * Utility to create a new assistant message.
          *
          * @param content The content of the message.
          * @param name The optional name of a user for the message.
+         * @stubbed
          */
-        static Assistant(content: string | (LanguageModelTextPart | LanguageModelToolCallPart)[], name?: string): LanguageModelChatMessage;
+        static Assistant(content: string | Array<(LanguageModelTextPart | LanguageModelToolCallPart)>, name?: string): LanguageModelChatMessage;
 
         /**
          * The role of this message.
+         * @stubbed
          */
         role: LanguageModelChatMessageRole;
 
         /**
          * A string or heterogeneous array of things that a message can contain as content. Some parts may be message-type
          * specific for some models.
+         * @stubbed
          */
-        content: (LanguageModelTextPart | LanguageModelToolResultPart | LanguageModelToolCallPart)[];
+        content: Array<(LanguageModelTextPart | LanguageModelToolResultPart | LanguageModelToolCallPart)>;
 
         /**
          * The optional name of a user for this message.
+         * @stubbed
          */
         name: string | undefined;
 
         /**
          * Create a new user message.
+         * @stubbed
          *
          * @param role The role of the message.
          * @param content The content of the message.
          * @param name The optional name of a user for the message.
          */
-        constructor(role: LanguageModelChatMessageRole, content: string | (LanguageModelTextPart | LanguageModelToolResultPart | LanguageModelToolCallPart)[], name?: string);
+        constructor(role: LanguageModelChatMessageRole, content: string | Array<LanguageModelTextPart | LanguageModelToolResultPart | LanguageModelToolCallPart>, name?: string);
     }
 
     /**
@@ -17950,6 +18030,7 @@ export module '@theia/plugin' {
          *   console.error(e);
          * }
          * ```
+         * @stubbed
          */
         stream: AsyncIterable<LanguageModelTextPart | LanguageModelToolCallPart | unknown>;
 
@@ -17957,6 +18038,7 @@ export module '@theia/plugin' {
          * This is equivalent to filtering everything except for text parts from a {@link LanguageModelChatResponse.stream}.
          *
          * @see {@link LanguageModelChatResponse.stream}
+         * @stubbed
          */
         text: AsyncIterable<string>;
     }
@@ -17971,34 +18053,40 @@ export module '@theia/plugin' {
 
         /**
          * Human-readable name of the language model.
+         * @stubbed
          */
         readonly name: string;
 
         /**
          * Opaque identifier of the language model.
+         * @stubbed
          */
         readonly id: string;
 
         /**
          * A well-known identifier of the vendor of the language model. An example is `copilot`, but
          * values are defined by extensions contributing chat models and need to be looked up with them.
+         * @stubbed
          */
         readonly vendor: string;
 
         /**
          * Opaque family-name of the language model. Values might be `gpt-3.5-turbo`, `gpt4`, `phi2`, or `llama`
          * but they are defined by extensions contributing languages and subject to change.
+         * @stubbed
          */
         readonly family: string;
 
         /**
          * Opaque version string of the model. This is defined by the extension contributing the language model
          * and subject to change.
+         * @stubbed
          */
         readonly version: string;
 
         /**
          * The maximum number of tokens that can be sent to the model in a single request.
+         * @stubbed
          */
         readonly maxInputTokens: number;
 
@@ -18026,6 +18114,7 @@ export module '@theia/plugin' {
          * @param options Options that control the request.
          * @param token A cancellation token which controls the request. See {@link CancellationTokenSource} for how to create one.
          * @returns A thenable that resolves to a {@link LanguageModelChatResponse}. The promise will reject when the request couldn't be made.
+         * @stubbed
          */
         sendRequest(messages: LanguageModelChatMessage[], options?: LanguageModelChatRequestOptions, token?: CancellationToken): Thenable<LanguageModelChatResponse>;
 
@@ -18034,6 +18123,7 @@ export module '@theia/plugin' {
          * @param text A string or a message instance.
          * @param token Optional cancellation token.  See {@link CancellationTokenSource} for how to create one.
          * @returns A thenable that resolves to the number of tokens.
+         * @stubbed
          */
         countTokens(text: string | LanguageModelChatMessage, token?: CancellationToken): Thenable<number>;
     }
@@ -18049,24 +18139,28 @@ export module '@theia/plugin' {
         /**
          * A vendor of language models.
          * @see {@link LanguageModelChat.vendor}
+         * @stubbed
          */
         vendor?: string;
 
         /**
          * A family of language models.
          * @see {@link LanguageModelChat.family}
+         * @stubbed
          */
         family?: string;
 
         /**
          * The version of a language model.
          * @see {@link LanguageModelChat.version}
+         * @stubbed
          */
         version?: string;
 
         /**
          * The identifier of a language model.
          * @see {@link LanguageModelChat.id}
+         * @stubbed
          */
         id?: string;
     }
@@ -18085,16 +18179,19 @@ export module '@theia/plugin' {
         /**
          * The requestor does not have permissions to use this
          * language model
+         * @stubbed
          */
         static NoPermissions(message?: string): LanguageModelError;
 
         /**
          * The requestor is blocked from using this language model.
+         * @stubbed
          */
         static Blocked(message?: string): LanguageModelError;
 
         /**
          * The language model does not exist.
+         * @stubbed
          */
         static NotFound(message?: string): LanguageModelError;
 
@@ -18104,6 +18201,7 @@ export module '@theia/plugin' {
          * Possible values are names of errors, like {@linkcode LanguageModelError.NotFound NotFound},
          * or `Unknown` for unspecified errors from the language model itself. In the latter case the
          * `cause`-property will contain the actual error.
+         * @stubbed
          */
         readonly code: string;
     }
@@ -18118,12 +18216,14 @@ export module '@theia/plugin' {
 
         /**
          * A human-readable message that explains why access to a language model is needed and what feature is enabled by it.
+         * @stubbed
          */
         justification?: string;
 
         /**
          * A set of options that control the behavior of the language model. These options are specific to the language model
          * and need to be lookup in the respective documentation.
+         * @stubbed
          */
         modelOptions?: { [name: string]: any };
 
@@ -18137,11 +18237,13 @@ export module '@theia/plugin' {
          *
          * Then, the tool result can be provided to the LLM by creating an Assistant-type {@link LanguageModelChatMessage} with a
          * {@link LanguageModelToolCallPart}, followed by a User-type message with a {@link LanguageModelToolResultPart}.
+         * @stubbed
          */
         tools?: LanguageModelChatTool[];
 
         /**
          * The tool-selecting mode to use. {@link LanguageModelChatToolMode.Auto} by default.
+         * @stubbed
          */
         toolMode?: LanguageModelChatToolMode;
     }
@@ -18239,6 +18341,7 @@ export module '@theia/plugin' {
 
         /**
          * An event that fires when access information changes.
+         * @stubbed
          */
         onDidChange: Event<void>;
 
@@ -18250,6 +18353,7 @@ export module '@theia/plugin' {
          * @param chat A language model chat object.
          * @return `true` if a request can be made, `false` if not, `undefined` if the language
          * model does not exist or consent hasn't been asked for.
+         * @stubbed
          */
         canSendRequest(chat: LanguageModelChat): boolean | undefined;
 
@@ -18263,16 +18367,19 @@ export module '@theia/plugin' {
     export interface LanguageModelChatTool {
         /**
          * The name of the tool.
+         * @stubbed
          */
         name: string;
 
         /**
          * The description of the tool.
+         * @stubbed
          */
         description: string;
 
         /**
          * A JSON schema for the input this tool accepts.
+         * @stubbed
          */
         inputSchema?: object;
     }
@@ -18301,16 +18408,19 @@ export module '@theia/plugin' {
     export class LanguageModelToolCallPart {
         /**
          * The ID of the tool call. This is a unique identifier for the tool call within the chat request.
+         * @stubbed
          */
         callId: string;
 
         /**
          * The name of the tool to call.
+         * @stubbed
          */
         name: string;
 
         /**
          * The input with which to call the tool.
+         * @stubbed
          */
         input: object;
 
@@ -18320,6 +18430,7 @@ export module '@theia/plugin' {
          * @param callId The ID of the tool call.
          * @param name The name of the tool to call.
          * @param input The input with which to call the tool.
+         * @stubbed
          */
         constructor(callId: string, name: string, input: object);
     }
@@ -18334,19 +18445,22 @@ export module '@theia/plugin' {
          * The ID of the tool call.
          *
          * *Note* that this should match the {@link LanguageModelToolCallPart.callId callId} of a tool call part.
+         * @stubbed
          */
         callId: string;
 
         /**
          * The value of the tool result.
+         * @stubbed
          */
-        content: (LanguageModelTextPart | LanguageModelPromptTsxPart | unknown)[];
+        content: Array<LanguageModelTextPart | LanguageModelPromptTsxPart | unknown>;
 
         /**
          * @param callId The ID of the tool call.
          * @param content The content of the tool result.
+         * @stubbed
          */
-        constructor(callId: string, content: (LanguageModelTextPart | LanguageModelPromptTsxPart | unknown)[]);
+        constructor(callId: string, content: Array<(LanguageModelTextPart | LanguageModelPromptTsxPart | unknown)>);
     }
 
     /**
@@ -18356,12 +18470,14 @@ export module '@theia/plugin' {
     export class LanguageModelTextPart {
         /**
          * The text content of the part.
+         * @stubbed
          */
         value: string;
 
         /**
          * Construct a text part with the given content.
          * @param value The text content of the part.
+         * @stubbed
          */
         constructor(value: string);
     }
@@ -18374,12 +18490,14 @@ export module '@theia/plugin' {
     export class LanguageModelPromptTsxPart {
         /**
          * The value of the part.
+         * @stubbed
          */
         value: unknown;
 
         /**
          * Construct a prompt-tsx part with the given content.
          * @param value The value of the part, the result of `renderPromptElementJSON` from `@vscode/prompt-tsx`.
+         * @stubbed
          */
         constructor(value: unknown);
     }
@@ -18393,14 +18511,16 @@ export module '@theia/plugin' {
          * A list of tool result content parts. Includes `unknown` becauses this list may be extended with new content types in
          * the future.
          * @see {@link lm.invokeTool}.
+         * @stubbed
          */
-        content: (LanguageModelTextPart | LanguageModelPromptTsxPart | unknown)[];
+        content: Array<(LanguageModelTextPart | LanguageModelPromptTsxPart | unknown)>;
 
         /**
          * Create a LanguageModelToolResult
          * @param content A list of tool result content parts
+         * @stubbed
          */
-        constructor(content: (LanguageModelTextPart | LanguageModelPromptTsxPart)[]);
+        constructor(content: Array<(LanguageModelTextPart | LanguageModelPromptTsxPart)>);
     }
 
     /**
@@ -18424,18 +18544,21 @@ export module '@theia/plugin' {
          * confirmations will be shown.
          *
          * *Note* that a tool that invokes another tool during its invocation, can pass along the `toolInvocationToken` that it received.
+         * @stubbed
          */
         toolInvocationToken: ChatParticipantToolToken | undefined;
 
         /**
          * The input with which to invoke the tool. The input must match the schema defined in
          * {@link LanguageModelToolInformation.inputSchema}
+         * @stubbed
          */
         input: T;
 
         /**
          * Options to hint at how many tokens the tool should return in its response, and enable the tool to count tokens
          * accurately.
+         * @stubbed
          */
         tokenizationOptions?: LanguageModelToolTokenizationOptions;
     }
@@ -18447,6 +18570,7 @@ export module '@theia/plugin' {
     export interface LanguageModelToolTokenizationOptions {
         /**
          * If known, the maximum number of tokens the tool should emit in its result.
+         * @stubbed
          */
         tokenBudget: number;
 
@@ -18455,6 +18579,7 @@ export module '@theia/plugin' {
          * @param text A string.
          * @param token Optional cancellation token.  See {@link CancellationTokenSource} for how to create one.
          * @returns A thenable that resolves to the number of tokens.
+         * @stubbed
          */
         countTokens(text: string, token?: CancellationToken): Thenable<number>;
     }
@@ -18466,22 +18591,26 @@ export module '@theia/plugin' {
     export interface LanguageModelToolInformation {
         /**
          * A unique name for the tool.
+         * @stubbed
          */
         readonly name: string;
 
         /**
          * A description of this tool that may be passed to a language model.
+         * @stubbed
          */
         readonly description: string;
 
         /**
          * A JSON schema for the input this tool accepts.
+         * @stubbed
          */
         readonly inputSchema: object | undefined;
 
         /**
          * A set of tags, declared by the tool, that roughly describe the tool's capabilities. A tool user may use these to filter
          * the set of tools to just ones that are relevant for the task at hand.
+         * @stubbed
          */
         readonly tags: readonly string[];
     }
@@ -18493,6 +18622,7 @@ export module '@theia/plugin' {
     export interface LanguageModelToolInvocationPrepareOptions<T> {
         /**
          * The input that the tool is being invoked with.
+         * @stubbed
          */
         input: T;
     }
@@ -18506,6 +18636,7 @@ export module '@theia/plugin' {
          * Invoke the tool with the given input and return a result.
          *
          * The provided {@link LanguageModelToolInvocationOptions.input} has been validated against the declared schema.
+         * @stubbed
          */
         invoke(options: LanguageModelToolInvocationOptions<T>, token: CancellationToken): ProviderResult<LanguageModelToolResult>;
 
@@ -18516,6 +18647,7 @@ export module '@theia/plugin' {
          *
          * * *Note 1:* Must be free of side-effects.
          * * *Note 2:* A call to `prepareInvocation` is not necessarily followed by a call to `invoke`.
+         * @stubbed
          */
         prepareInvocation?(options: LanguageModelToolInvocationPrepareOptions<T>, token: CancellationToken): ProviderResult<PreparedToolInvocation>;
     }
@@ -18528,11 +18660,13 @@ export module '@theia/plugin' {
     export interface LanguageModelToolConfirmationMessages {
         /**
          * The title of the confirmation message.
+         * @stubbed
          */
         title: string;
 
         /**
          * The body of the confirmation message.
+         * @stubbed
          */
         message: string | MarkdownString;
     }
@@ -18544,12 +18678,14 @@ export module '@theia/plugin' {
     export interface PreparedToolInvocation {
         /**
          * A customized progress message to show while the tool runs.
+         * @stubbed
          */
-        invocationMessage?: string;
+        invocationMessage?: string | MarkdownString;
 
         /**
          * The presence of this property indicates that the user should be asked to confirm before running the tool. The user
          * should be asked for confirmation for any tool that has a side-effect or may potentially be dangerous.
+         * @stubbed
          */
         confirmationMessages?: LanguageModelToolConfirmationMessages;
     }
@@ -18562,6 +18698,7 @@ export module '@theia/plugin' {
     export interface ChatLanguageModelToolReference {
         /**
          * The tool name. Refers to a tool listed in {@link lm.tools}.
+         * @stubbed
          */
         readonly name: string;
 
@@ -18571,6 +18708,7 @@ export module '@theia/plugin' {
          *
          * *Note* that the indices take the leading `#`-character into account which means they can be used to modify the prompt
          * as-is.
+         * @stubbed
          */
         readonly range?: [start: number, end: number];
     }