Merge branch 'main' of https://github.com/ticktac-project/tchecker-vs…

…code
ticktac-project · Aug 7, 2023 · 42dfee3 · 42dfee3
2 parents c4fcead + 829634c
commit 42dfee3
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 9 deletions.
diff --git a/package.json b/package.json
@@ -2,7 +2,7 @@
 	"name": "tchecker-vscode",
 	"displayName": "TChecker VSCode",
 	"description": "Visual Studio Code extension for TChecker",
-	"version": "0.0.1",
+	"version": "0.1.0",
 	"publisher": "ticktac-project",
 	"repository": {
 		"type": "git",

diff --git a/src/extension.ts b/src/extension.ts
@@ -47,9 +47,3 @@ export function activate(context: vscode.ExtensionContext) {
 	context.subscriptions.concat(handleHover());
 	context.subscriptions.concat(handleAutoCompletion());
 }
-
-export function deactivate(context: vscode.ExtensionContext) {
-	console.log('Deactivation...');
-	console.log(context.subscriptions);
-	return undefined;
-}
diff --git a/src/tools/tckSyntax.ts b/src/tools/tckSyntax.ts
@@ -74,7 +74,7 @@ function handleSyntaxErrors(output: SpawnSyncReturns<string>, diagnosticCollecti
 	vscode.window.showErrorMessage(tckSyntaxErrorMessage);
 
 	// getting errors
-	const errors = parseErrorPosition(output, 0);
+	const errors = parseErrorPosition(output, vscode.DiagnosticSeverity.Error);
 
 	// sending errors to VSCode
 	diagnosticCollection.set(vscode.Uri.parse(currentFile), errors);
@@ -93,7 +93,7 @@ function handleCorrectSyntax(output: SpawnSyncReturns<string>, diagnosticCollect
 		vscode.window.showInformationMessage(tckSyntaxWarningMessage);
 
 		// getting warnings
-		const warnings = parseErrorPosition(output, 1);
+		const warnings = parseErrorPosition(output, vscode.DiagnosticSeverity.Warning);
 
 		// sending warnings to VSCode
 		diagnosticCollection.set(vscode.Uri.parse(currentFile), warnings);