Predicate scopeLast
Holds if scope
is exited when last
finishes with completion c
.
Import path
import semmle.code.csharp.controlflow.internal.ControlFlowGraphImpl
predicate scopeLast(CfgScope scope, AstNode last, Completion c)
Holds if scope
is exited when last
finishes with completion c
.
import semmle.code.csharp.controlflow.internal.ControlFlowGraphImpl
predicate scopeLast(CfgScope scope, AstNode last, Completion c)