Member predicate DataFlow::PairNode::hasKeyAndValue
Holds if this pair is of form key => value
or key: value
.
predicate hasKeyAndValue(Node key, Node value)
Holds if this pair is of form key => value
or key: value
.
predicate hasKeyAndValue(Node key, Node value)