Member predicate ImportTimeScope::entryEdge
Holds if the control flow passes from outer
to inner
when this scope starts executing
predicate entryEdge(ControlFlowNode outer, ControlFlowNode inner)
Holds if the control flow passes from outer
to inner
when this scope starts executing
predicate entryEdge(ControlFlowNode outer, ControlFlowNode inner)