| method | bool confirmationRequired(Comment) |
| pre | comment != null |
| post | init'ed(return_value) |
| unanalyzed | call on net.sourceforge.pebble.event.response. BlogEntryResponseListenerSupport |
| test_vector | java.lang.String:equalsIgnoreCase(...)@68: {1}, {0} |
| test_vector | net.sourceforge.pebble.util.SecurityUtils:isUserAut horisedForBlog(...)@52: {0}, {1} |
| pre | comment.blogEntry != null |
| pre | comment.blogEntry.blog.pluginProperties != null |
| pre | comment.blogEntry.blog != null |
| pre | (soft) comment.state != null |
| pre | (soft) init'ed(comment.state.name) |
| presumption | net.sourceforge.pebble.domain.State__static_init. new State(State__static_init#1).name@66 != null |
| unanalyzed | call on getState |
| test_vector | net.sourceforge.pebble.PluginProperties:getProperty (...)@49: Addr_Set{null}, Inverse{null} |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.util.EventObject |