C#: Add small module with relevant printing predicates.

Author: michaelnebel

csharp/ql/lib/csharp.qll

@@ -21,6 +21,7 @@ import semmle.code.csharp.Using
 import semmle.code.csharp.Variable
 import semmle.code.csharp.XML
 import semmle.code.csharp.Preprocessor
+import semmle.code.csharp.Printing
 import semmle.code.csharp.exprs.Access
 import semmle.code.csharp.exprs.ArithmeticOperation
 import semmle.code.csharp.exprs.Assignment

csharp/ql/lib/semmle/code/csharp/Printing.qll

@@ -0,0 +1,19 @@
+/**
+ * Provides predicates to pretty-print a C# qualified name.
+ */
+
+/**
+ * Returns the concatenation of `qualifier` and `name`, separated by a dot.
+ */
+bindingset[qualifier, name]
+string printQualifiedName(string qualifier, string name) {
+  if qualifier = "" then result = name else result = qualifier + "." + name
+}
+
+/**
+ * Returns the concatenation of `qualifier`, `type` and `name`, separated by a dot.
+ */
+bindingset[qualifier, type, name]
+string printQualifiedName(string qualifier, string type, string name) {
+  result = printQualifiedName(qualifier, type) + "." + name
+}