Messages

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()