| 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 |