Messages

method	net.sourceforge.pebble.domain.BlogManager__static_ init
post	instance == &new BlogManager(BlogManager__ static_init#1)
post	init'ed(log)
post	new BlogManager(BlogManager__static_init#1) num objects == 1
post	new HashMap(BlogManager#1) num objects == 1
post	instance.blogs == &new HashMap(BlogManager#1)
post	instance.multiBlog == 0
unanalyzed	call on java.util.HashMap

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

method	void net.sourceforge.pebble.domain.BlogManager()
post	this.blogs == &new HashMap(BlogManager#1)
post	this.multiBlog == 0
post	new HashMap(BlogManager#1) num objects == 1

method	BlogManager getInstance()
pre	init'ed(instance)
post	return_value == instance
post	init'ed(return_value)

method	Blog getBlog()
pre	this.blogs != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:get

method	Blog getBlog(String)
pre	this.blogs != null
post	init'ed(return_value)

method	void startBlogs()
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed	call on getDataDirectory
pre	init'ed(this.multiBlog)
pre	(soft) log != null
presumption	Local_7[Local_5]@115 != null
presumption	files.length@115 <= 2³²-1
unanalyzed	call on java.io.File
test_vector	this.multiBlog: {0}, {1}
test_vector	java.io.File:exists(...)@108: {1}, {0}
test_vector	java.io.File:isDirectory(...)@118: {0}, {1}
test_vector	java.io.File:listFiles(...)@115: Addr_Set{null}, Inverse{null}

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

info call too complex - analysis skipped -- call on void startBlog(String, String)

method	void stopBlogs()
pre	(soft) net/sourceforge/pebble/domain/Theme.log != null
presumption	blog.editableTheme.blog@130 != null
presumption	blog.editableTheme@130 != null
presumption	blog.eventDispatcher.eventListenerList. blogListeners@130 != null
presumption	blog.eventDispatcher.eventListenerList@130 != null
presumption	blog.eventDispatcher@130 != null
presumption	blog.logger@130 != null
pre	this.blogs != null
presumption	java.util.Iterator:next(...)@130 != null
presumption	java.util.Map:values(...)@130 != null
unanalyzed	call on stop
test_vector	java.util.Iterator:hasNext(...)@130: {1}, {0}
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on net.sourceforge.pebble.logging. AbstractLogger:stop
unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:mkdir
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:getName
unanalyzed	call on copy
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.FileInputStream:getChannel
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.FileOutputStream:getChannel
unanalyzed	call on java.nio.channels.FileChannel:size
unanalyzed	call on java.nio.channels.FileChannel:transferFrom
unanalyzed	call on java.nio.channels.FileChannel:close
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on net.sourceforge.pebble.util. FileUtils:deleteFile
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed	call on fireBlogEvent
unanalyzed	call on getEventListenerList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getType
unanalyzed	call on isVetoed
unanalyzed	call on getBlogListeners
unanalyzed	call on blogStarted
unanalyzed	call on blogStopped
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on java.util.EventObject
unanalyzed	call on getBlog
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on net.sourceforge.pebble.api.event.blog. BlogEvent:getSource

method	void stopBlog(Blog)
pre	blog != null
pre	blog.editableTheme != null
pre	blog.editableTheme.blog != null
pre	init'ed(blog.editableTheme.name)
pre	init'ed(blog.editableTheme.pathToLiveThemes)
pre	blog.eventDispatcher != null
pre	blog.eventDispatcher.eventListenerList != null
pre	blog.eventDispatcher.eventListenerList. blogListeners != null
pre	init'ed(blog.id)
pre	blog.logger != null
pre	net/sourceforge/pebble/domain/Theme.log != null
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on net.sourceforge.pebble.logging. AbstractLogger:stop
unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:mkdir
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:getName
unanalyzed	call on copy
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.FileInputStream:getChannel
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.FileOutputStream:getChannel
unanalyzed	call on java.nio.channels.FileChannel:size
unanalyzed	call on java.nio.channels.FileChannel:transferFrom
unanalyzed	call on java.nio.channels.FileChannel:close
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on net.sourceforge.pebble.util. FileUtils:deleteFile
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed	call on fireBlogEvent
unanalyzed	call on getEventListenerList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getType
unanalyzed	call on isVetoed
unanalyzed	call on getBlogListeners
unanalyzed	call on blogStarted
unanalyzed	call on blogStopped
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on java.util.EventObject
unanalyzed	call on getBlog
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on net.sourceforge.pebble.api.event.blog. BlogEvent:getSource

method	void reloadBlog(Blog)
pre	blog != null
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on java.io.File:exists
unanalyzed	call on org.apache.commons.logging.Log:error
pre	blog.editableTheme != null
pre	blog.editableTheme.blog != null
pre	init'ed(blog.editableTheme.name)
pre	init'ed(blog.editableTheme.pathToLiveThemes)
pre	blog.eventDispatcher != null
pre	blog.eventDispatcher.eventListenerList != null
pre	blog.eventDispatcher.eventListenerList. blogListeners != null
pre	init'ed(blog.id)
pre	blog.logger != null
pre	net/sourceforge/pebble/domain/Theme.log != null
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed	call on getDataDirectory
unanalyzed	call on stop
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on net.sourceforge.pebble.logging. AbstractLogger:stop
unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.io.File:mkdir
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:getName
unanalyzed	call on copy
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.FileInputStream:getChannel
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.FileOutputStream:getChannel
unanalyzed	call on java.nio.channels.FileChannel:size
unanalyzed	call on java.nio.channels.FileChannel:transferFrom
unanalyzed	call on java.nio.channels.FileChannel:close
unanalyzed	call on net.sourceforge.pebble.util. FileUtils:deleteFile
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed	call on fireBlogEvent
unanalyzed	call on getEventListenerList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getType
unanalyzed	call on isVetoed
unanalyzed	call on getBlogListeners
unanalyzed	call on blogStarted
unanalyzed	call on blogStopped
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on java.util.EventObject
unanalyzed	call on getBlog
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on net.sourceforge.pebble.api.event.blog. BlogEvent:getSource

info call too complex - analysis skipped -- call on void startBlog(String, String)

method	void startBlog(String, String)
pre	this.blogs != null
pre	(soft) log != null
unanalyzed	call on stopBlog
unanalyzed	call on getBlogsDirectory
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on startBlog
unanalyzed	call on java.util.Map:put
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.io.BufferedReader:close
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.lang.String:equals
unanalyzed	call on net.sourceforge.pebble.util. UpgradeUtilities:upgradeBlog
unanalyzed	call on java.io.FileWriter
unanalyzed	call on java.io.BufferedWriter
unanalyzed	call on java.io.BufferedWriter:write
unanalyzed	call on java.io.BufferedWriter:close
pre	net/sourceforge/pebble/domain/Theme.log != null
presumption	blog.eventDispatcher != null
presumption	blog.eventDispatcher.eventListenerList != null
presumption	blog.eventDispatcher.eventListenerList. blogListeners != null
presumption	blog.eventDispatcher.eventListenerList. blogListeners@179 != null
presumption	blog.eventDispatcher.eventListenerList@179 != null
presumption	blog.eventDispatcher@179 != null
presumption	blog.logger != null
presumption	blog.logger@179 != null
presumption	net.sourceforge.pebble.PebbleContext:getInstance(.. .)@156 != null
presumption	net.sourceforge.pebble.PebbleContext:getInstance(.. .)@166 != null
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed	call on getDataDirectory
unanalyzed	call on getId
unanalyzed	call on stop
unanalyzed	call on net.sourceforge.pebble.domain.Blog
unanalyzed	call on setId
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getWeb ApplicationRoot
unanalyzed	call on setEditableTheme
unanalyzed	call on start
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getBui ldVersion
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on net.sourceforge.pebble.logging. AbstractLogger:stop
unanalyzed	call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.io.File:mkdir
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:getName
unanalyzed	call on copy
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.FileInputStream:getChannel
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.FileOutputStream:getChannel
unanalyzed	call on java.nio.channels.FileChannel:size
unanalyzed	call on java.nio.channels.FileChannel:transferFrom
unanalyzed	call on java.nio.channels.FileChannel:close
unanalyzed	call on net.sourceforge.pebble.util. FileUtils:deleteFile
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed	call on fireBlogEvent
unanalyzed	call on getEventListenerList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getType
unanalyzed	call on isVetoed
unanalyzed	call on getBlogListeners
unanalyzed	call on blogStarted
unanalyzed	call on blogStopped
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on java.util.LinkedList
unanalyzed	call on init
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:getIndexesDirectory
unanalyzed	call on java.util.HashMap
unanalyzed	call on reindex
unanalyzed	call on getFilesDirectory
unanalyzed	call on net.sourceforge.pebble.logging. AbstractLogger:start
unanalyzed	call on reindexBlogEntries
unanalyzed	call on reindexStaticPages
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.lucene.index.IndexWriter
unanalyzed	call on java.util.Collection:iterator
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 loadStaticPage
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.io.File:createNewFile
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.io.BufferedWriter:newLine
unanalyzed	call on java.io.BufferedWriter:flush
unanalyzed	call on java.io.File:delete
unanalyzed	call on getName
unanalyzed	call on net.sourceforge.pebble.domain. StaticPage:getId
unanalyzed	call on index
unanalyzed	call on java.util.EventObject
unanalyzed	call on getBlog
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on getLocalPermalink
unanalyzed	call on getUrl
unanalyzed	call on getContent
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:truncate
unanalyzed	call on net.sourceforge.pebble.api.event.blog. BlogEvent:getSource
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on getPermalinkProvider
test_vector	java.io.File:exists(...)@168: {0}, {1}
test_vector	java.lang.String:equals(...)@178: {1}, {0}

info method not available -- call on PebbleContext net.sourceforge.pebble. PebbleContext:getInstance()

info method not available -- call on String net.sourceforge.pebble. PebbleContext:getWebApplicationRoot()

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

info method not available -- call on void net.sourceforge.pebble.util. UpgradeUtilities:upgradeBlog(Blog, String, String)

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

method	void addBlog(String)
unanalyzed	call on java.io.File
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed	call on getDataDirectory

info call too complex - analysis skipped -- call on void startBlog(String, String)

method	bool isMultiBlog()
pre	init'ed(this.multiBlog)
post	return_value == this.multiBlog
post	init'ed(return_value)

method	void setMultiBlog(bool)
post	this.multiBlog == multiBlog
post	init'ed(this.multiBlog)

method	void addBlog(Blog)
pre	blog != null
pre	this.blogs != null
pre	init'ed(blog.id)

method	void removeAllBlogs()
post	this.blogs == &new HashMap(removeAllBlogs#1)
post	new HashMap(removeAllBlogs#1) num objects == 1

method	Collection getBlogs()
pre	this.blogs != null
post	return_value == &new ArrayList(getBlogs#1)
post	new ArrayList(getBlogs#1) num objects == 1

method	int getNumberOfBlogs()
pre	this.blogs != null
post	init'ed(return_value)

method	List getPublicBlogs()
pre	this.blogs != null
presumption	java.util.Iterator:next(...)@249 != null
presumption	java.util.Map:values(...)@249 != null
post	return_value == &new ArrayList(getPublicBlogs#1 )
post	new ArrayList(getPublicBlogs#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@249: {1}, {0}
presumption	blog.properties@249 != null
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.lang.String:equalsIgnoreCase
test_vector	java.lang.String:equalsIgnoreCase(...)@1554: {0}, {1}

method	bool hasBlog(String)
pre	this.blogs != null
post	init'ed(return_value)

method	MultiBlog getMultiBlog()
post	return_value == &new MultiBlog(getMultiBlog#1)
post	new MultiBlog(getMultiBlog#1) num objects == 1
pre	(soft) net/sourceforge/pebble/domain/AbstractBlog. log != null
presumption	net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@269 != null
presumption	net.sourceforge.pebble.PebbleContext:getInstance(.. .)@269 != null
post	new LinkedList(AbstractBlog#1) num objects == 1
post	new Properties(loadProperties#1) num objects == 1
post	init'ed(return_value.blog)
post	return_value.messages == &new LinkedList(Abstra ctBlog#1)
post	return_value.properties == &new Properties(loadProperties#1)
post	init'ed(return_value.root)
unanalyzed	call on net.sourceforge.pebble.domain.AbstractBlog
unanalyzed	call on init
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.util.Properties
unanalyzed	call on java.util.Properties:setProperty
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on getDefaultProperties
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.io.FileInputStream:close
unanalyzed	call on org.apache.commons.logging.Log:error

info method not available -- call on PebbleContext net.sourceforge.pebble. PebbleContext:getInstance()

info method not available -- call on Configuration net.sourceforge.pebble. PebbleContext:getConfiguration()

method	File getBlogsDirectory()
post	return_value == &new File(getBlogsDirectory#1)
post	new File(getBlogsDirectory#1) num objects == 1
presumption	net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@273 != null
presumption	net.sourceforge.pebble.PebbleContext:getInstance(.. .)@273 != null

	info	method not available	-- call on PebbleContext net.sourceforge.pebble. PebbleContext:getInstance()
	info	method not available	-- call on String net.sourceforge.pebble. PebbleContext:getWebApplicationRoot()