Class Impl::AvailabilitySpec
An availability spec, that is, part of an AvailabilityInfo condition. For example iOS 12 and * in:
if #available(iOS 12, *)
Import path
import codeql.swift.elements.internal.AvailabilitySpecImplDirect supertypes
Indirect supertypes
Predicates
| toStringImpl | INTERNAL: Do not use. |
Inherited predicates
| getAPrimaryQlClass | Gets the name of a primary CodeQL class to which this element belongs. | from AvailabilitySpec |
| 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 |
| getFullyUnresolved | from Element | |
| getLocation | Gets the location associated with this element in the code, if it exists. | from Locatable |
| getPlatform | Gets the platform of this availability spec, if it exists. | from AvailabilitySpec |
| 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 |
| getVersion | Gets the version of this availability spec, if it exists. | from AvailabilitySpec |
| hasLocation | Holds if | from Locatable |
| hasPlatform | Holds if | from AvailabilitySpec |
| hasVersion | Holds if | from AvailabilitySpec |
| isUnknown | Holds if this element is unknown. | from Element |
| isWildcard | Holds if this availability spec is wildcard. | from AvailabilitySpec |
| 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 |