Messages

method | net.sourceforge.pebble.index.StaticPageIndex__ static_init
post | init'ed(log)

| info | method not available | -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method | void net.sourceforge.pebble.index.StaticPageIndex( Blog)
pre | blog != null
post | this.blog == blog
post | this.blog != null
post | this.index == &new HashMap(StaticPageIndex#1)
post | init'ed(this.lockAttempts)
post | new HashMap(StaticPageIndex#1) num objects == 1
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:info
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.util.Map:put
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on org.apache.commons.logging.Log:error
test_vector | java.io.File:exists(...)@68: {1}, {0}

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getIndexesDirectory()

method | void reindex(Collection)
pre | this.blog != null
pre | (soft) this.lockAttempts <= 232-2
pre | (soft) staticPages != null
presumption | java.util.Iterator:next(...)@84 != null
post | this.index == One-of{old this.index, &new HashMap(reindex#1)}
post | this.lockAttempts == One-of{old this.lockAttempts, old this.lockAttempts + 1, 0}
post | init'ed(this.lockAttempts)
post | new HashMap(reindex#1) num objects <= 1
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.File:createNewFile
unanalyzed | call on org.apache.commons.logging.Log:warn
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.Map:keySet
unanalyzed | call on java.util.Set:iterator
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.util.Map:get
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on java.io.File:delete
test_vector | java.util.Iterator:hasNext(...)@84: {1}, {0}

| info | method not available | -- call on String net.sourceforge.pebble.domain. StaticPage:getId()

method | void index(StaticPage)
pre | this.blog != null
pre | (soft) this.lockAttempts <= 232-2
pre | (soft) staticPage != null
pre | (soft) init'ed(staticPage.name)
pre | (soft) this.index != null
presumption | java.util.Map:get(...)@107 != null
presumption | java.util.Map:keySet(...)@104 != null
post | init'ed(this.lockAttempts)
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on org.apache.commons.logging.Log:info
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.util.Map:put
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.File:createNewFile
unanalyzed | call on org.apache.commons.logging.Log:warn
unanalyzed | call on java.io.FileWriter
unanalyzed | call on java.io.BufferedWriter
unanalyzed | call on java.util.Map:keySet
unanalyzed | call on java.util.Set:iterator
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.util.Map:get
unanalyzed | call on java.io.BufferedWriter:write
unanalyzed | call on java.io.BufferedWriter:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on java.io.File:delete
unanalyzed | call on getName
unanalyzed | call on java.lang.Thread:sleep
unanalyzed | call on net.sourceforge.pebble.domain. StaticPage:getId
unanalyzed | call on java.lang.String:equals
unanalyzed | call on index
unanalyzed | call on net.sourceforge.pebble.domain.Blog:error
test_vector | java.lang.String:equals(...)@108: {0}, {1}
test_vector | java.util.Iterator:hasNext(...)@105: {1}, {0}

| info | method not available | -- call on String net.sourceforge.pebble.domain. StaticPage:getId()

| info | method not available | -- call on String net.sourceforge.pebble.domain. StaticPage:getId()

| info | method not available | -- call on void net.sourceforge.pebble.domain. Blog:error(String)

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

method | void readIndex()
pre | this.blog != null
pre | (soft) this.index != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@49 != null
presumption | parts.length@167 >= 2
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
test_vector | java.io.File:exists(...)@162: {0}, {1}

| info | method not available | -- call on void org.apache.commons.logging. Log:info(Object)

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method | void writeIndex()
pre | (soft) this.blog != null
pre | (soft) this.index != null
presumption | java.util.Map:keySet(...)@188 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@49 != null
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
test_vector | java.util.Iterator:hasNext(...)@188: {1}, {0}

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method | String getStaticPage(String)
pre | this.index != null
post | init'ed(return_value)

method | List getStaticPages()
pre | this.index != null
post | return_value == &new LinkedList(getStaticPages# 1)
post | new LinkedList(getStaticPages#1) num objects == 1

method | bool contains(String)
pre | this.index != null
post | init'ed(return_value)

method | int getNumberOfStaticPages()
pre | this.index != null
post | init'ed(return_value)

method | File getIndexFile()
pre | this.blog != null
post | return_value == &new File(getIndexFile#2)
post | new File(getIndexFile#2) num objects == 1

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getIndexesDirectory()

method | bool lock()
pre | this.blog != null
pre | (soft) this.lockAttempts <= 232-2
presumption | org.apache.commons.logging.LogFactory:getLog(... )@49 != null
post | init'ed(return_value)
post | this.lockAttempts == One-of{old this.lockAttempts, old this.lockAttempts + 1}
post | (soft) init'ed(this.lockAttempts)
test_vector | java.io.File:createNewFile(...)@248: {1}, {0}

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getIndexesDirectory()

| info | method not available | -- call on void org.apache.commons.logging. Log:warn(Object, Throwable)

method | void unlock()
pre | this.blog != null
post | this.lockAttempts == 0

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getIndexesDirectory()