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

This commit is contained in:
Michael Nebel
2022-01-19 09:28:29 +01:00
parent 073d2f2c75
commit 858aec3839
2 changed files with 20 additions and 0 deletions

View File

@@ -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 |

View File

@@ -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()
}