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

C#: Narrow the use of unbound declaration locations to nested types.

Browse Source
This commit is contained in:
Michael Nebel
2025-10-07 09:43:39 +02:00
parent 6149608c03
commit f9d62a0efc
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -30,7 +30,7 @@ class Type extends Member, TypeContainer, @type {
/** Holds if this type is implicitly convertible to `that` type. */
predicate isImplicitlyConvertibleTo(Type that) { implicitConversion(this, that) }
override Location getALocation() { type_location(this.getUnboundDeclaration(), result) }
override Location getALocation() { type_location(this, result) }
override Type getChild(int n) { none() }
@@ -394,6 +394,8 @@ class NestedType extends ValueOrRefType {
NestedType() { nested_types(this, _, _) }
override ValueOrRefType getDeclaringType() { nested_types(this, result, _) }
override Location getALocation() { type_location(this.getUnboundDeclaration(), result) }
}
/**