method net.sourceforge.pebble.event.DefaultEventDispatche r__static_init










method void net.sourceforge.pebble.event.DefaultEventDisp atcher()










method void fireBlogEvent(BlogEvent)
pre(soft) event != null
presumptionjava.util.Iterator:next(...)@62 != null
test_vectorjava.util.Iterator:hasNext(...)@61: {1}, {0}
prethis.eventListenerList != null
prethis.eventListenerList.blogListeners != null
pre(soft) init'ed(event.type)
pre(soft) init'ed(event.vetoed)
test_vectorevent.type: {-231..-1, 2..232-1}, {0}, {1}
presumptionlistener.timer@62 != null
unanalyzedcall on getBlog
unanalyzedcall on java.util.Timer:schedule
unanalyzedcall on java.util.Timer:cancel
unanalyzedcall on net.sourceforge.pebble.api.event.blog. BlogEvent:getSource









  infomethod not available-- call on void blogStarted(BlogEvent)










  infomethod not available-- call on void blogStopped(BlogEvent)











method void fireBlogEntryEvent(BlogEntryEvent)
pre(soft) event != null
presumptionjava.util.Iterator:next(...)@84 != null
test_vectorjava.util.Iterator:hasNext(...)@83: {1}, {0}
prethis.eventListenerList != null
prethis.eventListenerList.blogEntryListeners != null
pre(soft) init'ed(event.type)
pre(soft) init'ed(event.vetoed)









  infocall too complex - analysis skipped-- call on void blogEntryAdded(BlogEntryEvent)










  infocall too complex - analysis skipped-- call on void blogEntryRemoved(BlogEntryEvent)










  infocall too complex - analysis skipped-- call on void blogEntryChanged(BlogEntryEvent)










  infocall too complex - analysis skipped-- call on void blogEntryPublished(BlogEntryEvent)










  infocall too complex - analysis skipped-- call on void blogEntryUnpublished(BlogEntryEvent )











method void fireCommentEvent(CommentEvent)
pre(soft) event != null
presumptionjava.util.Iterator:next(...)@112 != null
test_vectorjava.util.Iterator:hasNext(...)@111: {1}, {0}
prethis.eventListenerList != null
prethis.eventListenerList.commentListeners != null
pre(soft) init'ed(event.type)
pre(soft) init'ed(event.vetoed)
unanalyzedcall on java.util.SortedSet:remove
unanalyzedcall on getComment
unanalyzedcall on getBlogEntry
unanalyzedcall on getBlog
unanalyzedcall on getResponseIndex
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzedcall on java.io.File
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on java.io.FileWriter
unanalyzedcall on java.io.BufferedWriter
unanalyzedcall on java.util.List:iterator
unanalyzedcall on java.io.BufferedWriter:write
unanalyzedcall on unindex
unanalyzedcall on java.io.BufferedWriter:newLine
unanalyzedcall on java.io.BufferedWriter:flush
unanalyzedcall on java.io.BufferedWriter:close
unanalyzedcall on getGuid
unanalyzedcall on java.util.List:contains
unanalyzedcall on java.util.List:remove
unanalyzedcall on getTitle
unanalyzedcall on getAuthor
unanalyzedcall on net.sourceforge.pebble.util. SecurityUtils:getUsername
unanalyzedcall on java.lang.String:valueOf
unanalyzedcall on org.apache.commons.logging.Log:info
unanalyzedcall on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource
unanalyzedcall on java.util.Date:getTime
unanalyzedcall on net.sourceforge.pebble.domain. BlogEntry:getId









  infocall too complex - analysis skipped-- call on void commentAdded(CommentEvent)










  infomethod not available-- call on void commentRemoved(CommentEvent)










  infocall too complex - analysis skipped-- call on void commentApproved(CommentEvent)










  infocall too complex - analysis skipped-- call on void commentRejected(CommentEvent)











method void fireTrackBackEvent(TrackBackEvent)
pre(soft) event != null
presumptionjava.util.Iterator:next(...)@138 != null
test_vectorjava.util.Iterator:hasNext(...)@137: {1}, {0}
prethis.eventListenerList != null
prethis.eventListenerList.trackBackListeners != null
pre(soft) init'ed(event.type)
pre(soft) init'ed(event.vetoed)
unanalyzedcall on java.util.SortedSet:remove
unanalyzedcall on getBlogEntry
unanalyzedcall on getBlog
unanalyzedcall on getResponseIndex
unanalyzedcall on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzedcall on java.io.File
unanalyzedcall on unindex
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on java.io.FileWriter
unanalyzedcall on java.io.BufferedWriter
unanalyzedcall on java.util.List:iterator
unanalyzedcall on java.io.BufferedWriter:write
unanalyzedcall on java.io.BufferedWriter:newLine
unanalyzedcall on java.io.BufferedWriter:flush
unanalyzedcall on java.io.BufferedWriter:close
unanalyzedcall on getGuid
unanalyzedcall on java.util.List:contains
unanalyzedcall on java.util.List:remove
unanalyzedcall on blogEntryResponseApproved
unanalyzedcall on net.sourceforge.pebble.util. SecurityUtils:getUsername
unanalyzedcall on index
unanalyzedcall on java.lang.String:valueOf
unanalyzedcall on org.apache.commons.logging.Log:info
unanalyzedcall on getTrackBack
unanalyzedcall on getTitle
unanalyzedcall on getBlogName
unanalyzedcall on isApproved
unanalyzedcall on java.util.SortedSet:add
unanalyzedcall on isPending
unanalyzedcall on isRejected
unanalyzedcall on getPluginProperties
unanalyzedcall on getIpAddress
unanalyzedcall on java.lang.String:trim
unanalyzedcall on java.lang.String:length
unanalyzedcall on addIpAddress
unanalyzedcall on removeIpAddress
unanalyzedcall on getState
unanalyzedcall on net.sourceforge.pebble.PluginProperties:get Property
unanalyzedcall on java.lang.String:split
unanalyzedcall on java.lang.String:equals
unanalyzedcall on net.sourceforge.pebble.PluginProperties:set Property
unanalyzedcall on net.sourceforge.pebble.PluginProperties:sto re
unanalyzedcall on isListed
unanalyzedcall on java.util.List:add
unanalyzedcall on java.util.Collections:sort
unanalyzedcall on java.util.Date:getTime
unanalyzedcall on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzedcall on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource









  infocall too complex - analysis skipped-- call on void trackBackAdded(TrackBackEvent)










  infomethod not available-- call on void trackBackRemoved(TrackBackEvent)










  infomethod not available-- call on void trackBackApproved(TrackBackEvent)










  infocall too complex - analysis skipped-- call on void trackBackRejected(TrackBackEvent)