Class Generated::PackElementExpr

A pack element expression is a child of PackExpansionExpr.

In the following example, each t on the second line is the pack element expression:

func makeTuple<each T>(_ t: repeat each T) -> (repeat each T) {
  return (repeat each t)
}

More details: https://github.com/apple/swift-evolution/blob/main/proposals/0393-parameter-packs.md INTERNAL: Do not reference the Generated::PackElementExpr class directly. Use the subclass PackElementExpr, where the following predicates are available.

Import path

import codeql.swift.generated.expr.PackElementExpr

Direct supertypes

Indirect supertypes

Known direct subtypes

PackElementExpr

Predicates

getAPrimaryQlClass	Gets the name of a primary CodeQL class to which this element belongs.
getImmediateSubExpr	Gets the sub expression of this pack element expression.
getSubExpr	Gets the sub expression of this pack element expression.

Inherited predicates

convertsFrom		from Expr
getConversion		from Expr
getConversion		from Expr
getEnclosingCallable	Gets the nearest `Callable` that contains this AST node, if any. This includes (auto)closures, functions, methods, (de)initializers, and accessors.	from AstNode
getEnclosingDecl	Gets the nearest declaration that contains this AST node, if any.	from AstNode
getEnclosingFunction	Gets the nearest function definition that contains this AST node, if any. This includes functions, methods, (de)initializers, and accessors, but not closures.	from AstNode
getFile	Gets the primary file where this element occurs.	from Locatable
getFullyConverted		from Expr
getFullyUnresolved		from Element
getImmediateType	Gets the type of this expression, if it exists.	from Expr
getLocation	Gets the location associated with this element in the code, if it exists.	from Locatable
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 Expr
getType	Gets the type of this expression, if it exists.	from Expr
getUnconverted		from Expr
hasConversions		from Expr
hasLocation	Holds if `getLocation()` exists.	from Locatable
hasType	Holds if `getType()` exists.	from Expr
isConversion		from Expr
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