Messages

method	void org.apache.roller.weblogger.ui.rendering. servlets.PlanetFeedServlet()
post	this.planetCache == null

method	org.apache.roller.weblogger.ui.rendering.servlets. PlanetFeedServlet__static_init
post	init'ed(log)

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

method	void init(ServletConfig)
pre	log != null
pre	init'ed(org/apache/roller/weblogger/ui/rendering/ut il/cache/PlanetCache.singletonInstance)
post	this.planetCache == org/apache/roller/weblogger/ui/ rendering/util/cache/PlanetCache.singletonInstance
post	init'ed(this.planetCache)

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

method	void doGet(HttpServletRequest, HttpServletResponse )
pre	log != null
pre	(soft) init'ed(this.planetCache.lastUpdateTime)
pre	(soft) org/apache/roller/weblogger/ui/rendering/uti l/PlanetRequest.log != null
pre	(soft) org/apache/roller/weblogger/ui/rendering/uti l/cache/PlanetCache.log != null
pre	(soft) request != null
pre	(soft) response != null
pre	(soft) this.planetCache != null
pre	(soft) init'ed(this.planetCache.cacheEnabled)
pre	(soft) this.planetCache.contentCache != null
pre	(soft) init'ed(this.planetCache.timeout)
presumption	java.util.Date:getTime(...)@94 - java.util. Date:getTime(...)@94%1_000 in -9_223_372_036_854_77 5_808..2⁶⁴-1
presumption	javax.servlet.http.HttpServletResponse:getOutputStr eam(...)@118 != null
presumption	javax.servlet.http.HttpServletResponse:getOutputStr eam(...)@215 != null
presumption	org.apache.roller.planet.business.Planet:getPlanetM anager(...)@78 != null
presumption	org.apache.roller.planet.business.PlanetFactory:get Planet(...)@78 != null
presumption	org.apache.roller.weblogger.ui.rendering. RendererManager:getRenderer(...)@178 != null
presumption	org.apache.roller.weblogger.util.cache. CachedContent:getContent(...).length@117 <= 2³²-1
presumption	org.apache.roller.weblogger.util.cache. CachedContent:getContent(...).length@214 <= 2³²-1
presumption	org.apache.roller.weblogger.util.cache. CachedContent:getContent(...)@117 != null
presumption	org.apache.roller.weblogger.util.cache. CachedContent:getContent(...)@214 != null
post	this.planetCache.lastUpdateTime == One-of{old this.planetCache.lastUpdateTime, &new ExpiringCacheEntry(getLastModified#2)}
post	(soft) init'ed(this.planetCache.lastUpdateTime)
post	new ExpiringCacheEntry(getLastModified#2) num objects <= 1
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.PlanetRequest:getAuthenticUser
unanalyzed	call on javax.servlet.http.HttpServletRequest:getUs erPrincipal
unanalyzed	call on java.security.Principal:getName
unanalyzed	call on javax.servlet.http.HttpServletRequest:getRe questURL
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on javax.servlet.http.HttpServletRequest:getSe rvletPath
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:equals
unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on javax.servlet.http.HttpServletRequest:getLo cale
unanalyzed	call on java.util.Locale:getLanguage
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on org.apache.roller.weblogger.util.cache. ExpiringCacheEntry:getValue
unanalyzed	call on java.util.Date
unanalyzed	call on org.apache.roller.weblogger.util.cache. ExpiringCacheEntry
unanalyzed	call on javax.servlet.http.HttpServletRequest:getDa teHeader
unanalyzed	call on javax.servlet.http.HttpServletResponse:setS tatus
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.servlet.http.HttpServletResponse:setD ateHeader
unanalyzed	call on org.apache.roller.weblogger.util.cache. Cache:get
unanalyzed	call on org.apache.roller.weblogger.util.cache. Cache:put
test_vector	java.lang.String:indexOf(...)@101: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.lang.String:startsWith(...)@101: {0}, {1}
test_vector	javax.servlet.http.HttpServletRequest:getHeader(... )@100: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getHeader(... )@99: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@128: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@147: Addr_Set{null}, Inverse{null}
test_vector	org.apache.commons.lang.StringUtils:isNotEmpty(... )@138: {0}, {1}

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

info method not available -- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()

info method not available -- call on PlanetManager org.apache.roller.planet. business.Planet:getPlanetManager()

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

info method not available -- call on byte[] org.apache.roller.weblogger.util. cache.CachedContent:getContent()

info method not available -- call on Planet org.apache.roller.planet. business.PlanetManager:getPlanet(String)

info method not available -- call on PlanetGroup org.apache.roller.planet. business.PlanetManager:getGroup(Planet, String)

info method not available -- call on void org.apache.roller.weblogger.ui. rendering.model.UtilitiesModel()

info method not available -- call on String org.apache.roller.planet.config. PlanetRuntimeConfig:getProperty(String)

info method not available -- call on String org.apache.roller.planet.config. PlanetRuntimeConfig:getProperty(String)

info method not available -- call on bool org.apache.commons.lang. StringUtils:isNotEmpty(String)

info method not available -- call on String org.apache.roller.planet.config. PlanetRuntimeConfig:getProperty(String)

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerRuntimeConfig:getAbsoluteContextURL ()

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

info method not available -- call on int org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getIntProperty(String)

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

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

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.pojos. StaticTemplate(String, String)

info method not available -- call on Renderer org.apache.roller.weblogger.ui. rendering.RendererManager:getRenderer(Template)

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

info method not available -- call on void org.apache.roller.weblogger.util. cache.CachedContent(int)

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

info method not available -- call on PrintWriter org.apache.roller.weblogger. util.cache.CachedContent:getCachedWriter()

info method not available -- call on void org.apache.roller.weblogger.ui. rendering.Renderer:render(Map, Writer)

info method not available -- call on void org.apache.roller.weblogger.util. cache.CachedContent:flush()

info method not available -- call on void org.apache.roller.weblogger.util. cache.CachedContent:close()

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

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

info method not available -- call on byte[] org.apache.roller.weblogger.util. cache.CachedContent:getContent()

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

method	String generateKey(PlanetRequest)
pre	planetRequest != null
pre	init'ed(planetRequest.context)
pre	init'ed(planetRequest.flavor)
pre	init'ed(planetRequest.group)
pre	init'ed(planetRequest.language)
pre	init'ed(planetRequest.type)
pre	(soft) init'ed(planetRequest.excerpts)
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == &java.lang.StringBuffer:toStrin g(...)
test_vector	planetRequest.excerpts: {0}, {1}
test_vector	planetRequest.flavor: Addr_Set{null}, Inverse{null}
test_vector	planetRequest.group: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.ui.rendering.util. PlanetRequest:getAuthenticUser(...)@259: Addr_Set{null}, Inverse{null}

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.PlanetRequest:getAuthenticUser()

	info	method not available	-- call on Planet org.apache.roller.planet. business.PlanetFactory:getPlanet()
	info	method not available	-- call on PlanetManager org.apache.roller.planet. business.Planet:getPlanetManager()

	info	method not available	-- call on String org.apache.roller.planet.config. PlanetRuntimeConfig:getProperty(String)
	info	method not available	-- call on bool org.apache.commons.lang. StringUtils:isNotEmpty(String)

	info	method not available	-- call on PrintWriter org.apache.roller.weblogger. util.cache.CachedContent:getCachedWriter()
	info	method not available	-- call on void org.apache.roller.weblogger.ui. rendering.Renderer:render(Map, Writer)