Predicate foreachEmptiness
Holds if cfe
is the element inside foreach statement fs
that has the emptiness
completion.
Import path
import semmle.code.csharp.controlflow.internal.Completion
Holds if cfe
is the element inside foreach statement fs
that has the emptiness
completion.
import semmle.code.csharp.controlflow.internal.Completion