"Source: Text/System/IO.text";
"Line: 615";
"Date: Mon Jun 27 13:54:32 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/System/IO.text, line: 615
// Example: H3E2 ()
print "Example: H3E2";
ei := GetEchoInput();
SetEchoInput(true);
Split("a b c d", " ");
// Note that adjacent separators do not produce
// extra fields by default:
Split("a||b|c", "|");
// But they can be made to appear with IncludeEmpty:
Split("a||b|c", "|" : IncludeEmpty := true);
Split("abxcdyefzab", "xyz");
// Note that no splitting happens if the delimiter
// is empty:
Split("abcd", "");   
SetEchoInput(ei);
