Immutable strings: contract (3)
Possible contract (continued):
/////////////// Transformers ///////////////
public String substring (int i, int j); // Return the substring of this string consisting of the characters // whose indices are i, …, j–1.
public String concat (String that); // Return the string obtained by concatenating this string and // that.