Predicate Cached::enclosingBody
Holds if the enclosing body of cfe is body.
Import path
import semmle.code.csharp.ExprOrStmtParentpredicate enclosingBody(ControlFlowElement cfe, ControlFlowElement body)Holds if the enclosing body of cfe is body.
import semmle.code.csharp.ExprOrStmtParentpredicate enclosingBody(ControlFlowElement cfe, ControlFlowElement body)