Predicate scopeLast
Holds if scope is exited when last finishes with completion c.
Import path
import codeql.ruby.controlflow.internal.ControlFlowGraphImplSpecificpredicate scopeLast(CfgScope scope, ControlFlowElement last, Completion c)Holds if scope is exited when last finishes with completion c.
import codeql.ruby.controlflow.internal.ControlFlowGraphImplSpecificpredicate scopeLast(CfgScope scope, ControlFlowElement last, Completion c)