Predicate Make :: alwaysMatchesHostnameAlt

Holds if the first i children of alt contains a hostname pattern.

This is used instead of forall to avoid materializing the set of alternatives that don’t contains hostnames, which is much larger.

Import path


                                import codeql.regex.HostnameRegexp


                            
                                
                                    predicate
                                
                                 
                            
                            
                                alwaysMatchesHostnameAlt
                            
                            
                                (
                                
                                    
                                        RegExpAlt
                                    
                                     
                                    alt
                                
                                , 
                                
                                    
                                        int
                                    
                                     
                                    i
                                
                                )