Messages

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

method | void net.sourceforge.pebble.ContentCache()
pre | net/sourceforge/pebble/domain/BlogManager.instance != null
pre | net/sourceforge/pebble/domain/BlogManager.instance. blogs != null
presumption | net.sf.ehcache.Cache:getCacheConfiguration(...)@72 != null
presumption | net.sf.ehcache.CacheManager:getCache(...)@66 != null
presumption | net.sf.ehcache.config.CacheConfiguration:getMaxElem entsInMemory(...)@72*getNumberOfBlogs(...)@72 in range
presumption | net.sf.ehcache.config.CacheConfiguration:getMaxElem entsInMemory(...)@72*java.util.Map:size(...)@237 in -231..232-1
post | (soft) this.cache != null
unanalyzed | call on java.util.Map:size

| info | method not available | -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

| info | method not available | -- call on void net.sf.ehcache.CacheManager(URL)

| info | method not available | -- call on Cache net.sf.ehcache.CacheManager:getCac he(String)

| info | method not available | -- call on CacheConfiguration net.sf.ehcache. Cache:getCacheConfiguration()
| info | method not available | -- call on int net.sf.ehcache.config. CacheConfiguration:getMaxElementsInMemory()
| info | method not available | -- call on void net.sf.ehcache.config. CacheConfiguration:setMaxElementsInMemory(int)

method | ContentCache getInstance()
post | return_value == &new ContentCache(ContentCache_ _static_init#1)

method | void putBlogEntry(BlogEntry)
pre | blogEntry != null
pre | blogEntry.blog != null
pre | init'ed(blogEntry.blog.id)
pre | init'ed(blogEntry.id)
pre | this.cache != null
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on java.lang.String:valueOf

| info | method not available | -- call on void net.sf.ehcache.Element(Serializable , Serializable)

| info | method not available | -- call on void net.sf.ehcache.Cache:put(Element)

method | BlogEntry getBlogEntry(Blog, String)
pre | blog != null
pre | init'ed(blog.id)
pre | this.cache != null
post | init'ed(return_value)
unanalyzed | call on getId
unanalyzed | call on java.lang.String:valueOf
test_vector | net.sf.ehcache.Cache:get(...)@86: Addr_Set{null}, Inverse{null}

| info | method not available | -- call on Element net.sf.ehcache.Cache:get(Seriali zable)

| info | method not available | -- call on Serializable net.sf.ehcache. Element:getValue()

method | void removeBlogEntry(BlogEntry)
pre | blogEntry != null
pre | blogEntry.blog != null
pre | init'ed(blogEntry.blog.id)
pre | init'ed(blogEntry.id)
pre | this.cache != null
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on java.lang.String:valueOf

| info | method not available | -- call on bool net.sf.ehcache.Cache:remove(Seriali zable)

method | String getCompositeKeyForBlogEntry(BlogEntry)
pre | blogEntry != null
pre | blogEntry.blog != null
pre | init'ed(blogEntry.blog.id)
pre | init'ed(blogEntry.id)
post | return_value != null
unanalyzed | call on getId
unanalyzed | call on java.lang.String:valueOf

method | String getCompositeKeyForBlogEntry(Blog, String)
pre | blog != null
pre | init'ed(blog.id)
post | return_value != null

method | void putStaticPage(StaticPage)
pre | staticPage != null
pre | staticPage.blog != null
pre | init'ed(staticPage.blog.id)
pre | init'ed(staticPage.id)
pre | this.cache != null
unanalyzed | call on getCompositeKeyForStaticPage
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on java.lang.String:valueOf

| info | method not available | -- call on void net.sf.ehcache.Element(Serializable , Serializable)

| info | method not available | -- call on void net.sf.ehcache.Cache:put(Element)

method | StaticPage getStaticPage(Blog, String)
pre | blog != null
pre | init'ed(blog.id)
pre | this.cache != null
post | init'ed(return_value)
unanalyzed | call on getId
unanalyzed | call on java.lang.String:valueOf
test_vector | net.sf.ehcache.Cache:get(...)@113: Addr_Set{null}, Inverse{null}

| info | method not available | -- call on Element net.sf.ehcache.Cache:get(Seriali zable)

| info | method not available | -- call on Serializable net.sf.ehcache. Element:getValue()

method | void removeStaticPage(StaticPage)
pre | staticPage != null
pre | staticPage.blog != null
pre | init'ed(staticPage.blog.id)
pre | init'ed(staticPage.id)
pre | this.cache != null
unanalyzed | call on getCompositeKeyForStaticPage
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on java.lang.String:valueOf

| info | method not available | -- call on bool net.sf.ehcache.Cache:remove(Seriali zable)

method | String getCompositeKeyForStaticPage(StaticPage)
pre | staticPage != null
pre | staticPage.blog != null
pre | init'ed(staticPage.blog.id)
pre | init'ed(staticPage.id)
post | return_value != null
unanalyzed | call on getId
unanalyzed | call on java.lang.String:valueOf

method | String getCompositeKeyForStaticPage(Blog, String)
pre | blog != null
pre | init'ed(blog.id)
post | return_value != null