LRUCache2.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


  • + Object get(Object)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.timeout)2009-09-04 18:33:31
    +pre(soft) this.environment != null2009-09-04 18:33:31
    +prethis.cache != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.System:currentTimeMillis2009-09-04 18:33:31
    +test_vectorjava.util.Map:get(...)@79: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + long getCurrentTimeInMillis()

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

  • + long getTimeCached()

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

  • + Object getValue()

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

  • + void org.apache.roller.weblogger.util.LRUCache2$CacheEntry(Object, long)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.timeCached)2009-09-04 18:33:31
    +postinit'ed(this.value)2009-09-04 18:33:31
    +postthis.timeCached == timeCached2009-09-04 18:33:31
    +postthis.value == value2009-09-04 18:33:31

  • + org.apache.roller.weblogger.util.LRUCache2$CacheEntry__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.util.LRUCache2$DefaultEnvironment()

    • -/+ Kind Annotation Text Date

  • + org.apache.roller.weblogger.util.LRUCache2$DefaultEnvironment__static_init

    • -/+ Kind Annotation Text Date

  • + org.apache.roller.weblogger.util.LRUCache2$Environment__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.util.LRUCache2$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.LRUCache2$LRULinkedHashMap__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.util.LRUCache2(int, long)

    • -/+ Kind Annotation Text Date
    +premaxsize in -1_610_612_737..3_221_225_4712009-09-04 18:33:31
    +postinit'ed(this.timeout)2009-09-04 18:33:31
    +postnew LRUCache2$DefaultEnvironment(LRUCache2#1) num objects == 12009-09-04 18:33:31
    +postnew LRUCache2$LRULinkedHashMap(LRUCache2#2) num objects == 12009-09-04 18:33:31
    +postthis.cache == &new LRUCache2$LRULinkedHashMap(L RUCache2#2)2009-09-04 18:33:31
    +postthis.cache.maxsize == maxsize2009-09-04 18:33:31
    +postthis.cache.maxsize in -1_610_612_737.. 3_221_225_4712009-09-04 18:33:31
    +postthis.environment == &new LRUCache2$DefaultEnvir onment(LRUCache2#1)2009-09-04 18:33:31
    +postthis.timeout == timeout2009-09-04 18:33:31
    +unanalyzedcall on java.util.LinkedHashMap2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.util.LRUCache2(LRUCache2$Environment, int, long)

    • -/+ Kind Annotation Text Date
    +premaxsize in -1_610_612_737..3_221_225_4712009-09-04 18:33:31
    +postinit'ed(this.environment)2009-09-04 18:33:31
    +postinit'ed(this.timeout)2009-09-04 18:33:31
    +postnew LRUCache2$LRULinkedHashMap(LRUCache2#1) num objects == 12009-09-04 18:33:31
    +postthis.cache == &new LRUCache2$LRULinkedHashMap(L RUCache2#1)2009-09-04 18:33:31
    +postthis.cache.maxsize == maxsize2009-09-04 18:33:31
    +postthis.cache.maxsize in -1_610_612_737.. 3_221_225_4712009-09-04 18:33:31
    +postthis.environment == environment2009-09-04 18:33:31
    +postthis.timeout == timeout2009-09-04 18:33:31
    +unanalyzedcall on java.util.LinkedHashMap2009-09-04 18:33:31

  • + org.apache.roller.weblogger.util.LRUCache2__static_init

    • -/+ Kind Annotation Text Date

  • + void purge()

    • -/+ Kind Annotation Text Date
    +prethis.cache != null2009-09-04 18:33:31

  • + void purge(String[])

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(patterns[...])2009-09-04 18:33:31
    +pre(soft) patterns != null2009-09-04 18:33:31
    +pre(soft) patterns.length <= 232-12009-09-04 18:33:31
    +prethis.cache != null2009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@106 != null2009-09-04 18:33:31
    +presumptionjava.util.Map:keySet(...)@103 != null2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@109: {-1}, {-231..-2, 0..232-1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@104: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@117: {0}, {1}2009-09-04 18:33:31

  • + void put(Object, Object)

    • -/+ Kind Annotation Text Date
    +prethis.cache != null2009-09-04 18:33:31
    +prethis.environment != null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.System:currentTimeMillis2009-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

  • + int size()

    • -/+ Kind Annotation Text Date
    +prethis.cache != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31