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)