Messages

method | net.sourceforge.pebble.web.filter.GZIPResponseWrap per__static_init

method | void net.sourceforge.pebble.web.filter. GZIPResponseWrapper(HttpServletResponse)
post | this.stream == null
post | this.writer == null
post | this.wrappedResponse == response
post | init'ed(this.wrappedResponse)

method | ServletOutputStream createOutputStream()
pre | this.wrappedResponse != null
post | return_value == &new GZIPResponseStream(createO utputStream#1)
post | new ByteArrayOutputStream(GZIPResponseStream#1) num objects == 1
post | new GZIPOutputStream(GZIPResponseStream#2) num objects == 1
post | new GZIPResponseStream(createOutputStream#1) num objects == 1
post | return_value.baos == &new ByteArrayOutputStream (GZIPResponseStream#1)
post | return_value.closed == 0
post | return_value.gzipstream == &new GZIPOutputStream(GZIPResponseStream#2)
post | init'ed(return_value.output)
post | return_value.response == this.wrappedResponse
post | return_value.response != null
unanalyzed | call on javax.servlet.ServletOutputStream
unanalyzed | call on javax.servlet.http.HttpServletResponse:getO utputStream
unanalyzed | call on java.io.ByteArrayOutputStream
unanalyzed | call on java.util.zip.GZIPOutputStream

method | void finishResponse()
pre | (soft) init'ed(this.stream)
pre | (soft) init'ed(this.writer)
test_vector | this.stream: Addr_Set{null}, Inverse{null}
test_vector | this.writer: Addr_Set{null}, Inverse{null}

method | void flushBuffer()
pre | init'ed(this.stream)
test_vector | this.stream: Addr_Set{null}, Inverse{null}

method | ServletOutputStream getOutputStream()
pre | init'ed(this.stream)
pre | this.writer == null
pre | (soft) this.wrappedResponse != null
post | return_value == One-of{old this.stream, &new GZIPResponseStream(createOutputStream#1)}
post | return_value != null
post | this.stream == return_value
post | new ByteArrayOutputStream(GZIPResponseStream#1) num objects <= 1
post | new GZIPOutputStream(GZIPResponseStream#2) num objects <= 1
post | new GZIPResponseStream(createOutputStream#1) num objects <= 1
post | new GZIPResponseStream(createOutputStream#1).baos == &new ByteArrayOutputStream(GZIPResponseStre am#1)
post | new GZIPResponseStream(createOutputStream#1). closed == 0
post | new GZIPResponseStream(createOutputStream#1). gzipstream == &new GZIPOutputStream(GZIPRespons eStream#2)
post | init'ed(new GZIPResponseStream(createOutputStream#1 ).output)
post | new GZIPResponseStream(createOutputStream#1). response == this.wrappedResponse
post | (soft) new GZIPResponseStream(createOutputStream#1) .response != null
unanalyzed | call on javax.servlet.ServletOutputStream
unanalyzed | call on javax.servlet.http.HttpServletResponse:getO utputStream
unanalyzed | call on java.io.ByteArrayOutputStream
unanalyzed | call on java.util.zip.GZIPOutputStream
test_vector | this.stream: Inverse{null}, Addr_Set{null}

method | PrintWriter getWriter()
pre | init'ed(this.writer)
pre | (soft) this.stream == null
pre | (soft) this.wrappedResponse != null
post | return_value == One-of{old this.writer, &new PrintWriter(getWriter#1)}
post | return_value != null
post | this.stream == One-of{old this.stream, &new GZIPResponseStream(createOutputStream#1)}
post | (soft) this.stream in Addr_Set{null,&new GZIPResponseStream(createOutputStream#1)}
post | this.writer == One-of{old this.writer, &new PrintWriter(getWriter#1)}
post | this.writer != null
post | new ByteArrayOutputStream(GZIPResponseStream#1) num objects <= 1
post | new GZIPOutputStream(GZIPResponseStream#2) num objects <= 1
post | new GZIPResponseStream(createOutputStream#1) num objects <= 1
post | new GZIPResponseStream(createOutputStream#1).baos == &new ByteArrayOutputStream(GZIPResponseStre am#1)
post | init'ed(new GZIPResponseStream(createOutputStream#1 ).closed)
post | new GZIPResponseStream(createOutputStream#1). gzipstream == &new GZIPOutputStream(GZIPRespons eStream#2)
post | init'ed(new GZIPResponseStream(createOutputStream#1 ).output)
post | new GZIPResponseStream(createOutputStream#1). response == this.wrappedResponse
post | (soft) new GZIPResponseStream(createOutputStream#1) .response != null
post | new PrintWriter(getWriter#1) num objects <= 1
unanalyzed | call on javax.servlet.ServletOutputStream
unanalyzed | call on javax.servlet.http.HttpServletResponse:getO utputStream
unanalyzed | call on java.io.ByteArrayOutputStream
unanalyzed | call on java.util.zip.GZIPOutputStream
test_vector | this.writer: Addr_Set{null}, Inverse{null}

method | void setContentLength(int)