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