| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.clientHistoryCache.hits) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.clientHistoryCache.misses) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.threshold) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.clientHistoryCache != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.clientHistoryCache.cache != null | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.clientHistoryCache.hits) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.clientHistoryCache.misses) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | 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} | 2009-09-04 18:33:31 |
| + | post | this.clientHistoryCache.misses == One-of{old this.clientHistoryCache.misses, old this.clientHistoryCache.misses + 1} | 2009-09-04 18:33:31 |
| + | 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} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.System:currentTimeMillis | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:remove | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on remove | 2009-09-04 18:33:31 |
| + | test_vector | clientId: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) org/apache/roller/weblogger/util/cache/Cache Manager.cacheFactory != null | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/util/cache/Cache Manager.cacheHandlers != null | 2009-09-04 18:33:31 |
| + | pre | org/apache/roller/weblogger/util/cache/CacheManager .caches != null | 2009-09-04 18:33:31 |
| + | pre | org/apache/roller/weblogger/util/cache/CacheManager .log != null | 2009-09-04 18:33:31 |
| + | post | init'ed(new Date(LRUCacheImpl#1) num objects) | 2009-09-04 18:33:31 |
| + | post | init'ed(new ExpiringLRUCacheImpl(constructCache#1*) num objects) | 2009-09-04 18:33:31 |
| + | post | init'ed(new LRUCacheImpl(constructCache#1*) num objects) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).cache) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).hits) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).id) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).misses) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).puts) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).removes) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).startTime) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).timeout) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(new LRUCacheImpl(constructCache#1* ).cache) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(new LRUCacheImpl(constructCache#1* ).hits) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(new LRUCacheImpl(constructCache#1* ).id) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(new LRUCacheImpl(constructCache#1* ).misses) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(new LRUCacheImpl(constructCache#1* ).puts) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(new LRUCacheImpl(constructCache#1* ).removes) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(new LRUCacheImpl(constructCache#1* ).startTime) | 2009-09-04 18:33:31 |
| + | post | this.clientHistoryCache != null | 2009-09-04 18:33:31 |
| + | post | this.interval == One-of{0, inter} | 2009-09-04 18:33:31 |
| + | post | this.interval >= 0 | 2009-09-04 18:33:31 |
| + | post | this.threshold == One-of{1, thresh} | 2009-09-04 18:33:31 |
| + | post | this.threshold >= 0 | 2009-09-04 18:33:31 |
| + | unanalyzed | call on constructCache | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Class:forName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Class:newInstance | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Integer:parseInt | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Long:parseLong | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Collections:synchronizedMap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Date | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.LinkedHashMap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:containsKey | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:add | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util.cache. LRUCacheImpl | 2009-09-04 18:33:31 |
| + | test_vector | inter: {-231..0}, {1..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | maxEntries: {0..232-1}, {-231.. -1} | 2009-09-04 18:33:31 |
| + | test_vector | thresh: {-231..-1}, {0..232-1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.clientHistoryCache.hits) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.clientHistoryCache.misses) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.clientHistoryCache.puts) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.interval) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.threshold) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.clientHistoryCache != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.clientHistoryCache.cache != null | 2009-09-04 18:33:31 |
| + | presumption | client.hits@93 <= 232-2 | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.clientHistoryCache.hits) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.clientHistoryCache.misses) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.clientHistoryCache.puts) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | 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} | 2009-09-04 18:33:31 |
| + | post | this.clientHistoryCache.misses == One-of{old this.clientHistoryCache.misses, old this.clientHistoryCache.misses + 1} | 2009-09-04 18:33:31 |
| + | post | this.clientHistoryCache.puts == One-of{old this.clientHistoryCache.puts, old this. clientHistoryCache.puts + 1} | 2009-09-04 18:33:31 |
| + | 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} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.System:currentTimeMillis | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Date | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:remove | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on remove | 2009-09-04 18:33:31 |
| + | test_vector | clientId: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |