Class Impl::OpaqueTypeArchetypeType

An opaque type, that is a type formally equivalent to an underlying type but abstracting it away.

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

Import path

import codeql.swift.elements.type.internal.OpaqueTypeArchetypeTypeImpl

Direct supertypes

OpaqueTypeArchetypeType

Indirect supertypes

Inherited predicates

getABaseType	Gets any base type of this type. Expands protocols added in extensions and expands type aliases. For example in the following code, `B` has base type `A`:	from Type
getADerivedType	Gets a type derived from this type. Expands type aliases, for example in the following code, `B` derives from type `A`.	from Type
getAPrimaryQlClass	Gets the name of a primary CodeQL class to which this element belongs.	from OpaqueTypeArchetypeType
getAProtocol	Gets any of the protocols of this archetype type.	from ArchetypeType
getCanonicalType	Gets the canonical type of this type.	from Type
getDeclaration	Gets the declaration of this opaque type archetype type.	from OpaqueTypeArchetypeType
getFullName	Gets the full name of this `Type`. For example in: `swift struct A { struct B { // ... } }` The name and full name of `A` is `A`. The name of `B` is `B`, but the full name of `B` is `A.B`.	from Type
getFullyUnresolved		from Element
getImmediateCanonicalType	Gets the canonical type of this type.	from Type
getImmediateInterfaceType	Gets the interface type of this archetype type.	from ArchetypeType
getImmediateSuperclass	Gets the superclass of this archetype type, if it exists.	from ArchetypeType
getInterfaceType	Gets the interface type of this archetype type.	from ArchetypeType
getName	Gets the name of this type.	from Type
getNumberOfProtocols	Gets the number of protocols of this archetype type.	from ArchetypeType
getPrimaryQlClasses	Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.	from Element
getProtocol	Gets the `index`th protocol of this archetype type (0-based).	from ArchetypeType
getResolveStep	Gets the most immediate element that should substitute this element in the explicit AST, if any. Classes can override this to indicate this node should be in the “hidden” AST, mostly reserved for conversions and syntactic sugar nodes like parentheses.	from Element
getSuperclass	Gets the superclass of this archetype type, if it exists.	from ArchetypeType
getUnderlyingType	Gets this type after any type aliases have been resolved. For example in the following code, the underlying type of `MyInt` is `Int`: `typealias MyInt = Int`	from Type
hasSuperclass	Holds if `getSuperclass()` exists.	from ArchetypeType
isUnknown	Holds if this element is unknown.	from Element
resolve	Gets the element that should substitute this element in the explicit AST, applying `getResolveStep` transitively.	from Element
toString	Gets the string representation of this element.	from Type