split_space

2022-01-30 12:19:20 +00:00
parent 17336fe649
commit 5df52146be
4 changed files with 14 additions and 3 deletions
@@ -1,11 +1,9 @@
 :sig
 StringList split(String str, String delim)
-StringList split(String str)
-

 :params
 str : string to be split
-delim : optional, delimiter (if omitted, any sequence of whitespace characters will count as a delimiter)
+delim : delimiter
 return value : a list of strings

 :desc