qtil
advanced-security/qtil-swift 0.0.3
Search

Class Impl::MethodLookupExpr

Import path

import codeql.swift.elements.expr.internal.MethodLookupExprImpl

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    getImmediateBase

    Gets the base of this lookup expression.

    getImmediateMethodRef

    Gets the the underlying method declaration reference expression.

    getMember

    Gets the member of this lookup expression, if it exists.

    getMethod
    toString

    Gets the string representation of this element.

    Inherited predicates

    convertsFromfrom Expr
    getAPrimaryQlClass

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

    from MethodLookupExpr
    getBase

    Gets the base of this lookup expression.

    from LookupExpr
    getConversionfrom Expr
    getConversionfrom 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
    getFullyConvertedfrom Expr
    getFullyUnresolvedfrom 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
    getMethodRef

    Gets the the underlying method declaration reference expression.

    from MethodLookupExpr
    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
    getUnconvertedfrom Expr
    hasConversionsfrom Expr
    hasLocation

    Holds if getLocation() exists.

    from Locatable
    hasMember

    Holds if getMember() exists.

    from LookupExpr
    hasType

    Holds if getType() exists.

    from Expr
    isConversionfrom 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