Messages

method

net.sourceforge.pebble.event.comment. AbstractEmailNotificationListener__static_init

method

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

method	void commentAdded(CommentEvent)
pre	event != null
pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null
pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
pre	(soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre	(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
presumption	comment.blogEntry.blog.decoratorChain. decorators@64 != null
presumption	comment.blogEntry.blog.decoratorChain@64 != null
presumption	comment.blogEntry.blog.permalinkProvider@64 != null
presumption	comment.blogEntry.blog.permalinkProvider@66 != null
presumption	comment.blogEntry.blog.properties@64 != null
presumption	comment.blogEntry.blog.properties@66 != null
presumption	comment.blogEntry.blog@64 != null
presumption	comment.blogEntry.blog@66 != null
presumption	comment.blogEntry.comments@64 != null
presumption	comment.blogEntry@66 != null
presumption	comment.date@66 != null
presumption	comment.state@63 != null
presumption	comment.state@64 != null
presumption	comment.state@66 != null
presumption	net.sourceforge.pebble.api.event.comment. CommentEvent:getSource(...)@72 != null
presumption	net.sourceforge.pebble.api.event.comment. CommentEvent:getSource(...)@72.blogEntry != null
presumption	net.sourceforge.pebble.api.event.comment. CommentEvent:getSource(...)@72.date != null
unanalyzed	call on getBlogEntry
unanalyzed	call on getBlog
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on getTimeZone
unanalyzed	call on java.text.SimpleDateFormat:setTimeZone
unanalyzed	call on getState
unanalyzed	call on getTitle
unanalyzed	call on getAuthor
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed	call on getWebsite
unanalyzed	call on getDate
unanalyzed	call on java.text.SimpleDateFormat:format
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on getBody
unanalyzed	call on getPermalink
unanalyzed	call on getUrl
unanalyzed	call on getGuid
unanalyzed	call on getEmailAddresses
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.Collection:addAll
unanalyzed	call on net.sourceforge.pebble.util. MailUtils:createSession
unanalyzed	call on net.sourceforge.pebble.util. MailUtils:sendMail
unanalyzed	call on java.lang.Exception:printStackTrace
unanalyzed	call on getContentDecoratorChain
unanalyzed	call on decorate
unanalyzed	call on getId
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getEmail
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.Collection:add
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on getLocalPermalink
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed	call on getUser
unanalyzed	call on net.sourceforge.pebble.security. PebbleUserDetails:getEmailAddress
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:start
unanalyzed	call on java.util.regex.Matcher:end
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on setBody
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformToHTMLSubset
unanalyzed	call on setAuthor
unanalyzed	call on setWebsite
unanalyzed	call on setEmail
unanalyzed	call on setTitle
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.lang.String:equals
unanalyzed	call on getPermalinkProvider
unanalyzed	call on getSecurityRealm
unanalyzed	call on net.sourceforge.pebble.security. SecurityRealm:getUser
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle

method	void commentApproved(CommentEvent)
pre	event != null
pre	(soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre	(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
presumption	comment.blogEntry.blog.decoratorChain. decorators@77 != null
presumption	comment.blogEntry.blog.decoratorChain@77 != null
presumption	comment.blogEntry.blog.permalinkProvider@77 != null
presumption	comment.blogEntry.blog.properties@77 != null
presumption	comment.blogEntry.blog@77 != null
presumption	comment.blogEntry.comments@77 != null
presumption	comment.blogEntry@77 != null
presumption	comment.date@77 != null
presumption	net.sourceforge.pebble.api.event.comment. CommentEvent:getSource(...)@72 != null
unanalyzed	call on getBlogEntry
unanalyzed	call on getBlog
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on getTimeZone
unanalyzed	call on java.text.SimpleDateFormat:setTimeZone
unanalyzed	call on getTitle
unanalyzed	call on getAuthor
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed	call on getWebsite
unanalyzed	call on getDate
unanalyzed	call on java.text.SimpleDateFormat:format
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on getBody
unanalyzed	call on getPermalink
unanalyzed	call on getUrl
unanalyzed	call on getEmailAddresses
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.Collection:addAll
unanalyzed	call on net.sourceforge.pebble.util. MailUtils:createSession
unanalyzed	call on java.lang.Exception:printStackTrace
unanalyzed	call on getContentDecoratorChain
unanalyzed	call on decorate
unanalyzed	call on getId
unanalyzed	call on getComments
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getEmail
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.Collection:add
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on net.sourceforge.pebble.util. MailUtils:sendMail
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on getLocalPermalink
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on getUser
unanalyzed	call on net.sourceforge.pebble.security. PebbleUserDetails:getEmailAddress
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:start
unanalyzed	call on java.util.regex.Matcher:end
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on setBody
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformToHTMLSubset
unanalyzed	call on setAuthor
unanalyzed	call on setWebsite
unanalyzed	call on setEmail
unanalyzed	call on setTitle
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:addAll
unanalyzed	call on getPermalinkProvider
unanalyzed	call on getSecurityRealm
unanalyzed	call on net.sourceforge.pebble.security. SecurityRealm:getUser
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle

method	void sendNotification(Comment)
pre	comment != null
pre	comment.blogEntry != null
pre	comment.blogEntry.blog != null
pre	comment.blogEntry.blog.decoratorChain != null
pre	comment.blogEntry.blog.decoratorChain.decorators != null
pre	comment.blogEntry.blog.properties != null
pre	comment.blogEntry.comments != null
pre	init'ed(comment.blogEntry.id)
pre	init'ed(comment.blogEntry.title)
pre	init'ed(comment.author)
pre	init'ed(comment.body)
pre	init'ed(comment.title)
pre	init'ed(comment.website)
pre	(soft) init'ed(comment.blogEntry.blog.id)
pre	(soft) comment.blogEntry.blog.permalinkProvider != null
pre	(soft) comment.date != null
pre	(soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre	(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
pre	(soft) init'ed(comment.blogEntry.permalink)
presumption	java.util.Iterator:next(...)@112 != null
post	init'ed(comment.author)
post	init'ed(comment.blogEntry.permalink)
post	possibly_updated(comment.blogEntry.user)
post	init'ed(comment.body)
post	possibly_updated(comment.email)
post	init'ed(comment.title)
post	init'ed(comment.website)
unanalyzed	call on getBlogEntry
unanalyzed	call on getBlog
unanalyzed	call on getTitle
unanalyzed	call on getAuthor
unanalyzed	call on getWebsite
unanalyzed	call on getBody
unanalyzed	call on getUrl
unanalyzed	call on java.util.HashSet
unanalyzed	call on getEmailAddresses
unanalyzed	call on java.util.Collection:addAll
unanalyzed	call on getEmail
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on getId
unanalyzed	call on getLocalPermalink
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on getUser
unanalyzed	call on net.sourceforge.pebble.security. PebbleUserDetails:getEmailAddress
unanalyzed	call on java.util.Collection:add
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on decorate
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:start
unanalyzed	call on java.util.regex.Matcher:end
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on setBody
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformToHTMLSubset
unanalyzed	call on setAuthor
unanalyzed	call on setWebsite
unanalyzed	call on setEmail
unanalyzed	call on setTitle
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:addAll
unanalyzed	call on getComments
unanalyzed	call on getPermalinkProvider
unanalyzed	call on getPermalink
unanalyzed	call on getSecurityRealm
unanalyzed	call on net.sourceforge.pebble.security. SecurityRealm:getUser
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle
test_vector	blogComment.email@112: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@113: {0}, {1..2³²-1}
test_vector	java.util.Iterator:hasNext(...)@111: {1}, {0}

info method not available -- call on String net.sourceforge.pebble.util. StringUtils:transformHTML(String)

info method not available -- call on Collection getEmailAddresses(Comment)

info method not available -- call on Session net.sourceforge.pebble.util. MailUtils:createSession()

info method not available -- call on void net.sourceforge.pebble.util. MailUtils:sendMail(Session, Blog, String, String, String)

method	void sendApprovalRequest(Comment)
pre	comment != null
pre	init'ed(comment.author)
pre	comment.blogEntry != null
pre	comment.blogEntry.blog != null
pre	comment.blogEntry.blog.properties != null
pre	init'ed(comment.blogEntry.title)
pre	init'ed(comment.body)
pre	comment.date != null
pre	comment.state != null
pre	init'ed(comment.state.name)
pre	init'ed(comment.title)
pre	init'ed(comment.website)
pre	(soft) init'ed(comment.blogEntry.blog.id)
pre	(soft) comment.blogEntry.blog.permalinkProvider != null
pre	(soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre	(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
pre	(soft) init'ed(comment.blogEntry.permalink)
post	init'ed(comment.blogEntry.permalink)
post	possibly_updated(comment.blogEntry.user)
unanalyzed	call on getBlogEntry
unanalyzed	call on getBlog
unanalyzed	call on getUrl
unanalyzed	call on java.util.HashSet
unanalyzed	call on getEmailAddresses
unanalyzed	call on java.util.Collection:addAll
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on getId
unanalyzed	call on getLocalPermalink
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed	call on getUser
unanalyzed	call on net.sourceforge.pebble.security. PebbleUserDetails:getEmailAddress
unanalyzed	call on java.util.Collection:add
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on getPermalinkProvider
unanalyzed	call on getPermalink
unanalyzed	call on getSecurityRealm
unanalyzed	call on net.sourceforge.pebble.security. SecurityRealm:getUser
unanalyzed	call on org.apache.commons.logging.Log:error
test_vector	comment.website: Addr_Set{null}, Inverse{null}

info method not available -- call on String net.sourceforge.pebble.util. StringUtils:transformHTML(String)

info method not available -- call on Collection getEmailAddresses(Comment)

info method not available -- call on Session net.sourceforge.pebble.util. MailUtils:createSession()

info method not available -- call on void net.sourceforge.pebble.util. MailUtils:sendMail(Session, Blog, Collection, String, String)

	info	method not available	-- call on Session net.sourceforge.pebble.util. MailUtils:createSession()
	info	method not available	-- call on void net.sourceforge.pebble.util. MailUtils:sendMail(Session, Blog, Collection, String, String)