Messages

method	org.apache.roller.weblogger.ui.rendering.util. cache.WeblogFeedCache__static_init
presumption	org.apache.commons.logging.LogFactory:getLog(... )@43 != null
post	(soft) log != null
post	singletonInstance == &new WeblogFeedCache(Weblo gFeedCache__static_init#1)
post	new WeblogFeedCache(WeblogFeedCache__static_ init#1) num objects == 1
post	init'ed(singletonInstance.cacheEnabled)
post	init'ed(singletonInstance.contentCache)
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:keys
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on org.apache.roller.weblogger.util.cache. CacheManager:constructCache
unanalyzed	call on org.apache.commons.logging.Log:warn

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

method	void org.apache.roller.weblogger.ui.rendering. util.cache.WeblogFeedCache()
pre	log != null
presumption	java.lang.String:length(...)@70 <= 2³²-2
presumption	java.util.Enumeration:nextElement(...)@66 != null
presumption	org.apache.roller.weblogger.config.WebloggerConfig: keys(...)@63 != null
post	init'ed(this.cacheEnabled)
post	init'ed(this.contentCache)
test_vector	java.lang.String:startsWith(...)@69: {0}, {1}
test_vector	java.util.Enumeration:hasMoreElements(...)@65: {0}, {1}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@59: {0}, {1}

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

info method not available -- call on Enumeration org.apache.roller.weblogger. config.WebloggerConfig:keys()

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

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

info method not available -- call on Cache org.apache.roller.weblogger.util. cache.CacheManager:constructCache(CacheHandler, Map)

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

method	WeblogFeedCache getInstance()
pre	init'ed(singletonInstance)
post	return_value == singletonInstance
post	init'ed(return_value)

method	Object get(String, long)
pre	init'ed(this.cacheEnabled)
pre	(soft) log != null
pre	(soft) this.contentCache != null
post	init'ed(return_value)
test_vector	this.cacheEnabled: {1}, {0}
test_vector	org.apache.roller.weblogger.util.cache.Cache:get(.. .)@97: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.util.cache. LazyExpiringCacheEntry:getValue(...)@100: Addr_Set{null}, Inverse{null}

info method not available -- call on Object org.apache.roller.weblogger.util. cache.Cache:get(String)

info method not available -- call on Object org.apache.roller.weblogger.util. cache.LazyExpiringCacheEntry:getValue(long)

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

method	void put(String, Object)
pre	init'ed(this.cacheEnabled)
pre	(soft) log != null
pre	(soft) this.contentCache != null
test_vector	this.cacheEnabled: {1}, {0}

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

info method not available -- call on void org.apache.roller.weblogger.util. cache.Cache:put(String, Object)

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

method	void remove(String)
pre	init'ed(this.cacheEnabled)
pre	(soft) log != null
pre	(soft) this.contentCache != null
test_vector	this.cacheEnabled: {1}, {0}

info method not available -- call on void org.apache.roller.weblogger.util. cache.Cache:remove(String)

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

method	void clear()
pre	init'ed(this.cacheEnabled)
pre	(soft) log != null
pre	(soft) this.contentCache != null
test_vector	this.cacheEnabled: {1}, {0}

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

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

method	String generateKey(WeblogFeedRequest)
pre	feedRequest != null
pre	init'ed(feedRequest.excerpts)
pre	init'ed(feedRequest.format)
pre	init'ed(feedRequest.locale)
pre	init'ed(feedRequest.tags)
pre	init'ed(feedRequest.type)
pre	init'ed(feedRequest.weblogCategoryName)
pre	init'ed(feedRequest.weblogHandle)
presumption	java.util.Set:size(...)@182 >= 0
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == &java.lang.StringBuffer:toStrin g(...)
test_vector	feedRequest.excerpts: {0}, {1}
test_vector	feedRequest.locale: Addr_Set{null}, Inverse{null}
test_vector	feedRequest.tags: Addr_Set{null}, Inverse{null}
test_vector	feedRequest.weblogCategoryName: Addr_Set{null}, Inverse{null}
test_vector	java.util.List:size(...)@180: {-2³¹..0}, {1..2³²-1}

info method not available -- call on String org.apache.roller.weblogger.util. Utilities:stringArrayToString(String[], String)

	info	method not available	-- call on void org.apache.roller.weblogger.util. cache.LazyExpiringCacheEntry(Object)
	info	method not available	-- call on void org.apache.roller.weblogger.util. cache.Cache:put(String, Object)