# Writer decorator over a write-capable stream
class WriterProtocol
	super Writer
	super Protocol

	redef type STREAM: Writer

	redef fun write_byte(b) do
		origin.write_byte(b)
	end

	redef fun write_bytes_from_cstring(ns, len) do
		origin.write_bytes_from_cstring(ns, len)
	end
end