hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 02:44:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Extract nullable directives

Browse Source
This commit is contained in:
Tamas Vajk
2021-01-20 09:34:18 +01:00
parent 15c611e22f
commit 4bb8b6c992
7 changed files with 129 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
csharp/ql/src/semmlecode.csharp.dbscheme
View File

@@ -332,7 +332,12 @@ using_directive_location(
int loc: @location ref);
@preprocessor_directive = @pragma_warning | @pragma_checksum | @directive_define | @directive_undefine | @directive_warning
| @directive_error;
| @directive_error | @directive_nullable;
directive_nullables(
unique int id: @directive_nullable,
int setting: int ref, /* 0: disable, 1: enable, 2: restore */
int target: int ref); /* 0: none, 1: annotations, 2: warnings */
directive_warnings(
unique int id: @directive_warning,