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