tabby/clients/vscode/src/TabbyCompletionProvider.ts

135 lines
4.2 KiB
TypeScript
Raw Normal View History

2023-03-28 07:53:57 +00:00
import {
CancellationToken,
InlineCompletionContext,
InlineCompletionItem,
InlineCompletionItemProvider,
InlineCompletionList,
Position,
ProviderResult,
Range,
TextDocument,
workspace,
} from "vscode";
import { CompletionResponse, EventType, ChoiceEvent, ApiError } from "./generated";
import { TabbyClient } from "./TabbyClient";
import { sleep } from "./utils";
2023-03-28 07:53:57 +00:00
export class TabbyCompletionProvider implements InlineCompletionItemProvider {
private uuid = Date.now();
private latestTimestamp: number = 0;
private tabbyClient = TabbyClient.getInstance();
2023-03-28 07:53:57 +00:00
// User Settings
private enabled: boolean = true;
private suggestionDelay: number = 150;
2023-03-28 07:53:57 +00:00
constructor() {
this.updateConfiguration();
workspace.onDidChangeConfiguration((event) => {
if (event.affectsConfiguration("tabby")) {
this.updateConfiguration();
}
});
}
//@ts-ignore because ASYNC and PROMISE
//prettier-ignore
public async provideInlineCompletionItems(document: TextDocument, position: Position, context: InlineCompletionContext, token: CancellationToken): ProviderResult<InlineCompletionItem[] | InlineCompletionList> {
const emptyResponse = Promise.resolve([] as InlineCompletionItem[]);
if (!this.enabled) {
console.debug("Extension not enabled, skipping.");
return emptyResponse;
}
const prompt = this.getPrompt(document, position);
if (this.isNil(prompt)) {
console.debug("Prompt is empty, skipping");
return emptyResponse;
}
const currentTimestamp = Date.now();
this.latestTimestamp = currentTimestamp;
await sleep(this.suggestionDelay);
2023-03-28 07:53:57 +00:00
if (currentTimestamp < this.latestTimestamp) {
return emptyResponse;
}
console.debug(
2023-03-28 12:35:59 +00:00
"Requesting: ",
2023-03-28 07:53:57 +00:00
{
uuid: this.uuid,
timestamp: currentTimestamp,
prompt,
language: document.languageId
2023-03-28 07:53:57 +00:00
}
);
const completion = await this.tabbyClient.api.default.completionsV1CompletionsPost({
prompt: prompt as string, // Prompt is already nil-checked
language: document.languageId, // https://code.visualstudio.com/docs/languages/identifiers
}).then((response: CompletionResponse) => {
this.tabbyClient.changeStatus("ready");
return response;
}).catch((err: ApiError) => {
console.error(err);
this.tabbyClient.changeStatus("disconnected");
return null;
});
2023-03-28 07:53:57 +00:00
const hasSuffixParen = this.hasSuffixParen(document, position);
const replaceRange = hasSuffixParen
? new Range(
position.line,
position.character,
position.line,
position.character + 1
)
: new Range(position, position);
const completions = this.toInlineCompletions(completion, replaceRange);
2023-03-28 07:53:57 +00:00
console.debug("Result completions: ", completions);
return Promise.resolve(completions);
}
private updateConfiguration() {
const configuration = workspace.getConfiguration("tabby");
this.enabled = configuration.get("enabled", true);
this.suggestionDelay = configuration.get("suggestionDelay", 150);
2023-03-28 07:53:57 +00:00
}
private getPrompt(document: TextDocument, position: Position): string | undefined {
2023-03-28 07:53:57 +00:00
const maxLines = 20;
const firstLine = Math.max(position.line - maxLines, 0);
return document.getText(new Range(firstLine, 0, position.line, position.character));
}
private isNil(value: string | undefined | null): boolean {
2023-03-28 07:53:57 +00:00
return value === undefined || value === null || value.length === 0;
}
private toInlineCompletions(tabbyCompletion: CompletionResponse | null, range: Range): InlineCompletionItem[] {
2023-03-28 07:53:57 +00:00
return (
tabbyCompletion?.choices?.map((choice: any) => {
let event: ChoiceEvent = {
type: EventType.SELECT,
completion_id: tabbyCompletion.id,
choice_index: choice.index,
};
return new InlineCompletionItem(choice.text, range, {
title: "Tabby: Emit Event",
command: "tabby.emitEvent",
arguments: [event],
});
}) || []
2023-03-28 07:53:57 +00:00
);
}
private hasSuffixParen(document: TextDocument, position: Position) {
const suffix = document.getText(
new Range(position.line, position.character, position.line, position.character + 1)
);
return ")]}".indexOf(suffix) > -1;
}
}