Messages

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
presumption | java.util.Iterator:next(...)@62 != null
test_vector | java.util.Iterator:hasNext(...)@61: {1}, {0}
pre | this.eventListenerList != null
pre | this.eventListenerList.blogListeners != null
pre | (soft) init'ed(event.type)
pre | (soft) init'ed(event.vetoed)
test_vector | event.type: {-231..-1, 2..232-1}, {0}, {1}
presumption | listener.timer@62 != null
unanalyzed | call on getBlog
unanalyzed | call on java.util.Timer:schedule
unanalyzed | call on java.util.Timer:cancel
unanalyzed | call on net.sourceforge.pebble.api.event.blog. BlogEvent:getSource

| info | method not available | -- call on void blogStarted(BlogEvent)

| info | method not available | -- call on void blogStopped(BlogEvent)

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

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

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

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

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

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

method | void fireCommentEvent(CommentEvent)
pre | (soft) event != null
presumption | java.util.Iterator:next(...)@112 != null
test_vector | java.util.Iterator:hasNext(...)@111: {1}, {0}
pre | this.eventListenerList != null
pre | this.eventListenerList.commentListeners != null
pre | (soft) init'ed(event.type)
pre | (soft) init'ed(event.vetoed)
unanalyzed | call on java.util.SortedSet:remove
unanalyzed | call on getComment
unanalyzed | call on getBlogEntry
unanalyzed | call on getBlog
unanalyzed | call on getResponseIndex
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 unindex
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 getTitle
unanalyzed | call on getAuthor
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on org.apache.commons.logging.Log:info
unanalyzed | call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId

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

| info | method not available | -- call on void commentRemoved(CommentEvent)

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

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

method | void fireTrackBackEvent(TrackBackEvent)
pre | (soft) event != null
presumption | java.util.Iterator:next(...)@138 != null
test_vector | java.util.Iterator:hasNext(...)@137: {1}, {0}
pre | this.eventListenerList != null
pre | this.eventListenerList.trackBackListeners != null
pre | (soft) init'ed(event.type)
pre | (soft) init'ed(event.vetoed)
unanalyzed | call on java.util.SortedSet:remove
unanalyzed | call on getBlogEntry
unanalyzed | call on getBlog
unanalyzed | call on getResponseIndex
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on unindex
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 blogEntryResponseApproved
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername
unanalyzed | call on index
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on org.apache.commons.logging.Log:info
unanalyzed | call on getTrackBack
unanalyzed | call on getTitle
unanalyzed | call on getBlogName
unanalyzed | call on isApproved
unanalyzed | call on java.util.SortedSet:add
unanalyzed | call on isPending
unanalyzed | call on isRejected
unanalyzed | call on getPluginProperties
unanalyzed | call on getIpAddress
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:length
unanalyzed | call on addIpAddress
unanalyzed | call on removeIpAddress
unanalyzed | call on getState
unanalyzed | call on net.sourceforge.pebble.PluginProperties:get Property
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.lang.String:equals
unanalyzed | call on net.sourceforge.pebble.PluginProperties:set Property
unanalyzed | call on net.sourceforge.pebble.PluginProperties:sto re
unanalyzed | call on isListed
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed | call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource

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

| info | method not available | -- call on void trackBackRemoved(TrackBackEvent)

| info | method not available | -- call on void trackBackApproved(TrackBackEvent)

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