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 <= 2³²-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 <= 2³²-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 void net.sourceforge.pebble.domain. Blog:error(String)

method	void unindex(StaticPage)
pre	this.blog != null
pre	(soft) this.lockAttempts <= 2³²-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 <= 2³²-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 <= 2³²-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()