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()->cast()
String.String_buffer()->get_buffer()
Method String.String_buffer()->flush()
Method
flush
void
flush
(
)
Description
Clear the buffer.
String.String_buffer()->cast()