Messages

method

org.apache.roller.weblogger.util.GenericThrottle$1 __static_init

method

org.apache.roller.weblogger.util.GenericThrottle$C lientInfo__static_init

method	org.apache.roller.weblogger.util.GenericThrottle__ static_init
post	init'ed(log)

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

method	void org.apache.roller.weblogger.util. GenericThrottle(int, int, int)
pre	org/apache/roller/weblogger/util/cache/CacheManager .caches != null
pre	org/apache/roller/weblogger/util/cache/CacheManager .log != null
pre	(soft) org/apache/roller/weblogger/util/cache/Cache Manager.cacheFactory != null
pre	(soft) org/apache/roller/weblogger/util/cache/Cache Manager.cacheHandlers != null
post	this.clientHistoryCache != null
post	this.interval == One-of{0, inter}
post	this.interval >= 0
post	this.threshold == One-of{1, thresh}
post	this.threshold >= 0
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.lang.Class:forName
unanalyzed	call on java.lang.Class:newInstance
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.Set:add
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:parseInt
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 java.lang.Long:parseLong
unanalyzed	call on constructCache
unanalyzed	call on java.util.Map:put
test_vector	inter: {-2³¹..0}, {1..2³²-1}
test_vector	maxEntries: {0..2³²-1}, {-2³¹.. -1}
test_vector	thresh: {-2³¹..-1}, {0..2³²-1}

method	bool processHit(String)
pre	(soft) log != null
pre	(soft) init'ed(this.clientHistoryCache.hits)
pre	(soft) init'ed(this.clientHistoryCache.misses)
pre	(soft) init'ed(this.clientHistoryCache.puts)
pre	(soft) this.clientHistoryCache != null
pre	(soft) this.clientHistoryCache.cache != null
pre	(soft) init'ed(this.interval)
pre	(soft) init'ed(this.threshold)
presumption	client.hits@93 <= 2³²-2
post	init'ed(return_value)
post	this.clientHistoryCache.hits == One-of{old this.clientHistoryCache.hits, old this. clientHistoryCache.hits + 1, One-of{old this.clientHistoryCache.hits, old this. clientHistoryCache.hits + 1} - 1}
post	(soft) init'ed(this.clientHistoryCache.hits)
post	this.clientHistoryCache.misses == One-of{old this.clientHistoryCache.misses, old this.clientHistoryCache.misses + 1}
post	(soft) init'ed(this.clientHistoryCache.misses)
post	this.clientHistoryCache.puts == One-of{old this.clientHistoryCache.puts, old this. clientHistoryCache.puts + 1}
post	(soft) init'ed(this.clientHistoryCache.puts)
post	this.clientHistoryCache.removes == One-of{old this.clientHistoryCache.removes, old this.clientHistoryCache.removes + 1, One-of{old this.clientHistoryCache.removes, old this.clientHistoryCache.removes + 1} + 1}
unanalyzed	call on java.util.Map:get
unanalyzed	call on get
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on remove
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Map:put
unanalyzed	call on put
test_vector	clientId: Inverse{null}, Addr_Set{null}

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

method	bool isAbusive(String)
pre	(soft) log != null
pre	(soft) init'ed(this.clientHistoryCache.hits)
pre	(soft) init'ed(this.clientHistoryCache.misses)
pre	(soft) this.clientHistoryCache != null
pre	(soft) this.clientHistoryCache.cache != null
pre	(soft) init'ed(this.threshold)
post	init'ed(return_value)
post	this.clientHistoryCache.hits == One-of{old this.clientHistoryCache.hits, old this. clientHistoryCache.hits + 1, One-of{old this.clientHistoryCache.hits, old this. clientHistoryCache.hits + 1} - 1}
post	(soft) init'ed(this.clientHistoryCache.hits)
post	this.clientHistoryCache.misses == One-of{old this.clientHistoryCache.misses, old this.clientHistoryCache.misses + 1}
post	(soft) init'ed(this.clientHistoryCache.misses)
post	this.clientHistoryCache.removes == One-of{old this.clientHistoryCache.removes, old this.clientHistoryCache.removes + 1, One-of{old this.clientHistoryCache.removes, old this.clientHistoryCache.removes + 1} + 1}
unanalyzed	call on java.util.Map:get
unanalyzed	call on get
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on remove
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:remove
test_vector	clientId: Inverse{null}, Addr_Set{null}

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

method	void org.apache.roller.weblogger.util. GenericThrottle$ClientInfo(GenericThrottle)
post	this.hits == 0
post	this.id == null
post	this.start == &new Date(GenericThrottle$ClientI nfo#1)
post	new Date(GenericThrottle$ClientInfo#1) num objects == 1

method	void org.apache.roller.weblogger.util. GenericThrottle$ClientInfo(GenericThrottle, GenericThrottle$1)
post	this.hits == 0
post	this.id == null
post	this.start == &new Date(GenericThrottle$ClientI nfo#1)
post	new Date(GenericThrottle$ClientInfo#1) num objects == 1
unanalyzed	call on java.util.Date