qtil
advanced-security/qtil-swift 0.0.3
Search

Class Impl::TypedPattern

Import path

import codeql.swift.elements.pattern.internal.TypedPatternImpl

Direct supertypes

Indirect supertypes

Predicates

toString

Gets the string representation of this element.

Inherited predicates

getAPrimaryQlClass

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

from TypedPattern
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
getEnclosingPattern

Gets the parent pattern of this pattern, if any.

from Pattern
getFile

Gets the primary file where this element occurs.

from Locatable
getFullyUnresolvedfrom Element
getImmediateEnclosingPattern

Gets the parent pattern of this pattern, if any.

from Pattern
getImmediateMatchingExpr

Gets the expression that this top-level pattern is matched against, if any.

from Pattern
getImmediateSubPattern

Gets the sub pattern of this typed pattern.

from TypedPattern
getImmediateType

Gets the type of this pattern, if it exists.

from Pattern
getLocation

Gets the location associated with this element in the code, if it exists.

from Locatable
getMatchingExpr

Gets the expression that this pattern is matched against, if any. The expression and the pattern need not be top-level children of a pattern-matching construct, but they must match each other syntactically.

from Pattern
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
getSubPattern

Gets the sub pattern of this typed pattern.

from TypedPattern
getType

Gets the type of this pattern, if it exists.

from Pattern
getTypeRepr

Gets the type representation of this typed pattern, if it exists.

from TypedPattern
hasLocation

Holds if getLocation() exists.

from Locatable
hasMatchingExpr

Holds if this pattern is matched against an expression.

from Pattern
hasType

Holds if getType() exists.

from Pattern
hasTypeRepr

Holds if getTypeRepr() exists.

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