Member predicate PrototypePollutingAssignment::BarrierGuard::blocksExpr
Holds if this node acts as a barrier for data flow, blocking further flow from e
if this
evaluates to outcome
.
predicate blocksExpr(boolean outcome, Expr e)
Holds if this node acts as a barrier for data flow, blocking further flow from e
if this
evaluates to outcome
.
predicate blocksExpr(boolean outcome, Expr e)