CodeQL library for Swift
codeql/swift-all 6.2.2 (changelog, source)
Search

Class Raw::OpaqueTypeDecl

INTERNAL: Do not use. A declaration of an opaque type, that is formally equivalent to a given type but abstracts it away.

Such a declaration is implicitly given when a declaration is written with an opaque result type, for example

func opaque() -> some SignedInteger { return 1 }

See https://docs.swift.org/swift-book/LanguageGuide/OpaqueTypes.html.

Import path

import codeql.swift.generated.Raw

Direct supertypes

Indirect supertypes

Predicates

getNamingDeclaration

Gets the naming declaration of this opaque type declaration.

getNumberOfOpaqueGenericParams

Gets the number of opaque generic parameters of this opaque type declaration.

getOpaqueGenericParam

Gets the indexth opaque generic parameter of this opaque type declaration (0-based).

toString

Inherited predicates

getGenericTypeParam

Gets the indexth generic type parameter of this generic context (0-based).

from GenericContext
getInheritedType

Gets the indexth inherited type of this type declaration (0-based).

from TypeDecl
getInterfaceType

Gets the interface type of this value declaration.

from ValueDecl
getLocation

Gets the location associated with this element in the code, if it exists.

from Locatable
getMember

Gets the indexth member of this declaration (0-based).

from Decl
getModule

Gets the module of this declaration.

from Decl
getName

Gets the name of this type declaration.

from TypeDecl
getNumberOfGenericTypeParams

Gets the number of generic type parameters of this generic context.

from GenericContext
getNumberOfInheritedTypes

Gets the number of inherited types of this type declaration.

from TypeDecl
getNumberOfMembers

Gets the number of members of this declaration.

from Decl
isUnknown

Holds if this element is unknown.

from Element