## blogmanager.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

- void addBlog(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
- | pre | (soft) log != null | 2010-07-16 16:59:22
- | pre | init'ed(net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).buildVersion) | 2010-07-16 16:59:22
- | pre | init'ed(net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration.dataDirectory) | 2010-07-16 16:59:22
- | pre | init'ed(net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).webApplicationRoot) | 2010-07-16 16:59:22
- | pre | net.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration != null | 2010-07-16 16:59:22
- | pre | this.blogs != null | 2010-07-16 16:59:22
- | unanalyzed | call on getBlogsDirectory | 2010-07-16 16:59:22
+ | unanalyzed | call on getDataDirectory | 2010-07-22 12:56:56
- | unanalyzed | call on java.io.BufferedReader | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.BufferedReader:close | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.BufferedReader:readLine | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.BufferedWriter | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.BufferedWriter:close | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.BufferedWriter:write | 2010-07-16 16:59:22
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
- | unanalyzed | call on java.io.File:exists | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.File:getAbsolutePath | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.FileReader | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.FileWriter | 2010-07-16 16:59:22
- | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:59:22
- | unanalyzed | call on java.util.Map:put | 2010-07-16 16:59:22
+ | 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
- | unanalyzed | call on net.sourceforge.pebble.util. UpgradeUtilities:upgradeBlog | 2010-07-16 16:59:22
- | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:59:22
- | unanalyzed | call on startBlog | 2010-07-16 16:59:22
- | unanalyzed | call on stopBlog | 2010-07-16 16:59:22

- void addBlog(Blog)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | blog != null | 2010-07-16 16:14:15
+ | pre | init'ed(blog.id) | 2010-07-22 12:56:56
U | pre | this.blogs != null | 2010-07-16 16:14:15

- Blog getBlog()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.blogs != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Map:get | 2010-07-16 16:14:15

- Blog getBlog(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.blogs != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15

- Collection getBlogs()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.blogs != null | 2010-07-16 16:14:15
U | post | new ArrayList(getBlogs#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new ArrayList(getBlogs#1) | 2010-07-16 16:14:15

- File getBlogsDirectory()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
- | pre | init'ed(net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration.dataDirectory) | 2010-07-16 16:59:22
- | pre | net.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration != null | 2010-07-16 16:59:22
+ | presumption | net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@273 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.PebbleContext:getInstance(.. .)@273 != null | 2010-07-22 12:56:56
U | post | new File(getBlogsDirectory#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new File(getBlogsDirectory#1) | 2010-07-16 16:14:15

- BlogManager getInstance()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(instance) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == instance | 2010-07-16 16:14:15

- MultiBlog getMultiBlog()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
+ | pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null | 2010-07-22 12:56:56
- | pre | init'ed(net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration.dataDirectory) | 2010-07-16 16:59:22
- | pre | net.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration != null | 2010-07-16 16:59:22
+ | presumption | net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@269 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.PebbleContext:getInstance(.. .)@269 != null | 2010-07-22 12:56:56
+ | post | init'ed(return_value.blog) | 2010-07-22 12:56:56
+ | post | init'ed(return_value.root) | 2010-07-22 12:56:56
+ | post | new LinkedList(AbstractBlog#1) num objects == 1 | 2010-07-22 12:56:56
U | post | new MultiBlog(getMultiBlog#1) num objects == 1 | 2010-07-16 16:14:15
+ | post | new Properties(loadProperties#1) num objects == 1 | 2010-07-22 12:56:56
U | post | return_value == &new MultiBlog(getMultiBlog#1) | 2010-07-16 16:14:15
+ | post | return_value.messages == &new LinkedList(Abstra ctBlog#1) | 2010-07-22 12:56:56
+ | post | return_value.properties == &new Properties(loadProperties#1) | 2010-07-22 12:56:56
+ | unanalyzed | call on getDefaultProperties | 2010-07-22 12:56:56
+ | unanalyzed | call on init | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:exists | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.LinkedList | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:load | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:setProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.AbstractBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-22 12:56:56

- int getNumberOfBlogs()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.blogs != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15

- List getPublicBlogs()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.blogs != null | 2010-07-16 16:14:15
+ | presumption | blog.properties@249 != null | 2010-07-22 12:56:56
U | presumption | java.util.Iterator:next(...)@249 != null | 2010-07-16 16:14:15
U | presumption | java.util.Map:values(...)@249 != null | 2010-07-16 16:14:15
U | post | new ArrayList(getPublicBlogs#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new ArrayList(getPublicBlogs#1 ) | 2010-07-16 16:14:15
+ | unanalyzed | call on java.lang.String:equalsIgnoreCase | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:equalsIgnoreCase(...)@1554: {0}, {1} | 2010-07-22 12:56:56
U | test_vector | java.util.Iterator:hasNext(...)@249: {1}, {0} | 2010-07-16 16:14:15

- bool hasBlog(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.blogs != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15

- bool isMultiBlog()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.multiBlog) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | post | return_value == this.multiBlog | 2010-07-16 16:14:15

- void net.sourceforge.pebble.domain.BlogManager()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | new HashMap(BlogManager#1) num objects == 1 | 2010-07-16 16:14:15
U | post | this.blogs == &new HashMap(BlogManager#1) | 2010-07-16 16:14:15
U | post | this.multiBlog == 0 | 2010-07-16 16:14:15

- net.sourceforge.pebble.domain.BlogManager__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(log) | 2010-07-16 16:14:15
U | post | instance == &new BlogManager(BlogManager__ static_init#1) | 2010-07-16 16:14:15
U | post | instance.blogs == &new HashMap(BlogManager#1) | 2010-07-16 16:14:15
U | post | instance.multiBlog == 0 | 2010-07-16 16:14:15
U | post | new BlogManager(BlogManager__static_init#1) num objects == 1 | 2010-07-16 16:14:15
U | post | new HashMap(BlogManager#1) num objects == 1 | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.HashMap | 2010-07-16 16:14:15

- void reloadBlog(Blog)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
- | pre | (soft) log != null | 2010-07-16 16:59:22
U | pre | blog != null | 2010-07-16 16:14:15
+ | pre | blog.editableTheme != null | 2010-07-22 12:56:56
+ | pre | blog.editableTheme.blog != null | 2010-07-22 12:56:56
+ | pre | blog.eventDispatcher != null | 2010-07-22 12:56:56
+ | pre | blog.eventDispatcher.eventListenerList != null | 2010-07-22 12:56:56
+ | pre | blog.eventDispatcher.eventListenerList. blogListeners != null | 2010-07-22 12:56:56
+ | pre | blog.logger != null | 2010-07-22 12:56:56
+ | pre | init'ed(blog.editableTheme.name) | 2010-07-22 12:56:56
+ | pre | init'ed(blog.editableTheme.pathToLiveThemes) | 2010-07-22 12:56:56
+ | pre | init'ed(blog.id) | 2010-07-22 12:56:56
- | pre | init'ed(net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).buildVersion) | 2010-07-16 16:59:22
- | pre | init'ed(net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration.dataDirectory) | 2010-07-16 16:59:22
- | pre | init'ed(net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).webApplicationRoot) | 2010-07-16 16:59:22
- | pre | net.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration != null | 2010-07-16 16:59:22
+ | pre | net/sourceforge/pebble/domain/Theme.log != null | 2010-07-22 12:56:56
- | pre | this.blogs != null | 2010-07-16 16:59:22
+ | unanalyzed | call on blogStarted | 2010-07-22 12:56:56
+ | unanalyzed | call on blogStopped | 2010-07-22 12:56:56
+ | unanalyzed | call on copy | 2010-07-22 12:56:56
+ | unanalyzed | call on fireBlogEvent | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlog | 2010-07-22 12:56:56
+ | unanalyzed | call on getBlogListeners | 2010-07-22 12:56:56
- | unanalyzed | call on getBlogsDirectory | 2010-07-16 16:59:22
+ | unanalyzed | call on getDataDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on getEventListenerList | 2010-07-22 12:56:56
+ | unanalyzed | call on getType | 2010-07-22 12:56:56
+ | unanalyzed | call on isVetoed | 2010-07-22 12:56:56
- | unanalyzed | call on java.io.BufferedReader | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.BufferedReader:close | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.BufferedReader:readLine | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.BufferedWriter | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.BufferedWriter:close | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.BufferedWriter:write | 2010-07-16 16:59:22
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.File:getAbsolutePath | 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:isDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:listFiles | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:mkdir | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:renameTo | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream:getChannel | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream:getChannel | 2010-07-22 12:56:56
- | unanalyzed | call on java.io.FileReader | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.FileWriter | 2010-07-16 16:59:22
- | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:59:22
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.nio.channels.FileChannel:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.nio.channels.FileChannel:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.nio.channels.FileChannel:transferFrom | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.EventObject | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56
- | unanalyzed | call on java.util.Map:put | 2010-07-16 16:59:22
+ | unanalyzed | call on java.util.Timer:cancel | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Timer:schedule | 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
+ | unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.event.blog. BlogEvent:getSource | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.logging. AbstractLogger:stop | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:deleteFile | 2010-07-22 12:56:56
- | unanalyzed | call on net.sourceforge.pebble.util. UpgradeUtilities:upgradeBlog | 2010-07-16 16:59:22
+ | 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
+ | unanalyzed | call on org.apache.commons.logging.Log:info | 2010-07-22 12:56:56
- | unanalyzed | call on startBlog | 2010-07-16 16:59:22
+ | unanalyzed | call on stop | 2010-07-22 12:56:56
- | unanalyzed | call on stopBlog | 2010-07-16 16:59:22

- void removeAllBlogs()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | new HashMap(removeAllBlogs#1) num objects == 1 | 2010-07-16 16:14:15
U | post | this.blogs == &new HashMap(removeAllBlogs#1) | 2010-07-16 16:14:15

- void setMultiBlog(bool)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.multiBlog) | 2010-07-16 16:14:15
U | post | this.multiBlog == multiBlog | 2010-07-16 16:14:15

- void startBlog(String, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
- | pre | (soft) init'ed(net.sourceforge.pebble. PebbleContext__static_init.new PebbleContext(Pebble Context__static_init#1).configuration. dataDirectory) | 2010-07-16 16:59:22
U | pre | (soft) log != null | 2010-07-16 16:14:15
- | pre | (soft) net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration != null | 2010-07-16 16:59:22
- | pre | init'ed(net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).buildVersion) | 2010-07-16 16:59:22
- | pre | init'ed(net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).webApplicationRoot) | 2010-07-16 16:59:22
+ | pre | net/sourceforge/pebble/domain/Theme.log != null | 2010-07-22 12:56:56
U | pre | this.blogs != null | 2010-07-16 16:14:15
+ | presumption | blog.eventDispatcher != null | 2010-07-22 12:56:56
+ | presumption | blog.eventDispatcher.eventListenerList != null | 2010-07-22 12:56:56
+ | presumption | blog.eventDispatcher.eventListenerList. blogListeners != null | 2010-07-22 12:56:56
+ | presumption | blog.eventDispatcher.eventListenerList. blogListeners@179 != null | 2010-07-22 12:56:56
+ | presumption | blog.eventDispatcher.eventListenerList@179 != null | 2010-07-22 12:56:56
+ | presumption | blog.eventDispatcher@179 != null | 2010-07-22 12:56:56
+ | presumption | blog.logger != null | 2010-07-22 12:56:56
+ | presumption | blog.logger@179 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.PebbleContext:getInstance(.. .)@156 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.PebbleContext:getInstance(.. .)@166 != null | 2010-07-22 12:56:56
+ | unanalyzed | call on blogStarted | 2010-07-22 12:56:56
+ | unanalyzed | call on blogStopped | 2010-07-22 12:56:56
+ | unanalyzed | call on copy | 2010-07-22 12:56:56
+ | unanalyzed | call on fireBlogEvent | 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 getBlogListeners | 2010-07-22 12:56:56
U | unanalyzed | call on getBlogsDirectory | 2010-07-16 16:14:15
+ | unanalyzed | call on getBody | 2010-07-22 12:56:56
+ | unanalyzed | call on getContent | 2010-07-22 12:56:56
+ | unanalyzed | call on getDataDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on getDate | 2010-07-22 12:56:56
+ | unanalyzed | call on getEventListenerList | 2010-07-22 12:56:56
+ | unanalyzed | call on getFilesDirectory | 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
+ | unanalyzed | call on getName | 2010-07-22 12:56:56
+ | 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 getType | 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
+ | unanalyzed | call on init | 2010-07-22 12:56:56
+ | unanalyzed | call on isVetoed | 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
+ | unanalyzed | call on java.io.BufferedWriter:flush | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.BufferedWriter:newLine | 2010-07-22 12:56:56
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
+ | unanalyzed | call on java.io.File:createNewFile | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:delete | 2010-07-22 12:56:56
U | unanalyzed | call on java.io.File:exists | 2010-07-16 16:14:15
U | unanalyzed | call on java.io.File:getAbsolutePath | 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:isDirectory | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:listFiles | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:mkdir | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.File:renameTo | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileInputStream:getChannel | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream | 2010-07-22 12:56:56
+ | unanalyzed | call on java.io.FileOutputStream:getChannel | 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
U | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:14:15
+ | 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
+ | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56
+ | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56
+ | unanalyzed | call on java.nio.channels.FileChannel:close | 2010-07-22 12:56:56
+ | unanalyzed | call on java.nio.channels.FileChannel:size | 2010-07-22 12:56:56
+ | unanalyzed | call on java.nio.channels.FileChannel:transferFrom | 2010-07-22 12:56:56
+ | 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.EventObject | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.HashMap | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.LinkedList | 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:iterator | 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
+ | unanalyzed | call on java.util.Map:get | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Map:keySet | 2010-07-22 12:56:56
U | unanalyzed | call on java.util.Map:put | 2010-07-16 16:14:15
+ | unanalyzed | call on java.util.Properties:getProperty | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Set:iterator | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Timer:cancel | 2010-07-22 12:56:56
+ | unanalyzed | call on java.util.Timer:schedule | 2010-07-22 12:56:56
+ | 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:getBui ldVersion | 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
+ | unanalyzed | call on net.sourceforge.pebble.PebbleContext:getWeb ApplicationRoot | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.event.blog. BlogEvent:getSource | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain.Blog | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory | 2010-07-22 12:56:56
+ | 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.logging. AbstractLogger:start | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.logging. AbstractLogger:stop | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.util. FileUtils:deleteFile | 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
U | unanalyzed | call on net.sourceforge.pebble.util. UpgradeUtilities:upgradeBlog | 2010-07-16 16:14:15
+ | 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
+ | unanalyzed | call on org.apache.commons.logging.Log:info | 2010-07-22 12:56:56
+ | unanalyzed | call on org.apache.commons.logging.Log:warn | 2010-07-22 12:56:56
+ | 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
+ | unanalyzed | call on reindex | 2010-07-22 12:56:56
+ | unanalyzed | call on reindexBlogEntries | 2010-07-22 12:56:56
+ | unanalyzed | call on reindexStaticPages | 2010-07-22 12:56:56
+ | unanalyzed | call on setEditableTheme | 2010-07-22 12:56:56
+ | unanalyzed | call on setId | 2010-07-22 12:56:56
+ | unanalyzed | call on start | 2010-07-22 12:56:56
U | unanalyzed | call on startBlog | 2010-07-16 16:14:15
+ | unanalyzed | call on stop | 2010-07-22 12:56:56
U | unanalyzed | call on stopBlog | 2010-07-16 16:14:15
+ | test_vector | java.io.File:exists(...)@168: {0}, {1} | 2010-07-22 12:56:56
+ | test_vector | java.lang.String:equals(...)@178: {1}, {0} | 2010-07-22 12:56:56

- void startBlogs()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
- | pre | (soft) init'ed(net.sourceforge.pebble. PebbleContext__static_init.new PebbleContext(Pebble Context__static_init#1).buildVersion) | 2010-07-16 16:59:22
- | pre | (soft) init'ed(net.sourceforge.pebble. PebbleContext__static_init.new PebbleContext(Pebble Context__static_init#1).webApplicationRoot) | 2010-07-16 16:59:22
U | pre | (soft) log != null | 2010-07-16 16:14:15
- | pre | (soft) this.blogs != null | 2010-07-16 16:59:22
- | pre | init'ed(net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration.dataDirectory) | 2010-07-16 16:59:22
U | pre | init'ed(this.multiBlog) | 2010-07-16 16:14:15
- | pre | net.sourceforge.pebble.PebbleContext__static_init. new PebbleContext(PebbleContext__static_init#1). configuration != null | 2010-07-16 16:59:22
U | presumption | Local_7[Local_5]@115 != null | 2010-07-16 16:14:15
U | presumption | files.length@115 <= 232-1 | 2010-07-16 16:14:15
- | unanalyzed | call on getBlogsDirectory | 2010-07-16 16:59:22
+ | unanalyzed | call on getDataDirectory | 2010-07-22 12:56:56
- | unanalyzed | call on java.io.BufferedReader | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.BufferedReader:close | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.BufferedReader:readLine | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.BufferedWriter | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.BufferedWriter:close | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.BufferedWriter:write | 2010-07-16 16:59:22
U | unanalyzed | call on java.io.File | 2010-07-16 16:14:15
- | unanalyzed | call on java.io.File:exists | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.File:getAbsolutePath | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.FileReader | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.FileWriter | 2010-07-16 16:59:22
- | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:59:22
- | unanalyzed | call on java.util.Map:put | 2010-07-16 16:59:22
+ | 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
- | unanalyzed | call on net.sourceforge.pebble.util. UpgradeUtilities:upgradeBlog | 2010-07-16 16:59:22
- | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:59:22
- | unanalyzed | call on startBlog | 2010-07-16 16:59:22
- | unanalyzed | call on stopBlog | 2010-07-16 16:59:22
U | test_vector | java.io.File:exists(...)@108: {1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.io.File:isDirectory(...)@118: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.io.File:listFiles(...)@115: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15
U | test_vector | this.multiBlog: {0}, {1} | 2010-07-16 16:14:15

- void stopBlog(Blog)

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

- void stopBlogs()

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