defaulteventdispatcher.java

defaulteventdispatcher.java

current inspection = 2010-07-22 15:04:21 (id #4)

base = 2010-07-16 16:14:15 (id #1)

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

void fireBlogEntryEvent(BlogEntryEvent)

-/+	Kind	Annotation Text	Date
U	pre	(soft) event != null	2010-07-16 16:14:15
U	pre	(soft) init'ed(event.type)	2010-07-16 16:14:15
U	pre	(soft) init'ed(event.vetoed)	2010-07-16 16:14:15
U	pre	this.eventListenerList != null	2010-07-16 16:14:15
U	pre	this.eventListenerList.blogEntryListeners != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@84 != null	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@83: {1}, {0}	2010-07-16 16:14:15

void fireBlogEvent(BlogEvent)

-/+	Kind	Annotation Text	Date
U	pre	(soft) event != null	2010-07-16 16:14:15
U	pre	(soft) init'ed(event.type)	2010-07-16 16:14:15
U	pre	(soft) init'ed(event.vetoed)	2010-07-16 16:14:15
U	pre	this.eventListenerList != null	2010-07-16 16:14:15
U	pre	this.eventListenerList.blogListeners != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@62 != null	2010-07-16 16:14:15
+	presumption	listener.timer@62 != null	2010-07-22 12:56:56
+	unanalyzed	call on getBlog	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Timer:cancel	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Timer:schedule	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.api.event.blog. BlogEvent:getSource	2010-07-22 12:56:56
U	test_vector	event.type: {-2³¹..-1, 2..2³²-1}, {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@61: {1}, {0}	2010-07-16 16:14:15

void fireCommentEvent(CommentEvent)

-/+	Kind	Annotation Text	Date
U	pre	(soft) event != null	2010-07-16 16:14:15
U	pre	(soft) init'ed(event.type)	2010-07-16 16:14:15
U	pre	(soft) init'ed(event.vetoed)	2010-07-16 16:14:15
U	pre	this.eventListenerList != null	2010-07-16 16:14:15
U	pre	this.eventListenerList.commentListeners != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@112 != null	2010-07-16 16:14:15
U	unanalyzed	call on getAuthor	2010-07-16 16:14:15
U	unanalyzed	call on getBlog	2010-07-16 16:14:15
U	unanalyzed	call on getBlogEntry	2010-07-16 16:14:15
U	unanalyzed	call on getComment	2010-07-16 16:14:15
U	unanalyzed	call on getGuid	2010-07-16 16:14:15
U	unanalyzed	call on getResponseIndex	2010-07-16 16:14:15
U	unanalyzed	call on getTitle	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:close	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:flush	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:newLine	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:write	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File	2010-07-16 16:14:15
U	unanalyzed	call on java.io.FileWriter	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:valueOf	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Date:getTime	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:contains	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:iterator	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:remove	2010-07-16 16:14:15
U	unanalyzed	call on java.util.SortedSet:remove	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.api.event.comment. CommentEvent:getSource	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getId	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. SecurityUtils:getUsername	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:info	2010-07-16 16:14:15
+	unanalyzed	call on unindex	2010-07-22 12:56:56
U	test_vector	java.util.Iterator:hasNext(...)@111: {1}, {0}	2010-07-16 16:14:15

void fireTrackBackEvent(TrackBackEvent)

-/+	Kind	Annotation Text	Date
U	pre	(soft) event != null	2010-07-16 16:14:15
U	pre	(soft) init'ed(event.type)	2010-07-16 16:14:15
U	pre	(soft) init'ed(event.vetoed)	2010-07-16 16:14:15
U	pre	this.eventListenerList != null	2010-07-16 16:14:15
U	pre	this.eventListenerList.trackBackListeners != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@138 != null	2010-07-16 16:14:15
U	unanalyzed	call on addIpAddress	2010-07-16 16:14:15
+	unanalyzed	call on blogEntryResponseApproved	2010-07-22 12:56:56
U	unanalyzed	call on getBlog	2010-07-16 16:14:15
U	unanalyzed	call on getBlogEntry	2010-07-16 16:14:15
U	unanalyzed	call on getBlogName	2010-07-16 16:14:15
U	unanalyzed	call on getGuid	2010-07-16 16:14:15
U	unanalyzed	call on getIpAddress	2010-07-16 16:14:15
U	unanalyzed	call on getPluginProperties	2010-07-16 16:14:15
-	unanalyzed	call on getPluginPropertiesFile	2010-07-16 16:59:22
U	unanalyzed	call on getResponseIndex	2010-07-16 16:14:15
+	unanalyzed	call on getState	2010-07-22 12:56:56
U	unanalyzed	call on getTitle	2010-07-16 16:14:15
U	unanalyzed	call on getTrackBack	2010-07-16 16:14:15
+	unanalyzed	call on index	2010-07-22 12:56:56
U	unanalyzed	call on isApproved	2010-07-16 16:14:15
U	unanalyzed	call on isListed	2010-07-16 16:14:15
U	unanalyzed	call on isPending	2010-07-16 16:14:15
U	unanalyzed	call on isRejected	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:close	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:flush	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:newLine	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedWriter:write	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File	2010-07-16 16:14:15
-	unanalyzed	call on java.io.FileOutputStream	2010-07-16 16:59:22
-	unanalyzed	call on java.io.FileOutputStream:close	2010-07-16 16:59:22
-	unanalyzed	call on java.io.FileOutputStream:flush	2010-07-16 16:59:22
U	unanalyzed	call on java.io.FileWriter	2010-07-16 16:14:15
-	unanalyzed	call on java.io.IOException:getMessage	2010-07-16 16:59:22
U	unanalyzed	call on java.lang.String:equals	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:length	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:split	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:trim	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:valueOf	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Collections:sort	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Date:getTime	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:contains	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:iterator	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:remove	2010-07-16 16:14:15
-	unanalyzed	call on java.util.Properties:getProperty	2010-07-16 16:59:22
-	unanalyzed	call on java.util.Properties:setProperty	2010-07-16 16:59:22
-	unanalyzed	call on java.util.Properties:store	2010-07-16 16:59:22
U	unanalyzed	call on java.util.SortedSet:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.SortedSet:remove	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.PluginProperties:get Property	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.PluginProperties:set Property	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.PluginProperties:sto re	2010-07-22 12:56:56
U	unanalyzed	call on net.sourceforge.pebble.api.event.trackback. TrackBackEvent:getSource	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getId	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. SecurityUtils:getUsername	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:info	2010-07-16 16:14:15
U	unanalyzed	call on removeIpAddress	2010-07-16 16:14:15
+	unanalyzed	call on unindex	2010-07-22 12:56:56
U	test_vector	java.util.Iterator:hasNext(...)@137: {1}, {0}	2010-07-16 16:14:15

void net.sourceforge.pebble.event.DefaultEventDispatcher()

-/+	Kind	Annotation Text	Date

net.sourceforge.pebble.event.DefaultEventDispatcher__static_init

-/+	Kind	Annotation Text	Date