gzipresponsewrapper.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • - ServletOutputStream createOutputStream()

    • -/+ Kind Annotation Text Date

  • + ServletOutputStream createOutputStream()

    • -/+ Kind Annotation Text Date
    +prethis.wrappedResponse != null2010-07-22 12:56:56
    +postinit'ed(return_value.output)2010-07-22 12:56:56
    +postnew ByteArrayOutputStream(GZIPResponseStream#1) num objects == 12010-07-22 12:56:56
    +postnew GZIPOutputStream(GZIPResponseStream#2) num objects == 12010-07-22 12:56:56
    +postnew GZIPResponseStream(createOutputStream#1) num objects == 12010-07-22 12:56:56
    +postreturn_value == &new GZIPResponseStream(createO utputStream#1)2010-07-22 12:56:56
    +postreturn_value.baos == &new ByteArrayOutputStream (GZIPResponseStream#1)2010-07-22 12:56:56
    +postreturn_value.closed == 02010-07-22 12:56:56
    +postreturn_value.gzipstream == &new GZIPOutputStream(GZIPResponseStream#2)2010-07-22 12:56:56
    +postreturn_value.response != null2010-07-22 12:56:56
    +postreturn_value.response == this.wrappedResponse2010-07-22 12:56:56
    +unanalyzedcall on java.io.ByteArrayOutputStream2010-07-22 12:56:56
    +unanalyzedcall on java.util.zip.GZIPOutputStream2010-07-22 12:56:56
    +unanalyzedcall on javax.servlet.ServletOutputStream2010-07-22 12:56:56
    +unanalyzedcall on javax.servlet.http.HttpServletResponse:getO utputStream2010-07-22 12:56:56

  • void finishResponse()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.stream)2010-07-22 12:56:56
    +pre(soft) init'ed(this.writer)2010-07-22 12:56:56
    +test_vectorthis.stream: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectorthis.writer: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • void flushBuffer()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.stream)2010-07-22 12:56:56
    +test_vectorthis.stream: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • - ServletOutputStream getOutputStream()

    • -/+ Kind Annotation Text Date

  • + ServletOutputStream getOutputStream()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.wrappedResponse != null2010-07-22 12:56:56
    +preinit'ed(this.stream)2010-07-22 12:56:56
    +prethis.writer == null2010-07-22 12:56:56
    +post(soft) new GZIPResponseStream(createOutputStream#1) .response != null2010-07-22 12:56:56
    +postinit'ed(new GZIPResponseStream(createOutputStream#1 ).output)2010-07-22 12:56:56
    +postnew ByteArrayOutputStream(GZIPResponseStream#1) num objects <= 12010-07-22 12:56:56
    +postnew GZIPOutputStream(GZIPResponseStream#2) num objects <= 12010-07-22 12:56:56
    +postnew GZIPResponseStream(createOutputStream#1) num objects <= 12010-07-22 12:56:56
    +postnew GZIPResponseStream(createOutputStream#1).baos == &new ByteArrayOutputStream(GZIPResponseStre am#1)2010-07-22 12:56:56
    +postnew GZIPResponseStream(createOutputStream#1). closed == 02010-07-22 12:56:56
    +postnew GZIPResponseStream(createOutputStream#1). gzipstream == &new GZIPOutputStream(GZIPRespons eStream#2)2010-07-22 12:56:56
    +postnew GZIPResponseStream(createOutputStream#1). response == this.wrappedResponse2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56
    +postreturn_value == One-of{old this.stream, &new GZIPResponseStream(createOutputStream#1)}2010-07-22 12:56:56
    +postthis.stream == return_value2010-07-22 12:56:56
    +unanalyzedcall on java.io.ByteArrayOutputStream2010-07-22 12:56:56
    +unanalyzedcall on java.util.zip.GZIPOutputStream2010-07-22 12:56:56
    +unanalyzedcall on javax.servlet.ServletOutputStream2010-07-22 12:56:56
    +unanalyzedcall on javax.servlet.http.HttpServletResponse:getO utputStream2010-07-22 12:56:56
    +test_vectorthis.stream: Inverse{null}, Addr_Set{null}2010-07-22 12:56:56

  • PrintWriter getWriter()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.stream == null2010-07-22 12:56:56
    +pre(soft) this.wrappedResponse != null2010-07-22 12:56:56
    +preinit'ed(this.writer)2010-07-22 12:56:56
    +post(soft) new GZIPResponseStream(createOutputStream#1) .response != null2010-07-22 12:56:56
    +post(soft) this.stream in Addr_Set{null,&new GZIPResponseStream(createOutputStream#1)}2010-07-22 12:56:56
    +postinit'ed(new GZIPResponseStream(createOutputStream#1 ).closed)2010-07-22 12:56:56
    +postinit'ed(new GZIPResponseStream(createOutputStream#1 ).output)2010-07-22 12:56:56
    +postnew ByteArrayOutputStream(GZIPResponseStream#1) num objects <= 12010-07-22 12:56:56
    +postnew GZIPOutputStream(GZIPResponseStream#2) num objects <= 12010-07-22 12:56:56
    +postnew GZIPResponseStream(createOutputStream#1) num objects <= 12010-07-22 12:56:56
    +postnew GZIPResponseStream(createOutputStream#1).baos == &new ByteArrayOutputStream(GZIPResponseStre am#1)2010-07-22 12:56:56
    +postnew GZIPResponseStream(createOutputStream#1). gzipstream == &new GZIPOutputStream(GZIPRespons eStream#2)2010-07-22 12:56:56
    +postnew GZIPResponseStream(createOutputStream#1). response == this.wrappedResponse2010-07-22 12:56:56
    +postnew PrintWriter(getWriter#1) num objects <= 12010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56
    +postreturn_value == One-of{old this.writer, &new PrintWriter(getWriter#1)}2010-07-22 12:56:56
    +postthis.stream == One-of{old this.stream, &new GZIPResponseStream(createOutputStream#1)}2010-07-22 12:56:56
    +postthis.writer != null2010-07-22 12:56:56
    +postthis.writer == One-of{old this.writer, &new PrintWriter(getWriter#1)}2010-07-22 12:56:56
    +unanalyzedcall on java.io.ByteArrayOutputStream2010-07-22 12:56:56
    +unanalyzedcall on java.util.zip.GZIPOutputStream2010-07-22 12:56:56
    +unanalyzedcall on javax.servlet.ServletOutputStream2010-07-22 12:56:56
    +unanalyzedcall on javax.servlet.http.HttpServletResponse:getO utputStream2010-07-22 12:56:56
    +test_vectorthis.writer: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • - void net.sourceforge.pebble.web.filter.GZIPResponseWrapper(HttpServletResponse)

    • -/+ Kind Annotation Text Date

  • + void net.sourceforge.pebble.web.filter.GZIPResponseWrapper(HttpServletResponse)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.wrappedResponse)2010-07-22 12:56:56
    +postthis.stream == null2010-07-22 12:56:56
    +postthis.wrappedResponse == response2010-07-22 12:56:56
    +postthis.writer == null2010-07-22 12:56:56

  • net.sourceforge.pebble.web.filter.GZIPResponseWrapper__static_init

    • -/+ Kind Annotation Text Date

  • void setContentLength(int)

    • -/+ Kind Annotation Text Date