method

net.sourceforge.pebble.web.filter.GZIPResponseStre am__static_init

method	void net.sourceforge.pebble.web.filter. GZIPResponseStream(HttpServletResponse)
pre	response != null
post	this.baos == &new ByteArrayOutputStream(GZIPRes ponseStream#1)
post	this.closed == 0
post	this.gzipstream == &new GZIPOutputStream(GZIPRe sponseStream#2)
post	init'ed(this.output)
post	this.response == response
post	this.response != null
post	new ByteArrayOutputStream(GZIPResponseStream#1) num objects == 1
post	new GZIPOutputStream(GZIPResponseStream#2) num objects == 1

method	void flush()
pre	this.closed == 0
pre	this.gzipstream != null

method	void write(int)
pre	this.closed == 0
pre	this.gzipstream != null

method	void write(byte[])
pre	b != null
pre	b.length <= 232-1
pre	this.closed == 0
pre	this.gzipstream != null
unanalyzed	call on java.util.zip.GZIPOutputStream:write

method	void write(byte[], int, int)
pre	this.closed == 0
pre	this.gzipstream != null

method	bool closed()
pre	init'ed(this.closed)
post	return_value == this.closed
post	init'ed(return_value)

method

void reset()