C++20 replacements for has_suffix/has_prefix

Daniel Kroening · Daniel Kroening · commit b5dee9ac8174 · 2019-11-14T18:09:10.000Z
This clarifies the intended meaning of the existing functions.
diff --git a/src/util/prefix.h b/src/util/prefix.h
@@ -12,6 +12,8 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <string>
 
+// C++20 will have std::string::starts_with
+
 inline bool has_prefix(const std::string &s, const std::string &prefix)
 {
   return s.compare(0, prefix.size(), prefix)==0;
diff --git a/src/util/suffix.h b/src/util/suffix.h
@@ -12,6 +12,8 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <string>
 
+// C++20 will have std::string::ends_with
+
 inline bool has_suffix(const std::string &s, const std::string &suffix)
 {
   if(suffix.size()>s.size())

Original file line number	Diff line number	Diff line change
`@@ -12,6 +12,8 @@ Author: Daniel Kroening, [email protected]`
`12`	`12`
`13`	`13`	`#include <string>`
`14`	`14`
	`15`	`+// C++20 will have std::string::starts_with`
	`16`	`+`
`15`	`17`	`inline bool has_prefix(const std::string &s, const std::string &prefix)`
`16`	`18`	`{`
`17`	`19`	`return s.compare(0, prefix.size(), prefix)==0;`