C#: Add test case for sealed ToString modifier on a record type.

michaelnebel · michaelnebel · commit 56bc3db46a59 · 2022-01-11T13:58:43.000+01:00
diff --git a/csharp/ql/test/library-tests/csharp10/recordTypeSealedToString.expected b/csharp/ql/test/library-tests/csharp10/recordTypeSealedToString.expected
@@ -0,0 +1 @@
+| RecordTypeSealedToString.cs:5:35:5:42 | ToString |
diff --git a/csharp/ql/test/library-tests/csharp10/recordTypeSealedToString.ql b/csharp/ql/test/library-tests/csharp10/recordTypeSealedToString.ql
@@ -0,0 +1,3 @@
+import csharp
+
+query predicate sealed(Modifiable m) { m.getDeclaringType().fromSource() and m.isSealed() }

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+\| RecordTypeSealedToString.cs:5:35:5:42 \| ToString \|`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+import csharp`
	`2`	`+`
	`3`	`+query predicate sealed(Modifiable m) { m.getDeclaringType().fromSource() and m.isSealed() }`