</section>
<section>
-<heading>Pattern matching</heading>
+<heading>Searching in Strings</heading>
<description>
<item tag="int in(String &x)">
Find the string x within the string. Returns the index where <emph>x</emph> was
</item>
</description>
</section>
+
+<section>
+<heading>Splitting Strings into SuperStrings</heading>
+<description>
+<item tag="SuperString split(String &separator)">
+Return a list of the words in the string, using <emph>separator</emph> as the delimiter string.
+<example>
+String numbers("2,4,7");
+numbers.split(","); // "2" "4" "7"
+</example>
+Splitting an empty string will result in a SuperString with an empty string as its only element.
+The <emph>separator</emph> can be a multiple character string, for example:
+<example>
+String somexml("A&amp;B&amp;C");
+somexml.split("&amp;"); // "A" "B" "C"
+</example>
+Consecutive separators are not grouped together and are deemed to delimit empty strings, for example:
+<example>
+String numbers("3.14 42"); // Note 3 spaces
+numbers.split(" "); // "3.14" "" "" "42"
+</example>
+This also happens with separators at the start and the end of the string.
+</item>
+</description>
+</section>
+
<section>
<heading>Stream I/O</heading>
<para>