Extracted from Pike v7.6 release 61 at 2005-12-30.
[Top]
7.2::
String
String.String_buffer
Methods
append()
cast()
flush()
get_buffer()
String.String_buffer()->append()
String.String_buffer()->flush()
Method String.String_buffer()->cast()
Method
cast
mixed
cast
(
string
to
)