The core string type is extended with a variety of methods which can be invoked on string objects. For example,
public string x;
formula x_x = (x + x).reverse();
| Method | Description | Result type |
|---|
| length() | Returns the length of a string | int |
| split(string word) | Splits the string into a list of parts seperated by the given word | list<string> |
| split(maybe<string> word) | Splits the string into a list of parts seperated by the given word if the word is available | maybe<list<string>> |
| contains(string word) | Tests if the string contains the given word | bool |
| contains(maybe<string> word) | Tests if the string contains the given word if the word is available | maybe<bool> |
| indexOf(string word) | Returns the position of the given word | int |
| indexOf(maybe<string> word) | Returns the position of the given word if the word is available | maybe<int> |
| indexOf(string word, int offset) | Returns the position of the given word after the given offset | int |
| indexOf(maybe<string> word, int offset) | Returns the position of the given word if the word is available after the given offset | maybe<int> |
| trim() | Returns a new version of the string with whitespace removed from both the head and tail | string |
| trimLeft() | Returns a new version of the string with whitespace removed from the head/start/left-side of the string | string |
| trimRight() | Returns a new version of the string with whitespace removed from the tail/end/right-side of the string | string |
| upper() | Returns a new version of the string with all upper case characters | string |
| lower() | Returns a new version of the string with all lower case characters | string |
| mid(int start, int length) | Returns the part of the string starting at the indicated start position with the length provided. | maybe<string> |
| left(int start) | Returns the part of the string starting at the indicated start position until the end of the string | maybe<string> |
| right(int length) | Returns a string with the indicated length coming from the end of the string | maybe<string> |
| substr(int start, int end) | Returns a string that starts at the given position and ends with the given position | maybe<string> |
| startsWith(string prefix) | Returns whether or not string is prefixed by the given string | bool |
| endsWith(string prefix) | Returns whether or not string is suffixed by the given string | bool |
| multiply(int n) | Returns the concatentation of the string n times | string |
| reverse() | Returns a copy of the string with the characters reversed | string |
| Function | Description | Result type |
|---|
| String.charOf(int ch) | Returns a string with the give integer character converted into a string | string |