contentcache.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

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


  • BlogEntry getBlogEntry(Blog, String)

    • -/+ Kind Annotation Text Date
    +preblog != null2010-07-22 12:56:56
    +preinit'ed(blog.id)2010-07-22 12:56:56
    +prethis.cache != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56
    +test_vectornet.sf.ehcache.Cache:get(...)@86: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • String getCompositeKeyForBlogEntry(Blog, String)

    • -/+ Kind Annotation Text Date
    +preblog != null2010-07-22 12:56:56
    +preinit'ed(blog.id)2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56

  • String getCompositeKeyForBlogEntry(BlogEntry)

    • -/+ Kind Annotation Text Date
    +preblogEntry != null2010-07-22 12:56:56
    +preblogEntry.blog != null2010-07-22 12:56:56
    +preinit'ed(blogEntry.blog.id)2010-07-22 12:56:56
    +preinit'ed(blogEntry.id)2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56

  • String getCompositeKeyForStaticPage(Blog, String)

    • -/+ Kind Annotation Text Date
    +preblog != null2010-07-22 12:56:56
    +preinit'ed(blog.id)2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56

  • String getCompositeKeyForStaticPage(StaticPage)

    • -/+ Kind Annotation Text Date
    +preinit'ed(staticPage.blog.id)2010-07-22 12:56:56
    +preinit'ed(staticPage.id)2010-07-22 12:56:56
    +prestaticPage != null2010-07-22 12:56:56
    +prestaticPage.blog != null2010-07-22 12:56:56
    +postreturn_value != null2010-07-22 12:56:56
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56

  • ContentCache getInstance()

    • -/+ Kind Annotation Text Date
    +postreturn_value == &new ContentCache(ContentCache_ _static_init#1)2010-07-22 12:56:56

  • StaticPage getStaticPage(Blog, String)

    • -/+ Kind Annotation Text Date
    +preblog != null2010-07-22 12:56:56
    +preinit'ed(blog.id)2010-07-22 12:56:56
    +prethis.cache != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56
    +test_vectornet.sf.ehcache.Cache:get(...)@113: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • void net.sourceforge.pebble.ContentCache()

    • -/+ Kind Annotation Text Date
    +prenet/sourceforge/pebble/domain/BlogManager.instance != null2010-07-22 12:56:56
    +prenet/sourceforge/pebble/domain/BlogManager.instance. blogs != null2010-07-22 12:56:56
    +presumptionnet.sf.ehcache.Cache:getCacheConfiguration(...)@72 != null2010-07-22 12:56:56
    +presumptionnet.sf.ehcache.CacheManager:getCache(...)@66 != null2010-07-22 12:56:56
    +presumptionnet.sf.ehcache.config.CacheConfiguration:getMaxElem entsInMemory(...)@72*getNumberOfBlogs(...)@72 in range2010-07-22 12:56:56
    +presumptionnet.sf.ehcache.config.CacheConfiguration:getMaxElem entsInMemory(...)@72*java.util.Map:size(...)@237 in -231..232-12010-07-22 12:56:56
    +post(soft) this.cache != null2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:size2010-07-22 12:56:56

  • net.sourceforge.pebble.ContentCache__static_init

    • -/+ Kind Annotation Text Date
    +prenet/sourceforge/pebble/domain/BlogManager.instance != null2010-07-22 12:56:56
    +prenet/sourceforge/pebble/domain/BlogManager.instance. blogs != null2010-07-22 12:56:56
    +presumptionnet.sf.ehcache.CacheManager:getCache(...)@66 != null2010-07-22 12:56:56
    +postinit'ed(log)2010-07-22 12:56:56
    +postinstance == &new ContentCache(ContentCache__ static_init#1)2010-07-22 12:56:56
    +postinstance.cache != null2010-07-22 12:56:56
    +postnew ContentCache(ContentCache__static_init#1) num objects == 12010-07-22 12:56:56
    +unanalyzedcall on getInstance2010-07-22 12:56:56
    +unanalyzedcall on getNumberOfBlogs2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Class:getResource2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:size2010-07-22 12:56:56
    +unanalyzedcall on net.sf.ehcache.Cache:getCacheConfiguration2010-07-22 12:56:56
    +unanalyzedcall on net.sf.ehcache.CacheManager2010-07-22 12:56:56
    +unanalyzedcall on net.sf.ehcache.CacheManager:getCache2010-07-22 12:56:56
    +unanalyzedcall on net.sf.ehcache.config.CacheConfiguration:ge tMaxElementsInMemory2010-07-22 12:56:56
    +unanalyzedcall on net.sf.ehcache.config.CacheConfiguration:se tMaxElementsInMemory2010-07-22 12:56:56

  • void putBlogEntry(BlogEntry)

    • -/+ Kind Annotation Text Date
    +preblogEntry != null2010-07-22 12:56:56
    +preblogEntry.blog != null2010-07-22 12:56:56
    +preinit'ed(blogEntry.blog.id)2010-07-22 12:56:56
    +preinit'ed(blogEntry.id)2010-07-22 12:56:56
    +prethis.cache != null2010-07-22 12:56:56
    +unanalyzedcall on getBlog2010-07-22 12:56:56
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56

  • void putStaticPage(StaticPage)

    • -/+ Kind Annotation Text Date
    +preinit'ed(staticPage.blog.id)2010-07-22 12:56:56
    +preinit'ed(staticPage.id)2010-07-22 12:56:56
    +prestaticPage != null2010-07-22 12:56:56
    +prestaticPage.blog != null2010-07-22 12:56:56
    +prethis.cache != null2010-07-22 12:56:56
    +unanalyzedcall on getBlog2010-07-22 12:56:56
    +unanalyzedcall on getCompositeKeyForStaticPage2010-07-22 12:56:56
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56

  • void removeBlogEntry(BlogEntry)

    • -/+ Kind Annotation Text Date
    +preblogEntry != null2010-07-22 12:56:56
    +preblogEntry.blog != null2010-07-22 12:56:56
    +preinit'ed(blogEntry.blog.id)2010-07-22 12:56:56
    +preinit'ed(blogEntry.id)2010-07-22 12:56:56
    +prethis.cache != null2010-07-22 12:56:56
    +unanalyzedcall on getBlog2010-07-22 12:56:56
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56

  • void removeStaticPage(StaticPage)

    • -/+ Kind Annotation Text Date
    +preinit'ed(staticPage.blog.id)2010-07-22 12:56:56
    +preinit'ed(staticPage.id)2010-07-22 12:56:56
    +prestaticPage != null2010-07-22 12:56:56
    +prestaticPage.blog != null2010-07-22 12:56:56
    +prethis.cache != null2010-07-22 12:56:56
    +unanalyzedcall on getBlog2010-07-22 12:56:56
    +unanalyzedcall on getCompositeKeyForStaticPage2010-07-22 12:56:56
    +unanalyzedcall on getId2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56