method

net.sourceforge.pebble.event.comment. EmailNotificationListener__static_init

method

void net.sourceforge.pebble.event.comment. EmailNotificationListener()

method	Collection getEmailAddresses(Comment)
pre	comment != null
pre	comment.blogEntry != null
pre	comment.blogEntry.blog != null
pre	comment.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