fixed hover values keeping a dead session alive

Author: Ellpeck

src/hover-values.ts

@@ -1,7 +1,6 @@
 import * as vscode from 'vscode';
 import type { NodeId } from '@eagleoutice/flowr/r-bridge/lang-4.x/ast/model/processing/node-id';
 import { getFlowrSession } from './extension';
-import type { FlowrSession } from './flowr/utils';
 import { makeSlicingCriteria } from './flowr/utils';
 import { Bottom, Top } from '@eagleoutice/flowr/abstract-interpretation/domains/lattice';
 import { isTop, stringifyValue } from '@eagleoutice/flowr/dataflow/eval/values/r-value';
@@ -38,7 +37,6 @@ class FlowrHoverProvider implements vscode.HoverProvider {
 	private readonly updateEvent = new vscode.EventEmitter<void>();
 	public onDidChangeInlayHints = this.updateEvent.event;
 	private readonly cache = new Map<NodeId, ValueInfo[]>();
-	private session:            FlowrSession | undefined;
 	private readonly refresher: ConfigurableRefresher;
 
 
@@ -52,8 +50,8 @@ class FlowrHoverProvider implements vscode.HoverProvider {
 				adaptiveBreak: 20,
 				interval:      500
 			},
-			refreshCallback: async() => {
-				await this.update();
+			refreshCallback: () => {
+				this.update();
 			},
 			clearCallback: () => {
 				this.cache.clear();
@@ -68,16 +66,16 @@ class FlowrHoverProvider implements vscode.HoverProvider {
 		this.refresher.dispose();
 	}
 
-	async update(): Promise<void> {
-		this.session ??= await getFlowrSession();
+	update() {
 		this.output.appendLine('[Hover Values] Clearing hover value cache');
 		this.cache.clear();
 		this.updateEvent.fire();
 	}
 
 
 	async provideHover(document: vscode.TextDocument, pos: vscode.Position, _token: vscode.CancellationToken): Promise<vscode.Hover | undefined> {
-		if(!this.session || !(getConfig().get<boolean>(Settings.ValuesOnHover))) {
+		const session = await getFlowrSession();
+		if(!session || !(getConfig().get<boolean>(Settings.ValuesOnHover))) {
 			return undefined;
 		}
 
@@ -96,7 +94,7 @@ class FlowrHoverProvider implements vscode.HoverProvider {
 		if(getConfig().get<boolean>(Settings.ValuesHoverDataFrames, true)) {
 			query.push({ type: 'df-shape', criterion: criteria } as const);
 		}
-		const valQuer = await this.session.retrieveQuery(document, query);
+		const valQuer = await session.retrieveQuery(document, query);
 		const results = Object.values(valQuer.result['resolve-value'].results).flatMap(r => r.values);
 		const values: ValueInfo[] = results.filter(v => !isTop(v)).map(r => {
 			return {