Messages

Last Msg First Msg

method | net.sourceforge.pebble.event.trackback. EmailAuthorNotificationListener__static_init

method | void net.sourceforge.pebble.event.trackback. EmailAuthorNotificationListener()

method | Collection getEmailAddresses(TrackBack)
pre | init'ed(trackBack.blogEntry.user)
pre | trackBack != null
pre | trackBack.blogEntry != null
pre | (soft) init'ed(trackBack.blogEntry.author)
post | return_value == &new HashSet(getEmailAddresses# 1)
post | trackBack.blogEntry.user != null
post | new HashSet(getEmailAddresses#1) num objects == 1
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed | call on getSecurityRealm
unanalyzed | call on net.sourceforge.pebble.security. SecurityRealm:getUser
unanalyzed | call on org.apache.commons.logging.Log:error

Prev Msg Next Msg

| medium
| null dereference | check might fail: requires getUser(...) != null
| info | method not available | -- call on String net.sourceforge.pebble.security. PebbleUserDetails:getEmailAddress()

Prev Msg Next Msg