## 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 <= 232-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 <= 232-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 <= 232-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 <= 232-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 <= 232-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