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 -2³¹..2³²-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

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)