Module DataFlow
Import path
import csharp
Predicates
assignableDefinitionNode | Gets a node corresponding to the definition |
exprNode | Gets a node corresponding to expression |
localExprFlow | Holds if data can flow from |
localFlow | Holds if data flows from |
parameterNode | Gets the node corresponding to the value of parameter |
Classes
AssignableDefinitionNode | A definition, viewed as a node in a data flow graph. |
CapturedVariableContent | A captured variable. |
Configuration | DEPRECATED: Use |
Content | A reference contained in an object. This is either a field, a property, or an element in a collection. |
ContentSet | An entity that represents a set of |
ElementContent | A reference to an element in a collection. |
ExprNode | An expression, viewed as a node in a data flow graph. |
FieldContent | A reference to a field. |
Node | An element, viewed as a node in a data flow graph. Either an expression ( |
NonLocalJumpNode | A data flow node that jumps between callables. This can be extended in framework code to add additional data flow steps. |
ParameterNode | The value of a parameter at function entry, viewed as a node in a data flow graph. |
PathNode | A |
PrimaryConstructorParameterContent | A reference to a synthetic field corresponding to a primary constructor parameter. |
PropertyContent | A reference to a property. |
SyntheticFieldContent | A reference to a synthetic field. |
Modules
BarrierGuard | Provides a set of barrier nodes for a guard that validates an expression. |
Predicate signatures
guardChecksSig | Holds if the guard |
Aliases
PathGraph | Provides the query predicates needed to include a graph in a path-problem query. |
flowsTo | |
localFlowStep | Holds if data flows from |