Module Make::Private::Make2

Holds if barrierGuard is a relevant barrier guard element with input specification inSpec.

Holds if barrier is a relevant barrier element with output specification outSpec.

Holds if return kind rk is a relevant return kind for flow summary modeling.

Holds if flow is allowed to pass from the parameter at position pos of c, to a return node, and back out to the parameter.

Gets the summary node that represents the argument node used to transfer flow into the caller when a value is written to the value returned by call with kind rk.

Holds if summary node arg is at position pos in a call targeting receiver.

Holds if a call targeting receiver should be synthesized inside c.

Holds if summary node out contains output of kind rk from a call targeting receiver.

Holds if summary node p is a parameter with position pos.

Holds if summary node post is a post-update node with pre-update node pre.

Holds if summary node ret is a return node of kind rk.

Provides query predicates for rendering the generated data flow graph for a summarized callable.

Provides a compilation of flow summaries to atomic data-flow steps.

Provides the predicate summaryNodeType for associating types with summary nodes.