CodeQL library for C#
codeql/csharp-all 3.1.2-dev (changelog, source)
Search

Class FieldOrPropertyAccess

An access to a field or a property.

Import path

import semmle.code.csharp.dataflow.internal.DataFlowPrivate

Direct supertypes

Indirect supertypes

Known direct subtypes

    Inherited predicates

    controlsBlock

    Holds if basic block controlled is controlled by this control flow element with conditional value s. That is, controlled can only be reached from the callable entry point by going via the s edge out of some basic block ending with this element.

    from ControlFlowElement
    fromLibrary

    Holds if this element is from an assembly.

    from Element
    fromSource

    Holds if this element is from source code.

    from Element
    getAChild

    Gets a child of this element, if any.

    from Element
    getAChildExpr

    Gets a child expression of this element, if any.

    from ExprOrStmtParent
    getAChildStmt

    Gets a child statement of this element, if any.

    from ExprOrStmtParent
    getAControlFlowEntryNode

    Gets a first control flow node executed within this element.

    from ControlFlowElement
    getAControlFlowExitNode

    Gets a potential last control flow node executed within this element.

    from ControlFlowElement
    getAControlFlowNode

    Gets a control flow node for this element. That is, a node in the control flow graph that corresponds to this element.

    from ControlFlowElement
    getALocation

    Gets a location of this element, including sources and assemblies.

    from Expr
    getAPrimaryQlClass

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

    from Element
    getAReachableElement

    Gets an element that is reachable from this element.

    from ControlFlowElement
    getAnnotatedType

    Gets the annotated type of this expression.

    from Expr
    getAssembly

    Gets the assembly that this element was compiled into.

    from ControlFlowElement
    getChild

    Gets the ith child of this element (zero-based).

    from ExprOrStmtParent
    getChildExpr

    Gets the ith child expression of this element (zero-based).

    from ExprOrStmtParent
    getChildStmt

    Gets the ith child statement of this element (zero-based).

    from ExprOrStmtParent
    getEnclosingCallable

    Gets the enclosing callable of this expression, if any.

    from Expr
    getEnclosingStmt

    Gets the enclosing statement of this expression, if any.

    from Expr
    getExplicitArgumentName

    Gets the explicit parameter name used to pass this expression as an argument for, if any. For example, if this expression is 0 in M(second: 1, first: 0) then the result is "first".

    from Expr
    getFile

    Gets the file containing this element.

    from Element
    getIndex

    Gets the index of this element among its parent’s other children (zero-based).

    from Element
    getLocation

    Gets the location of this element. Where an element has locations in source and assemblies, choose the source location. If there are multiple assembly locations, choose only one.

    from Element
    getNumberOfChildren

    Gets the number of children of this element.

    from Element
    getParent

    Gets the parent of this expression. This is for example the element that uses the result of this expression.

    from Expr
    getPrimaryQlClasses

    Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.

    from Element
    getQualifiedDeclaration

    Gets the declaration targeted by this expression, for example a method or a field.

    from QualifiableExpr
    getQualifier

    Gets the qualifier of this expression, if any.

    from QualifiableExpr
    getTarget

    Gets the target of this access.

    from AssignableAccess
    getType

    Gets the type of this expression.

    from Expr
    getValue

    Gets the value of this expression, if any

    from Expr
    hasImplicitThisQualifier

    Holds if this expression has an implicit this qualifier.

    from QualifiableExpr
    hasMaybeNullFlowState

    Holds if the nullable flow state of this expression may be null.

    from Expr
    hasNotNullFlowState

    Holds if the nullable flow state of this expression is not null.

    from Expr
    hasQualifier

    Holds if this expression is qualified.

    from QualifiableExpr
    hasThisQualifier

    Holds if this call has an implicit or explicit this qualifier.

    from QualifiableExpr
    hasValue

    Holds if this expression has a value.

    from Expr
    isConditional

    Holds if this expression has a conditional qualifier ?.

    from QualifiableExpr
    isImplicit

    Holds if this expression is generated by the compiler and does not appear explicitly in the source code.

    from Expr
    isInArgument

    Holds if this access passes the assignable being accessed as an in argument in a method call.

    from AssignableAccess
    isLive

    Holds if this element is live, that is this element can be reached from the entry point of its enclosing callable.

    from ControlFlowElement
    isOutArgument

    Holds if this access passes the assignable being accessed as an out argument in a method call.

    from AssignableAccess
    isOutOrRefArgument

    Holds if this access passes the assignable being accessed as an out or a ref argument in a method call.

    from AssignableAccess
    isRefArgument

    Holds if this access passes the assignable being accessed as a ref argument in a method call.

    from AssignableAccess
    reachableFrom

    Holds if the current element is reachable from src.

    from ControlFlowElement
    stripCasts

    Gets an expression that is the result of stripping (recursively) all implicit and explicit casts from this expression, if any. For example, the result is reader if this expression is either (IDisposable)reader or reader as IDisposable.

    from Expr
    stripImplicitCasts

    Gets an expression that is the result of stripping (recursively) all implicit casts from this expression, if any.

    from Expr
    targetIsLocalInstance

    Holds if the target of this expression is a local instance. That is, either the (implicit) qualifier is this or the qualifier is base.

    from QualifiableExpr
    targetIsOverridableOrImplementable

    Holds if the target of this expression can be overridden or implemented.

    from QualifiableExpr
    targetIsThisInstance

    Holds if this expression is equivalent to a this-qualified version of this expression

    from QualifiableExpr
    toString

    Gets a textual representation of this element.

    from Element
    toStringWithTypes

    Gets the full textual representation of this element, including type information.

    from Element

    Charpred