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

Class AssignableDefinitions::InitializerDefinition

An initializer definition for a field or a property, for example line 2 in

class C {
  int Field = 0;
}

Import path

import csharp

Direct supertypes

Indirect supertypes

Inherited fields

Predicates

getAssignable

Gets the assignable (field or property) being initialized.

Inherited predicates

getAControlFlowNode

Gets a control flow node that updates the targeted assignable when reached.

from AssignableDefinition
getAFirstRead

Gets a first read of the same underlying assignable. That is, a read that can be reached from this definition without passing through any other reads, and which is guaranteed to read the value assigned in this definition. Example:

from AssignableDefinition
getAReachableRead

Gets a reachable read of the same underlying assignable. That is, a read that can be reached from this definition, and which is guaranteed to read the value assigned in this definition.

from AssignableDefinition
getAssignment

Gets the underlying assignment.

from AssignmentDefinition
getElement

Gets the underlying element associated with this definition. This is either an expression or a parameter.

from AssignableDefinition
getEnclosingCallable

Gets the enclosing callable of this definition.

from AssignableDefinition
getExpr

Gets the underlying expression that updates the targeted assignable when reached, if any.

from AssignableDefinition
getLocation

Gets the location of this assignable definition.

from AssignableDefinition
getSource

Gets the assigned expression, if any. For example, the expression assigned in x = 0 is 0. The value may not always exists, for example in assignments via out/ref parameters.

from AssignmentDefinition
getTarget

Gets the assignable being defined.

from AssignableDefinition
getTargetAccess

Gets the access used in the definition of the underlying assignable, if any. Local variable declarations and implicit parameter definitions are the only definitions without associated accesses.

from AssignableDefinition
isCertain

Holds if this definition is guaranteed to update the targeted assignable. The only potentially uncertain definitions are ref assignments.

from AssignableDefinition
toString

Gets a textual representation of this assignable definition.

from AssignmentDefinition

Charpred