Skip to content

Commit ac3bfa1

Browse files
committed
Data flow: Mention expectsContent in dataflow.md
1 parent da72ba4 commit ac3bfa1

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

docs/ql-libraries/dataflow/dataflow.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -509,6 +509,12 @@ use-use steps. If local flow is implemented using def-use steps, then
509509

510510
Note that `clearsContent(n, cs)` is interpreted using `cs.getAReadContent()`.
511511

512+
Dually, there exists a predicate
513+
```ql
514+
predicate expectsContent(Node n, ContentSet c);
515+
```
516+
which acts as a barrier when data is _not_ stored inside one of `c.getAReadContent()`.
517+
512518
## Type pruning
513519

514520
The library supports pruning paths when a sequence of value-preserving steps

0 commit comments

Comments
 (0)