Extracted from Pike v7.8 release 866 at 2016-11-06.
[Top]
7.2::
String
String.String_buffer
Methods
append()
cast()
flush()
get_buffer()
String.String_buffer
String.String_buffer()->cast()
Method String.String_buffer()->append()
Method
append
void
append
(
string
s
)
Description
Append the string
s
to the buffer.
String.String_buffer