tagindex.java

tagindex.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.tags == &new HashMap(clear#1)	2010-07-16 16:14:15
U	unanalyzed	call on getBlogEntries	2010-07-16 16:14:15
U	unanalyzed	call on getName	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.ArrayList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Collection:iterator	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:values	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 getRecentBlogEntries(Tag)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(this.blog)	2010-07-16 16:14:15
U	pre	init'ed(tag.name)	2010-07-16 16:14:15
U	pre	tag != null	2010-07-16 16:14:15
U	pre	this.tags != null	2010-07-16 16:14:15
U	post	new ArrayList(getRecentBlogEntries#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new ArrayList(getRecentBlogEnt ries#1)	2010-07-16 16:14:15
U	unanalyzed	call on encode	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:replaceAll	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:toLowerCase	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:trim	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.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.index.IndexedTag	2010-07-16 16:14:15

IndexedTag getTag(String)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(this.blog)	2010-07-16 16:14:15
U	pre	this.tags != null	2010-07-16 16:14:15
U	post	(soft) init'ed(new IndexedTag(getTag#1).blog)	2010-07-16 16:14:15
U	post	new ArrayList(IndexedTag#1) num objects <= 1	2010-07-16 16:14:15
U	post	new IndexedTag(getTag#1) num objects <= 1	2010-07-16 16:14:15
U	post	new IndexedTag(getTag#1).blog == this.blog	2010-07-16 16:14:15
U	post	new IndexedTag(getTag#1).blogEntries == &new ArrayList(IndexedTag#1)	2010-07-16 16:14:15
U	post	new IndexedTag(getTag#1).name != null	2010-07-16 16:14:15
U	post	return_value != null	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:replaceAll	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:toLowerCase	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:trim	2010-07-16 16:14:15
U	unanalyzed	call on java.util.ArrayList	2010-07-16 16:14:15
U	test_vector	java.util.Map:get(...)@189: Inverse{null}, Addr_Set{null}	2010-07-16 16:14:15

List getTags()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.orderedTags)	2010-07-16 16:14:15
U	post	new ArrayList(getTags#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new ArrayList(getTags#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#5).name != null	2010-07-16 16:14:15
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
U	pre	(soft) this.tags != null	2010-07-16 16:14:15
U	pre	blogEntries != null	2010-07-16 16:14:15
+	presumption	blogEntry.blog.rootCategory@82 != null	2010-07-22 12:56:56
U	presumption	blogEntry.blog@82 != null	2010-07-16 16:14:15
U	presumption	blogEntry.state@81 != null	2010-07-16 16:14:15
U	presumption	blogEntry.tagsAsList@82 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@81 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@83 != null	2010-07-16 16:14:15
U	presumption	t.blogEntries@84 != null	2010-07-16 16:14:15
U	post	new ArrayList(recalculateTagRankings#2) num objects <= 1	2010-07-16 16:14:15
U	post	this.orderedTags == One-of{old this.orderedTags, &new ArrayList(recalculateTagRankings#2)}	2010-07-16 16:14:15
U	unanalyzed	call on calculateRank	2010-07-16 16:14:15
U	unanalyzed	call on encode	2010-07-16 16:14:15
-	unanalyzed	call on getAllTags	2010-07-16 16:59:22
U	unanalyzed	call on getBlogEntries	2010-07-16 16:14:15
U	unanalyzed	call on getName	2010-07-16 16:14:15
U	unanalyzed	call on getNumberOfBlogEntries	2010-07-16 16:14:15
U	unanalyzed	call on getRootCategory	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.Math:round	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:replaceAll	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:toLowerCase	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:trim	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.Collection:iterator	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Collections:reverse	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.HashSet	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:contains	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.List:size	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 java.util.Map:size	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Map:values	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set:iterator	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set:size	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.index.IndexedTag	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(...)@81: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@83: {1}, {0}	2010-07-16 16:14:15

void index(BlogEntry)

-/+	Kind	Annotation Text	Date
U	pre	(soft) blogEntry.blog != null	2010-07-16 16:14:15
+	pre	(soft) blogEntry.blog.rootCategory != null	2010-07-22 12:56:56
U	pre	(soft) blogEntry.tagsAsList != null	2010-07-16 16:14:15
+	pre	(soft) init'ed(blogEntry.blog.rootCategory... parent)	2010-07-22 12:56:56
+	pre	(soft) init'ed(blogEntry.blog.rootCategory... tagsAsList)	2010-07-22 12:56:56
+	pre	(soft) init'ed(blogEntry.blog.rootCategory.parent)	2010-07-22 12:56:56
+	pre	(soft) init'ed(blogEntry.blog.rootCategory. tagsAsList)	2010-07-22 12:56:56
U	pre	(soft) init'ed(blogEntry.categories)	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.blog != null	2010-07-16 16:14:15
U	pre	(soft) this.tags != 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	presumption	java.util.Iterator:next(...)@101 != null	2010-07-16 16:14:15
U	presumption	t.blogEntries@102 != null	2010-07-16 16:14:15
U	post	new ArrayList(recalculateTagRankings#2) num objects <= 1	2010-07-16 16:14:15
U	post	this.orderedTags == One-of{old this.orderedTags, &new ArrayList(recalculateTagRankings#2)}	2010-07-16 16:14:15
U	unanalyzed	call on calculateRank	2010-07-16 16:14:15
U	unanalyzed	call on encode	2010-07-16 16:14:15
-	unanalyzed	call on getAllTags	2010-07-16 16:59:22
U	unanalyzed	call on getBlogEntries	2010-07-16 16:14:15
U	unanalyzed	call on getName	2010-07-16 16:14:15
U	unanalyzed	call on getNumberOfBlogEntries	2010-07-16 16:14:15
U	unanalyzed	call on getRootCategory	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.Math:round	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:replaceAll	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:toLowerCase	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:trim	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.Collection:iterator	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Collections:reverse	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.HashSet	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:contains	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.List:size	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 java.util.Map:size	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Map:values	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set:iterator	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Set:size	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.index.IndexedTag	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(...)@101: {1}, {0}	2010-07-16 16:14:15

void readIndex()

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.tags != null	2010-07-16 16:14:15
U	pre	this.blog != null	2010-07-16 16:14:15
U	presumption	blogEntries.length@140 <= 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	tag.blogEntries@137 != null	2010-07-16 16:14:15
U	presumption	tuple.length@136 >= 1	2010-07-16 16:14:15
U	unanalyzed	call on encode	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:replaceAll	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:toLowerCase	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:trim	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 java.util.List:contains	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.index.IndexedTag	2010-07-16 16:14:15
U	test_vector	java.io.File:exists(...)@131: {0}, {1}	2010-07-16 16:14:15
U	test_vector	tuple.length@136: {1}, {2..+Inf}	2010-07-16 16:14:15
U	test_vector	tuple[1]@136: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15

void recalculateTagRankings()

-/+	Kind	Annotation Text	Date
U	pre	this.tags != null	2010-07-16 16:14:15
U	presumption	java.lang.Math:round(...)@209 in -2³¹.. 2³²-1	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@201 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@215 != null	2010-07-16 16:14:15
U	presumption	java.util.Map:values(...)@201 != null	2010-07-16 16:14:15
U	presumption	java.util.Map:values(...)@215 != null	2010-07-16 16:14:15
U	presumption	tag.blogEntries@201 != null	2010-07-16 16:14:15
U	presumption	tag.blogEntries@202 != null	2010-07-16 16:14:15
U	presumption	tag.blogEntries@215 != null	2010-07-16 16:14:15
U	presumption	tag.blogEntries@216 != null	2010-07-16 16:14:15
U	post	new ArrayList(recalculateTagRankings#2) num objects <= 1	2010-07-16 16:14:15
U	post	this.orderedTags == One-of{old this.orderedTags, &new ArrayList(recalculateTagRankings#2)}	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:size	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@201: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@215: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.List:size(...)@100: {-2³¹..0}, {1..2³²-1}	2010-07-16 16:14:15
U	test_vector	java.util.Map:size(...)@198: {-2³¹..0}, {1..2³²-1}	2010-07-16 16:14:15

void unindex(BlogEntry)

-/+	Kind	Annotation Text	Date
U	pre	(soft) blogEntry != null	2010-07-16 16:14:15
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	this.tags != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@117 != null	2010-07-16 16:14:15
U	presumption	java.util.Map:values(...)@117 != null	2010-07-16 16:14:15
U	presumption	t.blogEntries@118 != null	2010-07-16 16:14:15
U	post	new ArrayList(recalculateTagRankings#2) num objects <= 1	2010-07-16 16:14:15
U	post	this.orderedTags == One-of{old this.orderedTags, &new ArrayList(recalculateTagRankings#2)}	2010-07-16 16:14:15
U	unanalyzed	call on calculateRank	2010-07-16 16:14:15
U	unanalyzed	call on encode	2010-07-16 16:14:15
U	unanalyzed	call on getBlogEntries	2010-07-16 16:14:15
U	unanalyzed	call on getName	2010-07-16 16:14:15
U	unanalyzed	call on getNumberOfBlogEntries	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.Math:round	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:replaceAll	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:toLowerCase	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:trim	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.Collection:iterator	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 java.util.List:iterator	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:remove	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.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 java.util.Map:size	2010-07-16 16:14:15
U	unanalyzed	call on java.util.Map:values	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.index.IndexedTag	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(...)@117: {1}, {0}	2010-07-16 16:14:15

void writeIndex()

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
U	pre	(soft) this.tags != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@164 != null	2010-07-16 16:14:15
U	presumption	java.util.Map:values(...)@164 != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@50 != null	2010-07-16 16:14:15
U	unanalyzed	call on java.util.ArrayList	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@164: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@167: {1}, {0}	2010-07-16 16:14:15