Class FlowInsensitiveFieldNode
A data flow node used for control-flow insensitive flow through fields and properties.
In global data flow this is used to model flow through static fields and properties, while for lambda flow we additionally use it to track assignments in constructors to uses within the same class.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivate
Direct supertypes
Predicates
getControlFlowNodeImpl | Do not call: use |
getEnclosingCallableImpl | Do not call: use |
getLocationImpl | Do not call: use |
getTypeImpl | Do not call: use |
toStringImpl | Do not call: use |
Inherited predicates
asDefinition | Gets the definition corresponding to this node, if any. | from Node |
asDefinitionAtNode | Gets the definition corresponding to this node, at control flow node | from Node |
asExpr | Gets the expression corresponding to this node, if any. | from Node |
asExprAtNode | Gets the expression corresponding to this node, at control flow node | from Node |
asParameter | Gets the parameter corresponding to this node, if any. | from Node |
getControlFlowNode | Gets the control flow node corresponding to this node, if any. | from Node |
getDataFlowType | Gets the type of this node used for type pruning. | from NodeImpl |
getEnclosingCallable | Gets the enclosing callable of this node. | from Node |
getLocation | Gets the location of this node. | from Node |
getType | Gets the type of this node. | from Node |
hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Node |
toString | Gets a textual representation of this node. | from Node |