Skip to content

Commit d3cc366

Browse files
committed
Swift: add QLDoc for DictionarySubscriptNode
1 parent 3ee3eab commit d3cc366

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -300,6 +300,12 @@ import Cached
300300
/** Holds if `n` should be hidden from path explanations. */
301301
predicate nodeIsHidden(Node n) { n instanceof FlowSummaryNode }
302302

303+
/**
304+
* The intermediate node for a dictionary subscript operation `dict[key]`. In a write, this is used
305+
* as the destination of the `storeStep`s that add `TupleContent`s and the source of the storeStep
306+
* that adds `CollectionContent`. In a read, this is the destination of the `readStep` that pops
307+
* `CollectionContent` and the source of the `readStep` that pops `TupleContent[0]`
308+
*/
303309
private class DictionarySubscriptNode extends NodeImpl, TDictionarySubscriptNode {
304310
SubscriptExpr expr;
305311

0 commit comments

Comments
 (0)