public function append($string)
public function append($string)
Append a string to the rope.
Parameters
| string | $string | String to append. |
Return
| this |
public function getByteLength()
public function getByteLength()
Get the length of the rope.
Return
| int | Length of the rope in bytes. |
public function getAnyPrefix()
public function getAnyPrefix()
Get an arbitrary, nonempty prefix of the rope.
Return
| string | Some rope prefix. |
public function getPrefixBytes($length)
public function getPrefixBytes($length)
Get prefix bytes of the rope, up to some maximum size.
Parameters
| int | $length | Maximum number of bytes to read. |
Return
| string | Bytes. |
public function getAsString()
public function getAsString()
Return the entire rope as a normal string.
Return
| string | Normal string. |
public function removeBytesFromHead($remove)
public function removeBytesFromHead($remove)
Remove a specified number of bytes from the head of the rope.
Parameters
| int | $remove | Bytes to remove. |
Return
| this |