(* $Id: obuffer.ml,v 1.5 2001/05/10 07:43:35 garrigue Exp $ *)

open Buffer

class c size = object
  val b = create size
  method contents = contents b
  method length = length b
  method clear = clear b
  method reset = reset b
  method add_char = add_char b
  method add_string = add_string b
  method add_substring s ~pos ~len = add_substring b s pos len
  method add_buffer = add_buffer b
  method add_channel chan ~len = add_channel b chan len
  method output oc = output_buffer oc b
end