Messages

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

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

method | Collection getEmailAddresses(TrackBack)
pre | trackBack != null
pre | trackBack.blogEntry != null
pre | trackBack.blogEntry.blog != null
pre | trackBack.blogEntry.blog.properties != null
post | return_value == &new HashSet(getEmailAddresses# 1)
post | new HashSet(getEmailAddresses#1) num objects == 1
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.util.Arrays:asList