File tree Expand file tree Collapse file tree
swift/ql/lib/codeql/swift/elements/type Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11private import codeql.swift.generated.type.NominalType
2- private import codeql.swift.elements.decl.NominalTypeDecl
3- private import codeql.swift.elements.type.Type
42
53/**
64 * A class, struct, enum or protocol.
75 */
8- class NominalType extends Generated:: NominalType {
9- override Type getABaseType ( ) { result = this .getDeclaration ( ) .( NominalTypeDecl ) .getABaseType ( ) }
10-
11- NominalType getADerivedType ( ) { result .getABaseType ( ) = this }
12- }
6+ class NominalType extends Generated:: NominalType { }
Original file line number Diff line number Diff line change 11private import codeql.swift.generated.type.Type
2+ private import codeql.swift.elements.type.AnyGenericType
23
34/**
45 * A Swift type.
@@ -53,5 +54,7 @@ class Type extends Generated::Type {
5354 * typealias B_alias = B
5455 * ```
5556 */
56- Type getABaseType ( ) { none ( ) }
57+ Type getABaseType ( ) { result = this .( AnyGenericType ) .getDeclaration ( ) .getABaseType ( ) }
58+
59+ Type getADerivedType ( ) { result .getABaseType ( ) = this }
5760}
You can’t perform that action at this time.
0 commit comments