qtil
advanced-security/qtil-swift 0.0.3
Search

Class Impl::TupleType

A tuple type, for example:

(Int, String)

Import path

import codeql.swift.elements.type.internal.TupleTypeImpl

Direct supertypes

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
getAName

Gets any of the names of this tuple type.

from TupleType
getAPrimaryQlClass

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

from TupleType
getAType

Gets any of the types of this tuple type.

from TupleType
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
getImmediateType

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

from TupleType
getName

Gets the indexth name of this tuple type (0-based), if it exists.

from TupleType
getName

Gets the name of this type.

from Type
getNumberOfTypes

Gets the number of types of this tuple type.

from TupleType
getPrimaryQlClasses

Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.

from Element
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
getType

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

from TupleType
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
hasName

Holds if getName(index) exists.

from TupleType
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