Update predicate name

This commit is contained in:
Hugo
2025-07-16 00:35:14 +02:00
committed by GitHub
parent c3c8d5db13
commit 6384cf2e4f

View File

@@ -139,7 +139,7 @@ class ValueOrRefType extends Type, Attributable, @value_or_ref_type {
ValueOrRefType getASubType() { result.getABaseType() = this }
/** Gets an immediate supertype of this type, if any. */
ValueOrRefType getASupertype() { this.getABaseType() = result }
ValueOrRefType getASuperType() { this.getABaseType() = result }
/** Gets a member of this type, if any. */
Member getAMember() { result.getDeclaringType() = this }