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
                                
                                )