Messages

method	org.apache.roller.weblogger.util.cache. CachedContent__static_init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	void org.apache.roller.weblogger.util.cache. CachedContent(int)
post	this.cachedWriter == &new PrintWriter(CachedCon tent#4)
post	this.content == &new byte[](CachedContent#1)
post	this.contentType == null
post	this.outstream in Addr_Set{&new ByteArrayOutputStream(CachedContent#3),&new ByteArrayOutputStream(CachedContent#2)}
post	new ByteArrayOutputStream(CachedContent#2) num objects <= 1
post	new ByteArrayOutputStream(CachedContent#3) num objects <= 1
post	new PrintWriter(CachedContent#4) num objects == 1
post	new byte[](CachedContent#1) num objects == 1
post	this.content.length == 0
test_vector	size: {-2³¹..0}, {1..2³²-1}

method	void org.apache.roller.weblogger.util.cache. CachedContent(int, String)
post	this.cachedWriter == &new PrintWriter(CachedCon tent#4)
post	this.content == &new byte[](CachedContent#1)
post	this.contentType == contentType
post	init'ed(this.contentType)
post	this.outstream == One-of{&new ByteArrayOutputSt ream(CachedContent#2), &new ByteArrayOutputStre am(CachedContent#3)}
post	this.outstream in Addr_Set{&new ByteArrayOutputStream(CachedContent#2),&new ByteArrayOutputStream(CachedContent#3)}
post	new ByteArrayOutputStream(CachedContent#2) num objects <= 1
post	new ByteArrayOutputStream(CachedContent#3) num objects <= 1
post	new PrintWriter(CachedContent#4) num objects == 1
post	new byte[](CachedContent#1) num objects == 1
post	new byte[](CachedContent#1).length == 0
unanalyzed	call on java.io.ByteArrayOutputStream
unanalyzed	call on java.io.OutputStreamWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.RuntimeException

method	String getContentAsString()
pre	init'ed(this.content)
post	return_value == &new String(getContentAsString# 1)
post	new String(getContentAsString#1) num objects == 1

method	PrintWriter getCachedWriter()
pre	init'ed(this.cachedWriter)
post	return_value == this.cachedWriter
post	init'ed(return_value)

method	String getContentType()
pre	init'ed(this.contentType)
post	return_value == this.contentType
post	init'ed(return_value)

method	void flush()
pre	log != null
pre	this.cachedWriter != null
pre	this.outstream != null
presumption	java.io.ByteArrayOutputStream:toByteArray(...)@113 != null
presumption	this.content.length@113 <= 2³²-1
post	(soft) this.content != null

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

method	void close()
pre	log != null
pre	init'ed(this.cachedWriter)
pre	init'ed(this.outstream)
post	this.cachedWriter == null
post	possibly_updated(this.content)
post	this.outstream == null
test_vector	this.cachedWriter: Addr_Set{null}, Inverse{null}
test_vector	this.outstream: Addr_Set{null}, Inverse{null}

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)