## 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 <= 232-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 -231.. 232-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: {-231..0}, {1..232-1} | 2010-07-16 16:14:15
U | test_vector | java.util.Map:size(...)@198: {-231..0}, {1..232-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