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

Swift: Add convenience member predicates to 'TypeDecl'.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2022-09-01 09:28:37 +01:00
parent 74cd532adc
commit e294b8f74a
1 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1,5 +1,15 @@
private import codeql.swift.generated.decl.TypeDecl
private import codeql.swift.generated.type.Type
private import codeql.swift.elements.type.AnyGenericType
class TypeDecl extends TypeDeclBase {
override string toString() { result = this.getName() }
TypeDecl getBaseTypeDecl(int i) { result = this.getBaseType(i).(AnyGenericType).getDeclaration() }
TypeDecl getABaseTypeDecl() { result = this.getBaseTypeDecl(_) }
TypeDecl getDerivedTypeDecl(int i) { result.getBaseTypeDecl(i) = this }
TypeDecl getADerivedTypeDecl() { result = this.getDerivedTypeDecl(_) }
}