LRUCacheImpl.java


current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + void clear()

  • -/+ Kind Annotation Text Date
    +prethis.cache != null2009-09-04 18:33:31
    +postnew Date(clear#1) num objects == 12009-09-04 18:33:31
    +postthis.hits == +02009-09-04 18:33:31
    +postthis.misses == +02009-09-04 18:33:31
    +postthis.puts == +02009-09-04 18:33:31
    +postthis.removes == +02009-09-04 18:33:31
    +postthis.startTime == &new Date(clear#1)2009-09-04 18:33:31

  • + Object get(String)

  • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.hits)2009-09-04 18:33:31
    +pre(soft) init'ed(this.misses)2009-09-04 18:33:31
    +prethis.cache != null2009-09-04 18:33:31
    +post(soft) init'ed(this.hits)2009-09-04 18:33:31
    +post(soft) init'ed(this.misses)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postthis.hits == One-of{old this.hits, old this.hits + 1}2009-09-04 18:33:31
    +postthis.misses == One-of{old this.misses + 1, old this.misses}2009-09-04 18:33:31
    +test_vectorjava.util.Map:get(...)@82: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String getId()

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.id)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.id2009-09-04 18:33:31

  • + Map getStats()

  • -/+ Kind Annotation Text Date
    +pre(soft) this.hits + this.misses != +02009-09-04 18:33:31
    +preinit'ed(this.hits)2009-09-04 18:33:31
    +preinit'ed(this.misses)2009-09-04 18:33:31
    +preinit'ed(this.puts)2009-09-04 18:33:31
    +preinit'ed(this.removes)2009-09-04 18:33:31
    +preinit'ed(this.startTime)2009-09-04 18:33:31
    +postnew HashMap(getStats#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new HashMap(getStats#1)2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.util.cache.LRUCacheImpl$LRULinkedHashMap(int)

  • -/+ Kind Annotation Text Date
    +premaxsize in -1_610_612_737..3_221_225_4712009-09-04 18:33:31
    +postthis.maxsize == maxsize2009-09-04 18:33:31
    +postthis.maxsize in -1_610_612_737..3_221_225_4712009-09-04 18:33:31

  • + org.apache.roller.weblogger.util.cache.LRUCacheImpl$LRULinkedHashMap__static_init

  • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.util.cache.LRUCacheImpl(String)

  • -/+ Kind Annotation Text Date
    +postinit'ed(this.cache)2009-09-04 18:33:31
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postnew Date(LRUCacheImpl#1) num objects == 12009-09-04 18:33:31
    +postthis.hits == +02009-09-04 18:33:31
    +postthis.id == id2009-09-04 18:33:31
    +postthis.misses == +02009-09-04 18:33:31
    +postthis.puts == +02009-09-04 18:33:31
    +postthis.removes == +02009-09-04 18:33:31
    +postthis.startTime == &new Date(LRUCacheImpl#1)2009-09-04 18:33:31
    +unanalyzedcall on java.util.LinkedHashMap2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.util.cache.LRUCacheImpl(String, int)

  • -/+ Kind Annotation Text Date
    +premaxsize in -1_610_612_737..3_221_225_4712009-09-04 18:33:31
    +postinit'ed(this.cache)2009-09-04 18:33:31
    +postinit'ed(this.id)2009-09-04 18:33:31
    +postnew Date(LRUCacheImpl#1) num objects == 12009-09-04 18:33:31
    +postthis.hits == +02009-09-04 18:33:31
    +postthis.id == id2009-09-04 18:33:31
    +postthis.misses == +02009-09-04 18:33:31
    +postthis.puts == +02009-09-04 18:33:31
    +postthis.removes == +02009-09-04 18:33:31
    +postthis.startTime == &new Date(LRUCacheImpl#1)2009-09-04 18:33:31
    +unanalyzedcall on java.util.LinkedHashMap2009-09-04 18:33:31

  • + org.apache.roller.weblogger.util.cache.LRUCacheImpl__static_init

  • -/+ Kind Annotation Text Date
    +postinit'ed(log)2009-09-04 18:33:31

  • + void put(String, Object)

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.puts)2009-09-04 18:33:31
    +prethis.cache != null2009-09-04 18:33:31
    +postinit'ed(this.puts)2009-09-04 18:33:31
    +postthis.puts == old this.puts + 12009-09-04 18:33:31

  • + void remove(String)

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.removes)2009-09-04 18:33:31
    +prethis.cache != null2009-09-04 18:33:31
    +postinit'ed(this.removes)2009-09-04 18:33:31
    +postthis.removes == old this.removes + 12009-09-04 18:33:31

  • + bool removeEldestEntry(Map$Entry)

  • -/+ Kind Annotation Text Date
    +preinit'ed(this.maxsize)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31