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

Class Generated::PrimaryArchetypeType

INTERNAL: Do not reference the Generated::PrimaryArchetypeType class directly. Use the subclass PrimaryArchetypeType, where the following predicates are available.

Import path

import codeql.swift.generated.type.PrimaryArchetypeType

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

getAPrimaryQlClass

Gets the name of a primary CodeQL class to which this element belongs.

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
getAProtocol

Gets any of the protocols of this archetype type.

from ArchetypeType
getCanonicalType

Gets the canonical type of this type.

from Type
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
getFullyUnresolvedfrom 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 indexth 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 Element
toStringImpl

INTERNAL: Do not use.

from Type