Mutable strings: contract (1)
Possible contract expressed as an intertface declaration:
public interface MutableStringADT {
// Each MutableString value is a mutable string, of any // length, with indices starting at 0.
/////////////// Constructor ///////////////
// public MutableString (); // Construct an empty mutable string.