Member predicate StrCatBW :: hasExplicitLimit

Holds if the operation has an explicit parameter that limits the amount of data written (e.g. strncpy does, whereas strcpy does not); this is not the same as exists(getExplicitLimit()) because the limit may exist though it’s value is unknown.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                hasExplicitLimit
                            
                            
                                (
                                )