qtil
advanced-security/qtil-swift 0.0.3
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.

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
isUnknown

Holds if this element is unknown.

from Element