C#: Add test for source of the struct parameterless constructor(s).

michaelnebel · michaelnebel · commit 858aec38396e · 2022-01-20T09:58:02.000+01:00
diff --git a/csharp/ql/test/library-tests/csharp10/structTypes.expected b/csharp/ql/test/library-tests/csharp10/structTypes.expected
@@ -0,0 +1,5 @@
+structAllDefaultConstructors
+| StructTypes.cs:4:15:4:46 | MyStructParameterlessConstructor | StructTypes.cs:10:12:10:43 | MyStructParameterlessConstructor |
+| StructTypes.cs:19:15:19:29 | MyDefaultStruct | StructTypes.cs:19:15:19:29 | MyDefaultStruct |
+structFromSourceDefaultConstructors
+| StructTypes.cs:4:15:4:46 | MyStructParameterlessConstructor | StructTypes.cs:10:12:10:43 | MyStructParameterlessConstructor |
diff --git a/csharp/ql/test/library-tests/csharp10/structTypes.ql b/csharp/ql/test/library-tests/csharp10/structTypes.ql
@@ -0,0 +1,15 @@
+import csharp
+
+predicate structDefaultConstructors(Struct struct, Constructor c) {
+  struct.getAConstructor() = c and
+  struct.getFile().getBaseName() = "StructTypes.cs" and
+  c.hasNoParameters()
+}
+
+query predicate structAllDefaultConstructors(Struct struct, Constructor c) {
+  structDefaultConstructors(struct, c)
+}
+
+query predicate structFromSourceDefaultConstructors(Struct struct, Constructor c) {
+  structDefaultConstructors(struct, c) and c.fromSource()
+}
