Predicate switchMatching
Holds if pe
is the pattern inside case c
, belonging to switch
s
, that
has the matching completion.
Import path
import semmle.code.csharp.controlflow.internal.Completion
predicate
switchMatching
(
Switch
s
,
Case
c
,
PatternExpr
pe
)