CachedContent.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

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


  • + void close()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.cachedWriter)2009-09-04 18:33:31
    +preinit'ed(this.outstream)2009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +postpossibly_updated(this.content)2009-09-04 18:33:31
    +postthis.cachedWriter == null2009-09-04 18:33:31
    +postthis.outstream == null2009-09-04 18:33:31
    +test_vectorthis.cachedWriter: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorthis.outstream: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void flush()

    • -/+ Kind Annotation Text Date
    +prelog != null2009-09-04 18:33:31
    +prethis.cachedWriter != null2009-09-04 18:33:31
    +prethis.outstream != null2009-09-04 18:33:31
    +presumptionjava.io.ByteArrayOutputStream:toByteArray(...)@113 != null2009-09-04 18:33:31
    +presumptionthis.content.length@113 <= 232-12009-09-04 18:33:31
    +post(soft) this.content != null2009-09-04 18:33:31

  • + PrintWriter getCachedWriter()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.cachedWriter)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.cachedWriter2009-09-04 18:33:31

  • + byte[] getContent()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.content)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.content2009-09-04 18:33:31

  • + String getContentAsString()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.content)2009-09-04 18:33:31
    +postnew String(getContentAsString#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new String(getContentAsString# 1)2009-09-04 18:33:31

  • + String getContentType()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.contentType)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.contentType2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.util.cache.CachedContent(int)

    • -/+ Kind Annotation Text Date
    +postnew ByteArrayOutputStream(CachedContent#2) num objects <= 12009-09-04 18:33:31
    +postnew ByteArrayOutputStream(CachedContent#3) num objects <= 12009-09-04 18:33:31
    +postnew PrintWriter(CachedContent#4) num objects == 12009-09-04 18:33:31
    +postnew byte[](CachedContent#1) num objects == 12009-09-04 18:33:31
    +postthis.cachedWriter == &new PrintWriter(CachedCon tent#4)2009-09-04 18:33:31
    +postthis.content == &new byte[](CachedContent#1)2009-09-04 18:33:31
    +postthis.content.length == 02009-09-04 18:33:31
    +postthis.contentType == null2009-09-04 18:33:31
    +postthis.outstream in Addr_Set{&new ByteArrayOutputStream(CachedContent#3),&new ByteArrayOutputStream(CachedContent#2)}2009-09-04 18:33:31
    +test_vectorsize: {-231..0}, {1..232-1}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.util.cache.CachedContent(int, String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.contentType)2009-09-04 18:33:31
    +postnew ByteArrayOutputStream(CachedContent#2) num objects <= 12009-09-04 18:33:31
    +postnew ByteArrayOutputStream(CachedContent#3) num objects <= 12009-09-04 18:33:31
    +postnew PrintWriter(CachedContent#4) num objects == 12009-09-04 18:33:31
    +postnew byte[](CachedContent#1) num objects == 12009-09-04 18:33:31
    +postnew byte[](CachedContent#1).length == 02009-09-04 18:33:31
    +postthis.cachedWriter == &new PrintWriter(CachedCon tent#4)2009-09-04 18:33:31
    +postthis.content == &new byte[](CachedContent#1)2009-09-04 18:33:31
    +postthis.contentType == contentType2009-09-04 18:33:31
    +postthis.outstream == One-of{&new ByteArrayOutputSt ream(CachedContent#2), &new ByteArrayOutputStre am(CachedContent#3)}2009-09-04 18:33:31
    +postthis.outstream in Addr_Set{&new ByteArrayOutputStream(CachedContent#2),&new ByteArrayOutputStream(CachedContent#3)}2009-09-04 18:33:31
    +unanalyzedcall on java.io.ByteArrayOutputStream2009-09-04 18:33:31
    +unanalyzedcall on java.io.OutputStreamWriter2009-09-04 18:33:31
    +unanalyzedcall on java.io.PrintWriter2009-09-04 18:33:31
    +unanalyzedcall on java.lang.RuntimeException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31

  • + org.apache.roller.weblogger.util.cache.CachedContent__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2009-09-04 18:33:31