codeql/csharp-all
0.9.2-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if this split is left when control passes from pred to succ with completion c.
pred
succ
c
Invariant: hasExit(pred, succ, c) implies succ(pred, succ, c).
hasExit(pred, succ, c) implies succ(pred, succ, c)
predicate hasExit(AstNode pred, AstNode succ, Completion c)