Module DataFlow::DataFlow::Internal::Cached

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

Predicates

flowIntoCallableStepNoConfig

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.

flowOutOfCallableStepNoConfig

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).

jumpStep

Holds if pred can flow to succ, by jumping from one callable to another.

localFlowStepCached

Holds if data flows from nodeFrom to nodeTo in exactly one local (intra-procedural) step.

Datatypes