Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering.util. cache.PlanetCache__static_init
presumption	org.apache.commons.logging.LogFactory:getLog(... )@44 != null
post	(soft) log != null
post	singletonInstance == &new PlanetCache(PlanetCac he__static_init#1)
post	new PlanetCache(PlanetCache__static_init#1) num objects == 1
post	init'ed(singletonInstance.cacheEnabled)
post	init'ed(singletonInstance.contentCache)
post	singletonInstance.lastUpdateTime == null
post	singletonInstance.timeout in -9_223_372_036_854_775 _000..18_446_744_073_709_551_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
unanalyzed	call on java.lang.Long:parseLong
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

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

method	void org.apache.roller.weblogger.ui.rendering. util.cache.PlanetCache()
pre	log != null
presumption	java.lang.Long:parseLong(...)@91 in -9_223_372_036_854_775..18_446_744_073_709_551
presumption	java.lang.String:length(...)@75 <= 2³²-2
presumption	java.util.Enumeration:nextElement(...)@71 != null
presumption	org.apache.roller.weblogger.config.WebloggerConfig: keys(...)@68 != null
post	init'ed(this.cacheEnabled)
post	init'ed(this.contentCache)
post	this.lastUpdateTime == null
post	this.timeout in -9_223_372_036_854_775_000.. 18_446_744_073_709_551_000
test_vector	java.lang.String:startsWith(...)@74: {0}, {1}
test_vector	java.util.Enumeration:hasMoreElements(...)@70: {0}, {1}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@64: {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)

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

method	PlanetCache 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(.. .)@109: 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) log != null
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()

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because lastModified == null

Prev Msg Next Msg

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

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

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.authenticUser)
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.authenticUser: Addr_Set{null}, Inverse{null}
test_vector	planetRequest.excerpts: {0}, {1}
test_vector	planetRequest.flavor: Addr_Set{null}, Inverse{null}
test_vector	planetRequest.group: Addr_Set{null}, Inverse{null}