Replace 3 task providers with a single one

to avoid code duplication.

Author: reznikmm

integration/vscode/ada/package.json

@@ -16,10 +16,7 @@
         "ms-vscode.cpptools"
     ],
     "activationEvents": [
-        "onLanguage:ada",
-        "onLanguage:gpr",
-        "onCommand:workbench.action.tasks.runTask",
-        "onCommand:ada.otherFile"
+        "onCommand:workbench.action.tasks.runTask"
     ],
     "main": "./out/extension",
     "icon": "icons/ada.png",
@@ -374,46 +371,14 @@
         ],
         "taskDefinitions": [
             {
-                "type": "gprbuild",
+                "type": "gnat",
                 "required": [
-                    "projectFile"
+                    "taskKind"
                 ],
                 "properties": {
-                    "projectFile": {
-                        "type": "string",
-                        "description": "The project file"
-                    },
-                    "checkFile": {
-                        "type": "boolean",
-                        "description": "Just check the current file only"
-                    }
-                }
-            },
-            {
-                "type": "gprclean",
-                "required": [
-                    "projectFile"
-                ],
-                "properties": {
-                    "projectFile": {
-                        "type": "string",
-                        "description": "The project file"
-                    }
-                }
-            },
-            {
-                "type": "gnatprove",
-                "required": [
-                    "projectFile"
-                ],
-                "properties": {
-                    "projectFile": {
-                        "type": "string",
-                        "description": "The project file"
-                    },
                     "taskKind": {
-                        "type": "integer",
-                        "description": "Check the current file only or whole project"
+                        "type": "string",
+                        "description": "Tool and action kind"
                     }
                 }
             }

integration/vscode/ada/src/cleanTaskProvider.ts

@@ -25,21 +25,13 @@ import {
 } from 'vscode-languageclient/node';
 import { platform } from 'os';
 import * as process from 'process';
-import GPRTaskProvider from './gprTaskProvider';
-import cleanTaskProvider from './cleanTaskProvider';
-import gnatproveTaskProvider from './gnatproveTaskProvider';
-import { getSubprogramSymbol } from './gnatproveTaskProvider';
+import GnatTaskProvider from './gnatTaskProvider';
+import { getSubprogramSymbol } from './gnatTaskProvider';
 import { alsCommandExecutor } from './alsExecuteCommand';
 import { ALSClientFeatures } from './alsClientFeatures';
 
 let alsTaskProvider: vscode.Disposable[] = [
-    vscode.tasks.registerTaskProvider(GPRTaskProvider.gprBuildType, new GPRTaskProvider()),
-    vscode.tasks.registerTaskProvider(cleanTaskProvider.cleanTaskType, new cleanTaskProvider()),
-
-    vscode.tasks.registerTaskProvider(
-        gnatproveTaskProvider.gnatproveType,
-        new gnatproveTaskProvider()
-    ),
+    vscode.tasks.registerTaskProvider(GnatTaskProvider.gnatType, new GnatTaskProvider()),
 ];
 
 /**
@@ -182,22 +174,17 @@ export async function activate(context: vscode.ExtensionContext): Promise<void>
     //  React to changes in configuration to recompute predefined tasks if the user
     //  changes scenario variables' values.
     function configChanged(e: vscode.ConfigurationChangeEvent) {
-        if (e.affectsConfiguration('ada.scenarioVariables')) {
+        if (
+            e.affectsConfiguration('ada.scenarioVariables') ||
+            e.affectsConfiguration('ada.projectFile')
+        ) {
             for (const item of alsTaskProvider) {
                 item.dispose();
             }
             alsTaskProvider = [
                 vscode.tasks.registerTaskProvider(
-                    GPRTaskProvider.gprBuildType,
-                    new GPRTaskProvider()
-                ),
-                vscode.tasks.registerTaskProvider(
-                    cleanTaskProvider.cleanTaskType,
-                    new cleanTaskProvider()
-                ),
-                vscode.tasks.registerTaskProvider(
-                    gnatproveTaskProvider.gnatproveType,
-                    new gnatproveTaskProvider()
+                    GnatTaskProvider.gnatType,
+                    new GnatTaskProvider()
                 ),
             ];
         }