Bump web-tree-sitter from 0.20.8 to 0.26.3 (#189)

Bumps
[web-tree-sitter](https://github.com/tree-sitter/tree-sitter/tree/HEAD/lib/binding_web)
from 0.20.8 to 0.26.3.

To fix web-tree-sitter 0.26.3 API compatibility issues:

- Add @types/emscripten for EmscriptenModule type definition
- Update import from default to named exports (Language, Parser)
- Change Language.load() from Parser.Language.load() to match new API
- Add null checks for parser.parse() return value (now returns Tree | null)
- Add WebWorker lib to tsconfig for WebAssembly types
- Update tests to handle nullable tree values

Author: dependabot[bot]

package-lock.json

@@ -89,6 +89,7 @@
     "test": "node ./out/test/runTest.js"
   },
   "devDependencies": {
+    "@types/emscripten": "^1.41.5",
     "@types/glob": "^8.1.0",
     "@types/minimatch": "^5.1.2",
     "@types/mocha": "^9.1.1",
@@ -120,6 +121,6 @@
     "esbuild": "0.27.2",
     "readline": "^1.3.0",
     "toml": "^3.0.0",
-    "web-tree-sitter": "^0.20.8"
+    "web-tree-sitter": "^0.26.3"
   }
 }

package.json

@@ -34,6 +34,7 @@ suite('Test source code parsing', () => {
 	test('Test if all kani harnesses are detected', async () => {
 		const parser = await loadParser();
 		const tree = parser.parse(kaniProofs);
+		assert.ok(tree, 'Parser should return a tree');
 		assert.deepStrictEqual(
 			SourceCodeParser.findHarnesses(tree.rootNode.namedChildren),
 			findHarnessesResultKani,
@@ -43,6 +44,7 @@ suite('Test source code parsing', () => {
 	test('Test if all Bolero harnesses are detected', async () => {
 		const parser = await loadParser();
 		const tree = parser.parse(boleroProofs);
+		assert.ok(tree, 'Parser should return a tree');
 		assert.deepStrictEqual(
 			SourceCodeParser.searchParseTreeForFunctions(tree.rootNode),
 			findHarnessesResultBolero,

src/test/suite/sourceCodeParser.test.ts

@@ -4,7 +4,7 @@ import * as assert from 'assert';
 import path from 'path';
 
 import * as vscode from 'vscode';
-import Parser from 'web-tree-sitter';
+import { Language, Parser } from 'web-tree-sitter';
 
 import { countOccurrences, getConcatenatedModuleName } from '../utils';
 import { HarnessMetadata } from './sourceMap';
@@ -13,7 +13,7 @@ import { HarnessMetadata } from './sourceMap';
 export async function loadParser(): Promise<Parser> {
 	await Parser.init();
 	const parser = new Parser();
-	const lang = await Parser.Language.load(path.join(__dirname, '../..', 'tree-sitter-rust.wasm'));
+	const lang = await Language.load(path.join(__dirname, '../..', 'tree-sitter-rust.wasm'));
 	parser.setLanguage(lang);
 	return parser;
 }
@@ -28,13 +28,19 @@ export namespace SourceCodeParser {
 	export const checkTextForProofs = async (content: string): Promise<boolean> => {
 		const parser = await loadParser();
 		const tree = parser.parse(content);
+		if (!tree) {
+			return false;
+		}
 		return checkforKani(tree.rootNode);
 	};
 
 	// Use the tree sitter to get attributes
 	export async function getAttributeFromRustFile(file: string): Promise<HarnessMetadata[]> {
 		const parser = await loadParser();
 		const tree = parser.parse(file);
+		if (!tree) {
+			return [];
+		}
 		const harnesses = searchParseTreeForFunctions(tree.rootNode);
 		const harnessesMapped = addModuleToFunction(tree.rootNode, harnesses);
 		const sortedHarnessByline = [...harnessesMapped].sort(
@@ -178,6 +184,9 @@ export namespace SourceCodeParser {
 	export async function extractKaniTestMetadata(text: string): Promise<any[]> {
 		const parser = await loadParser();
 		const tree = parser.parse(text);
+		if (!tree) {
+			return [];
+		}
 		const rootNode = tree.rootNode;
 
 		// Find the attribute by searching for its text

src/ui/sourceCodeParser.ts

@@ -4,7 +4,8 @@
 		"target": "ES2020",
 		"outDir": "out",
 		"lib": [
-			"ES2020"
+			"ES2020",
+			"WebWorker"
 		],
 		"sourceMap": true,
 		"rootDir": "src",