C#: Add a primary ql class for UnknownType.

michaelnebel · michaelnebel · commit e171c8a69639 · 2025-02-28T15:03:52.000+01:00
diff --git a/csharp/ql/lib/semmle/code/csharp/Type.qll b/csharp/ql/lib/semmle/code/csharp/Type.qll
@@ -1214,6 +1214,8 @@ class ArglistType extends Type, @arglist_type {
 class UnknownType extends Type, @unknown_type {
   /** Holds if this is the canonical unknown type, and not a type that failed to extract properly. */
   predicate isCanonical() { types(this, _, "<unknown type>") }
+
+  override string getAPrimaryQlClass() { result = "UnknownType" }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -1214,6 +1214,8 @@ class ArglistType extends Type, @arglist_type {`
`1214`	`1214`	`class UnknownType extends Type, @unknown_type {`
`1215`	`1215`	`/** Holds if this is the canonical unknown type, and not a type that failed to extract properly. */`
`1216`	`1216`	`predicate isCanonical() { types(this, _, "<unknown type>") }`
	`1217`	`+`
	`1218`	`+ override string getAPrimaryQlClass() { result = "UnknownType" }`
`1217`	`1219`	`}`
`1218`	`1220`
`1219`	`1221`	`/**`