Messages

method	org.apache.roller.weblogger.ui.rendering.util. cache.WeblogPageCache__static_init
presumption	org.apache.commons.logging.LogFactory:getLog(... )@44 != null
post	(soft) log != null
post	singletonInstance == &new WeblogPageCache(Weblo gPageCache__static_init#1)
post	new WeblogPageCache(WeblogPageCache__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.WeblogPageCache()
pre	log != null
presumption	java.lang.String:length(...)@71 <= 2³²-2
presumption	java.util.Enumeration:nextElement(...)@67 != null
presumption	org.apache.roller.weblogger.config.WebloggerConfig: keys(...)@64 != null
post	init'ed(this.cacheEnabled)
post	init'ed(this.contentCache)
test_vector	java.lang.String:startsWith(...)@70: {0}, {1}
test_vector	java.util.Enumeration:hasMoreElements(...)@66: {0}, {1}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@60: {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	WeblogPageCache 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(.. .)@98: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.util.cache. LazyExpiringCacheEntry:getValue(...)@101: 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(WeblogPageRequest)
pre	pageRequest != null
pre	init'ed(pageRequest.locale)
pre	init'ed(pageRequest.weblogAnchor)
pre	init'ed(pageRequest.weblogHandle)
pre	init'ed(pageRequest.weblogPageName)
pre	(soft) init'ed(pageRequest.authenticUser)
pre	(soft) init'ed(pageRequest.context)
pre	(soft) pageRequest.customParams != null
pre	(soft) init'ed(pageRequest.pageNum)
pre	(soft) init'ed(pageRequest.tags)
pre	(soft) init'ed(pageRequest.weblogCategoryName)
pre	(soft) init'ed(pageRequest.weblogDate)
presumption	java.util.Set:size(...)@208 >= 0
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == &java.lang.StringBuffer:toStrin g(...)
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:toBase64
test_vector	pageRequest.locale: Addr_Set{null}, Inverse{null}
test_vector	pageRequest.tags: Addr_Set{null}, Inverse{null}
test_vector	pageRequest.weblogAnchor: Addr_Set{null}, Inverse{null}
test_vector	pageRequest.weblogCategoryName: Addr_Set{null}, Inverse{null}
test_vector	pageRequest.weblogDate: Addr_Set{null}, Inverse{null}
test_vector	pageRequest.weblogPageName: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@204: {0}, {1}
test_vector	java.util.List:size(...)@206: {-2³¹..0}, {1..2³²-1}
test_vector	java.util.Map:size(...)@229: {-2³¹..0}, {1..2³²-1}

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

method	String paramsToString(Map)
presumption	java.util.Map:keySet(...)@250 != null
presumption	value.length@253 >= 1
post	init'ed(return_value)
test_vector	map: Inverse{null}, Addr_Set{null}
test_vector	java.util.Iterator:hasNext(...)@251: {0}, {1}
test_vector	java.util.Map:get(...)@253: Addr_Set{null}, Inverse{null}

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

	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)