hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 13:45:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Swift: change non-generated TypeDecl.ql

Browse Source
This commit is contained in:
Paolo Tranquilli
2023-09-14 10:18:24 +02:00
parent cf1667c325
commit 8d02bcc3cb
1 changed files with 31 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

36
swift/ql/lib/codeql/swift/elements/decl/TypeDecl.qll
View File

@@ -20,26 +20,52 @@ class TypeDecl extends Generated::TypeDecl {
override string toString() { result = this.getName() }
/**
* Gets the declaration of the `index`th base type of this type declaration (0-based).
* Gets the `index`th base type of this type declaration (0-based).
*
* This is the same as `getImmediateInheritedType`.
* DEPRECATED: either use `getImmediateInheritedType` or unindexed `getABaseType`.
*/
TypeDecl getBaseTypeDecl(int i) { result = this.getBaseType(i).(AnyGenericType).getDeclaration() }
deprecated Type getImmediateBaseType(int index) { result = this.getImmediateInheritedType(index) }
/**
* Gets the `index`th base type of this type declaration (0-based).
* This is the same as `getInheritedType`.
* DEPRECATED: use `getInheritedType` or unindexed `getABaseType`.
*/
deprecated Type getBaseType(int index) { result = this.getInheritedType(index) }
/**
* Gets any of the base types of this type declaration.
*/
Type getABaseType() {
// TODO generalize this to resolve `TypeAliasDecl`s and consider bases added by extensions
result = this.getAnInheritedType()
}
/**
* Gets the declaration of the `index`th base type of this type declaration (0-based).
* DEPRECATED: The index is not very meaningful here. Use `getABaseTypeDecl`.
*/
deprecated TypeDecl getBaseTypeDecl(int i) {
result = this.getBaseType(i).(AnyGenericType).getDeclaration()
}
/**
* Gets the declaration of any of the base types of this type declaration.
*/
TypeDecl getABaseTypeDecl() { result = this.getBaseTypeDecl(_) }
TypeDecl getABaseTypeDecl() { result = this.getABaseType().(AnyGenericType).getDeclaration() }
/**
* Gets a declaration that has this type as its `index`th base type.
*
* DEPRECATED: The index is not very meaningful here. Use `getADerivedTypeDecl` or `getBaseTypeDecl`.
* DEPRECATED: The index is not very meaningful here. Use `getADerivedTypeDecl` or `getABaseTypeDecl`.
*/
deprecated TypeDecl getDerivedTypeDecl(int i) { result.getBaseTypeDecl(i) = this }
/**
* Gets the declaration of any type derived from this type declaration.
*/
TypeDecl getADerivedTypeDecl() { result.getBaseTypeDecl(_) = this }
TypeDecl getADerivedTypeDecl() { result.getABaseTypeDecl() = this }
/**
* Gets the full name of this `TypeDecl`. For example in: