Predicate completionIsValidFor
Holds if c is a valid completion for e.
Import path
import codeql.ruby.controlflow.internal.ControlFlowGraphImplSpecificpredicate completionIsValidFor(Completion c, ControlFlowElement e)Holds if c is a valid completion for e.
import codeql.ruby.controlflow.internal.ControlFlowGraphImplSpecificpredicate completionIsValidFor(Completion c, ControlFlowElement e)