Class Expressions::AccessorWrite

An expression that writes via an accessor call, for example x.Prop = 0, where Prop is a property.

Accessor writes need special attention, because we need to model the fact that the accessor is called after the assigned value has been evaluated. In the example above, this means we want a CFG that looks like

x -> 0 -> set_Prop -> x.Prop = 0

Import path

import semmle.code.csharp.controlflow.internal.ControlFlowGraphImpl

Direct supertypes

PostOrderTree

Indirect supertypes

Fields

def

Predicates

first	Holds if `first` is the first element executed within this element.
getCall	Gets the `i`th accessor being called in this write. More than one call can happen in tuple assignments.
propagatesAbnormal	Holds if abnormal execution of `child` should propagate upwards.
succ	Holds if `succ` is a control flow successor for `pred`, given that `pred` finishes with completion `c`.

Inherited predicates

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
getALocation	Gets a location of this element, including sources and assemblies.	from Element
getAPrimaryQlClass	Gets the name of a primary CodeQL class to which this element belongs.	from Element
getChild	Gets the `i`th child of this element (zero-based).	from Element
getFile	Gets the file containing this element.	from Element
getId		from AstNode
getIndex	Gets the index of this element among its parent’s other children (zero-based).	from Element
getLanguage	Gets the “language” of this program element, as defined by the extension of the filename. For example, C# has language “cs”, and Visual Basic has language “vb”.	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 element, if any.	from Element
getPrimaryQlClasses	Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.	from Element
last	Holds if `last` with completion `c` is a potential last element executed within this element.	from PostOrderTree
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

AccessorWrite