SiteWideCache.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
    +pre(soft) log != null2009-09-04 18:33:31
    +pre(soft) this.contentCache != null2009-09-04 18:33:31
    +preinit'ed(this.cacheEnabled)2009-09-04 18:33:31
    +postthis.lastUpdateTime == One-of{old this. lastUpdateTime, null}2009-09-04 18:33:31
    +test_vectorthis.cacheEnabled: {1}, {0}2009-09-04 18:33:31

  • + String generateKey(WeblogFeedRequest)

    • -/+ Kind Annotation Text Date
    +prefeedRequest != null2009-09-04 18:33:31
    +preinit'ed(feedRequest.excerpts)2009-09-04 18:33:31
    +preinit'ed(feedRequest.format)2009-09-04 18:33:31
    +preinit'ed(feedRequest.locale)2009-09-04 18:33:31
    +preinit'ed(feedRequest.tags)2009-09-04 18:33:31
    +preinit'ed(feedRequest.type)2009-09-04 18:33:31
    +preinit'ed(feedRequest.weblogCategoryName)2009-09-04 18:33:31
    +preinit'ed(feedRequest.weblogHandle)2009-09-04 18:33:31
    +presumptionjava.util.List:size(...)@311 >= 02009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuffer:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31
    +test_vectorfeedRequest.excerpts: {0}, {1}2009-09-04 18:33:31
    +test_vectorfeedRequest.locale: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorfeedRequest.tags: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorfeedRequest.weblogCategoryName: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjava.util.List:size(...)@310: {-231..0}, {1..232-1}2009-09-04 18:33:31

  • + String generateKey(WeblogPageRequest)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(pageRequest.authenticUser)2009-09-04 18:33:31
    +pre(soft) init'ed(pageRequest.context)2009-09-04 18:33:31
    +pre(soft) init'ed(pageRequest.pageNum)2009-09-04 18:33:31
    +pre(soft) init'ed(pageRequest.tags)2009-09-04 18:33:31
    +pre(soft) init'ed(pageRequest.weblogCategoryName)2009-09-04 18:33:31
    +pre(soft) init'ed(pageRequest.weblogDate)2009-09-04 18:33:31
    +pre(soft) init'ed(pageRequest.weblogPageName)2009-09-04 18:33:31
    +preinit'ed(pageRequest.locale)2009-09-04 18:33:31
    +preinit'ed(pageRequest.weblogAnchor)2009-09-04 18:33:31
    +preinit'ed(pageRequest.weblogHandle)2009-09-04 18:33:31
    +prepageRequest != null2009-09-04 18:33:31
    +prepageRequest.customParams != null2009-09-04 18:33:31
    +presumptionjava.util.Set:size(...)@236 >= 02009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuffer:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:getBytes2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:get2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:keySet2009-09-04 18:33:31
    +unanalyzedcall on java.util.Set:iterator2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. Utilities:toBase642009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@232: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.List:size(...)@234: {-231..0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorjava.util.Map:size(...)@257: {-231..0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorpageRequest.locale: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorpageRequest.tags: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorpageRequest.weblogAnchor: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorpageRequest.weblogCategoryName: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorpageRequest.weblogDate: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorpageRequest.weblogPageName: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + Object get(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) log != null2009-09-04 18:33:31
    +pre(soft) this.contentCache != null2009-09-04 18:33:31
    +preinit'ed(this.cacheEnabled)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.util.cache.Cache:get(.. .)@113: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31
    +test_vectorthis.cacheEnabled: {1}, {0}2009-09-04 18:33:31

  • + SiteWideCache getInstance()

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

  • + Date getLastModified()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.timeout)2009-09-04 18:33:31
    +preinit'ed(this.lastUpdateTime)2009-09-04 18:33:31
    +postnew Date(getLastModified#1) num objects <= 12009-09-04 18:33:31
    +postnew ExpiringCacheEntry(getLastModified#2) num objects <= 12009-09-04 18:33:31
    +postreturn_value != null2009-09-04 18:33:31
    +postthis.lastUpdateTime != null2009-09-04 18:33:31
    +postthis.lastUpdateTime == One-of{old this. lastUpdateTime, &new ExpiringCacheEntry(getLast Modified#2)}2009-09-04 18:33:31
    +test_vectorthis.lastUpdateTime: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void invalidate(User)

    • -/+ Kind Annotation Text Date

  • + void invalidate(Weblog)

    • -/+ Kind Annotation Text Date
    +pre(soft) this.contentCache != null2009-09-04 18:33:31
    +preinit'ed(this.cacheEnabled)2009-09-04 18:33:31
    +postthis.lastUpdateTime == One-of{old this. lastUpdateTime, null}2009-09-04 18:33:31
    +test_vectorthis.cacheEnabled: {1}, {0}2009-09-04 18:33:31

  • + void invalidate(WeblogBookmark)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.cacheEnabled)2009-09-04 18:33:31
    +pre(soft) this.contentCache != null2009-09-04 18:33:31
    +prebookmark != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogBookmark:ge tWebsite(...)@350 != null2009-09-04 18:33:31
    +postthis.lastUpdateTime == One-of{old this. lastUpdateTime, null}2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util.cache. Cache:clear2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@350: {0}, {1}2009-09-04 18:33:31

  • + void invalidate(WeblogBookmarkFolder)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.cacheEnabled)2009-09-04 18:33:31
    +pre(soft) this.contentCache != null2009-09-04 18:33:31
    +prefolder != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getWebsite(...)@360 != null2009-09-04 18:33:31
    +postthis.lastUpdateTime == One-of{old this. lastUpdateTime, null}2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util.cache. Cache:clear2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@360: {0}, {1}2009-09-04 18:33:31

  • + void invalidate(WeblogCategory)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.cacheEnabled)2009-09-04 18:33:31
    +pre(soft) this.contentCache != null2009-09-04 18:33:31
    +precategory != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tWebsite(...)@396 != null2009-09-04 18:33:31
    +postthis.lastUpdateTime == One-of{old this. lastUpdateTime, null}2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util.cache. Cache:clear2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@396: {0}, {1}2009-09-04 18:33:31

  • + void invalidate(WeblogEntry)

    • -/+ Kind Annotation Text Date
    +pre(soft) this.contentCache != null2009-09-04 18:33:31
    +preinit'ed(this.cacheEnabled)2009-09-04 18:33:31
    +postthis.lastUpdateTime == One-of{old this. lastUpdateTime, null}2009-09-04 18:33:31
    +test_vectorthis.cacheEnabled: {1}, {0}2009-09-04 18:33:31

  • + void invalidate(WeblogEntryComment)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.cacheEnabled)2009-09-04 18:33:31
    +pre(soft) this.contentCache != null2009-09-04 18:33:31
    +precomment != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@370 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@370 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@371 != null2009-09-04 18:33:31
    +postthis.lastUpdateTime == One-of{old this. lastUpdateTime, null}2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util.cache. Cache:clear2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@370: {0}, {1}2009-09-04 18:33:31

  • + void invalidate(WeblogReferrer)

    • -/+ Kind Annotation Text Date

  • + void invalidate(WeblogTemplate)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.cacheEnabled)2009-09-04 18:33:31
    +pre(soft) this.contentCache != null2009-09-04 18:33:31
    +pretemplate != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogTemplate:ge tWebsite(...)@406 != null2009-09-04 18:33:31
    +postthis.lastUpdateTime == One-of{old this. lastUpdateTime, null}2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util.cache. Cache:clear2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@406: {0}, {1}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache()

    • -/+ Kind Annotation Text Date
    +prelog != null2009-09-04 18:33:31
    +presumptionjava.lang.String:length(...)@88 <= 232-22009-09-04 18:33:31
    +presumptionjava.util.Enumeration:nextElement(...)@84 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.config.WebloggerConfig: keys(...)@81 != null2009-09-04 18:33:31
    +postinit'ed(this.cacheEnabled)2009-09-04 18:33:31
    +postinit'ed(this.contentCache)2009-09-04 18:33:31
    +postthis.lastUpdateTime == null2009-09-04 18:33:31
    +postthis.timeout == 900_0002009-09-04 18:33:31
    +test_vectorjava.lang.String:startsWith(...)@87: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Enumeration:hasMoreElements(...)@83: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@77: {0}, {1}2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.rendering.util.cache.SiteWideCache__static_init

    • -/+ Kind Annotation Text Date
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@57 != null2009-09-04 18:33:31
    +post(soft) log != null2009-09-04 18:33:31
    +postinit'ed(singletonInstance.cacheEnabled)2009-09-04 18:33:31
    +postinit'ed(singletonInstance.contentCache)2009-09-04 18:33:31
    +postnew SiteWideCache(SiteWideCache__static_init#1) num objects == 12009-09-04 18:33:31
    +postsingletonInstance == &new SiteWideCache(SiteWid eCache__static_init#1)2009-09-04 18:33:31
    +postsingletonInstance.lastUpdateTime == null2009-09-04 18:33:31
    +postsingletonInstance.timeout == 900_0002009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:startsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on java.util.Enumeration:hasMoreElements2009-09-04 18:33:31
    +unanalyzedcall on java.util.Enumeration:nextElement2009-09-04 18:33:31
    +unanalyzedcall on java.util.HashMap2009-09-04 18:33:31
    +unanalyzedcall on java.util.Map:put2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:info2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:warn2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.config. WebloggerConfig:getProperty2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.config. WebloggerConfig:keys2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util.cache. CacheManager:constructCache2009-09-04 18:33:31

  • + String paramsToString(Map)

    • -/+ Kind Annotation Text Date
    +presumptionjava.util.Map:keySet(...)@422 != null2009-09-04 18:33:31
    +presumptionvalue.length@425 >= 12009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@423: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Map:get(...)@425: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectormap: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + void put(String, Object)

    • -/+ Kind Annotation Text Date
    +pre(soft) log != null2009-09-04 18:33:31
    +pre(soft) this.contentCache != null2009-09-04 18:33:31
    +preinit'ed(this.cacheEnabled)2009-09-04 18:33:31
    +test_vectorthis.cacheEnabled: {1}, {0}2009-09-04 18:33:31

  • + void remove(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) log != null2009-09-04 18:33:31
    +pre(soft) this.contentCache != null2009-09-04 18:33:31
    +preinit'ed(this.cacheEnabled)2009-09-04 18:33:31
    +test_vectorthis.cacheEnabled: {1}, {0}2009-09-04 18:33:31