Unified: Add predicates to TupleExpr and FunctionExpr

Author: hvitved

unified/ql/lib/codeql/unified/internal/FacadeAst.qll

@@ -217,6 +217,12 @@ module Unified {
     }
   }
 
+  /** A tuple expression. */
+  class TupleExpr extends G::TupleExpr {
+    /** Gets the number of elements in this tuple expression. */
+    int getNumberOfElements() { result = count(this.getAnElement()) }
+  }
+
   class TypeAliasDeclaration extends G::TypeAliasDeclaration {
     /** Gets the name of this type alias. */
     string getName() { result = this.getNameNode().getValue() }
@@ -274,4 +280,10 @@ module Unified {
       result = count(Argument arg | arg = this.getAnArgument() and arg.isPositional())
     }
   }
+
+  /** A function expression. */
+  class FunctionExpr extends G::FunctionExpr {
+    /** Gets the number of parameters of this function. */
+    int getNumberOfParameters() { result = count(this.getAParameter()) }
+  }
 }