responseindex.java

responseindex.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 clear()

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
U	pre	(soft) this.pendingResponses != null	2010-07-16 16:14:15
U	pre	(soft) this.rejectedResponses != null	2010-07-16 16:14:15
U	post	new ArrayList(clear#1) num objects == 1	2010-07-16 16:14:15
U	post	new ArrayList(clear#2) num objects == 1	2010-07-16 16:14:15
U	post	new ArrayList(clear#3) num objects == 1	2010-07-16 16:14:15
U	post	this.approvedResponses == &new ArrayList(clear# 1)	2010-07-16 16:14:15
U	post	this.pendingResponses == &new ArrayList(clear#2 )	2010-07-16 16:14:15
U	post	this.rejectedResponses == &new ArrayList(clear# 3)	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.util.List:iterator	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 org.apache.commons.logging.Log:error	2010-07-16 16:14:15

List getApprovedResponses()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.approvedResponses)	2010-07-16 16:14:15
U	post	new ArrayList(getApprovedResponses#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new ArrayList(getApprovedRespo nses#1)	2010-07-16 16:14:15

int getNumberOfApprovedResponses()

-/+	Kind	Annotation Text	Date
U	pre	this.approvedResponses != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15

int getNumberOfPendingResponses()

-/+	Kind	Annotation Text	Date
U	pre	this.pendingResponses != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15

int getNumberOfRejectedResponses()

-/+	Kind	Annotation Text	Date
U	pre	this.rejectedResponses != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15

int getNumberOfResponses()

-/+	Kind	Annotation Text	Date
U	pre	this.approvedResponses != null	2010-07-16 16:14:15
U	pre	this.pendingResponses != null	2010-07-16 16:14:15
U	pre	this.rejectedResponses != null	2010-07-16 16:14:15
U	presumption	java.util.List:size(...)@202 + java.util. List:size(...)@193 + java.util.List:size(...)@211 in -2³¹..2³²-1	2010-07-16 16:14:15
U	presumption	java.util.List:size(...)@202 + java.util. List:size(...)@193 in -2³².. 6_442_450_943	2010-07-16 16:14:15
U	post	(soft) init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:size	2010-07-16 16:14:15

List getPendingResponses()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.pendingResponses)	2010-07-16 16:14:15
U	post	new ArrayList(getPendingResponses#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new ArrayList(getPendingRespon ses#1)	2010-07-16 16:14:15

List getRecentApprovedResponses(int)

-/+	Kind	Annotation Text	Date
U	pre	this.approvedResponses != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15

List getRecentResponses(int)

-/+	Kind	Annotation Text	Date
U	pre	this.approvedResponses != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:size	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:subList	2010-07-16 16:14:15

List getRejectedResponses()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.rejectedResponses)	2010-07-16 16:14:15
U	post	new ArrayList(getRejectedResponses#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new ArrayList(getRejectedRespo nses#1)	2010-07-16 16:14:15

void index(Collection)

-/+	Kind	Annotation Text	Date
U	pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null	2010-07-16 16:14:15
U	pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null	2010-07-16 16:14:15
U	pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null	2010-07-16 16:14:15
U	pre	(soft) this.approvedResponses != null	2010-07-16 16:14:15
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
U	pre	(soft) this.pendingResponses != null	2010-07-16 16:14:15
U	pre	(soft) this.rejectedResponses != null	2010-07-16 16:14:15
U	pre	blogEntries != null	2010-07-16 16:14:15
U	presumption	blogEntry.comments@60 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@60 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@61 != null	2010-07-16 16:14:15
U	presumption	response.blogEntry@62 != null	2010-07-16 16:14:15
U	presumption	response.blogEntry@64 != null	2010-07-16 16:14:15
U	presumption	response.blogEntry@66 != null	2010-07-16 16:14:15
U	presumption	response.date@62 != null	2010-07-16 16:14:15
U	presumption	response.date@64 != null	2010-07-16 16:14:15
U	presumption	response.date@66 != null	2010-07-16 16:14:15
U	presumption	response.state@61 != null	2010-07-16 16:14:15
U	presumption	response.state@62 != null	2010-07-16 16:14:15
U	presumption	response.state@64 != null	2010-07-16 16:14:15
U	unanalyzed	call on getComments	2010-07-16 16:14:15
+	unanalyzed	call on getState	2010-07-22 12:56:56
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:equals	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.ArrayList	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:addAll	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:iterator	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 org.apache.commons.logging.Log:error	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@60: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@61: {1}, {0}	2010-07-16 16:14:15

void index(Response)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(response.state.name)	2010-07-16 16:14:15
U	pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null	2010-07-16 16:14:15
U	pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null	2010-07-16 16:14:15
U	pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null	2010-07-16 16:14:15
U	pre	(soft) response.blogEntry != null	2010-07-16 16:14:15
U	pre	(soft) response.date != null	2010-07-16 16:14:15
U	pre	(soft) this.approvedResponses != null	2010-07-16 16:14:15
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
U	pre	(soft) this.pendingResponses != null	2010-07-16 16:14:15
U	pre	(soft) this.rejectedResponses != null	2010-07-16 16:14:15
U	pre	response != null	2010-07-16 16:14:15
U	pre	response.state != null	2010-07-16 16:14:15
+	unanalyzed	call on getState	2010-07-22 12:56:56
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:equals	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:iterator	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 org.apache.commons.logging.Log:error	2010-07-16 16:14:15

void net.sourceforge.pebble.index.ResponseIndex(Blog)

-/+	Kind	Annotation Text	Date
U	pre	blog != null	2010-07-16 16:14:15
U	post	new ArrayList(ResponseIndex#1) num objects == 1	2010-07-16 16:14:15
U	post	new ArrayList(ResponseIndex#2) num objects == 1	2010-07-16 16:14:15
U	post	new ArrayList(ResponseIndex#3) num objects == 1	2010-07-16 16:14:15
U	post	new ArrayList(readIndex#1) num objects == 3	2010-07-16 16:14:15
U	post	this.approvedResponses == &new ArrayList(readIn dex#1)	2010-07-16 16:14:15
U	post	this.blog != null	2010-07-16 16:14:15
U	post	this.blog == blog	2010-07-16 16:14:15
U	post	this.pendingResponses == &new ArrayList(readInd ex#1)	2010-07-16 16:14:15
U	post	this.rejectedResponses == &new ArrayList(readIn dex#1)	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedReader	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedReader:close	2010-07-16 16:14:15
U	unanalyzed	call on java.io.BufferedReader:readLine	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.File:exists	2010-07-16 16:14:15
U	unanalyzed	call on java.io.FileReader	2010-07-16 16:14:15
U	unanalyzed	call on java.util.ArrayList	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.List:add	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 org.apache.commons.logging.Log:error	2010-07-16 16:14:15

net.sourceforge.pebble.index.ResponseIndex__static_init

-/+	Kind	Annotation Text	Date
U	post	init'ed(log)	2010-07-16 16:14:15

List readIndex(State)

-/+	Kind	Annotation Text	Date
U	pre	this.blog != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@24 != null	2010-07-16 16:14:15
U	post	new ArrayList(readIndex#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new ArrayList(readIndex#1)	2010-07-16 16:14:15
U	test_vector	java.io.File:exists(...)@134: {0}, {1}	2010-07-16 16:14:15

void unindex(Response)

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
U	pre	(soft) this.pendingResponses != null	2010-07-16 16:14:15
U	pre	(soft) this.rejectedResponses != null	2010-07-16 16:14:15
U	pre	response != null	2010-07-16 16:14:15
U	pre	response.blogEntry != null	2010-07-16 16:14:15
U	pre	response.date != null	2010-07-16 16:14:15
U	pre	this.approvedResponses != null	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:iterator	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 org.apache.commons.logging.Log:error	2010-07-16 16:14:15
U	test_vector	java.util.List:contains(...)@107: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.util.List:contains(...)@110: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.util.List:contains(...)@113: {0}, {1}	2010-07-16 16:14:15

void writeIndex(State)

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.approvedResponses != null	2010-07-16 16:14:15
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
U	pre	(soft) this.pendingResponses != null	2010-07-16 16:14:15
U	pre	(soft) this.rejectedResponses != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@24 != null	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@175: {1}, {0}	2010-07-16 16:14:15