Messages

Last Msg First Msg

method	net.sourceforge.pebble.index.ResponseIndex__ static_init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	void net.sourceforge.pebble.index.ResponseIndex(Bl og)
pre	blog != null
post	this.approvedResponses == &new ArrayList(readIn dex#1)
post	this.blog == blog
post	this.blog != null
post	this.pendingResponses == &new ArrayList(readInd ex#1)
post	this.rejectedResponses == &new ArrayList(readIn dex#1)
post	new ArrayList(ResponseIndex#1) num objects == 1
post	new ArrayList(ResponseIndex#2) num objects == 1
post	new ArrayList(ResponseIndex#3) num objects == 1
post	new ArrayList(readIndex#1) num objects == 3
unanalyzed	call on java.util.ArrayList
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.FileReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.util.List:add
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.Collections:sort

method	void clear()
pre	(soft) this.pendingResponses != null
pre	(soft) this.rejectedResponses != null
pre	(soft) this.blog != null
post	this.approvedResponses == &new ArrayList(clear# 1)
post	this.pendingResponses == &new ArrayList(clear#2 )
post	this.rejectedResponses == &new ArrayList(clear# 3)
post	new ArrayList(clear#1) num objects == 1
post	new ArrayList(clear#2) num objects == 1
post	new ArrayList(clear#3) num objects == 1
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

method	void index(Collection)
pre	blogEntries != 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
pre	(soft) this.approvedResponses != null
pre	(soft) this.blog != null
pre	(soft) this.pendingResponses != null
pre	(soft) this.rejectedResponses != null
presumption	blogEntry.comments@60 != null
presumption	java.util.Iterator:next(...)@60 != null
presumption	java.util.Iterator:next(...)@61 != null
presumption	response.blogEntry@62 != null
presumption	response.blogEntry@64 != null
presumption	response.blogEntry@66 != null
presumption	response.date@62 != null
presumption	response.date@64 != null
presumption	response.date@66 != null
presumption	response.state@61 != null
presumption	response.state@62 != null
presumption	response.state@64 != 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 java.lang.String:equals
unanalyzed	call on getState
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.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on getComments
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.Collections:sort
test_vector	java.util.Iterator:hasNext(...)@60: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@61: {1}, {0}

method	void index(Response)
pre	response != null
pre	response.state != 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
pre	(soft) response.blogEntry != null
pre	(soft) response.date != null
pre	(soft) init'ed(response.state.name)
pre	(soft) this.approvedResponses != null
pre	(soft) this.blog != null
pre	(soft) this.pendingResponses != null
pre	(soft) this.rejectedResponses != 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 java.lang.String:equals
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on getState
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getId

method	void unindex(Response)
pre	response != null
pre	response.blogEntry != null
pre	response.date != null
pre	this.approvedResponses != null
pre	(soft) this.blog != null
pre	(soft) this.pendingResponses != null
pre	(soft) this.rejectedResponses != 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 java.util.Date:getTime
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getId
test_vector	java.util.List:contains(...)@107: {0}, {1}
test_vector	java.util.List:contains(...)@110: {0}, {1}
test_vector	java.util.List:contains(...)@113: {0}, {1}

method	List readIndex(State)
pre	this.blog != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@24 != null
post	return_value == &new ArrayList(readIndex#1)
post	new ArrayList(readIndex#1) num objects == 1
test_vector	java.io.File:exists(...)@134: {0}, {1}

info method not available -- call on String net.sourceforge.pebble.domain. Blog:getIndexesDirectory()

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	void writeIndex(State)
pre	(soft) this.approvedResponses != null
pre	(soft) this.blog != null
pre	(soft) this.pendingResponses != null
pre	(soft) this.rejectedResponses != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@24 != null
test_vector	java.util.Iterator:hasNext(...)@175: {1}, {0}

info method not available -- call on String net.sourceforge.pebble.domain. Blog:getIndexesDirectory()

Prev Msg Next Msg

click for all messages in this file medium

null dereference check might fail: requires responses != null

Prev Msg Next Msg

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	int getNumberOfApprovedResponses()
pre	this.approvedResponses != null
post	init'ed(return_value)

method	int getNumberOfPendingResponses()
pre	this.pendingResponses != null
post	init'ed(return_value)

method	int getNumberOfRejectedResponses()
pre	this.rejectedResponses != null
post	init'ed(return_value)

method	int getNumberOfResponses()
pre	this.approvedResponses != null
pre	this.pendingResponses != null
pre	this.rejectedResponses != null
presumption	java.util.List:size(...)@202 + java.util. List:size(...)@193 in -2³².. 6_442_450_943
presumption	java.util.List:size(...)@202 + java.util. List:size(...)@193 + java.util.List:size(...)@211 in -2³¹..2³²-1
post	(soft) init'ed(return_value)
unanalyzed	call on java.util.List:size

method	List getRecentResponses(int)
pre	this.approvedResponses != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:subList

method	List getRecentApprovedResponses(int)
pre	this.approvedResponses != null
post	init'ed(return_value)

method	List getApprovedResponses()
pre	init'ed(this.approvedResponses)
post	return_value == &new ArrayList(getApprovedRespo nses#1)
post	new ArrayList(getApprovedResponses#1) num objects == 1

method	List getPendingResponses()
pre	init'ed(this.pendingResponses)
post	return_value == &new ArrayList(getPendingRespon ses#1)
post	new ArrayList(getPendingResponses#1) num objects == 1

method	List getRejectedResponses()
pre	init'ed(this.rejectedResponses)
post	return_value == &new ArrayList(getRejectedRespo nses#1)
post	new ArrayList(getRejectedResponses#1) num objects == 1