hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 10:46:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #20008 from Hug0Vincent/csharp

Browse Source 
feat: add getASupertype() predicate in ValueOrRefType.
This commit is contained in:
Michael Nebel
2025-07-16 10:39:57 +02:00
committed by GitHub
parent d264fb5865 8c82405b5b
commit c5357ff556
2 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/lib/change-notes/2025-06-10-getasupertype.md Normal file
View File

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

3
csharp/ql/lib/semmle/code/csharp/Type.qll
View File

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