Merge pull request #20008 from Hug0Vincent/csharp

michaelnebel · web-flow · commit c5357ff556b1 · 2025-07-16T10:39:57.000+02:00
feat: add getASupertype() predicate in ValueOrRefType.
diff --git a/csharp/ql/lib/change-notes/2025-06-10-getasupertype.md b/csharp/ql/lib/change-notes/2025-06-10-getasupertype.md
@@ -0,0 +1,4 @@
+---
+category: feature
+---
+* Added a new predicate, `getASuperType()`, to get a direct supertype of this type.
diff --git a/csharp/ql/lib/semmle/code/csharp/Type.qll b/csharp/ql/lib/semmle/code/csharp/Type.qll
@@ -138,6 +138,9 @@ class ValueOrRefType extends Type, Attributable, @value_or_ref_type {
   /** Gets an immediate subtype of this type, if any. */
   ValueOrRefType getASubType() { result.getABaseType() = this }
 
+  /** Gets an immediate supertype of this type, if any. */
+  ValueOrRefType getASuperType() { this.getABaseType() = result }
+
   /** Gets a member of this type, if any. */
   Member getAMember() { result.getDeclaringType() = this }
 

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +---
 +category: feature
 +---
 +* Added a new predicate, `getASuperType()`, to get a direct supertype of this type.