## 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
--- | --- | --- | ---
+ | pre | blog != null | 2010-07-22 12:56:56
+ | pre | init'ed(blog.id) | 2010-07-22 12:56:56
+ | pre | this.cache != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | test_vector | net.sf.ehcache.Cache:get(...)@86: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56

- String getCompositeKeyForBlogEntry(Blog, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | blog != null | 2010-07-22 12:56:56
+ | pre | init'ed(blog.id) | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56

- String getCompositeKeyForBlogEntry(BlogEntry)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | blogEntry != null | 2010-07-22 12:56:56
+ | pre | blogEntry.blog != null | 2010-07-22 12:56:56
+ | pre | init'ed(blogEntry.blog.id) | 2010-07-22 12:56:56
+ | pre | init'ed(blogEntry.id) | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56

- String getCompositeKeyForStaticPage(Blog, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | blog != null | 2010-07-22 12:56:56
+ | pre | init'ed(blog.id) | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56

- String getCompositeKeyForStaticPage(StaticPage)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(staticPage.blog.id) | 2010-07-22 12:56:56
+ | pre | init'ed(staticPage.id) | 2010-07-22 12:56:56
+ | pre | staticPage != null | 2010-07-22 12:56:56
+ | pre | staticPage.blog != null | 2010-07-22 12:56:56
+ | post | return_value != null | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56

- ContentCache getInstance()

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

- StaticPage getStaticPage(Blog, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | blog != null | 2010-07-22 12:56:56
+ | pre | init'ed(blog.id) | 2010-07-22 12:56:56
+ | pre | this.cache != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | test_vector | net.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
--- | --- | --- | ---
+ | pre | net/sourceforge/pebble/domain/BlogManager.instance != null | 2010-07-22 12:56:56
+ | pre | net/sourceforge/pebble/domain/BlogManager.instance. blogs != null | 2010-07-22 12:56:56
+ | presumption | net.sf.ehcache.Cache:getCacheConfiguration(...)@72 != null | 2010-07-22 12:56:56
+ | presumption | net.sf.ehcache.CacheManager:getCache(...)@66 != null | 2010-07-22 12:56:56
+ | presumption | net.sf.ehcache.config.CacheConfiguration:getMaxElem entsInMemory(...)@72*getNumberOfBlogs(...)@72 in range | 2010-07-22 12:56:56
+ | presumption | net.sf.ehcache.config.CacheConfiguration:getMaxElem entsInMemory(...)@72*java.util.Map:size(...)@237 in -231..232-1 | 2010-07-22 12:56:56
+ | post | (soft) this.cache != null | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:size | 2010-07-22 12:56:56

- net.sourceforge.pebble.ContentCache__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | net/sourceforge/pebble/domain/BlogManager.instance != null | 2010-07-22 12:56:56
+ | pre | net/sourceforge/pebble/domain/BlogManager.instance. blogs != null | 2010-07-22 12:56:56
+ | presumption | net.sf.ehcache.CacheManager:getCache(...)@66 != null | 2010-07-22 12:56:56
+ | post | init'ed(log) | 2010-07-22 12:56:56
+ | post | instance == &new ContentCache(ContentCache__ static_init#1) | 2010-07-22 12:56:56
+ | post | instance.cache != null | 2010-07-22 12:56:56
+ | post | new ContentCache(ContentCache__static_init#1) num objects == 1 | 2010-07-22 12:56:56
+ | unanalyzed | call on getInstance | 2010-07-22 12:56:56
+ | unanalyzed | call on getNumberOfBlogs | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.Class:getResource | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:size | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.Cache:getCacheConfiguration | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.CacheManager | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.CacheManager:getCache | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.config.CacheConfiguration:ge tMaxElementsInMemory | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sf.ehcache.config.CacheConfiguration:se tMaxElementsInMemory | 2010-07-22 12:56:56

- void putBlogEntry(BlogEntry)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | blogEntry != null | 2010-07-22 12:56:56
+ | pre | blogEntry.blog != null | 2010-07-22 12:56:56
+ | pre | init'ed(blogEntry.blog.id) | 2010-07-22 12:56:56
+ | pre | init'ed(blogEntry.id) | 2010-07-22 12:56:56
+ | pre | this.cache != null | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56

- void putStaticPage(StaticPage)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(staticPage.blog.id) | 2010-07-22 12:56:56
+ | pre | init'ed(staticPage.id) | 2010-07-22 12:56:56
+ | pre | staticPage != null | 2010-07-22 12:56:56
+ | pre | staticPage.blog != null | 2010-07-22 12:56:56
+ | pre | this.cache != null | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getCompositeKeyForStaticPage | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56

- void removeBlogEntry(BlogEntry)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | blogEntry != null | 2010-07-22 12:56:56
+ | pre | blogEntry.blog != null | 2010-07-22 12:56:56
+ | pre | init'ed(blogEntry.blog.id) | 2010-07-22 12:56:56
+ | pre | init'ed(blogEntry.id) | 2010-07-22 12:56:56
+ | pre | this.cache != null | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56

- void removeStaticPage(StaticPage)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | init'ed(staticPage.blog.id) | 2010-07-22 12:56:56
+ | pre | init'ed(staticPage.id) | 2010-07-22 12:56:56
+ | pre | staticPage != null | 2010-07-22 12:56:56
+ | pre | staticPage.blog != null | 2010-07-22 12:56:56
+ | pre | this.cache != null | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getCompositeKeyForStaticPage | 2010-07-22 12:56:56
+ | unanalyzed | call on getId | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56