C#: Consider 'record' a type modifier in the extractor (it can be applied to both class and struct).

michaelnebel · michaelnebel · commit dc76775d0704 · 2022-01-17T16:16:18.000+01:00
diff --git a/csharp/extractor/Semmle.Extraction.CSharp/Entities/Modifier.cs b/csharp/extractor/Semmle.Extraction.CSharp/Entities/Modifier.cs
@@ -111,6 +111,9 @@ public static void ExtractModifiers(Context cx, TextWriter trapFile, IEntity key
                 if (nt is null)
                     throw new InternalError(symbol, "Symbol kind is inconsistent with its type");
 
+                if (nt.IsRecord)
+                    HasModifier(cx, trapFile, key, "record");
+
                 if (nt.TypeKind == TypeKind.Struct)
                 {
                     if (nt.IsReadOnly)

Original file line number	Diff line number	Diff line change
`@@ -111,6 +111,9 @@ public static void ExtractModifiers(Context cx, TextWriter trapFile, IEntity key`
`111`	`111`	`if (nt is null)`
`112`	`112`	`throw new InternalError(symbol, "Symbol kind is inconsistent with its type");`
`113`	`113`
	`114`	`+ if (nt.IsRecord)`
	`115`	`+ HasModifier(cx, trapFile, key, "record");`
	`116`	`+`
`114`	`117`	`if (nt.TypeKind == TypeKind.Struct)`
`115`	`118`	`{`
`116`	`119`	`if (nt.IsReadOnly)`