staticpageindex.java

staticpageindex.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

bool contains(String)

-/+	Kind	Annotation Text	Date
U	pre	this.index != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15

File getIndexFile()

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

int getNumberOfStaticPages()

-/+	Kind	Annotation Text	Date
U	pre	this.index != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15

String getStaticPage(String)

-/+	Kind	Annotation Text	Date
U	pre	this.index != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15

List getStaticPages()

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

void index(StaticPage)

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(staticPage.name)	2010-07-16 16:14:15
U	pre	(soft) staticPage != null	2010-07-16 16:14:15
U	pre	(soft) this.index != null	2010-07-16 16:14:15
U	pre	(soft) this.lockAttempts <= 2³²-2	2010-07-16 16:14:15
U	pre	this.blog != null	2010-07-16 16:14:15
U	presumption	java.util.Map:get(...)@107 != null	2010-07-16 16:14:15
U	presumption	java.util.Map:keySet(...)@104 != null	2010-07-16 16:14:15
U	post	init'ed(this.lockAttempts)	2010-07-16 16:14:15
U	unanalyzed	call on getName	2010-07-16 16:14:15
U	unanalyzed	call on index	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.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.File:createNewFile	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:delete	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.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:split	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.lang.Thread:sleep	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:error	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. StaticPage:getId	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:error	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:info	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:warn	2010-07-16 16:14:15
U	test_vector	java.lang.String:equals(...)@108: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@105: {1}, {0}	2010-07-16 16:14:15

bool lock()

-/+	Kind	Annotation Text	Date
U	pre	(soft) this.lockAttempts <= 2³²-2	2010-07-16 16:14:15
U	pre	this.blog != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@49 != null	2010-07-16 16:14:15
U	post	(soft) init'ed(this.lockAttempts)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
U	post	this.lockAttempts == One-of{old this.lockAttempts, old this.lockAttempts + 1}	2010-07-16 16:14:15
U	test_vector	java.io.File:createNewFile(...)@248: {1}, {0}	2010-07-16 16:14:15

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

-/+	Kind	Annotation Text	Date
U	pre	blog != null	2010-07-16 16:14:15
U	post	init'ed(this.lockAttempts)	2010-07-16 16:14:15
U	post	new HashMap(StaticPageIndex#1) num objects == 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.index == &new HashMap(StaticPageIndex#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.lang.String:split	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
U	unanalyzed	call on org.apache.commons.logging.Log:info	2010-07-16 16:14:15
U	test_vector	java.io.File:exists(...)@68: {1}, {0}	2010-07-16 16:14:15

net.sourceforge.pebble.index.StaticPageIndex__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.index != null	2010-07-16 16:14:15
U	pre	this.blog != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@49 != null	2010-07-16 16:14:15
U	presumption	parts.length@167 >= 2	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory	2010-07-16 16:14:15
U	test_vector	java.io.File:exists(...)@162: {0}, {1}	2010-07-16 16:14:15

void reindex(Collection)

-/+	Kind	Annotation Text	Date
U	pre	(soft) staticPages != null	2010-07-16 16:14:15
U	pre	(soft) this.lockAttempts <= 2³²-2	2010-07-16 16:14:15
U	pre	this.blog != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@84 != null	2010-07-16 16:14:15
U	post	init'ed(this.lockAttempts)	2010-07-16 16:14:15
U	post	new HashMap(reindex#1) num objects <= 1	2010-07-16 16:14:15
U	post	this.index == One-of{old this.index, &new HashMap(reindex#1)}	2010-07-16 16:14:15
U	post	this.lockAttempts == One-of{old this.lockAttempts, old this.lockAttempts + 1, 0}	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.File:createNewFile	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:delete	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.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	unanalyzed	call on org.apache.commons.logging.Log:warn	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@84: {1}, {0}	2010-07-16 16:14:15

void unindex(StaticPage)

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)	2010-07-22 12:56:56
U	pre	(soft) init'ed(staticPage.name)	2010-07-16 16:14:15
+	pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null	2010-07-22 12:56:56
+	pre	(soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.staticPageDAO != null	2010-07-22 12:56:56
+	pre	(soft) net/sourceforge/pebble/domain/AbstractBlog. log != null	2010-07-22 12:56:56
+	pre	(soft) net/sourceforge/pebble/domain/BlogManager. instance != null	2010-07-22 12:56:56
U	pre	(soft) staticPage != null	2010-07-16 16:14:15
+	pre	(soft) this...blog != null	2010-07-22 12:56:56
+	pre	(soft) this...lockAttempts <= 2³²-2	2010-07-22 12:56:56
+	pre	(soft) this.blog...properties != null	2010-07-22 12:56:56
+	pre	(soft) this.blog.messages != null	2010-07-22 12:56:56
+	pre	(soft) this.blog.searchIndex != null	2010-07-22 12:56:56
+	pre	(soft) this.blog.searchIndex.blog != null	2010-07-22 12:56:56
+	pre	(soft) this.blog.staticPageIndex != null	2010-07-22 12:56:56
U	pre	(soft) this.index != null	2010-07-16 16:14:15
U	pre	(soft) this.lockAttempts <= 2³²-2	2010-07-16 16:14:15
U	pre	this.blog != null	2010-07-16 16:14:15
+	presumption	net/sourceforge/pebble/dao/DAOFactory. configuredFactory.staticPageDAO@145 != null	2010-07-22 12:56:56
+	presumption	net/sourceforge/pebble/dao/DAOFactory. configuredFactory@145 != null	2010-07-22 12:56:56
+	presumption	net/sourceforge/pebble/domain/AbstractBlog.log@145 != null	2010-07-22 12:56:56
+	presumption	net/sourceforge/pebble/domain/BlogManager. instance@145 != null	2010-07-22 12:56:56
+	post	(soft) init'ed(this...lockAttempts)	2010-07-22 12:56:56
+	post	init'ed(this.blog.messages)	2010-07-22 12:56:56
U	post	init'ed(this.lockAttempts)	2010-07-16 16:14:15
+	post	new HashMap(reindex#1) num objects <= 1	2010-07-22 12:56:56
+	post	possibly_updated(this...index)	2010-07-22 12:56:56
+	unanalyzed	call on getAnalyzer	2010-07-22 12:56:56
+	unanalyzed	call on getAuthor	2010-07-22 12:56:56
+	unanalyzed	call on getBlog	2010-07-22 12:56:56
+	unanalyzed	call on getBody	2010-07-22 12:56:56
+	unanalyzed	call on getContent	2010-07-22 12:56:56
+	unanalyzed	call on getDate	2010-07-22 12:56:56
+	unanalyzed	call on getId	2010-07-22 12:56:56
+	unanalyzed	call on getLocalPermalink	2010-07-22 12:56:56
+	unanalyzed	call on getLuceneAnalyzer	2010-07-22 12:56:56
U	unanalyzed	call on getName	2010-07-16 16:14:15
+	unanalyzed	call on getPermalink	2010-07-22 12:56:56
+	unanalyzed	call on getPermalinkProvider	2010-07-22 12:56:56
+	unanalyzed	call on getStaticPageDAO	2010-07-22 12:56:56
+	unanalyzed	call on getTitle	2010-07-22 12:56:56
+	unanalyzed	call on getTruncatedContent	2010-07-22 12:56:56
+	unanalyzed	call on getUrl	2010-07-22 12:56:56
+	unanalyzed	call on index	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.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.File:createNewFile	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:delete	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File:exists	2010-07-16 16:14:15
+	unanalyzed	call on java.io.File:getName	2010-07-22 12:56:56
+	unanalyzed	call on java.io.File:listFiles	2010-07-22 12:56:56
U	unanalyzed	call on java.io.FileReader	2010-07-16 16:14:15
U	unanalyzed	call on java.io.FileWriter	2010-07-16 16:14:15
+	unanalyzed	call on java.lang.Class:forName	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Class:getName	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Class:newInstance	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Exception:getMessage	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Object:getClass	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: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:substring	2010-07-22 12:56:56
U	unanalyzed	call on java.lang.String:valueOf	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.Thread:sleep	2010-07-16 16:14:15
+	unanalyzed	call on java.util.ArrayList	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Collection:iterator	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Date	2010-07-22 12:56:56
+	unanalyzed	call on java.util.HashMap	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:size	2010-07-22 12:56:56
+	unanalyzed	call on java.util.List:subList	2010-07-22 12:56:56
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.Map:remove	2010-07-16 16:14:15
+	unanalyzed	call on java.util.Properties:getProperty	2010-07-22 12:56:56
U	unanalyzed	call on java.util.Set:iterator	2010-07-16 16:14:15
+	unanalyzed	call on loadStaticPage	2010-07-22 12:56:56
+	unanalyzed	call on loadStaticPages	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.PebbleContext:getCon figuration	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.PebbleContext:getIns tance	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:getRoot	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getSearchIndexDirectory	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. StaticPage:getId	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.util. SecurityUtils:getUsername	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:truncate	2010-07-22 12:56:56
+	unanalyzed	call on org.apache.commons.logging.Log:debug	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 org.apache.commons.logging.Log:info	2010-07-16 16:14:15
U	unanalyzed	call on org.apache.commons.logging.Log:warn	2010-07-16 16:14:15
+	unanalyzed	call on org.apache.lucene.document.DateField:dateTo String	2010-07-22 12:56:56
+	unanalyzed	call on org.apache.lucene.document.Document	2010-07-22 12:56:56
+	unanalyzed	call on org.apache.lucene.document.Document:add	2010-07-22 12:56:56
+	unanalyzed	call on org.apache.lucene.document.Field:Keyword	2010-07-22 12:56:56
+	unanalyzed	call on org.apache.lucene.document.Field:Text	2010-07-22 12:56:56
+	unanalyzed	call on org.apache.lucene.document.Field:UnIndexed	2010-07-22 12:56:56
+	unanalyzed	call on org.apache.lucene.document.Field:UnStored	2010-07-22 12:56:56
+	unanalyzed	call on org.apache.lucene.index.IndexWriter	2010-07-22 12:56:56
+	unanalyzed	call on org.apache.lucene.index.IndexWriter:addDocu ment	2010-07-22 12:56:56
+	unanalyzed	call on org.apache.lucene.index.IndexWriter:close	2010-07-22 12:56:56
U	unanalyzed	call on reindexStaticPages	2010-07-16 16:14:15
U	unanalyzed	call on unindex	2010-07-16 16:14:15

void unlock()

-/+	Kind	Annotation Text	Date
U	pre	this.blog != null	2010-07-16 16:14:15
U	post	this.lockAttempts == 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.index != null	2010-07-16 16:14:15
U	presumption	java.util.Map:keySet(...)@188 != null	2010-07-16 16:14:15
U	presumption	org.apache.commons.logging.LogFactory:getLog(... )@49 != null	2010-07-16 16:14:15
U	unanalyzed	call on java.io.File	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@188: {1}, {0}	2010-07-16 16:14:15