var p = "hello world".prefix("hello")
assert p != null
assert p.text_after == " world"
# Extract a given prefix, if any.
#
# ~~~
# var p = "hello world".prefix("hello")
# assert p != null
# assert p.text_after == " world"
# ~~~
fun prefix(t: Text): nullable Match do
var len = t.length
if substring(0, len) == t then
return new Match(self.to_s, 0, len)
end
return null
end
lib/core/text/string_search.nit:402,2--415,4