Implement ide_logging to handle different log levels

src/ide_services/endpoints/ideLogging.ts

@@ -1,14 +1,10 @@
 import { logger } from "../../util/logger";
 
-export async function logInfo(message: string) {
+export async function ideLogging(level: string, message: string) {
-    logger.channel()?.info(message);
+    if (typeof logger.channel()?.[level] === "function") {
-    return true;
+        // level is one of "info", "warn", "error", "debug"
-}
+        logger.channel()?.[level](message);
-export async function logWarn(message: string) {
-    logger.channel()?.warn(message);
-    return true;
-}
-export async function logError(message: string) {
-    logger.channel()?.error(message);
         return true;
+    }
+    return false;
 }

src/ide_services/services.ts

@@ -5,7 +5,7 @@ import { logger } from "../util/logger";
 
 import { getServicePort } from "./endpoints/getServicePort";
 import { installPythonEnv } from "./endpoints/installPythonEnv";
-import { logError, logInfo, logWarn } from "./endpoints/ideLogging";
+import { ideLogging} from "./endpoints/ideLogging";
 import { updateSlashCommands } from "./endpoints/updateSlashCommands";
 import { ideLanguage } from "./endpoints/ideLanguage";
 import { LegacyEndpoints } from "./endpoints/legacy";
@@ -32,17 +32,9 @@ const functionRegistry: any = {
         keys: [],
         handler: ideLanguage,
     },
-    "/log_info": {
+    "/ide_logging": {
-        keys: ["message"],
+        keys: ["level", "message"],
-        handler: logInfo,
+        handler: ideLogging,
-    },
-    "/log_warn": {
-        keys: ["message"],
-        handler: logWarn,
-    },
-    "/log_error": {
-        keys: ["message"],
-        handler: logError,
     },
     "/get_document_symbols": {
         keys: ["abspath"],

src/ide_services/types.ts

@@ -2,6 +2,8 @@
  * Type definitions for IDE Service Protocol
  */
 export namespace IDEService {
+    export type LogLevel = "info" | "warn" | "error" | "debug";
+
     export interface Position {
         line: number; // 0-based
         character: number; // 0-based