| method | void decorate(ContentDecoratorContext, BlogEntry) |
| pre | blogEntry != null |
| presumption | java.util.List:get(...)@29 != null |
| presumption | java.util.List:get(...)@37 != null |
| presumption | java.util.List:size(...)@28 >= -231+1 |
| presumption | java.util.List:size(...)@36 >= -231+1 |
| test_vector | net.sourceforge.pebble.util.SecurityUtils:isUserAut horisedForBlogAsBlogContributor(...)@26: {1}, {0} |
| pre | init'ed(blogEntry.blog) |
| pre | (soft) blogEntry.comments != null |
| pre | (soft) blogEntry.events != null |
| pre | (soft) init'ed(blogEntry.eventsEnabled) |
| pre | (soft) blogEntry.trackBacks != null |
| pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null |
| pre | (soft) net/sourceforge/pebble/domain/BlogEntry.log != null |
| presumption | comment.date@30 != null |
| presumption | comment.state@29 != null |
| presumption | trackBack.date@38 != null |
| presumption | trackBack.state@37 != null |
| unanalyzed | call on getComments |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on getState |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on getComment |
| unanalyzed | call on areEventsEnabled |
| unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent |
| unanalyzed | call on getBlogEntry |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| unanalyzed | call on removeComment |
| unanalyzed | call on getTrackBack |
| unanalyzed | call on java.util.EventObject |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent |