Messages

method | net.sourceforge.pebble.index.ResponseIndexListener __static_init

method | void net.sourceforge.pebble.index.ResponseIndexLis tener()

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#2).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
presumption | comment.blogEntry@23 != null
presumption | comment.date@23 != null
presumption | comment.state@23 != null
presumption | getBlogEntry(...).blog@23 != null
presumption | getBlog(...).responseIndex@23 != null
presumption | net.sourceforge.pebble.api.event.comment. CommentEvent:getSource(...)@72 != null
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
presumption | getResponseIndex(...).approvedResponses@23 != null
presumption | getResponseIndex(...).blog@23 != null
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:error
presumption | getResponseIndex(...).pendingResponses@23 != null
presumption | getResponseIndex(...).rejectedResponses@23 != null
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on getGuid
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on isApproved
unanalyzed | call on isPending
unanalyzed | call on isRejected
unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed | call on java.lang.String:equals
unanalyzed | call on getState

method | void commentRemoved(CommentEvent)
pre | event != null
presumption | comment.blogEntry@33 != null
presumption | comment.date@33 != null
presumption | getBlogEntry(...).blog@33 != null
presumption | net.sourceforge.pebble.api.event.comment. CommentEvent:getSource(...)@72 != null
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:error
presumption | getBlog(...).responseIndex@33 != null
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.List:iterator
presumption | getResponseIndex(...).approvedResponses@33 != null
presumption | getResponseIndex(...).blog@33 != null
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
presumption | getResponseIndex(...).pendingResponses@33 != null
presumption | getResponseIndex(...).rejectedResponses@33 != null
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on getGuid
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.List:remove
unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId

method | void commentApproved(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#2).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
presumption | comment.blogEntry@43 != null
presumption | comment.blogEntry@44 != null
presumption | comment.date@43 != null
presumption | comment.date@44 != null
presumption | comment.state@44 != null
presumption | getBlogEntry(...).blog@43 != null
presumption | getBlogEntry(...).blog@44 != null
presumption | net.sourceforge.pebble.api.event.comment. CommentEvent:getSource(...)@72 != null
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.List:iterator
presumption | getBlog(...).responseIndex@43 != null
unanalyzed | call on java.io.BufferedWriter:write
presumption | getBlog(...).responseIndex@44 != null
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on getGuid
unanalyzed | call on java.util.List:contains
presumption | getResponseIndex(...).approvedResponses@43 != null
unanalyzed | call on java.util.List:remove
unanalyzed | call on java.util.List:add
presumption | getResponseIndex(...).approvedResponses@44 != null
presumption | getResponseIndex(...).blog@43 != null
unanalyzed | call on java.util.Collections:sort
presumption | getResponseIndex(...).blog@44 != null
unanalyzed | call on isApproved
unanalyzed | call on isPending
presumption | getResponseIndex(...).pendingResponses@43 != null
presumption | getResponseIndex(...).pendingResponses@44 != null
unanalyzed | call on isRejected
unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource
presumption | getResponseIndex(...).rejectedResponses@43 != null
unanalyzed | call on java.util.Date:getTime
presumption | getResponseIndex(...).rejectedResponses@44 != null
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed | call on java.lang.String:equals
unanalyzed | call on getState

method | void commentRejected(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#2).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
presumption | comment.blogEntry@54 != null
presumption | comment.blogEntry@55 != null
presumption | comment.date@54 != null
presumption | comment.date@55 != null
presumption | comment.state@55 != null
presumption | getBlogEntry(...).blog@54 != null
presumption | getBlogEntry(...).blog@55 != null
presumption | net.sourceforge.pebble.api.event.comment. CommentEvent:getSource(...)@72 != null
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on getGuid
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.List:remove
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on isApproved
unanalyzed | call on isPending
presumption | getBlog(...).responseIndex@54 != null
presumption | getBlog(...).responseIndex@55 != null
unanalyzed | call on isRejected
unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId
presumption | getResponseIndex(...).approvedResponses@54 != null
presumption | getResponseIndex(...).approvedResponses@55 != null
presumption | getResponseIndex(...).blog@54 != null
unanalyzed | call on java.lang.String:equals
presumption | getResponseIndex(...).blog@55 != null
presumption | getResponseIndex(...).pendingResponses@54 != null
presumption | getResponseIndex(...).pendingResponses@55 != null
presumption | getResponseIndex(...).rejectedResponses@54 != null
presumption | getResponseIndex(...).rejectedResponses@55 != null
unanalyzed | call on getState

method | void trackBackAdded(TrackBackEvent)
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#2).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
presumption | getBlogEntry(...).blog@65 != null
presumption | net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource(...)@72 != null
presumption | trackBack.blogEntry@65 != null
presumption | trackBack.date@65 != null
presumption | trackBack.state@65 != null
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on getGuid
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on isApproved
unanalyzed | call on isPending
unanalyzed | call on isRejected
unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed | call on java.lang.String:equals
presumption | getBlog(...).responseIndex@65 != null
presumption | getResponseIndex(...).approvedResponses@65 != null
presumption | getResponseIndex(...).blog@65 != null
presumption | getResponseIndex(...).pendingResponses@65 != null
presumption | getResponseIndex(...).rejectedResponses@65 != null
unanalyzed | call on getState

method | void trackBackRemoved(TrackBackEvent)
pre | event != null
presumption | getBlogEntry(...).blog@75 != null
presumption | net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource(...)@72 != null
presumption | trackBack.blogEntry@75 != null
presumption | trackBack.date@75 != null
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on getGuid
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.List:remove
unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId
presumption | getBlog(...).responseIndex@75 != null
presumption | getResponseIndex(...).approvedResponses@75 != null
presumption | getResponseIndex(...).blog@75 != null
presumption | getResponseIndex(...).pendingResponses@75 != null
presumption | getResponseIndex(...).rejectedResponses@75 != null

method | void trackBackApproved(TrackBackEvent)
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#2).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
presumption | getBlogEntry(...).blog@85 != null
presumption | getBlogEntry(...).blog@86 != null
presumption | net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource(...)@72 != null
presumption | trackBack.blogEntry@85 != null
presumption | trackBack.blogEntry@86 != null
presumption | trackBack.date@85 != null
presumption | trackBack.date@86 != null
presumption | trackBack.state@86 != null
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on getGuid
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.List:remove
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on isApproved
unanalyzed | call on isPending
unanalyzed | call on isRejected
unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed | call on java.lang.String:equals
presumption | getBlog(...).responseIndex@85 != null
presumption | getBlog(...).responseIndex@86 != null
presumption | getResponseIndex(...).approvedResponses@85 != null
presumption | getResponseIndex(...).approvedResponses@86 != null
presumption | getResponseIndex(...).blog@85 != null
presumption | getResponseIndex(...).blog@86 != null
presumption | getResponseIndex(...).pendingResponses@85 != null
presumption | getResponseIndex(...).pendingResponses@86 != null
presumption | getResponseIndex(...).rejectedResponses@85 != null
presumption | getResponseIndex(...).rejectedResponses@86 != null
unanalyzed | call on getState

method | void trackBackRejected(TrackBackEvent)
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#2).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
presumption | getBlogEntry(...).blog@96 != null
presumption | getBlogEntry(...).blog@97 != null
presumption | net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource(...)@72 != null
presumption | trackBack.blogEntry@96 != null
presumption | trackBack.blogEntry@97 != null
presumption | trackBack.date@96 != null
presumption | trackBack.date@97 != null
presumption | trackBack.state@97 != null
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on getGuid
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.List:remove
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on isApproved
unanalyzed | call on isPending
unanalyzed | call on isRejected
unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed | call on java.lang.String:equals
presumption | getBlog(...).responseIndex@96 != null
presumption | getBlog(...).responseIndex@97 != null
presumption | getResponseIndex(...).approvedResponses@96 != null
presumption | getResponseIndex(...).approvedResponses@97 != null
presumption | getResponseIndex(...).blog@96 != null
presumption | getResponseIndex(...).blog@97 != null
presumption | getResponseIndex(...).pendingResponses@96 != null
presumption | getResponseIndex(...).pendingResponses@97 != null
presumption | getResponseIndex(...).rejectedResponses@96 != null
presumption | getResponseIndex(...).rejectedResponses@97 != null
unanalyzed | call on getState