diff options
author | Viljar Indus <indus@adacore.com> | 2024-10-11 13:19:04 +0300 |
---|---|---|
committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-11-04 16:57:57 +0100 |
commit | 8314fdc7f352c2cd90fe0bfd6a87af48807bf65c (patch) | |
tree | db84ab68cd8fa394ad8e5fe15ead1312590879fc /gcc | |
parent | 0c8bdc2411b3b123820f5b93d9ae7d8d12e06739 (diff) | |
download | gcc-8314fdc7f352c2cd90fe0bfd6a87af48807bf65c.zip gcc-8314fdc7f352c2cd90fe0bfd6a87af48807bf65c.tar.gz gcc-8314fdc7f352c2cd90fe0bfd6a87af48807bf65c.tar.bz2 |
ada: Add Schema to the SARIF report
gcc/ada/ChangeLog:
* diagnostics-sarif_emitter.adb (Print_SARIF_Report): Add a
Schema field to the SARIF report.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ada/diagnostics-sarif_emitter.adb | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/gcc/ada/diagnostics-sarif_emitter.adb b/gcc/ada/diagnostics-sarif_emitter.adb index cbb423b..fe251f9 100644 --- a/gcc/ada/diagnostics-sarif_emitter.adb +++ b/gcc/ada/diagnostics-sarif_emitter.adb @@ -31,6 +31,14 @@ with Sinput; use Sinput; package body Diagnostics.SARIF_Emitter is + -- We are currently using SARIF 2.1.0 + + SARIF_Version : constant String := "2.1.0"; + pragma Style_Checks ("M100"); + SARIF_Schema : constant String := + "https://docs.oasis-open.org/sarif/sarif/v2.1.0/errata01/os/schemas/sarif-schema-2.1.0.json"; + pragma Style_Checks ("M79"); + type Artifact_Change is record File : String_Ptr; -- Name of the file @@ -1074,7 +1082,11 @@ package body Diagnostics.SARIF_Emitter is Begin_Block; NL_And_Indent; - Write_String_Attribute ("version", "2.1.0"); + Write_String_Attribute ("$schema", SARIF_Schema); + Write_Char (','); + NL_And_Indent; + + Write_String_Attribute ("version", SARIF_Version); Write_Char (','); NL_And_Indent; |