Export ExtensionRuntime for other extensions

dafny-lang · Jul 9, 2024 · 90e9eb5 · 90e9eb5
1 parent 0dcecca
commit 90e9eb5
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/extension.ts b/src/extension.ts
@@ -14,14 +14,15 @@ import * as PromiseAny from 'promise.any';
 const DafnyVersionTimeoutMs = 5_000;
 let extensionRuntime: ExtensionRuntime | undefined;
 
-export async function activate(context: ExtensionContext): Promise<void> {
+export async function activate(context: ExtensionContext): Promise<ExtensionRuntime | undefined> {
   if(!await checkAndInformAboutInstallation(context)) {
-    return;
+    return undefined;
   }
   const statusOutput = window.createOutputChannel(ExtensionConstants.ChannelName);
   context.subscriptions.push(statusOutput);
   extensionRuntime = new ExtensionRuntime(context, statusOutput);
   await extensionRuntime.initialize();
+  return extensionRuntime;
 }
 
 export async function deactivate(): Promise<void> {