Messages

method | net.sourceforge.pebble.confirmation. AbstractConfirmationStrategy__static_init

method | void net.sourceforge.pebble.confirmation. AbstractConfirmationStrategy()

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

| info | method not available | -- call on String net.sourceforge.pebble. PluginProperties:getProperty(String)

| info | method not available | -- call on bool net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlog(Blog)

| info | call too complex - analysis skipped | -- call on void commentAdded(CommentEvent)

| info | call too complex - analysis skipped | -- call on void commentAdded(CommentEvent)

| info | call too complex - analysis skipped | -- call on void commentAdded(CommentEvent)

| info | call too complex - analysis skipped | -- call on void commentAdded(CommentEvent)

method | bool confirmationRequired(Blog)
post | init'ed(return_value)

| info | method not available | -- call on bool net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlog(Blog)