# Search `self' into `s' from a certain position.
# Return the position of the first character of the matching section.
# Return -1 if not found.
# Search `self' into `s' from a certain position.
# Return the position of the first character of the matching section.
# Return -1 if not found.
do
var res = new Array[Match] # Result
var match = search_in(s, 0)
do
var res = new Array[Match] # Result
var match = search_in(s, 0)
# Matches `len' characters of `s' from `f'.
init(s: String, f: Int, len: Int)
do
# Matches `len' characters of `s' from `f'.
init(s: String, f: Int, len: Int)
do
assert positive_length: len >= 0
assert valid_from: f >= 0
assert valid_after: f + len <= s.length
assert positive_length: len >= 0
assert valid_from: f >= 0
assert valid_after: f + len <= s.length
# Search the given pattern into self from a.
# The search starts at `from'.
# Return null if not found.
# Search the given pattern into self from a.
# The search starts at `from'.
# Return null if not found.
# Split self using p is separator.
# "hello world".split('o') # -> ["hell", " w", "rld"]
# Split self using p is separator.
# "hello world".split('o') # -> ["hell", " w", "rld"]
# Split self using '\n' is separator.
# "hello\nworld".split # -> ["hello","world"]
# Split self using '\n' is separator.
# "hello\nworld".split # -> ["hello","world"]