Skip to content

Commit 3dedb58

Browse files
committed
C#: Add a new kind for NOT expressions (to cover non-logical not).
1 parent 442475c commit 3dedb58

2 files changed

Lines changed: 4 additions & 1 deletion

File tree

csharp/extractor/Semmle.Extraction.CSharp/Kinds/ExprKind.cs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -133,6 +133,7 @@ public enum ExprKind
133133
COLLECTION = 136,
134134
SPREAD_ELEMENT = 137,
135135
INTERPOLATED_STRING_INSERT = 138,
136+
NOT = 139,
136137
DEFINE_SYMBOL = 999,
137138
}
138139
}

csharp/ql/lib/semmlecode.csharp.dbscheme

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1198,6 +1198,7 @@ case @expr.kind of
11981198
| 136 = @collection_expr
11991199
| 137 = @spread_element_expr
12001200
| 138 = @interpolated_string_insert_expr
1201+
| 139 = @not_expr
12011202
/* Preprocessor */
12021203
| 999 = @define_symbol_expr
12031204
;
@@ -1263,6 +1264,7 @@ case @expr.kind of
12631264

12641265
@ternary_log_op_expr = @conditional_expr;
12651266
@bin_log_op_expr = @log_and_expr | @log_or_expr | @null_coalescing_expr;
1267+
@un_not_op_expr = @log_not_expr | @not_expr;
12661268
@un_log_op_expr = @log_not_expr;
12671269
@log_expr = @un_log_op_expr | @bin_log_op_expr | @ternary_log_op_expr;
12681270

@@ -1279,7 +1281,7 @@ case @expr.kind of
12791281

12801282
@ternary_op = @ternary_log_op_expr;
12811283
@bin_op = @assign_expr | @bin_arith_op_expr | @bin_log_op_expr | @bin_bit_op_expr | @comp_expr;
1282-
@un_op_call_expr = @un_arith_op_expr | @un_log_op_expr | @un_bit_op_expr;
1284+
@un_op_call_expr = @un_arith_op_expr | @un_not_op_expr | @un_bit_op_expr;
12831285
@un_op = @un_op_call_expr | @sizeof_expr
12841286
| @pointer_indirection_expr | @address_of_expr;
12851287

0 commit comments

Comments
 (0)