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

| 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 PebbleContext net.sourceforge.pebble. PebbleContext:getInstance()
| info | method not available | -- call on String net.sourceforge.pebble. PebbleContext:getBuildVersion()

| 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 Configuration net.sourceforge.pebble. PebbleContext:getConfiguration()