Converts a labeled barrier guard class to a set of nodes to include in an implementation of isBarrier(node) and isBarrier(node, label)
in a DataFlow::StateConfigSig implementation.
Import path
import javascriptPredicates
| getABarrierNode | Gets a node that is blocked by a barrier guard. |
| getABarrierNode | Gets a node and flow label that is blocked by a barrier guard. |
Parameters
| isBarrierGuard | isBarrierGuardSig |