From 5df52146be3f5a45759459d5716aec4ef8d3c33a Mon Sep 17 00:00:00 2001 From: Udo Date: Sun, 30 Jan 2022 12:19:20 +0000 Subject: [PATCH] split_space --- doc/areas/string.txt | 1 + doc/pages/NewFile | 0 doc/pages/split.txt | 4 +--- doc/pages/split_space.txt | 12 ++++++++++++ 4 files changed, 14 insertions(+), 3 deletions(-) delete mode 100644 doc/pages/NewFile create mode 100644 doc/pages/split_space.txt diff --git a/doc/areas/string.txt b/doc/areas/string.txt index a2c6e21..23d8efc 100644 --- a/doc/areas/string.txt +++ b/doc/areas/string.txt @@ -5,6 +5,7 @@ first join nibble split +split_space split_utf8 replace to_lower diff --git a/doc/pages/NewFile b/doc/pages/NewFile deleted file mode 100644 index e69de29..0000000 diff --git a/doc/pages/split.txt b/doc/pages/split.txt index 0f69a71..6e05b3d 100644 --- a/doc/pages/split.txt +++ b/doc/pages/split.txt @@ -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 diff --git a/doc/pages/split_space.txt b/doc/pages/split_space.txt new file mode 100644 index 0000000..4b943ec --- /dev/null +++ b/doc/pages/split_space.txt @@ -0,0 +1,12 @@ +:sig +StringList split_space(String str) + +:params +str : string to be split +return value : a list of strings + +:desc +Splits 'str' into multiple strings along any whitespace characters (multiple whitespace characters count as one). + +:see +>string