dstringt::starts_with can be const

kroening · kroening · commit fc7cc8fa1523 · 2023-12-23T15:00:10.000Z
diff --git a/src/util/dstring.h b/src/util/dstring.h
@@ -93,7 +93,7 @@ class dstringt final
   }
 
   /// equivalent of as_string().starts_with(s)
-  bool starts_with(const char *s)
+  bool starts_with(const char *s) const
   {
     for(const char *t = c_str(); *s != 0; s++, t++)
       if(*t != *s)
@@ -103,7 +103,7 @@ class dstringt final
   }
 
   /// equivalent of as_string().starts_with(s)
-  bool starts_with(const std::string &prefix)
+  bool starts_with(const std::string &prefix) const
   {
     return as_string().compare(0, prefix.size(), prefix) == 0;
   }

Original file line number	Diff line number	Diff line change
`@@ -93,7 +93,7 @@ class dstringt final`
`93`	`93`	`}`
`94`	`94`
`95`	`95`	`/// equivalent of as_string().starts_with(s)`
`96`		`- bool starts_with(const char *s)`
	`96`	`+ bool starts_with(const char *s) const`
`97`	`97`	`{`
`98`	`98`	`for(const char t = c_str(); s != 0; s++, t++)`
`99`	`99`	`if(t != s)`
`@@ -103,7 +103,7 @@ class dstringt final`
`103`	`103`	`}`
`104`	`104`
`105`	`105`	`/// equivalent of as_string().starts_with(s)`
`106`		`- bool starts_with(const std::string &prefix)`
	`106`	`+ bool starts_with(const std::string &prefix) const`
`107`	`107`	`{`
`108`	`108`	`return as_string().compare(0, prefix.size(), prefix) == 0;`
`109`	`109`	`}`