Messages

method

org.apache.roller.weblogger.ui.core.filters. CompressionFilter$ByteArrayOutputStreamWrapper__sta tic_init

method

org.apache.roller.weblogger.ui.core.filters. CompressionFilter$ByteArrayResponseWrapper__static_ init

method	void org.apache.roller.weblogger.ui.core.filters. CompressionFilter()
post	this.enabled == 1

method	org.apache.roller.weblogger.ui.core.filters. CompressionFilter__static_init
post	init'ed(log)

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

method	void doFilter(ServletRequest, ServletResponse, FilterChain)
pre	chain != null
pre	init'ed(this.enabled)
pre	(soft) log != null
pre	(soft) request != null
pre	(soft) response != null
presumption	javax.servlet.ServletResponse:getOutputStream(... )@150 != null
unanalyzed	call on javax.servlet.http.HttpServletRequest:getHe ader
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on javax.servlet.http.HttpServletResponseWrapp er
unanalyzed	call on javax.servlet.ServletResponse:getOutputStre am
unanalyzed	call on javax.servlet.ServletOutputStream
unanalyzed	call on java.io.ByteArrayOutputStream
unanalyzed	call on java.io.OutputStreamWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.io.ByteArrayOutputStream:toByteArray
unanalyzed	call on java.io.OutputStream:write
unanalyzed	call on java.io.OutputStream:flush
unanalyzed	call on java.io.OutputStream:close
test_vector	this.enabled: {0}, {1}

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

info method not available -- call on void org.apache.roller.weblogger.ui. core.filters.CompressionFilter$ByteArrayOutputStrea mWrapper:write(byte[])

method	void init(FilterConfig)
pre	log != null
post	init'ed(this.enabled)
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@119: {0}, {1}

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty(String)

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

method

void destroy()

method	bool isGzipSupported(HttpServletRequest)
pre	req != null
post	init'ed(return_value)

method	void org.apache.roller.weblogger.ui.core.filters. CompressionFilter$ByteArrayResponseWrapper(Compress ionFilter, ServletResponse)
pre	inResp != null
post	this.tpStream == &new CompressionFilter$ByteArr ayOutputStreamWrapper(CompressionFilter$ByteArrayRe sponseWrapper#1)
post	this.tpWriter == &new PrintWriter(CompressionFi lter$ByteArrayResponseWrapper#2)
post	new ByteArrayOutputStream(CompressionFilter$ByteArr ayOutputStreamWrapper#1) num objects == 1
post	new CompressionFilter$ByteArrayOutputStreamWrapper( CompressionFilter$ByteArrayResponseWrapper#1) num objects == 1
post	this.tpStream.flushOnFinalizeOnly == 1
post	new PrintWriter(CompressionFilter$ByteArrayResponse Wrapper#2) num objects == 1
post	this.tpStream.baStream == &new ByteArrayOutputS tream(CompressionFilter$ByteArrayOutputStreamWrappe r#1)
post	init'ed(this.tpStream.finallized)
post	init'ed(this.tpStream.intStream)
unanalyzed	call on javax.servlet.ServletOutputStream
unanalyzed	call on java.io.ByteArrayOutputStream

method	ServletOutputStream getOutputStream()
pre	init'ed(this.tpStream)
post	return_value == this.tpStream
post	init'ed(return_value)

method	String toString()
pre	this.tpStream != null
pre	this.tpStream.baStream != null
post	java.io.ByteArrayOutputStream:toString(...)._ tainted == this.tpStream.baStream._tainted
post	init'ed(java.io.ByteArrayOutputStream:toString(... )._tainted)
post	return_value == &java.io.ByteArrayOutputStream: toString(...)

method	ByteArrayOutputStream getByteArrayOutputStream()
pre	this.tpStream != null
pre	init'ed(this.tpStream.baStream)
post	return_value == this.tpStream.baStream
post	init'ed(return_value)

method	void org.apache.roller.weblogger.ui.core.filters. CompressionFilter$ByteArrayOutputStreamWrapper(Comp ressionFilter, OutputStream)
post	this.baStream == &new ByteArrayOutputStream(Com pressionFilter$ByteArrayOutputStreamWrapper#1)
post	this.finallized == 0
post	this.flushOnFinalizeOnly == 1
post	new ByteArrayOutputStream(CompressionFilter$ByteArr ayOutputStreamWrapper#1) num objects == 1
post	this.intStream == outStream
post	init'ed(this.intStream)

method	void org.apache.roller.weblogger.ui.core.filters. CompressionFilter$ByteArrayOutputStreamWrapper(Comp ressionFilter)
presumption	init'ed(java.lang.System.out)
post	this.baStream == &new ByteArrayOutputStream(Com pressionFilter$ByteArrayOutputStreamWrapper#1)
post	this.finallized == 0
post	this.flushOnFinalizeOnly == 1
post	new ByteArrayOutputStream(CompressionFilter$ByteArr ayOutputStreamWrapper#1) num objects == 1
post	this.intStream == java.lang.System.out
post	(soft) init'ed(this.intStream)

method	ByteArrayOutputStream getByteArrayStream()
pre	init'ed(this.baStream)
post	return_value == this.baStream
post	init'ed(return_value)

method	void setFinallized()
post	this.finallized == 1

method	bool isFinallized()
pre	init'ed(this.finallized)
post	return_value == this.finallized
post	init'ed(return_value)

method	void write(int)
pre	this.baStream != null

method	void close()
pre	init'ed(this.finallized)
pre	(soft) this.baStream != null
pre	(soft) this.intStream != null
unanalyzed	call on java.io.ByteArrayOutputStream:toByteArray
unanalyzed	call on java.io.OutputStream:write
unanalyzed	call on java.io.OutputStream:flush
test_vector	this.finallized: {0}, {1}

method	void flush()
pre	this.baStream != null
pre	(soft) init'ed(this.finallized)
pre	(soft) init'ed(this.flushOnFinalizeOnly)
pre	(soft) this.intStream != null
post	this.baStream == One-of{old this.baStream, &new ByteArrayOutputStream(flush#1)}
post	this.baStream != null
post	new ByteArrayOutputStream(flush#1) num objects <= 1
unanalyzed	call on java.io.ByteArrayOutputStream:toByteArray
unanalyzed	call on java.io.OutputStream:write
unanalyzed	call on java.io.OutputStream:flush
test_vector	this.finallized: {0}, {1}
test_vector	java.io.ByteArrayOutputStream:size(...)@225: {0}, {-2³¹..-1, 1..2³²-1}

method	void clear()
post	this.baStream == &new ByteArrayOutputStream(cle ar#1)
post	new ByteArrayOutputStream(clear#1) num objects == 1