C#: Update the QL library to reflect the changes to the DB scheme.

Author: michaelnebel

csharp/ql/lib/semmle/code/csharp/exprs/ArithmeticOperation.qll

@@ -20,7 +20,8 @@ class ArithmeticOperation extends Operation, @arith_op_expr {
  * (`UnaryMinusExpr`), a unary plus operation (`UnaryPlusExpr`),
  * or a mutator operation (`MutatorOperation`).
  */
-class UnaryArithmeticOperation extends ArithmeticOperation, UnaryOperation, @un_arith_op_expr { }
+class UnaryArithmeticOperation extends ArithmeticOperation, UnaryCallOperation, @un_arith_op_expr {
+}
 
 /**
  * A unary minus operation, for example `-x`.

csharp/ql/lib/semmle/code/csharp/exprs/BitwiseOperation.qll

@@ -16,7 +16,7 @@ class BitwiseOperation extends Operation, @bit_expr { }
  * A unary bitwise operation, that is, a bitwise complement operation
  * (`ComplementExpr`).
  */
-class UnaryBitwiseOperation extends BitwiseOperation, UnaryOperation, @un_bit_op_expr { }
+class UnaryBitwiseOperation extends BitwiseOperation, UnaryCallOperation, @un_bit_op_expr { }
 
 /**
  * A bitwise complement operation, for example `~x`.

csharp/ql/lib/semmle/code/csharp/exprs/Call.qll

@@ -545,7 +545,7 @@ class ExtensionOperatorCall extends OperatorCall {
 }
 
 /**
- * A call to a user-defined mutator operator, for example `a++` on
+ * A call to a mutator operator, for example `a++` on
  * line 7 in
  *
  * ```csharp
@@ -560,7 +560,7 @@ class ExtensionOperatorCall extends OperatorCall {
  * }
  * ```
  */
-class MutatorOperatorCall extends OperatorCall {
+class MutatorOperatorCall extends MutatorOperation {
   MutatorOperatorCall() { mutator_invocation_mode(this, _) }
 
   /** Holds if the operator is in prefix position. */

csharp/ql/lib/semmle/code/csharp/exprs/Expr.qll

@@ -234,6 +234,33 @@ class UnaryOperation extends Operation, @un_op {
   override string toString() { result = this.getOperator() + "..." }
 }
 
+/**
+ * A unary operator call. Either a unary arithmetic operator call (`UnaryArithmeticOperatorCall`),
+ * a unary bitwise operator call (`UnaryBitwiseOperatorCall`), or a
+ * unary logical operator call (`UnaryLogicalOperatorCall`).
+ */
+class UnaryCallOperation extends OperatorCall, UnaryOperation, @un_op_call_expr {
+  override string toString() { result = UnaryOperation.super.toString() }
+}
+
+/**
+ * A logical 'not', for example `!String.IsNullOrEmpty(s)` or a call to a user-defined
+ * not operator such as `!x` in:
+ * ```csharp
+ * class Negatable {
+ *   public static Negatable operator !(Negatable n) => { ...};
+ * }
+ *
+ * var x = new Negatable();
+ * var y = !x;
+ * ```
+ */
+class UnaryNotOperation extends UnaryCallOperation, @un_not_op_expr {
+  override string getOperator() { result = "!" }
+
+  override string getAPrimaryQlClass() { result = "UnaryNotOperation" }
+}
+
 /**
  * A binary operation. Either a binary arithmetic operation
  * (`BinaryArithmeticOperation`), a binary bitwise operation

csharp/ql/lib/semmle/code/csharp/exprs/LogicalOperation.qll

@@ -18,13 +18,13 @@ class LogicalOperation extends Operation, @log_expr {
 /**
  * A unary logical operation, that is, a logical 'not' (`LogicalNotExpr`).
  */
-class UnaryLogicalOperation extends LogicalOperation, UnaryOperation, @un_log_op_expr { }
+class UnaryLogicalOperation extends LogicalOperation, UnaryCallOperation, @un_log_op_expr { }
 
 /**
  * A logical 'not', for example `!String.IsNullOrEmpty(s)`.
  */
-class LogicalNotExpr extends UnaryLogicalOperation, @log_not_expr {
-  override string getOperator() { result = "!" }
+class LogicalNotExpr extends UnaryLogicalOperation, UnaryNotOperation, @log_not_expr {
+  override string getOperator() { result = UnaryNotOperation.super.getOperator() }
 
   override string getAPrimaryQlClass() { result = "LogicalNotExpr" }
 }