# Stream class used as a Decorator over a stream
class Protocol
	super Stream

	type STREAM: Stream

	var origin: STREAM

	redef fun close do origin.close
end