Last Msg First Msg
























method net.sourceforge.pebble.domain.MultiBlog__static_ init










method void net.sourceforge.pebble.domain. MultiBlog(String)
pre(soft) net/sourceforge/pebble/domain/AbstractBlog. log != null
postinit'ed(this.blog)
postthis.messages == &new LinkedList(AbstractBlog#1 )
postthis.properties == &new Properties(loadProperti es#1)
postthis.root == root
postinit'ed(this.root)
postnew LinkedList(AbstractBlog#1) num objects == 1
postnew Properties(loadProperties#1) num objects == 1
unanalyzedcall on java.util.Properties
unanalyzedcall on java.util.Properties:setProperty
unanalyzedcall on java.util.LinkedList
unanalyzedcall on java.io.File
unanalyzedcall on java.io.File:exists
unanalyzedcall on getDefaultProperties
unanalyzedcall on java.io.FileInputStream
unanalyzedcall on java.util.Properties:load
unanalyzedcall on java.io.FileInputStream:close
unanalyzedcall on org.apache.commons.logging.Log:error










method Properties getDefaultProperties()
postreturn_value == &new Properties(getDefaultPrope rties#1)
postnew Properties(getDefaultProperties#1) num objects == 1










method String getId()
postreturn_value == &""










method String getUrl()
presumptionnet.sourceforge.pebble.PebbleContext:getConfigurati on(...)@102 != null
presumptionnet.sourceforge.pebble.PebbleContext:getInstance(.. .)@102 != null
postinit'ed(return_value)









  infomethod not available-- call on PebbleContext net.sourceforge.pebble. PebbleContext:getInstance()
  infomethod not available-- call on Configuration net.sourceforge.pebble. PebbleContext:getConfiguration()











method String getRelativeUrl()
postreturn_value == &"."










method Date getLastModified()
prenet/sourceforge/pebble/domain/BlogManager.instance != null
prenet/sourceforge/pebble/domain/BlogManager.instance. blogs != null
presumptionblog.blogEntryIndex@125 != null
presumptionblog.blogEntryIndex@126 != null
presumptionjava.util.Iterator:next(...)@125 != null
postinit'ed(return_value)
postnew Date(getLastModified#1) num objects == 1
postinit'ed(new Date(getLastModified#1*) num objects)
unanalyzedcall on java.util.Map:values
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.Collection:iterator
unanalyzedcall on isPublic
unanalyzedcall on java.util.List:add
unanalyzedcall on java.util.Properties:getProperty
unanalyzedcall on java.lang.String:equalsIgnoreCase
unanalyzedcall on java.util.List:size
unanalyzedcall on java.util.List:get
unanalyzedcall on java.util.Date
unanalyzedcall on java.util.List:iterator
unanalyzedcall on getConfiguredFactory
unanalyzedcall on getBlogEntryDAO
unanalyzedcall on getBlog
unanalyzedcall on getId
unanalyzedcall on getCompositeKeyForBlogEntry
unanalyzedcall on java.lang.String:valueOf
unanalyzedcall on setPersistent
unanalyzedcall on setEventsEnabled
unanalyzedcall on net.sourceforge.pebble.domain. BlogServiceException
unanalyzedcall on net.sf.ehcache.Cache:get
unanalyzedcall on net.sf.ehcache.Element:getValue
unanalyzedcall on org.apache.commons.logging.Log:debug
unanalyzedcall on loadBlogEntry
unanalyzedcall on net.sf.ehcache.Element
unanalyzedcall on net.sf.ehcache.Cache:put
unanalyzedcall on clone
unanalyzedcall on getBlogEntry
unanalyzedcall on org.apache.commons.logging.Log:error
test_vectorjava.util.Date:after(...)@126: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@124: {1}, {0}









Prev Msg Next Msg
+
medium
null dereferencecheck might fail: requires getLastModified(...) != null
Prev Msg Next Msg











method List getRecentBlogEntries(int)
prenet/sourceforge/pebble/domain/BlogManager.instance != null
prenet/sourceforge/pebble/domain/BlogManager.instance. blogs != null
presumptionblog.blogEntryIndex@144 != null
presumptionblog.properties@144 != null
presumptionjava.util.Iterator:next(...)@144 != null
postinit'ed(return_value)
postnew ArrayList(getRecentBlogEntries#4) num objects <= 1
unanalyzedcall on java.util.Map:values
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.Collection:iterator
unanalyzedcall on isPublic
unanalyzedcall on java.util.List:add
unanalyzedcall on java.util.Properties:getProperty
unanalyzedcall on java.lang.String:equalsIgnoreCase
unanalyzedcall on java.util.List:size
unanalyzedcall on java.util.List:iterator
unanalyzedcall on getConfiguredFactory
unanalyzedcall on getBlogEntryDAO
unanalyzedcall on getBlog
unanalyzedcall on getId
unanalyzedcall on getCompositeKeyForBlogEntry
unanalyzedcall on java.lang.String:valueOf
unanalyzedcall on setPersistent
unanalyzedcall on setEventsEnabled
unanalyzedcall on net.sourceforge.pebble.domain. BlogServiceException
unanalyzedcall on net.sf.ehcache.Cache:get
unanalyzedcall on net.sf.ehcache.Element:getValue
unanalyzedcall on org.apache.commons.logging.Log:debug
unanalyzedcall on loadBlogEntry
unanalyzedcall on net.sf.ehcache.Element
unanalyzedcall on net.sf.ehcache.Cache:put
unanalyzedcall on clone
unanalyzedcall on getBlogEntry
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on java.lang.Integer:parseInt
test_vectorjava.util.Iterator:hasNext(...)@144: {1}, {0}










method void log(HttpServletRequest, int)