@@ -86,7 +86,7 @@ const TASK_CLEAN_PROJECT = {
86
86
command : 'gprclean' ,
87
87
args : [ '${command:ada.gprProjectArgs}' ] ,
88
88
} ,
89
- problemMatchers : '' ,
89
+ problemMatchers : [ ] ,
90
90
taskGroup : vscode . TaskGroup . Clean ,
91
91
} ;
92
92
@@ -168,7 +168,7 @@ const predefinedTasks: PredefinedTask[] = [
168
168
* with a problem matcher. Results should be viewed with the
169
169
* `gnatsas report` task below
170
170
*/
171
- problemMatchers : '' ,
171
+ problemMatchers : [ ] ,
172
172
} ,
173
173
{
174
174
label : 'Analyze the current file with GNAT SAS' ,
@@ -184,7 +184,7 @@ const predefinedTasks: PredefinedTask[] = [
184
184
* the file URIs in the SARIF file are relative to the workspace root
185
185
* folder and SARIF-viewer extensions can correctly resolve them.
186
186
*/
187
- problemMatchers : '' ,
187
+ problemMatchers : [ ] ,
188
188
} ,
189
189
{
190
190
label : 'Create a report after a GNAT SAS analysis' ,
@@ -205,7 +205,7 @@ const predefinedTasks: PredefinedTask[] = [
205
205
* Analysis results are not printed on stdio so no need to parse them
206
206
* with a problem matcher.
207
207
*/
208
- problemMatchers : '' ,
208
+ problemMatchers : [ ] ,
209
209
} ,
210
210
{
211
211
label : 'Analyze the project with GNAT SAS and produce a report' ,
@@ -220,7 +220,7 @@ const predefinedTasks: PredefinedTask[] = [
220
220
* Analysis results are not printed on stdio so no need to parse them
221
221
* with a problem matcher.
222
222
*/
223
- problemMatchers : '' ,
223
+ problemMatchers : [ ] ,
224
224
} ,
225
225
{
226
226
label : 'Analyze the current file with GNAT SAS and produce a report' ,
@@ -235,7 +235,7 @@ const predefinedTasks: PredefinedTask[] = [
235
235
* Analysis results are not printed on stdio so no need to parse them
236
236
* with a problem matcher.
237
237
*/
238
- problemMatchers : '' ,
238
+ problemMatchers : [ ] ,
239
239
} ,
240
240
{
241
241
label : 'Generate documentation from the project' ,
@@ -244,7 +244,7 @@ const predefinedTasks: PredefinedTask[] = [
244
244
command : 'gnatdoc' ,
245
245
args : [ '${command:ada.gprProjectArgs}' ] ,
246
246
} ,
247
- problemMatchers : '' ,
247
+ problemMatchers : [ ] ,
248
248
} ,
249
249
{
250
250
label : 'Create or update GNATtest test framework' ,
@@ -253,7 +253,7 @@ const predefinedTasks: PredefinedTask[] = [
253
253
command : 'gnattest' ,
254
254
args : [ '${command:ada.gprProjectArgs}' ] ,
255
255
} ,
256
- problemMatchers : '' ,
256
+ problemMatchers : [ ] ,
257
257
} ,
258
258
/**
259
259
* SPARK
@@ -265,7 +265,7 @@ const predefinedTasks: PredefinedTask[] = [
265
265
command : 'gnatprove' ,
266
266
args : [ '${command:ada.gprProjectArgs}' , '--clean' ] ,
267
267
} ,
268
- problemMatchers : '' ,
268
+ problemMatchers : [ ] ,
269
269
} ,
270
270
{
271
271
label : 'Examine project' ,
@@ -468,7 +468,7 @@ export class SimpleTaskProvider implements vscode.TaskProvider {
468
468
type : this . taskType ,
469
469
compound : [ buildTask . label , runTask . label ] ,
470
470
} ,
471
- problemMatchers : '' ,
471
+ problemMatchers : [ ] ,
472
472
} ;
473
473
474
474
const tasks = [ buildTask , runTask , buildAndRunTask ] ;
@@ -498,7 +498,7 @@ export class SimpleTaskProvider implements vscode.TaskProvider {
498
498
// This task is run before some debug tasks.
499
499
// Problem is, it's a watch script, and since it never exits, VSCode
500
500
// complains. All this is needed so VSCode just lets it run.
501
- problemMatchers : '' ,
501
+ problemMatchers : [ ] ,
502
502
} ;
503
503
504
504
const buildAndRunGNATemulatorTask : PredefinedTask = {
@@ -507,7 +507,7 @@ export class SimpleTaskProvider implements vscode.TaskProvider {
507
507
type : this . taskType ,
508
508
compound : [ buildTask . label , runGNATemulatorTask . label ] ,
509
509
} ,
510
- problemMatchers : '' ,
510
+ problemMatchers : [ ] ,
511
511
} ;
512
512
513
513
const buildAndRunGNATemulatorTaskForDebug : PredefinedTask = {
@@ -516,7 +516,7 @@ export class SimpleTaskProvider implements vscode.TaskProvider {
516
516
type : this . taskType ,
517
517
compound : [ buildTask . label , runGNATemulatorTaskForDebug . label ] ,
518
518
} ,
519
- problemMatchers : '' ,
519
+ problemMatchers : [ ] ,
520
520
} ;
521
521
522
522
tasks . push (
0 commit comments