Messages

Last Msg First Msg

method	org.apache.roller.weblogger.util.cache. CacheManager__static_init
presumption	java.lang.Class:forName(...)@82 != null
presumption	java.lang.Class:forName(...)@95 != null
presumption	java.lang.Object:getClass(...)@103 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@61 != null
post	" falling back on default"._tainted == 0
post	"Cache Factory = "._tainted == 0
post	"Unable to instantiate cache factory ["._tainted == 0
post	"Unable to instantiate cache handler ["._tainted == 0
post	"]"._tainted == 0
post	cacheFactory != null
post	cacheHandlers == &new HashSet(CacheManager__ static_init#1)
post	caches == &new HashMap(CacheManager__static_ init#2)
post	(soft) log != null
post	new HashMap(CacheManager__static_init#2) num objects == 1
post	new HashSet(CacheManager__static_init#1) num objects == 1
test_vector	java.lang.String:length(...)@108: {0}, {1..2³²-1}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@107: Addr_Set{null}, Inverse{null}

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

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:error(Object, Throwable)

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

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

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(cHandlers. length)

+

warning

test always goes same way test predetermined because i == cHandlers.length

info dead code continues dead code continues

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because i == cHandlers.length

info dead code continues dead code continues

Prev Msg Next Msg

info dead code continues dead code continues

method

void org.apache.roller.weblogger.util.cache. CacheManager()

method	Cache constructCache(CacheHandler, Map)
pre	caches != null
pre	log != null
pre	properties != null
pre	(soft) cacheFactory != null
pre	(soft) cacheHandlers != null
presumption	java.lang.Class:forName(...)@164 != null
post	return_value != null
post	init'ed(new Date(LRUCacheImpl#1) num objects)
post	init'ed(new ExpiringLRUCacheImpl(constructCache#1*) num objects)
post	possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).cache)
post	possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).hits)
post	possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).id)
post	possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).misses)
post	possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).puts)
post	possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).removes)
post	possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).startTime)
post	possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).timeout)
post	init'ed(new LRUCacheImpl(constructCache#1*) num objects)
post	possibly_updated(new LRUCacheImpl(constructCache#1* ).cache)
post	possibly_updated(new LRUCacheImpl(constructCache#1* ).hits)
post	possibly_updated(new LRUCacheImpl(constructCache#1* ).id)
post	possibly_updated(new LRUCacheImpl(constructCache#1* ).misses)
post	possibly_updated(new LRUCacheImpl(constructCache#1* ).puts)
post	possibly_updated(new LRUCacheImpl(constructCache#1* ).removes)
post	possibly_updated(new LRUCacheImpl(constructCache#1* ).startTime)
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.LinkedHashMap
unanalyzed	call on java.util.Collections:synchronizedMap
unanalyzed	call on org.apache.roller.weblogger.util.cache. LRUCacheImpl
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.Long:parseLong
test_vector	handler: Addr_Set{null}, Inverse{null}
test_vector	java.util.Map:containsKey(...)@158: {0}, {1}

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

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because properties != null

Prev Msg Next Msg

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

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because cache != null

Prev Msg Next Msg

method	void registerHandler(CacheHandler)
pre	log != null
pre	(soft) cacheHandlers != null
test_vector	handler: Addr_Set{null}, Inverse{null}

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

method	void invalidate(WeblogEntry)
pre	cacheHandlers != null
pre	entry != null
pre	log != null
presumption	java.util.Iterator:next(...)@223 != null
test_vector	java.util.Iterator:hasNext(...)@222: {0}, {1}

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

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

info method not available -- call on void invalidate(WeblogEntry)

method	void invalidate(Weblog)
pre	cacheHandlers != null
pre	log != null
pre	website != null
presumption	java.util.Iterator:next(...)@234 != null
test_vector	java.util.Iterator:hasNext(...)@233: {0}, {1}

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

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

info method not available -- call on void invalidate(Weblog)

method	void invalidate(WeblogBookmark)
pre	bookmark != null
pre	cacheHandlers != null
pre	log != null
presumption	java.util.Iterator:next(...)@245 != null
test_vector	java.util.Iterator:hasNext(...)@244: {0}, {1}

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

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

info method not available -- call on void invalidate(WeblogBookmark)

method	void invalidate(WeblogBookmarkFolder)
pre	cacheHandlers != null
pre	folder != null
pre	log != null
presumption	java.util.Iterator:next(...)@256 != null
test_vector	java.util.Iterator:hasNext(...)@255: {0}, {1}

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

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

info method not available -- call on void invalidate(WeblogBookmarkFolder)

method	void invalidate(WeblogEntryComment)
pre	cacheHandlers != null
pre	comment != null
pre	log != null
presumption	java.util.Iterator:next(...)@267 != null
test_vector	java.util.Iterator:hasNext(...)@266: {0}, {1}

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

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

info method not available -- call on void invalidate(WeblogEntryComment)

method	void invalidate(WeblogReferrer)
pre	cacheHandlers != null
pre	log != null
pre	referer != null
presumption	java.util.Iterator:next(...)@282 != null
test_vector	java.util.Iterator:hasNext(...)@281: {0}, {1}

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

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

info method not available -- call on void invalidate(WeblogReferrer)

method	void invalidate(User)
pre	cacheHandlers != null
pre	log != null
pre	user != null
presumption	java.util.Iterator:next(...)@293 != null
test_vector	java.util.Iterator:hasNext(...)@292: {0}, {1}

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

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

info method not available -- call on void invalidate(User)

method	void invalidate(WeblogCategory)
pre	cacheHandlers != null
pre	category != null
pre	log != null
presumption	java.util.Iterator:next(...)@304 != null
test_vector	java.util.Iterator:hasNext(...)@303: {0}, {1}

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

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

info method not available -- call on void invalidate(WeblogCategory)

method	void invalidate(WeblogTemplate)
pre	cacheHandlers != null
pre	log != null
pre	template != null
presumption	java.util.Iterator:next(...)@315 != null
test_vector	java.util.Iterator:hasNext(...)@314: {0}, {1}

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

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

info method not available -- call on void invalidate(WeblogTemplate)

method	void clear()
pre	caches != null
presumption	cache.cache@329 != null
presumption	java.util.Iterator:next(...)@329 != null
presumption	java.util.Map:values(...)@327 != null
post	init'ed(new Date(clear#1*) num objects)
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Map:clear
test_vector	java.util.Iterator:hasNext(...)@328: {0}, {1}

method	void clear(String)
pre	caches != null
presumption	cache.cache@341 != null
post	new Date(clear#1*) num objects <= 1
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Map:clear
test_vector	java.util.Map:get(...)@341: Addr_Set{null}, Inverse{null}

method	Map getStats()
pre	caches != null
presumption	cache.hits@363 + cache.misses@363 != +0
presumption	java.util.Iterator:next(...)@363 != null
presumption	java.util.Map:values(...)@361 != null
post	return_value == &new HashMap(getStats#1)
post	new HashMap(getStats#1) num objects == 1
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.lang.Double
test_vector	java.util.Iterator:hasNext(...)@362: {0}, {1}

method

void shutdown()

	info	method not available	-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getAnchor()
	info	method not available	-- call on void org.apache.commons.logging. Log:debug(Object)