qtil
advanced-security/qtil-swift 0.0.3
Search

Class Generated::TupleType

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

Import path

import codeql.swift.generated.type.TupleType

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

getAName

Gets any of the names of this tuple type.

getAPrimaryQlClass

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

getAType

Gets any of the types of this tuple type.

getImmediateType

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

getName

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

getNumberOfTypes

Gets the number of types of this tuple type.

getType

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

hasName

Holds if getName(index) exists.

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
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
getName

Gets the name of this type.

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