Messages

method	org.apache.roller.weblogger.ui.rendering.util. cache.SiteWideCache__static_init
presumption	org.apache.commons.logging.LogFactory:getLog(... )@57 != null
post	(soft) log != null
post	singletonInstance == &new SiteWideCache(SiteWid eCache__static_init#1)
post	new SiteWideCache(SiteWideCache__static_init#1) num objects == 1
post	init'ed(singletonInstance.cacheEnabled)
post	init'ed(singletonInstance.contentCache)
post	singletonInstance.lastUpdateTime == null
post	singletonInstance.timeout == 900_000
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.SiteWideCache()
pre	log != null
presumption	java.lang.String:length(...)@88 <= 2³²-2
presumption	java.util.Enumeration:nextElement(...)@84 != null
presumption	org.apache.roller.weblogger.config.WebloggerConfig: keys(...)@81 != null
post	init'ed(this.cacheEnabled)
post	init'ed(this.contentCache)
post	this.lastUpdateTime == null
post	this.timeout == 900_000
test_vector	java.lang.String:startsWith(...)@87: {0}, {1}
test_vector	java.util.Enumeration:hasMoreElements(...)@83: {0}, {1}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@77: {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	SiteWideCache getInstance()
pre	init'ed(singletonInstance)
post	return_value == singletonInstance
post	init'ed(return_value)

method	Object get(String)
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(.. .)@113: Inverse{null}, Addr_Set{null}

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

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.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
post	this.lastUpdateTime == One-of{old this. lastUpdateTime, 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	Date getLastModified()
pre	init'ed(this.lastUpdateTime)
pre	(soft) init'ed(this.timeout)
post	return_value != null
post	this.lastUpdateTime == One-of{old this. lastUpdateTime, &new ExpiringCacheEntry(getLast Modified#2)}
post	this.lastUpdateTime != null
post	new Date(getLastModified#1) num objects <= 1
post	new ExpiringCacheEntry(getLastModified#2) num objects <= 1
test_vector	this.lastUpdateTime: Addr_Set{null}, Inverse{null}

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

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

method	String generateKey(WeblogPageRequest)
pre	pageRequest != null
pre	pageRequest.customParams != null
pre	init'ed(pageRequest.locale)
pre	init'ed(pageRequest.weblogAnchor)
pre	init'ed(pageRequest.weblogHandle)
pre	(soft) init'ed(pageRequest.authenticUser)
pre	(soft) init'ed(pageRequest.context)
pre	(soft) init'ed(pageRequest.pageNum)
pre	(soft) init'ed(pageRequest.tags)
pre	(soft) init'ed(pageRequest.weblogCategoryName)
pre	(soft) init'ed(pageRequest.weblogDate)
pre	(soft) init'ed(pageRequest.weblogPageName)
presumption	java.util.Set:size(...)@236 >= 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(...)@232: {0}, {1}
test_vector	java.util.List:size(...)@234: {-2³¹..0}, {1..2³²-1}
test_vector	java.util.Map:size(...)@257: {-2³¹..0}, {1..2³²-1}

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

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.List:size(...)@311 >= 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(...)@310: {-2³¹..0}, {1..2³²-1}

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

method	void invalidate(WeblogEntry)
pre	init'ed(this.cacheEnabled)
pre	(soft) this.contentCache != null
post	this.lastUpdateTime == One-of{old this. lastUpdateTime, null}
test_vector	this.cacheEnabled: {1}, {0}

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

method	void invalidate(Weblog)
pre	init'ed(this.cacheEnabled)
pre	(soft) this.contentCache != null
post	this.lastUpdateTime == One-of{old this. lastUpdateTime, null}
test_vector	this.cacheEnabled: {1}, {0}

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

method	void invalidate(WeblogBookmark)
pre	bookmark != null
pre	(soft) init'ed(this.cacheEnabled)
pre	(soft) this.contentCache != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmark:ge tWebsite(...)@350 != null
post	this.lastUpdateTime == One-of{old this. lastUpdateTime, null}
unanalyzed	call on org.apache.roller.weblogger.util.cache. Cache:clear
test_vector	org.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@350: {0}, {1}

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogBookmark:getWebsite()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()

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

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogBookmark:getWebsite()

method	void invalidate(WeblogBookmarkFolder)
pre	folder != null
pre	(soft) init'ed(this.cacheEnabled)
pre	(soft) this.contentCache != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getWebsite(...)@360 != null
post	this.lastUpdateTime == One-of{old this. lastUpdateTime, null}
unanalyzed	call on org.apache.roller.weblogger.util.cache. Cache:clear
test_vector	org.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@360: {0}, {1}

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getWebsite()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()

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

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogBookmarkFolder:getWebsite()

method	void invalidate(WeblogEntryComment)
pre	comment != null
pre	(soft) init'ed(this.cacheEnabled)
pre	(soft) this.contentCache != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@370 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@370 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@371 != null
post	this.lastUpdateTime == One-of{old this. lastUpdateTime, null}
unanalyzed	call on org.apache.roller.weblogger.util.cache. Cache:clear
test_vector	org.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@370: {0}, {1}

info method not available -- call on WeblogEntry org.apache.roller.weblogger. pojos.WeblogEntryComment:getWeblogEntry()

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()

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

method

void invalidate(WeblogReferrer)

method

void invalidate(User)

method	void invalidate(WeblogCategory)
pre	category != null
pre	(soft) init'ed(this.cacheEnabled)
pre	(soft) this.contentCache != null
presumption	org.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@396 != null
post	this.lastUpdateTime == One-of{old this. lastUpdateTime, null}
unanalyzed	call on org.apache.roller.weblogger.util.cache. Cache:clear
test_vector	org.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@396: {0}, {1}

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()

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

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogCategory:getWebsite()

method	void invalidate(WeblogTemplate)
pre	template != null
pre	(soft) init'ed(this.cacheEnabled)
pre	(soft) this.contentCache != null
presumption	org.apache.roller.weblogger.pojos.WeblogTemplate:ge tWebsite(...)@406 != null
post	this.lastUpdateTime == One-of{old this. lastUpdateTime, null}
unanalyzed	call on org.apache.roller.weblogger.util.cache. Cache:clear
test_vector	org.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@406: {0}, {1}

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogTemplate:getWebsite()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()

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

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogTemplate:getWebsite()

method	String paramsToString(Map)
presumption	java.util.Map:keySet(...)@422 != null
presumption	value.length@425 >= 1
post	init'ed(return_value)
test_vector	map: Inverse{null}, Addr_Set{null}
test_vector	java.util.Iterator:hasNext(...)@423: {0}, {1}
test_vector	java.util.Map:get(...)@425: 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 Weblog org.apache.roller.weblogger. pojos.WeblogBookmark:getWebsite()
info	method not available	-- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()
info	method not available	-- call on bool org.apache.roller.weblogger.config. WebloggerRuntimeConfig:isSiteWideWeblog(String)

info	method not available	-- call on WeblogEntry org.apache.roller.weblogger. pojos.WeblogEntryComment:getWeblogEntry()
info	method not available	-- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()
info	method not available	-- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()
info	method not available	-- call on bool org.apache.roller.weblogger.config. WebloggerRuntimeConfig:isSiteWideWeblog(String)