Module DataFlow::DataFlow::Internal

INTERNAL: Do not use.

Predicates

callableReturnsOutOrRef

Holds if callable c can return e as an out/ref value for parameter outRef.

explicitParameterNode

Holds if SSA definition node node is an entry definition for parameter p.

flowIntoCallableLibraryCall

Holds if arg is an argument of the call call, which resolves to a library callable that is known to forward arg into a supplied delegate delegate. p is a corresponding delegate parameter. Example:

flowIntoCallableNonDelegateCall

Holds if arg is an argument of the non-delegate call call, which resolves to a callable with corresponding parameter p.

flowIntoCallableStep

Holds if arg is an argument of the call call, which resolves to a callable with corresponding parameter p. The call context cc stipulates the call required to resolve the callable, if any.

flowOutOfCallableNonDelegateCall

Holds if ret is an expression returned by a callable to which the non-delegate call call resolves, and out is the corresponding output (either call itself or first uses of a relevant out/ref argument).

flowOutOfCallableStep

Holds if ret is an expression returned by a callable to which the call call resolves, and out is the corresponding output (either call itself or an out/ref argument).

flowOutOfDelegateLibraryCall

Holds if the output from the delegate delegate flows to out. The delegate is passed as an argument to a library callable, which invokes the delegate. Example:

flowThroughCallableLibraryOutRef

Holds if arg is an argument of the method call mc, where the target of mc is a library callable that forwards arg to an out/ref argument node. Example:

flowsTo

Holds if data can flow (inter-procedurally) from source to sink.

implicitCapturedParameterNode

Holds if SSA definition node node is an implicit entry definition for captured local scope variable v.

Classes

ExplicitParameterNode

The value of an explicit parameter at function entry, viewed as a node in a data flow graph.

FlowGraphNode

A data flow node augmented with a context and a configuration. Only pruned nodes are generated.

ImplicitDelegateCallNode

A data flow node that represents an implicit call to a delegate in a call to a library callable. For example, the implicit call to M in new Lazy<int>(M).

SsaDefinitionNode

An SSA definition, viewed as a node in a data flow graph.

Datatypes

Modules

Cached

A collection of cached types and predicates to be evaluated in the same stage.