Class Impl::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
Import path
import codeql.swift.elements.expr.internal.PackElementExprImplDirect supertypes
Indirect supertypes
Inherited predicates
| convertsFrom | from Expr | |
| getAPrimaryQlClass | Gets the name of a primary CodeQL class to which this element belongs. | from PackElementExpr |
| getConversion | from Expr | |
| getConversion | from Expr | |
| getEnclosingCallable | Gets the nearest | 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 | |
| getImmediateSubExpr | Gets the sub expression of this pack element expression. | from PackElementExpr |
| 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 |
| getSubExpr | Gets the sub expression of this pack element expression. | from PackElementExpr |
| getType | Gets the type of this expression, if it exists. | from Expr |
| getUnconverted | from Expr | |
| hasConversions | from Expr | |
| hasLocation | Holds if | from Locatable |
| hasType | Holds if | 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 | from Element |
| toString | Gets the string representation of this element. | from Element |
| toStringImpl | INTERNAL: Do not use. | from Element |