Skip to content

Commit dd6ceb7

Browse files
committed
C#: Extend the DB schema with a scoped annotation relation.
1 parent 7e174dc commit dd6ceb7

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

csharp/ql/lib/semmlecode.csharp.dbscheme

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -878,6 +878,13 @@ param_location(
878878
int id: @parameter ref,
879879
int loc: @location ref);
880880

881+
@has_scoped_annotation = @local_scope_variable
882+
883+
scoped_annotation(
884+
int id: @has_scoped_annotation ref,
885+
int kind: int ref // scoped ref = 1, scoped value = 2
886+
);
887+
881888
/** STATEMENTS **/
882889

883890
@exprorstmt_parent = @control_flow_element | @top_level_exprorstmt_parent;

0 commit comments

Comments
 (0)