categoryindex.java

categoryindex.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
+	pre	init'ed(this.blog.rootCategory)	2010-07-22 12:56:56
U	pre	this.blog != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@70 != null	2010-07-16 16:14:15
+	post	init'ed(new ArrayList(Category#1) num objects)	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Category#2) num objects)	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Category#3) num objects)	2010-07-22 12:56:56
U	post	init'ed(new ArrayList(removeAllBlogEntries#1) num objects)	2010-07-16 16:14:15
+	post	init'ed(new Category(getCategory#2) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).blogEntries)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).name)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).tags)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).tagsAsList)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).blogEntries)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).name)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).tags)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).tagsAsList)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2).blog)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2).id)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2). parent)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2). subCategories)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3).blog)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3).id)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3). parent)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3). subCategories)	2010-07-22 12:56:56
+	unanalyzed	call on addCategory	2010-07-22 12:56:56
+	unanalyzed	call on addSubCategory	2010-07-22 12:56:56
U	unanalyzed	call on getBlogEntries	2010-07-16 16:14:15
U	unanalyzed	call on getCategories	2010-07-16 16:14:15
+	unanalyzed	call on getCategory	2010-07-22 12:56:56
U	unanalyzed	call on getId	2010-07-16 16:14:15
+	unanalyzed	call on getSubCategories	2010-07-22 12:56:56
+	unanalyzed	call on isRootCategory	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
+	unanalyzed	call on java.lang.String:equals	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:indexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:lastIndexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:length	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:startsWith	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:substring	2010-07-22 12:56:56
U	unanalyzed	call on java.util.ArrayList	2010-07-16 16:14:15
+	unanalyzed	call on java.util.Collections:sort	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Collections:unmodifiableList	2010-07-22 12:56:56
+	unanalyzed	call on java.util.List:add	2010-07-22 12:56:56
+	unanalyzed	call on java.util.List:addAll	2010-07-22 12:56:56
+	unanalyzed	call on java.util.List:contains	2010-07-22 12:56:56
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
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Category	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage	2010-07-22 12:56:56
U	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:14:15
+	unanalyzed	call on setBlog	2010-07-22 12:56:56
U	test_vector	java.util.Iterator:hasNext(...)@70: {1}, {0}	2010-07-16 16:14:15

List getRecentBlogEntries(Category)

-/+	Kind	Annotation Text	Date
U	pre	category != null	2010-07-16 16:14:15
U	pre	init'ed(category.blogEntries)	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 java.util.ArrayList	2010-07-16 16:14:15

void index(Collection)

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(this.blog.rootCategory)	2010-07-22 12:56:56
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	blogEntries != null	2010-07-16 16:14:15
U	presumption	blogEntry.state@83 != null	2010-07-16 16:14:15
U	presumption	category.blogEntries@85 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@83 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@85 != null	2010-07-16 16:14:15
+	post	init'ed(new ArrayList(Category#1) num objects)	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Category#2) num objects)	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Category#3) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).blogEntries)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).name)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).subCategories)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).tags)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).tagsAsList)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).blogEntries)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).name)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).subCategories)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).tags)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).tagsAsList)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2).blog)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2).id)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2). parent)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3).blog)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3).id)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3). parent)	2010-07-22 12:56:56
U	unanalyzed	call on addBlogEntry	2010-07-16 16:14:15
+	unanalyzed	call on addCategory	2010-07-22 12:56:56
+	unanalyzed	call on addSubCategory	2010-07-22 12:56:56
U	unanalyzed	call on getBlogEntries	2010-07-16 16:14:15
U	unanalyzed	call on getCategories	2010-07-16 16:14:15
+	unanalyzed	call on getCategory	2010-07-22 12:56:56
U	unanalyzed	call on getId	2010-07-16 16:14:15
+	unanalyzed	call on getSubCategories	2010-07-22 12:56:56
+	unanalyzed	call on isRootCategory	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
+	unanalyzed	call on java.lang.String:indexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:lastIndexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:length	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:startsWith	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:substring	2010-07-22 12:56:56
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
+	unanalyzed	call on java.util.Collections:unmodifiableList	2010-07-22 12:56:56
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
+	unanalyzed	call on java.util.List:addAll	2010-07-22 12:56:56
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 net.sourceforge.pebble.domain. Blog:getIndexesDirectory	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Category	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage	2010-07-22 12:56:56
U	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:14:15
+	unanalyzed	call on setBlog	2010-07-22 12:56:56
U	test_vector	java.util.Iterator:hasNext(...)@83: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@85: {1}, {0}	2010-07-16 16:14:15

void index(BlogEntry)

-/+	Kind	Annotation Text	Date
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
+	pre	(soft) init'ed(this.blog.rootCategory)	2010-07-22 12:56:56
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	blogEntry != null	2010-07-16 16:14:15
U	pre	blogEntry.state != null	2010-07-16 16:14:15
U	presumption	category.blogEntries@101 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@101 != null	2010-07-16 16:14:15
+	post	init'ed(new ArrayList(Category#1) num objects)	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Category#2) num objects)	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Category#3) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).blogEntries)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).name)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).subCategories)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).tags)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).tagsAsList)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).blogEntries)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).name)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).subCategories)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).tags)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).tagsAsList)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2).blog)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2).id)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2). parent)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3).blog)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3).id)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3). parent)	2010-07-22 12:56:56
U	unanalyzed	call on addBlogEntry	2010-07-16 16:14:15
+	unanalyzed	call on addCategory	2010-07-22 12:56:56
+	unanalyzed	call on addSubCategory	2010-07-22 12:56:56
U	unanalyzed	call on getBlogEntries	2010-07-16 16:14:15
U	unanalyzed	call on getCategories	2010-07-16 16:14:15
+	unanalyzed	call on getCategory	2010-07-22 12:56:56
U	unanalyzed	call on getId	2010-07-16 16:14:15
+	unanalyzed	call on getSubCategories	2010-07-22 12:56:56
+	unanalyzed	call on isRootCategory	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
+	unanalyzed	call on java.lang.String:indexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:lastIndexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:length	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:startsWith	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:substring	2010-07-22 12:56:56
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
+	unanalyzed	call on java.util.Collections:unmodifiableList	2010-07-22 12:56:56
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
+	unanalyzed	call on java.util.List:addAll	2010-07-22 12:56:56
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 net.sourceforge.pebble.domain. Blog:getIndexesDirectory	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Category	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage	2010-07-22 12:56:56
U	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:14:15
+	unanalyzed	call on setBlog	2010-07-22 12:56:56
U	test_vector	java.util.Iterator:hasNext(...)@101: {1}, {0}	2010-07-16 16:14:15

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

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(blog.rootCategory)	2010-07-22 12:56:56
U	pre	blog != null	2010-07-16 16:14:15
+	post	init'ed(new ArrayList(Category#1) num objects)	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Category#2) num objects)	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Category#3) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*).blog)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*).blogEntries)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*).id)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*).name)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*).parent)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*). subCategories)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*).tags)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*).tagsAsList)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*).blog)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*).blogEntries)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*).id)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*).name)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*).parent)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*). subCategories)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*).tags)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*).tagsAsList)	2010-07-22 12:56:56
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 addBlogEntry	2010-07-16 16:14:15
+	unanalyzed	call on addCategory	2010-07-22 12:56:56
+	unanalyzed	call on addSubCategory	2010-07-22 12:56:56
U	unanalyzed	call on getCategory	2010-07-16 16:14:15
+	unanalyzed	call on getId	2010-07-22 12:56:56
+	unanalyzed	call on getSubCategories	2010-07-22 12:56:56
+	unanalyzed	call on isRootCategory	2010-07-22 12:56:56
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
+	unanalyzed	call on java.lang.String:equals	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:indexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:lastIndexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:length	2010-07-22 12:56:56
U	unanalyzed	call on java.lang.String:split	2010-07-16 16:14:15
+	unanalyzed	call on java.lang.String:startsWith	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:substring	2010-07-22 12:56:56
+	unanalyzed	call on java.util.ArrayList	2010-07-22 12:56:56
U	unanalyzed	call on java.util.Collections:sort	2010-07-16 16:14:15
+	unanalyzed	call on java.util.Collections:unmodifiableList	2010-07-22 12:56:56
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
+	unanalyzed	call on java.util.List:iterator	2010-07-22 12:56:56
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Category	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage	2010-07-22 12:56:56
U	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:14:15
+	unanalyzed	call on setBlog	2010-07-22 12:56:56

net.sourceforge.pebble.index.CategoryIndex__static_init

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

void readIndex()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(this.blog.rootCategory)	2010-07-22 12:56:56
U	pre	this.blog != null	2010-07-16 16:14:15
U	presumption	blogEntries.length@136 <= 2³²-1	2010-07-16 16:14:15
+	presumption	category...blogEntries@133 != null	2010-07-22 12:56:56
+	presumption	category.blogEntries@133 != null	2010-07-22 12:56:56
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@52 != null	2010-07-16 16:14:15
U	presumption	tuple.length@132 >= 1	2010-07-16 16:14:15
+	post	init'ed(new ArrayList(Category#1) num objects)	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Category#2) num objects)	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Category#3) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*).blog)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*).blogEntries)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*).id)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*).name)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*).parent)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*). subCategories)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*).tags)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2*).tagsAsList)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*).blog)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*).blogEntries)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*).id)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*).name)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*).parent)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*). subCategories)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*).tags)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3*).tagsAsList)	2010-07-22 12:56:56
U	unanalyzed	call on addBlogEntry	2010-07-16 16:14:15
+	unanalyzed	call on addCategory	2010-07-22 12:56:56
+	unanalyzed	call on addSubCategory	2010-07-22 12:56:56
+	unanalyzed	call on getCategory	2010-07-22 12:56:56
+	unanalyzed	call on getId	2010-07-22 12:56:56
+	unanalyzed	call on getSubCategories	2010-07-22 12:56:56
+	unanalyzed	call on isRootCategory	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:equals	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:indexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:lastIndexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:length	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:startsWith	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:substring	2010-07-22 12:56:56
+	unanalyzed	call on java.util.ArrayList	2010-07-22 12:56:56
U	unanalyzed	call on java.util.Collections:sort	2010-07-16 16:14:15
+	unanalyzed	call on java.util.Collections:unmodifiableList	2010-07-22 12:56:56
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
+	unanalyzed	call on java.util.List:iterator	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Category	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage	2010-07-22 12:56:56
+	unanalyzed	call on setBlog	2010-07-22 12:56:56
U	test_vector	java.io.File:exists(...)@127: {0}, {1}	2010-07-16 16:14:15
U	test_vector	tuple.length@132: {1}, {2..+Inf}	2010-07-16 16:14:15
U	test_vector	tuple[1]@132: Addr_Set{null}, Inverse{null}	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
+	pre	init'ed(this.blog.rootCategory)	2010-07-22 12:56:56
U	pre	this.blog != null	2010-07-16 16:14:15
U	presumption	category.blogEntries@115 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@115 != null	2010-07-16 16:14:15
+	post	init'ed(new ArrayList(Category#1) num objects)	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Category#2) num objects)	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Category#3) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).blogEntries)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).name)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).tags)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).tagsAsList)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).blogEntries)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).name)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).tags)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).tagsAsList)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2).blog)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2).id)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2). parent)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2). subCategories)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3).blog)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3).id)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3). parent)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3). subCategories)	2010-07-22 12:56:56
+	unanalyzed	call on addCategory	2010-07-22 12:56:56
+	unanalyzed	call on addSubCategory	2010-07-22 12:56:56
U	unanalyzed	call on getBlogEntries	2010-07-16 16:14:15
U	unanalyzed	call on getCategories	2010-07-16 16:14:15
+	unanalyzed	call on getCategory	2010-07-22 12:56:56
U	unanalyzed	call on getId	2010-07-16 16:14:15
+	unanalyzed	call on getSubCategories	2010-07-22 12:56:56
+	unanalyzed	call on isRootCategory	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
+	unanalyzed	call on java.lang.String:equals	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:indexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:lastIndexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:length	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:startsWith	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:substring	2010-07-22 12:56:56
U	unanalyzed	call on java.util.ArrayList	2010-07-16 16:14:15
+	unanalyzed	call on java.util.Collections:sort	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Collections:unmodifiableList	2010-07-22 12:56:56
+	unanalyzed	call on java.util.List:add	2010-07-22 12:56:56
+	unanalyzed	call on java.util.List:addAll	2010-07-22 12:56:56
+	unanalyzed	call on java.util.List:contains	2010-07-22 12:56:56
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 net.sourceforge.pebble.domain. Blog:getIndexesDirectory	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Category	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage	2010-07-22 12:56:56
U	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:14:15
U	unanalyzed	call on removeBlogEntry	2010-07-16 16:14:15
+	unanalyzed	call on setBlog	2010-07-22 12:56:56
U	test_vector	java.util.Iterator:hasNext(...)@115: {1}, {0}	2010-07-16 16:14:15

void writeIndex()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(this.blog.rootCategory)	2010-07-22 12:56:56
U	pre	(soft) this.blog != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@160 != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@52 != null	2010-07-16 16:14:15
+	post	init'ed(new ArrayList(Category#1) num objects)	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Category#2) num objects)	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Category#3) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).blogEntries)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).name)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).subCategories)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).tags)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#2).tagsAsList)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).blogEntries)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).name)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).subCategories)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).tags)	2010-07-22 12:56:56
+	post	init'ed(new Category(getCategory#3).tagsAsList)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2).blog)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2).id)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#2). parent)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3).blog)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3).id)	2010-07-22 12:56:56
+	post	possibly_updated(new Category(getCategory#3). parent)	2010-07-22 12:56:56
+	unanalyzed	call on addCategory	2010-07-22 12:56:56
+	unanalyzed	call on addSubCategory	2010-07-22 12:56:56
+	unanalyzed	call on getCategories	2010-07-22 12:56:56
+	unanalyzed	call on getCategory	2010-07-22 12:56:56
+	unanalyzed	call on getId	2010-07-22 12:56:56
+	unanalyzed	call on getSubCategories	2010-07-22 12:56:56
+	unanalyzed	call on isRootCategory	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:equals	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:indexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:lastIndexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:length	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:startsWith	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:substring	2010-07-22 12:56:56
U	unanalyzed	call on java.util.ArrayList	2010-07-16 16:14:15
+	unanalyzed	call on java.util.Collections:sort	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Collections:unmodifiableList	2010-07-22 12:56:56
+	unanalyzed	call on java.util.List:add	2010-07-22 12:56:56
+	unanalyzed	call on java.util.List:addAll	2010-07-22 12:56:56
+	unanalyzed	call on java.util.List:contains	2010-07-22 12:56:56
+	unanalyzed	call on java.util.List:iterator	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Category	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage	2010-07-22 12:56:56
+	unanalyzed	call on setBlog	2010-07-22 12:56:56
U	test_vector	java.util.Iterator:hasNext(...)@160: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@163: {1}, {0}	2010-07-16 16:14:15