Merge pull request #217 from calumgrant/cs/make_stubs

C#: Tool to generate stubs for qltests

Author: hvitved

csharp/ql/src/Stubs/MinimalStubsFromSource.ql

@@ -0,0 +1,31 @@
+/*
+ * Tool to generate C# stubs from a qltest snapshot.
+ *
+ * It finds all declarations used in the source code,
+ * and generates minimal C# stubs containing those declarations
+ * and their dependencies.
+ */
+
+import csharp
+import Stubs
+
+/** Declarations used by source code. */
+class UsedInSource extends GeneratedDeclaration {
+  UsedInSource() {
+    (
+      this = any(Access a).getTarget()
+      or
+      this = any(Call c).getTarget()
+      or
+      this  = any(TypeMention tm).getType()
+      or
+      exists(Virtualizable v | v.fromSource() | this = v.getImplementee() or this = v.getOverridee())
+      or
+      this = any(Attribute a).getType().getAConstructor()
+    )
+    and
+    this.fromLibrary()
+  }
+}
+
+select generatedCode()