# Adds the content of text `s` at the end of self
fun append(s: Text) is abstract
+ redef fun hash
+ do
+ if is_dirty then hash_cache = null
+ return super
+ end
+
end
# Mutable strings of characters.
end
# Create a new empty string.
- init
- do
- with_capacity(5)
- end
+ init do with_capacity(5)
init from(s: Text)
do