2023-09-14 23:22:19 +02:00
|
|
|
import * as vscode from 'vscode';
|
2023-12-24 15:04:34 +01:00
|
|
|
import * as codemp from '../index'; // TODO why won't it work with a custom name???
|
2023-12-24 16:23:50 +01:00
|
|
|
import * as codemplogic from './codemp';
|
2023-12-24 15:04:34 +01:00
|
|
|
|
2024-02-14 15:41:32 +01:00
|
|
|
export let LOGGER = vscode.window.createOutputChannel("codemp", {log: true});
|
|
|
|
|
2024-02-12 19:22:50 +01:00
|
|
|
// extension is activated the very first time the command is executed
|
2023-09-14 23:22:19 +02:00
|
|
|
export function activate(context: vscode.ExtensionContext) {
|
|
|
|
// Use the console to output diagnostic information (console.log) and errors (console.error)
|
|
|
|
console.log('Congratulations, your extension "codempvscode" is now active!');
|
|
|
|
|
2024-02-12 19:22:50 +01:00
|
|
|
// start codemp log poller
|
2024-02-14 15:41:32 +01:00
|
|
|
log_poller_task(new codemp.JsLogger(true)); // don't await it! run it in background forever
|
2024-02-12 19:22:50 +01:00
|
|
|
|
|
|
|
// register commands: the commandId parameter must match the command field in package.json
|
|
|
|
for (let cmd of [
|
|
|
|
vscode.commands.registerCommand('codempvscode.connect', codemplogic.connect),
|
|
|
|
vscode.commands.registerCommand('codempvscode.login', codemplogic.login),
|
|
|
|
vscode.commands.registerCommand('codempvscode.join', codemplogic.join),
|
|
|
|
vscode.commands.registerCommand('codempvscode.attach', codemplogic.attach),
|
|
|
|
vscode.commands.registerCommand('codempvscode.createBuffer', codemplogic.createBuffer),
|
|
|
|
vscode.commands.registerCommand('codempvscode.listBuffers', codemplogic.listBuffers),
|
|
|
|
// vscode.commands.registerCommand('codempvscode.disconnectBuffer', codemplogic.disconnectBuffer),
|
|
|
|
vscode.commands.registerCommand('codempvscode.sync', codemplogic.sync),
|
2024-02-14 15:41:32 +01:00
|
|
|
vscode.commands.registerCommand('codempvscode.printOpCache', codemplogic.printOpCache)
|
2024-02-12 19:22:50 +01:00
|
|
|
]) {
|
|
|
|
context.subscriptions.push(cmd);
|
|
|
|
}
|
2023-10-01 10:47:53 +02:00
|
|
|
}
|
2023-09-14 23:22:19 +02:00
|
|
|
|
2024-02-14 15:41:32 +01:00
|
|
|
async function log_poller_task(logger: codemp.JsLogger) {
|
2024-02-12 19:22:50 +01:00
|
|
|
console.log("starting logger task");
|
|
|
|
while (true) {
|
|
|
|
let message = await logger.message();
|
|
|
|
if (message === null) break;
|
|
|
|
console.log(message);
|
2024-02-14 15:41:32 +01:00
|
|
|
LOGGER.info(message);
|
2024-02-12 19:22:50 +01:00
|
|
|
}
|
|
|
|
console.log("stopping logger task");
|
|
|
|
}
|