## 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 -231..232-1 | 2010-07-16 16:14:15
U | presumption | java.util.List:size(...)@202 + java.util. List:size(...)@193 in -232.. 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