authorindex.java

authorindex.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	post	new HashMap(clear#1) num objects == 1	2010-07-16 16:14:15
U	post	this.authors == &new HashMap(clear#1)	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 java.util.Map:get	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Map:keySet	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set: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 getAuthors()

-/+	Kind	Annotation Text	Date
U	pre	this.authors != null	2010-07-16 16:14:15
U	post	new LinkedList(getAuthors#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new LinkedList(getAuthors#1)	2010-07-16 16:14:15

List getBlogEntries(String)

-/+	Kind	Annotation Text	Date
U	pre	this.authors != null	2010-07-16 16:14:15
U	post	new LinkedList(getBlogEntries#1) num objects <= 1	2010-07-16 16:14:15
U	post	return_value != null	2010-07-16 16:14:15
U	test_vector	java.util.Map:get(...)@181: Inverse{null}, Addr_Set{null}	2010-07-16 16:14:15

List getRecentBlogEntries(String)

-/+	Kind	Annotation Text	Date
U	pre	this.authors != null	2010-07-16 16:14:15
U	post	new LinkedList(getRecentBlogEntries#1) num objects <= 1	2010-07-16 16:14:15
U	post	new LinkedList(getRecentBlogEntries#2) num objects <= 1	2010-07-16 16:14:15
U	post	return_value in Addr_Set{&new LinkedList(getRec entBlogEntries#2),&new LinkedList(getRecentBlog Entries#1)}	2010-07-16 16:14:15
U	test_vector	java.util.Map:get(...)@204: Inverse{null}, Addr_Set{null}	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#5).name != null	2010-07-16 16:14:15
U	pre	(soft) this.authors != null	2010-07-16 16:14:15
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
U	pre	blogEntries != null	2010-07-16 16:14:15
U	presumption	blogEntry.state@77 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@77 != 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:equals	2010-07-16 16:14:15
U	unanalyzed	call on java.util.LinkedList	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.Map:get	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Map:keySet	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Map:put	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set: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
U	test_vector	java.util.Iterator:hasNext(...)@77: {1}, {0}	2010-07-16 16:14:15

void index(BlogEntry)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(blogEntry.author)	2010-07-16 16:14:15
U	pre	(soft) init'ed(blogEntry.id)	2010-07-16 16:14:15
U	pre	(soft) init'ed(blogEntry.state.name)	2010-07-16 16:14:15
U	pre	(soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null	2010-07-16 16:14:15
U	pre	(soft) this.authors != null	2010-07-16 16:14:15
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
U	pre	blogEntry != null	2010-07-16 16:14:15
U	pre	blogEntry.state != 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:equals	2010-07-16 16:14:15
U	unanalyzed	call on java.util.LinkedList	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.Map:get	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Map:keySet	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Map:put	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set: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

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

-/+	Kind	Annotation Text	Date
U	pre	blog != null	2010-07-16 16:14:15
U	post	new HashMap(AuthorIndex#1) num objects == 1	2010-07-16 16:14:15
U	post	this.authors == &new HashMap(AuthorIndex#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	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.lang.String:split	2010-07-16 16:14:15
U	unanalyzed	call on java.util.LinkedList	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.Map:get	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Map:put	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.AuthorIndex__static_init

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

void readIndex()

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.authors != null	2010-07-16 16:14:15
U	pre	this.blog != null	2010-07-16 16:14:15
U	presumption	blogEntryIds.length@136 <= 2³²-1	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@50 != null	2010-07-16 16:14:15
U	presumption	tuple.length@131 >= 1	2010-07-16 16:14:15
U	unanalyzed	call on java.util.LinkedList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Map:get	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Map:put	2010-07-16 16:14:15
U	test_vector	java.io.File:exists(...)@126: {0}, {1}	2010-07-16 16:14:15
U	test_vector	tuple.length@131: {1}, {2..+Inf}	2010-07-16 16:14:15
U	test_vector	tuple[1]@131: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

void unindex(BlogEntry)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(blogEntry.id)	2010-07-16 16:14:15
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
U	pre	blogEntry != null	2010-07-16 16:14:15
U	pre	init'ed(blogEntry.author)	2010-07-16 16:14:15
U	pre	this.authors != 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.util.List:iterator	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Map:get	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Map:keySet	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set: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
U	test_vector	java.util.List:isEmpty(...)@113: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.util.Map:get(...)@109: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

void writeIndex()

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.authors != null	2010-07-16 16:14:15
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
U	presumption	java.util.Map:keySet(...)@160 != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@50 != null	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@160: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@165: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Map:get(...)@163: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15