mirror of
https://github.com/github/codeql.git
synced 2025-12-20 10:46:30 +01:00
C#: Implement QL model for using declarations, introducing UsingBlockStmt and a UsingDeclStmt.
This commit is contained in:
@@ -798,7 +798,7 @@ case @stmt.kind of
|
||||
| 18 = @checked_stmt
|
||||
| 19 = @unchecked_stmt
|
||||
| 20 = @lock_stmt
|
||||
| 21 = @using_stmt
|
||||
| 21 = @using_block_stmt
|
||||
| 22 = @var_decl_stmt
|
||||
| 23 = @const_decl_stmt
|
||||
| 24 = @empty_stmt
|
||||
@@ -811,6 +811,8 @@ case @stmt.kind of
|
||||
| 31 = @using_decl_stmt
|
||||
;
|
||||
|
||||
@using_stmt = @using_block_stmt | @using_decl_stmt;
|
||||
|
||||
@labeled_stmt = @label_stmt | @case;
|
||||
|
||||
@decl_stmt = @var_decl_stmt | @const_decl_stmt | @using_decl_stmt;
|
||||
|
||||
Reference in New Issue
Block a user