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

| 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 -232.. 6_442_450_943
presumption | java.util.List:size(...)@202 + java.util. List:size(...)@193 + java.util.List:size(...)@211 in -231..232-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