Messages

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
post | init'ed(this.blog)
post | this.messages == &new LinkedList(AbstractBlog#1 )
post | this.properties == &new Properties(loadProperti es#1)
post | this.root == root
post | init'ed(this.root)
post | new LinkedList(AbstractBlog#1) num objects == 1
post | new Properties(loadProperties#1) num objects == 1
unanalyzed | call on java.util.Properties
unanalyzed | call on java.util.Properties:setProperty
unanalyzed | call on java.util.LinkedList
unanalyzed | call on java.io.File
unanalyzed | call on java.io.File:exists
unanalyzed | call on getDefaultProperties
unanalyzed | call on java.io.FileInputStream
unanalyzed | call on java.util.Properties:load
unanalyzed | call on java.io.FileInputStream:close
unanalyzed | call on org.apache.commons.logging.Log:error

method | Properties getDefaultProperties()
post | return_value == &new Properties(getDefaultPrope rties#1)
post | new Properties(getDefaultProperties#1) num objects == 1

method | String getId()
post | return_value == &""

method | String getUrl()
presumption | net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@102 != null
presumption | net.sourceforge.pebble.PebbleContext:getInstance(.. .)@102 != null
post | init'ed(return_value)

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

method | String getRelativeUrl()
post | return_value == &"."

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

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires getLastModified(...) != null

Prev Msg Next Msg

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

method | void log(HttpServletRequest, int)