From ac3bfa1788468b69422ee7042c1495e52e37ebfb Mon Sep 17 00:00:00 2001 From: Tom Hvitved Date: Fri, 22 Apr 2022 12:19:38 +0200 Subject: [PATCH] Data flow: Mention `expectsContent` in `dataflow.md` --- docs/ql-libraries/dataflow/dataflow.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/ql-libraries/dataflow/dataflow.md b/docs/ql-libraries/dataflow/dataflow.md index 2ce0e308a16..1b6d52ee994 100644 --- a/docs/ql-libraries/dataflow/dataflow.md +++ b/docs/ql-libraries/dataflow/dataflow.md @@ -509,6 +509,12 @@ use-use steps. If local flow is implemented using def-use steps, then Note that `clearsContent(n, cs)` is interpreted using `cs.getAReadContent()`. +Dually, there exists a predicate +```ql +predicate expectsContent(Node n, ContentSet c); +``` +which acts as a barrier when data is _not_ stored inside one of `c.getAReadContent()`. + ## Type pruning The library supports pruning paths when a sequence of value-preserving steps