@@ -86,7 +86,7 @@ const TASK_CLEAN_PROJECT = {
8686 command : 'gprclean' ,
8787 args : [ '${command:ada.gprProjectArgs}' ] ,
8888 } ,
89- problemMatchers : '' ,
89+ problemMatchers : [ ] ,
9090 taskGroup : vscode . TaskGroup . Clean ,
9191} ;
9292
@@ -168,7 +168,7 @@ const predefinedTasks: PredefinedTask[] = [
168168 * with a problem matcher. Results should be viewed with the
169169 * `gnatsas report` task below
170170 */
171- problemMatchers : '' ,
171+ problemMatchers : [ ] ,
172172 } ,
173173 {
174174 label : 'Analyze the current file with GNAT SAS' ,
@@ -184,7 +184,7 @@ const predefinedTasks: PredefinedTask[] = [
184184 * the file URIs in the SARIF file are relative to the workspace root
185185 * folder and SARIF-viewer extensions can correctly resolve them.
186186 */
187- problemMatchers : '' ,
187+ problemMatchers : [ ] ,
188188 } ,
189189 {
190190 label : 'Create a report after a GNAT SAS analysis' ,
@@ -205,7 +205,7 @@ const predefinedTasks: PredefinedTask[] = [
205205 * Analysis results are not printed on stdio so no need to parse them
206206 * with a problem matcher.
207207 */
208- problemMatchers : '' ,
208+ problemMatchers : [ ] ,
209209 } ,
210210 {
211211 label : 'Analyze the project with GNAT SAS and produce a report' ,
@@ -220,7 +220,7 @@ const predefinedTasks: PredefinedTask[] = [
220220 * Analysis results are not printed on stdio so no need to parse them
221221 * with a problem matcher.
222222 */
223- problemMatchers : '' ,
223+ problemMatchers : [ ] ,
224224 } ,
225225 {
226226 label : 'Analyze the current file with GNAT SAS and produce a report' ,
@@ -235,7 +235,7 @@ const predefinedTasks: PredefinedTask[] = [
235235 * Analysis results are not printed on stdio so no need to parse them
236236 * with a problem matcher.
237237 */
238- problemMatchers : '' ,
238+ problemMatchers : [ ] ,
239239 } ,
240240 {
241241 label : 'Generate documentation from the project' ,
@@ -244,7 +244,7 @@ const predefinedTasks: PredefinedTask[] = [
244244 command : 'gnatdoc' ,
245245 args : [ '${command:ada.gprProjectArgs}' ] ,
246246 } ,
247- problemMatchers : '' ,
247+ problemMatchers : [ ] ,
248248 } ,
249249 {
250250 label : 'Create or update GNATtest test framework' ,
@@ -253,7 +253,7 @@ const predefinedTasks: PredefinedTask[] = [
253253 command : 'gnattest' ,
254254 args : [ '${command:ada.gprProjectArgs}' ] ,
255255 } ,
256- problemMatchers : '' ,
256+ problemMatchers : [ ] ,
257257 } ,
258258 /**
259259 * SPARK
@@ -265,7 +265,7 @@ const predefinedTasks: PredefinedTask[] = [
265265 command : 'gnatprove' ,
266266 args : [ '${command:ada.gprProjectArgs}' , '--clean' ] ,
267267 } ,
268- problemMatchers : '' ,
268+ problemMatchers : [ ] ,
269269 } ,
270270 {
271271 label : 'Examine project' ,
@@ -468,7 +468,7 @@ export class SimpleTaskProvider implements vscode.TaskProvider {
468468 type : this . taskType ,
469469 compound : [ buildTask . label , runTask . label ] ,
470470 } ,
471- problemMatchers : '' ,
471+ problemMatchers : [ ] ,
472472 } ;
473473
474474 const tasks = [ buildTask , runTask , buildAndRunTask ] ;
@@ -498,7 +498,7 @@ export class SimpleTaskProvider implements vscode.TaskProvider {
498498 // This task is run before some debug tasks.
499499 // Problem is, it's a watch script, and since it never exits, VSCode
500500 // complains. All this is needed so VSCode just lets it run.
501- problemMatchers : '' ,
501+ problemMatchers : [ ] ,
502502 } ;
503503
504504 const buildAndRunGNATemulatorTask : PredefinedTask = {
@@ -507,7 +507,7 @@ export class SimpleTaskProvider implements vscode.TaskProvider {
507507 type : this . taskType ,
508508 compound : [ buildTask . label , runGNATemulatorTask . label ] ,
509509 } ,
510- problemMatchers : '' ,
510+ problemMatchers : [ ] ,
511511 } ;
512512
513513 const buildAndRunGNATemulatorTaskForDebug : PredefinedTask = {
@@ -516,7 +516,7 @@ export class SimpleTaskProvider implements vscode.TaskProvider {
516516 type : this . taskType ,
517517 compound : [ buildTask . label , runGNATemulatorTaskForDebug . label ] ,
518518 } ,
519- problemMatchers : '' ,
519+ problemMatchers : [ ] ,
520520 } ;
521521
522522 tasks . push (
0 commit comments