| method | void commentAdded(CommentEvent) |
| pre | event != null |
| unanalyzed | call on blogEntryResponseAdded |
| pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null |
| presumption | getComment(...).state@58 != null |
| presumption | net.sourceforge.pebble.api.event.comment. CommentEvent:getSource(...)@72 != null |
| post | possibly_updated(event.vetoed) |
| unanalyzed | call on getComment |
| unanalyzed | call on getState |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource |
| method | void commentRejected(CommentEvent) |
| pre | event != null |
| unanalyzed | call on org.apache.commons.logging.Log:info |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:valueOf |
| post | event.vetoed == 1 |
| unanalyzed | call on deleteRejectedResponse |
| unanalyzed | call on getBlogEntry |
| unanalyzed | call on getTitle |
| unanalyzed | call on getContent |
| unanalyzed | call on blogEntryResponseRejected |
| unanalyzed | call on getSourceName |
| unanalyzed | call on areEventsEnabled |
| unanalyzed | call on getSourceLink |
| unanalyzed | call on getIpAddress |
| unanalyzed | call on removeResponse |
| unanalyzed | call on getComment |
| unanalyzed | call on getBlog |
| unanalyzed | call on getPluginProperties |
| unanalyzed | call on net.sourceforge.pebble.PluginProperties:get Property |
| unanalyzed | call on net.sourceforge.pebble.PluginProperties:set Property |
| unanalyzed | call on isListed |
| unanalyzed | call on net.sourceforge.pebble.PluginProperties:sto re |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent |
| unanalyzed | call on getTrackBack |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| unanalyzed | call on getComments |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on removeComment |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource |
| unanalyzed | call on java.util.EventObject |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent |
| method | void trackBackAdded(TrackBackEvent) |
| pre | event != null |
| unanalyzed | call on blogEntryResponseAdded |
| unanalyzed | call on getState |
| pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null |
| presumption | getTrackBack(...).state@80 != null |
| presumption | net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource(...)@72 != null |
| post | possibly_updated(event.vetoed) |
| unanalyzed | call on getTrackBack |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource |
| method | void trackBackRejected(TrackBackEvent) |
| pre | event != null |
| unanalyzed | call on org.apache.commons.logging.Log:info |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on blogEntryResponseRejected |
| unanalyzed | call on areEventsEnabled |
| post | event.vetoed == 1 |
| unanalyzed | call on deleteRejectedResponse |
| unanalyzed | call on getTrackBack |
| unanalyzed | call on getBlogEntry |
| unanalyzed | call on getTitle |
| unanalyzed | call on getContent |
| unanalyzed | call on getSourceName |
| unanalyzed | call on getSourceLink |
| unanalyzed | call on getIpAddress |
| unanalyzed | call on removeResponse |
| unanalyzed | call on getBlog |
| unanalyzed | call on getPluginProperties |
| unanalyzed | call on net.sourceforge.pebble.PluginProperties:get Property |
| unanalyzed | call on net.sourceforge.pebble.PluginProperties:set Property |
| unanalyzed | call on net.sourceforge.pebble.PluginProperties:sto re |
| unanalyzed | call on isListed |
| unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on getComment |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| unanalyzed | call on getComments |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on removeComment |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on java.util.EventObject |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent |
| method | void blogEntryResponseAdded(Response) |
| pre | response != null |
| unanalyzed | call on org.apache.commons.logging.Log:info |
| pre | response.state != null |
| pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null |
| pre | (soft) net/sourceforge/pebble/domain/BlogEntry.log != null |
| pre | (soft) init'ed(response.author) |
| pre | (soft) response.blogEntry != null |
| pre | (soft) response.blogEntry.comments != null |
| unanalyzed | call on getState |
| pre | (soft) response.blogEntry.events != null |
| pre | (soft) init'ed(response.blogEntry.eventsEnabled) |
| pre | (soft) init'ed(response.blogEntry.title) |
| pre | (soft) response.blogEntry.trackBacks != null |
| unanalyzed | call on areEventsEnabled |
| pre | (soft) init'ed(response.blogName) |
| pre | (soft) init'ed(response.body) |
| pre | (soft) response.date != null |
| pre | (soft) init'ed(response.excerpt) |
| pre | (soft) init'ed(response.ipAddress) |
| pre | (soft) init'ed(response.state.name) |
| pre | (soft) init'ed(response.title) |
| pre | (soft) init'ed(response.url) |
| pre | (soft) init'ed(response.website) |
| unanalyzed | call on getBlogEntry |
| unanalyzed | call on getTitle |
| unanalyzed | call on getContent |
| unanalyzed | call on getSourceName |
| unanalyzed | call on getSourceLink |
| unanalyzed | call on getIpAddress |
| unanalyzed | call on removeResponse |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on getComment |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent |
| unanalyzed | call on getTrackBack |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| unanalyzed | call on getComments |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on removeComment |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on java.util.EventObject |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent |
| method | void blogEntryResponseRejected(Response) |
| pre | response != null |
| unanalyzed | call on org.apache.commons.logging.Log:info |
| pre | response.blogEntry != null |
| pre | init'ed(response.blogEntry.title) |
| pre | init'ed(response.ipAddress) |
| pre | init'ed(response.title) |
| pre | (soft) net/sourceforge/pebble/domain/BlogEntry.log != null |
| pre | (soft) init'ed(response.author) |
| unanalyzed | call on areEventsEnabled |
| pre | (soft) response.blogEntry.comments != null |
| pre | (soft) response.blogEntry.events != null |
| pre | (soft) init'ed(response.blogEntry.eventsEnabled) |
| pre | (soft) response.blogEntry.trackBacks != null |
| pre | (soft) init'ed(response.blogName) |
| pre | (soft) init'ed(response.body) |
| pre | (soft) response.date != null |
| pre | (soft) init'ed(response.excerpt) |
| pre | (soft) init'ed(response.url) |
| pre | (soft) init'ed(response.website) |
| unanalyzed | call on getBlogEntry |
| unanalyzed | call on getTitle |
| unanalyzed | call on getContent |
| unanalyzed | call on getSourceName |
| unanalyzed | call on getSourceLink |
| unanalyzed | call on getIpAddress |
| unanalyzed | call on removeResponse |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on getComment |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent |
| unanalyzed | call on getTrackBack |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| unanalyzed | call on getComments |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on removeComment |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on java.util.EventObject |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent |
| method | void deleteRejectedResponse(Response) |
| pre | response != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@48 != null |
| unanalyzed | call on getBlogEntry |
| unanalyzed | call on areEventsEnabled |
| pre | response.blogEntry != null |
| pre | init'ed(response.blogEntry.title) |
| pre | init'ed(response.ipAddress) |
| pre | init'ed(response.title) |
| pre | (soft) net/sourceforge/pebble/domain/BlogEntry.log != null |
| pre | (soft) init'ed(response.author) |
| pre | (soft) response.blogEntry.comments != null |
| pre | (soft) response.blogEntry.events != null |
| pre | (soft) init'ed(response.blogEntry.eventsEnabled) |
| pre | (soft) response.blogEntry.trackBacks != null |
| pre | (soft) init'ed(response.blogName) |
| pre | (soft) init'ed(response.body) |
| pre | (soft) response.date != null |
| pre | (soft) init'ed(response.excerpt) |
| pre | (soft) init'ed(response.url) |
| pre | (soft) init'ed(response.website) |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on getComment |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent |
| unanalyzed | call on getTrackBack |
| unanalyzed | call on java.util.List:remove |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| unanalyzed | call on getComments |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on removeComment |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on java.util.EventObject |
| unanalyzed | call on java.util.Date:getTime |
| unanalyzed | call on java.util.List:contains |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addEvent |