Messages

Last Msg First Msg

method | net.sourceforge.pebble.domain.Blog__static_init
post | init'ed(log)

method | void net.sourceforge.pebble.domain.Blog(String)
post | init'ed(this.blog)
post | init'ed(this.id)
post | init'ed(this.messages)
post | init'ed(this.root)
post | new LinkedList(AbstractBlog#1) num objects == 1
unanalyzed | call on java.util.LinkedList

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

| info | call too complex - analysis skipped | -- call on void init()

method | void init()
pre | init'ed(this.root)
pre | (soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null
pre | (soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.categoryDAO != null
pre | (soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.refererFilterDAO != null
pre | (soft) net/sourceforge/pebble/dao/file/FileRefererF ilterDAO.log != null
pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null
pre | (soft) this.messages != null
pre | (soft) init'ed(this.rootCategory)
presumption | java.lang.Class:forName(...)@199 != null
presumption | java.lang.Class:forName(...)@232 != null
presumption | java.lang.Class:forName(...)@241 != null
post | this.authorIndex == &new AuthorIndex(init#11)
post | this.blogEntryIndex == &new BlogEntryIndex(init #7)
post | this.categoryIndex == &new CategoryIndex(init#1 0)
post | this.commentConfirmationStrategy != null
post | this.decoratorChain == &new ContentDecoratorCha in(init#13)
post | this.emailSubscriptionList == &new EmailSubscriptionList(init#18)
post | this.eventDispatcher != null
post | init'ed(this.eventDispatcher.eventListenerList)
post | this.eventListenerList == &new EventListenerLis t(initEventDispatcher#1)
post | init'ed(this.logger)
post | init'ed(this.messages)
post | this.permalinkProvider != null
post | this.pluginProperties == &new PluginProperties( init#4)
post | this.properties == &new Properties(loadProperti es#1)
post | this.refererFilterManager == &new RefererFilterManager(init#3)
post | this.responseIndex == &new ResponseIndex(init#8 )
post | (soft) init'ed(this.rootCategory)
post | this.searchIndex == &new SearchIndex(init#6)
post | this.staticPageIndex == &new StaticPageIndex(in it#12)
post | this.tagIndex == &new TagIndex(init#9)
post | this.trackBackConfirmationStrategy != null
post | this.years == &new ArrayList(init#5)
post | new ArrayList(BlogEntryIndex#1) num objects == 1
post | new ArrayList(BlogEntryIndex#2) num objects == 1
post | new ArrayList(BlogEntryIndex#3) num objects == 1
post | new ArrayList(ContentDecoratorChain#1) num objects == 1
post | new ArrayList(EventListenerList#1) num objects == 1
post | new ArrayList(EventListenerList#2) num objects == 1
post | new ArrayList(EventListenerList#3) num objects == 1
post | new ArrayList(EventListenerList#4) num objects == 1
post | new ArrayList(ResponseIndex#1) num objects == 1
post | new ArrayList(ResponseIndex#2) num objects == 1
post | new ArrayList(ResponseIndex#3) num objects == 1
post | new ArrayList(TagIndex#2) num objects == 1
post | new ArrayList(init#5) num objects == 1
post | new AuthorIndex(init#11) num objects == 1
post | new BlogEntryIndex(init#7) num objects == 1
post | new CategoryIndex(init#10) num objects == 1
post | new ContentDecoratorChain(init#13) num objects == 1
post | new EmailSubscriptionList(init#18) num objects == 1
post | new EventListenerList(initEventDispatcher#1) num objects == 1
post | new HashMap(AuthorIndex#1) num objects == 1
post | new HashMap(StaticPageIndex#1) num objects == 1
post | new HashMap(TagIndex#1) num objects == 1
post | new LinkedList(EmailSubscriptionList#1) num objects == 1
post | new PluginProperties(init#4) num objects == 1
post | new Properties(loadProperties#1) num objects == 1
post | new RefererFilterManager(init#3) num objects == 1
post | new ResponseIndex(init#8) num objects == 1
post | new SearchIndex(init#6) num objects == 1
post | new StaticPageIndex(init#12) num objects == 1
post | new TagIndex(init#9) num objects == 1
post | init'ed(new ArrayList(Category#1) num objects)
post | init'ed(new ArrayList(Category#2) num objects)
post | init'ed(new ArrayList(Category#3) num objects)
post | new ArrayList(getRefererFilters#1) num objects <= 1
post | new ArrayList(readIndex#1) num objects == 3
post | new ArrayList(recalculateTagRankings#2) num objects <= 1
post | this.authorIndex.authors == &new HashMap(AuthorIndex#1)
post | this.authorIndex.blog == this
post | this.authorIndex.blog != null
post | this.blogEntryIndex.blog == this.authorIndex.blog
post | this.categoryIndex.blog == this.authorIndex.blog
post | this.decoratorChain.blog == this.authorIndex.blog
post | this.emailSubscriptionList.blog == this. authorIndex.blog
post | this.refererFilterManager.rootBlog == this.authorIndex.blog
post | this.responseIndex.blog == this.authorIndex.blog
post | this.searchIndex.blog == this.authorIndex.blog
post | this.staticPageIndex.blog == this.authorIndex.blog
post | this.tagIndex.blog == this.authorIndex.blog
post | this.blogEntryIndex.indexEntries == &new ArrayList(BlogEntryIndex#1)
post | this.blogEntryIndex.publishedIndexEntries == &new ArrayList(BlogEntryIndex#2)
post | this.blogEntryIndex.unpublishedIndexEntries == &new ArrayList(BlogEntryIndex#3)
post | init'ed(new Category(getCategory#2*) num objects)
post | init'ed(new Category(getCategory#2*).blog)
post | init'ed(new Category(getCategory#2*).blogEntries)
post | init'ed(new Category(getCategory#2*).id)
post | init'ed(new Category(getCategory#2*).name)
post | init'ed(new Category(getCategory#2*).parent)
post | init'ed(new Category(getCategory#2*). subCategories)
post | init'ed(new Category(getCategory#2*).tags)
post | init'ed(new Category(getCategory#2*).tagsAsList)
post | init'ed(new Category(getCategory#3*) num objects)
post | init'ed(new Category(getCategory#3*).blog)
post | init'ed(new Category(getCategory#3*).blogEntries)
post | init'ed(new Category(getCategory#3*).id)
post | init'ed(new Category(getCategory#3*).name)
post | init'ed(new Category(getCategory#3*).parent)
post | init'ed(new Category(getCategory#3*). subCategories)
post | init'ed(new Category(getCategory#3*).tags)
post | init'ed(new Category(getCategory#3*).tagsAsList)
post | new CombinedLogFormatLogger(initLogger#4) num objects <= 1
post | this.decoratorChain.decorators == &new ArrayList(ContentDecoratorChain#1)
post | new DefaultConfirmationStrategy(init#15) num objects <= 1
post | new DefaultConfirmationStrategy(init#17) num objects <= 1
post | new DefaultEventDispatcher(initEventDispatcher#2) num objects <= 1
post | init'ed(new DefaultEventDispatcher(initEventDispatc her#2).eventListenerList)
post | new DefaultPermalinkProvider(init#2) num objects <= 1
post | this.emailSubscriptionList.emailAddresses == &new LinkedList(EmailSubscriptionList#1)
post | this.eventListenerList.blogEntryListeners == &new ArrayList(EventListenerList#2)
post | this.eventListenerList.blogListeners == &new ArrayList(EventListenerList#1)
post | this.eventListenerList.commentListeners == &new ArrayList(EventListenerList#3)
post | this.eventListenerList.trackBackListeners == &new ArrayList(EventListenerList#4)
post | this.refererFilterManager.filters == One-of{&new ArrayList(getRefererFilters#1), undefined}
post | this.refererFilterManager.filters in Addr_Set{null,&new ArrayList(getRefererFilters #1)}
post | init'ed(this.refererFilterManager.nextId)
post | this.responseIndex.approvedResponses == &new ArrayList(readIndex#1)
post | this.responseIndex.pendingResponses == &new ArrayList(readIndex#1)
post | this.responseIndex.rejectedResponses == &new ArrayList(readIndex#1)
post | this.staticPageIndex.index == &new HashMap(StaticPageIndex#1)
post | init'ed(this.staticPageIndex.lockAttempts)
post | this.tagIndex.orderedTags == One-of{&new ArrayList(TagIndex#2), &new ArrayList(recalcul ateTagRankings#2)}
post | this.tagIndex.orderedTags in Addr_Set{&new ArrayList(TagIndex#2),&new ArrayList(recalcula teTagRankings#2)}
post | this.tagIndex.tags == &new HashMap(TagIndex#1)
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.util.Properties
unanalyzed | call on java.util.Properties:setProperty
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:toLowerCase
unanalyzed | call on java.lang.String:replaceAll
unanalyzed | call on encode
unanalyzed | call on getCategory
unanalyzed | call on getSubCategories
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on java.lang.String:equals
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage
unanalyzed | call on net.sourceforge.pebble.domain.Category
unanalyzed | call on addCategory
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring
unanalyzed | call on getId
unanalyzed | call on java.lang.String:lastIndexOf
unanalyzed | call on setBlog
unanalyzed | call on isRootCategory
unanalyzed | call on addSubCategory
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.util.ArrayList
unanalyzed | call on getConfiguredFactory
unanalyzed | call on java.util.List:add
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on getStringsFromProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on getBlogForMonth
unanalyzed | call on getBlogForDay
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on getBlogEntryListeners
unanalyzed | call on java.lang.Class:forName
unanalyzed | call on java.lang.Class:newInstance
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.lang.Object:getClass
unanalyzed | call on java.lang.Class:getName
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 net.sourceforge.pebble.event.blogentry. BlogEntryListenerSupport
unanalyzed | call on org.apache.commons.logging.Log:warn
unanalyzed | call on java.lang.Throwable:getMessage
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 java.lang.Exception:printStackTrace
unanalyzed | call on getRefererFilterDAO
unanalyzed | call on java.util.Collection:iterator
unanalyzed | call on net.sourceforge.pebble.dao.PersistenceExcep tion:printStackTrace
unanalyzed | call on getRefererFilters
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on addPublishedBlogEntry
unanalyzed | call on addUnpublishedBlogEntry
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on java.io.FileReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on java.util.Map:get
unanalyzed | call on net.sourceforge.pebble.index.IndexedTag
unanalyzed | call on java.util.Map:put
unanalyzed | call on java.util.HashMap
unanalyzed | call on java.util.Map:values
unanalyzed | call on addBlogEntry
unanalyzed | call on java.util.Map:size
unanalyzed | call on getNumberOfBlogEntries
unanalyzed | call on java.lang.Math:round
unanalyzed | call on calculateRank
unanalyzed | call on java.util.LinkedList
unanalyzed | call on org.apache.commons.logging.Log:info
unanalyzed | call on java.io.File:mkdirs
unanalyzed | call on net.sourceforge.pebble.confirmation. AbstractConfirmationStrategy
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on net.sourceforge.pebble.decorator. ContentDecoratorSupport
unanalyzed | call on getContentDecorators
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on net.sourceforge.pebble.api.event. EventDispatcher
unanalyzed | call on java.lang.Class:getConstructor
unanalyzed | call on java.lang.reflect.Constructor:newInstance
unanalyzed | call on net.sourceforge.pebble.logging. CombinedLogFormatLogger
unanalyzed | call on java.util.Collections:unmodifiableList
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed | call on java.util.regex.Pattern:compile
unanalyzed | call on java.util.ArrayList:add
unanalyzed | call on java.util.List:remove
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog

| info | method not available | -- call on void net.sourceforge.pebble.permalink. DefaultPermalinkProvider()

| info | method not available | -- call on CategoryDAO getCategoryDAO()

| info | method not available | -- call on Category getCategories(Blog)

| info | method not available | -- call on void net.sourceforge.pebble.dao. PersistenceException:printStackTrace()

| info | method not available | -- call on void net.sourceforge.pebble. PluginProperties(Blog)

Prev Msg Next Msg

+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/AbstractBlog.error: this.messages != null

Prev Msg Next Msg

Prev Msg Next Msg

+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/AbstractBlog.error: this.messages != null

Prev Msg Next Msg

method | void initLogger()
pre | this.properties != null
pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null
pre | (soft) this.messages != null
presumption | java.lang.Class:forName(...)@267 != null
presumption | java.lang.Class:getConstructor(...)@268 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
post | init'ed(this.logger)
post | init'ed(this.messages)
post | new CombinedLogFormatLogger(initLogger#4) num objects <= 1
unanalyzed | call on java.util.Properties:getProperty
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 org.apache.commons.logging.Log:error

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

| info | method not available | -- call on void net.sourceforge.pebble.logging. CombinedLogFormatLogger(Blog)

method | void initEventDispatcher()
pre | (soft) this.properties != null
presumption | java.lang.Class:forName(...)@285 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
post | this.eventDispatcher != null
post | init'ed(this.eventDispatcher.eventListenerList)
post | this.eventListenerList == &new EventListenerLis t(initEventDispatcher#1)
post | new ArrayList(EventListenerList#1) num objects == 1
post | new ArrayList(EventListenerList#2) num objects == 1
post | new ArrayList(EventListenerList#3) num objects == 1
post | new ArrayList(EventListenerList#4) num objects == 1
post | new EventListenerList(initEventDispatcher#1) num objects == 1
post | new DefaultEventDispatcher(initEventDispatcher#2) num objects <= 1
post | init'ed(new DefaultEventDispatcher(initEventDispatc her#2).eventListenerList)
post | this.eventListenerList.blogEntryListeners == &new ArrayList(EventListenerList#2)
post | this.eventListenerList.blogListeners == &new ArrayList(EventListenerList#1)
post | this.eventListenerList.commentListeners == &new ArrayList(EventListenerList#3)
post | this.eventListenerList.trackBackListeners == &new ArrayList(EventListenerList#4)
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.util.ArrayList
unanalyzed | call on net.sourceforge.pebble.api.event. EventDispatcher

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

method | void initBlogListeners()
pre | this.properties != null
pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null
pre | (soft) this.messages != null
pre | (soft) this.eventListenerList != null
pre | (soft) this.eventListenerList.blogListeners != null
presumption | java.lang.Class:forName(...)@303 != null
presumption | java.util.Iterator:next(...)@301 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
post | init'ed(this.messages)
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getStringsFromProperty
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.lang.Object:getClass
unanalyzed | call on java.lang.Class:getName
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on org.apache.commons.logging.Log:debug
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 org.apache.commons.logging.Log:error
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:startsWith
test_vector | java.util.Iterator:hasNext(...)@301: {1}, {0}

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

Prev Msg Next Msg

+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/AbstractBlog.error: this.messages != null

Prev Msg Next Msg

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

method | void initBlogEntryListeners()
pre | this.eventListenerList != null
pre | this.eventListenerList.blogEntryListeners != null
pre | this.properties != null
pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null
pre | (soft) this.messages != null
presumption | java.lang.Class:forName(...)@321 != null
presumption | java.lang.Throwable:getMessage(...)@344 != null
presumption | java.util.Iterator:next(...)@319 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
post | init'ed(this.messages)
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.lang.Object:getClass
unanalyzed | call on java.lang.Class:getName
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on org.apache.commons.logging.Log:debug
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 org.apache.commons.logging.Log:error
unanalyzed | call on net.sourceforge.pebble.event.blogentry. BlogEntryListenerSupport
unanalyzed | call on org.apache.commons.logging.Log:warn
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:startsWith
test_vector | java.util.Iterator:hasNext(...)@319: {1}, {0}

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

Prev Msg Next Msg

+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/AbstractBlog.error: this.messages != null

Prev Msg Next Msg

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

Prev Msg Next Msg

+ |
| warning
| unused assignment | unused assignment into text

Prev Msg Next Msg

Prev Msg Next Msg

+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/AbstractBlog.warn: this.messages != null

Prev Msg Next Msg

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

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

method | void initCommentListeners()
pre | this.eventListenerList != null
pre | this.eventListenerList.commentListeners != null
pre | this.properties != null
pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null
pre | (soft) this.messages != null
presumption | java.lang.Class:forName(...)@360 != null
presumption | java.util.Iterator:next(...)@358 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
post | init'ed(this.messages)
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getStringsFromProperty
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.lang.Object:getClass
unanalyzed | call on java.lang.Class:getName
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on org.apache.commons.logging.Log:debug
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 org.apache.commons.logging.Log:error
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:startsWith
test_vector | java.util.Iterator:hasNext(...)@358: {1}, {0}

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

Prev Msg Next Msg

+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/AbstractBlog.error: this.messages != null

Prev Msg Next Msg

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

method | void initTrackBackListeners()
pre | this.eventListenerList != null
pre | this.eventListenerList.trackBackListeners != null
pre | this.properties != null
pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null
pre | (soft) this.messages != null
presumption | java.lang.Class:forName(...)@381 != null
presumption | java.util.Iterator:next(...)@379 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
post | init'ed(this.messages)
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getStringsFromProperty
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.lang.Object:getClass
unanalyzed | call on java.lang.Class:getName
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on org.apache.commons.logging.Log:debug
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 org.apache.commons.logging.Log:error
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:startsWith
test_vector | java.util.Iterator:hasNext(...)@379: {1}, {0}

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

Prev Msg Next Msg

+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/AbstractBlog.error: this.messages != null

Prev Msg Next Msg

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

method | void initDecorators()
pre | this.decoratorChain != null
pre | this.decoratorChain.decorators != null
pre | this.properties != null
pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null
pre | (soft) this.messages != null
presumption | java.lang.Class:forName(...)@404 != null
presumption | java.util.Iterator:next(...)@402 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
post | init'ed(this.messages)
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getStringsFromProperty
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 org.apache.commons.logging.Log:error
unanalyzed | call on java.lang.String:length
unanalyzed | call on net.sourceforge.pebble.decorator. ContentDecoratorSupport
unanalyzed | call on java.lang.String:startsWith
test_vector | java.util.Iterator:hasNext(...)@402: {1}, {0}

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

| info | method not available | -- call on void setBlog(Blog)

Prev Msg Next Msg

+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/AbstractBlog.error: this.messages != null

Prev Msg Next Msg

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

method | Properties getDefaultProperties()
post | return_value == &new Properties(getDefaultPrope rties#1)
post | new Properties(getDefaultProperties#1) num objects == 1

method | String getId()
pre | init'ed(this.id)
post | return_value == this.id
post | init'ed(return_value)

method | void setId(String)
post | this.id == id
post | init'ed(this.id)

method | String getUrl()
pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
pre | (soft) init'ed(this.id)
presumption | java.lang.String:indexOf(...)@503 <= 232-4
presumption | net.sourceforge.pebble.PebbleContext:getConfigurati on(...)@496 != null
presumption | net.sourceforge.pebble.PebbleContext:getInstance(.. .)@496 != null
post | return_value != null
test_vector | net/sourceforge/pebble/domain/BlogManager.instance. multiBlog: {0}, {1}
test_vector | config.url@496: Addr_Set{null}, Inverse{null}
test_vector | config.virtualHostingEnabled@496: {0}, {1}
test_vector | java.lang.String:length(...)@499: {1.. 232-1}, {0}

| 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 | String getRelativeUrl()
pre | net/sourceforge/pebble/domain/BlogManager.instance != null
pre | init'ed(net/sourceforge/pebble/domain/BlogManager. instance.multiBlog)
pre | (soft) init'ed(this.id)
post | return_value != null
test_vector | net/sourceforge/pebble/domain/BlogManager.instance. multiBlog: {0}, {1}

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

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

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

method | Collection getEmailAddresses()
pre | this.properties != null
presumption | java.util.Properties:getProperty(...)@549 != null
post | init'ed(return_value)
unanalyzed | call on java.util.Properties:getProperty

method | String getFirstEmailAddress()
pre | this.properties != null
post | init'ed(return_value)
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.util.Arrays:asList
test_vector | java.util.Arrays:asList(...)@558: Addr_Set{null}, Inverse{null}
test_vector | java.util.Collection:isEmpty(...)@568: {1}, {0}

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

method | List getBlogOwners()
pre | this.properties != null
presumption | java.util.StringTokenizer:nextToken(...)@596 != null
post | return_value == &new LinkedList(getBlogOwners#1 )
post | new LinkedList(getBlogOwners#1) num objects == 1
unanalyzed | call on java.util.Properties:getProperty
test_vector | java.util.Properties:getProperty(...)@582: Addr_Set{null}, Inverse{null}
test_vector | java.util.StringTokenizer:hasMoreTokens(...)@595: {1}, {0}

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

method | List getBlogPublishers()
pre | this.properties != null
presumption | java.util.StringTokenizer:nextToken(...)@624 != null
post | return_value == &new LinkedList(getBlogPublishe rs#1)
post | new LinkedList(getBlogPublishers#1) num objects == 1
unanalyzed | call on java.util.Properties:getProperty
test_vector | java.util.Properties:getProperty(...)@610: Addr_Set{null}, Inverse{null}
test_vector | java.util.StringTokenizer:hasMoreTokens(...)@623: {1}, {0}

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

method | List getBlogContributors()
pre | this.properties != null
presumption | java.util.StringTokenizer:nextToken(...)@652 != null
post | return_value == &new LinkedList(getBlogContribu tors#1)
post | new LinkedList(getBlogContributors#1) num objects == 1
unanalyzed | call on java.util.Properties:getProperty
test_vector | java.util.Properties:getProperty(...)@638: Addr_Set{null}, Inverse{null}
test_vector | java.util.StringTokenizer:hasMoreTokens(...)@651: {1}, {0}

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

method | List getBlogReaders()
pre | this.properties != null
presumption | java.util.StringTokenizer:nextToken(...)@680 != null
post | return_value == &new LinkedList(getBlogReaders# 1)
post | new LinkedList(getBlogReaders#1) num objects == 1
unanalyzed | call on java.util.Properties:getProperty
test_vector | java.util.Properties:getProperty(...)@666: Addr_Set{null}, Inverse{null}
test_vector | java.util.StringTokenizer:hasMoreTokens(...)@679: {1}, {0}

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

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

method | Collection getUsersInRole(String)
pre | init'ed(net/sourceforge/pebble/Constants.BLOG_ OWNER_ROLE)
pre | roleName != null
pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_CONTRIBUTOR_ROLE)
pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_PUBLISHER_ROLE)
pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_READER_ROLE)
pre | (soft) this.properties != null
post | return_value == One-of{&new LinkedList(getBlogO wners#1), &new LinkedList(getBlogPublishers#1), &new LinkedList(getBlogContributors#1), &new LinkedList(getUsersInRole#1), &new LinkedList(getBlogReaders#1)}
post | return_value in Addr_Set{&new LinkedList(getUse rsInRole#1),&new LinkedList(getBlogContributors #1),&new LinkedList(getBlogReaders#1),&new LinkedList(getBlogOwners#1),&new LinkedList(getBlogPublishers#1)}
post | new LinkedList(getBlogContributors#1) num objects <= 1
post | new LinkedList(getBlogOwners#1) num objects <= 1
post | new LinkedList(getBlogPublishers#1) num objects <= 1
post | new LinkedList(getBlogReaders#1) num objects <= 1
post | new LinkedList(getUsersInRole#1) num objects == 1
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.LinkedList
unanalyzed | call on java.util.StringTokenizer
unanalyzed | call on java.util.StringTokenizer:hasMoreTokens
unanalyzed | call on java.util.StringTokenizer:nextToken
unanalyzed | call on java.lang.String:trim
test_vector | java.lang.String:equals(...)@714: {0}, {1}
test_vector | java.lang.String:equals(...)@716: {0}, {1}
test_vector | java.lang.String:equals(...)@718: {0}, {1}
test_vector | java.lang.String:equals(...)@720: {0}, {1}

method | bool isUserInRole(String, String)
pre | init'ed(net/sourceforge/pebble/Constants.BLOG_ OWNER_ROLE)
pre | roleName != null
pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_CONTRIBUTOR_ROLE)
pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_PUBLISHER_ROLE)
pre | (soft) init'ed(net/sourceforge/pebble/Constants. BLOG_READER_ROLE)
pre | (soft) this.properties != null
post | init'ed(return_value)
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.LinkedList
unanalyzed | call on java.util.StringTokenizer
unanalyzed | call on java.util.StringTokenizer:hasMoreTokens
unanalyzed | call on java.util.StringTokenizer:nextToken
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:equals
unanalyzed | call on getBlogPublishers
unanalyzed | call on getBlogReaders
test_vector | java.util.Collection:contains(...)@737: {0}, {1}
test_vector | java.util.Collection:isEmpty(...)@737: {1}, {0}

method | Year getBlogForYear(int)
pre | this.years != null
presumption | java.util.Iterator:next(...)@754 != null
post | (soft) return_value != null
post | init'ed(new ArrayList(Day#1) num objects)
post | init'ed(new ArrayList(Day#2) num objects)
post | init'ed(new ArrayList(Day#3) num objects)
post | init'ed(new Day(Month#2) num objects)
post | init'ed(new Day(Month#2).blog)
post | init'ed(new Day(Month#2).blogEntries)
post | init'ed(new Day(Month#2).date)
post | init'ed(new Day(Month#2).day)
post | init'ed(new Day(Month#2).month)
post | init'ed(new Day(Month#2).publishedBlogEntries)
post | init'ed(new Day(Month#2).unpublishedBlogEntries)
post | new Day[](Month#1) num objects in {0, 12}
post | init'ed(new Day[](Month#1).length)
post | init'ed(new Day[](Month#1)[...])
post | new Month(init#2) num objects in {0, 12}
post | new Month(init#2).blog != null
post | new Month(init#2).dailyBlogs != null
post | init'ed(new Month(init#2).date)
post | init'ed(new Month(init#2).lastDayInMonth)
post | new Month(init#2).month == 13
post | new Month(init#2).year != null
post | new Month[](init#1) num objects <= 1
post | new Month[](init#1).length == 12
post | init'ed(new Month[](init#1)[...])
post | new Year(getBlogForYear#1) num objects <= 1
post | new Year(getBlogForYear#1).blog != null
post | init'ed(new Year(getBlogForYear#1).date)
post | new Year(getBlogForYear#1).months == &new Month[](init#1)
post | new Year(getBlogForYear#1).year == year
post | init'ed(new Year(getBlogForYear#1).year)
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList
test_vector | java.util.Iterator:hasNext(...)@753: {1}, {0}

method | Year getBlogForThisYear()
pre | this.properties != null
pre | this.years != null
presumption | java.util.Calendar:getInstance(...)@329 != null
post | return_value != null
post | init'ed(new ArrayList(Day#1) num objects)
post | init'ed(new ArrayList(Day#2) num objects)
post | init'ed(new ArrayList(Day#3) num objects)
post | init'ed(new Day(Month#2) num objects)
post | init'ed(new Day(Month#2).blog)
post | init'ed(new Day(Month#2).blogEntries)
post | init'ed(new Day(Month#2).date)
post | init'ed(new Day(Month#2).day)
post | init'ed(new Day(Month#2).month)
post | init'ed(new Day(Month#2).publishedBlogEntries)
post | init'ed(new Day(Month#2).unpublishedBlogEntries)
post | new Day[](Month#1) num objects in {0, 12}
post | init'ed(new Day[](Month#1).length)
post | init'ed(new Day[](Month#1)[...])
post | new Month(init#2) num objects in {0, 12}
post | new Month(init#2).blog != null
post | new Month(init#2).dailyBlogs != null
post | init'ed(new Month(init#2).date)
post | init'ed(new Month(init#2).lastDayInMonth)
post | new Month(init#2).month == 13
post | new Month(init#2).year != null
post | new Month[](init#1) num objects <= 1
post | new Year(getBlogForYear#1) num objects == new Month[](init#1) num objects
post | new Year(getBlogForYear#1).months.length == 12
post | init'ed(new Year(getBlogForYear#1).months[...])
post | new Year(getBlogForYear#1).blog != null
post | init'ed(new Year(getBlogForYear#1).date)
post | new Year(getBlogForYear#1).months == &new Month[](init#1)
post | init'ed(new Year(getBlogForYear#1).year)
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList

method | List getYears()
pre | init'ed(this.years)
post | return_value == this.years
post | init'ed(return_value)

method | List getArchives()
pre | init'ed(this.blogEntryIndex)
pre | this.years != null
pre | (soft) init'ed(this.blogEntryIndex.indexEntries)
pre | (soft) this.properties != null
presumption | getBlogForFirstMonth(...).year@793 != null
presumption | java.util.Iterator:next(...)@797 != null
post | return_value == &new LinkedList(getArchives#1)
post | new LinkedList(getArchives#1) num objects == 1
unanalyzed | call on java.util.List:size
unanalyzed | call on java.util.List:get
unanalyzed | call on java.util.Date
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on getBlogForMonth
unanalyzed | call on java.util.List:isEmpty
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on getBlogForDay
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on getBlogForYear
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
test_vector | java.util.Iterator:hasNext(...)@797: {1}, {0}

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires getBlogForFirstMonth(... ) != null

Prev Msg Next Msg

Prev Msg Next Msg

+ |
| warning
| unused assignment | unused assignment into cal

Prev Msg Next Msg

method | Month getBlogForFirstMonth()
pre | init'ed(this.blogEntryIndex)
pre | (soft) init'ed(this.blogEntryIndex.indexEntries)
pre | (soft) this.properties != null
pre | (soft) this.years != null
presumption | java.util.List:size(...)@822 >= -231+1
post | init'ed(return_value)
post | init'ed(new ArrayList(Day#1) num objects)
post | init'ed(new ArrayList(Day#2) num objects)
post | init'ed(new ArrayList(Day#3) num objects)
post | init'ed(new Day(Month#2) num objects)
post | init'ed(new Day(Month#2).blog)
post | init'ed(new Day(Month#2).blogEntries)
post | init'ed(new Day(Month#2).date)
post | init'ed(new Day(Month#2).day)
post | init'ed(new Day(Month#2).month)
post | init'ed(new Day(Month#2).publishedBlogEntries)
post | init'ed(new Day(Month#2).unpublishedBlogEntries)
post | new Day[](Month#1) num objects in {0, 12}
post | init'ed(new Day[](Month#1).length)
post | init'ed(new Day[](Month#1)[...])
post | new Month(init#2) num objects in {0, 12}
post | new Month(init#2).blog != null
post | new Month(init#2).dailyBlogs != null
post | init'ed(new Month(init#2).date)
post | init'ed(new Month(init#2).lastDayInMonth)
post | new Month(init#2).month == 13
post | new Month(init#2).year != null
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on getBlogForMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on getBlogForDay
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
test_vector | this.blogEntryIndex: Inverse{null}, Addr_Set{null}
test_vector | java.util.List:get(...)@822: Inverse{null}, Addr_Set{null}
test_vector | java.util.List:isEmpty(...)@818: {0}, {1}

Prev Msg Next Msg

+ |
| warning
| test always goes same way | test predetermined because blogEntryIds != null

Prev Msg Next Msg

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires getBlogForDay(...) != null

Prev Msg Next Msg

method | Day getBlogForDay(Date)
pre | this.properties != null
pre | this.years != null
presumption | java.util.Calendar:get(...)@843 in 0..11
presumption | java.util.Calendar:get(...)@844 >= 1
presumption | java.util.Calendar:getInstance(...)@329 != null
post | init'ed(return_value)
post | init'ed(new ArrayList(Day#1) num objects)
post | init'ed(new ArrayList(Day#2) num objects)
post | init'ed(new ArrayList(Day#3) num objects)
post | init'ed(new Day(Month#2) num objects)
post | init'ed(new Day(Month#2).blog)
post | init'ed(new Day(Month#2).blogEntries)
post | init'ed(new Day(Month#2).date)
post | init'ed(new Day(Month#2).day)
post | init'ed(new Day(Month#2).month)
post | init'ed(new Day(Month#2).publishedBlogEntries)
post | init'ed(new Day(Month#2).unpublishedBlogEntries)
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on getBlogForMonth
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList

method | Day getBlogForToday()
pre | this.properties != null
pre | this.years != null
presumption | java.util.Calendar:getInstance(...)@329 != null
post | init'ed(return_value)
post | init'ed(new ArrayList(Day#1) num objects)
post | init'ed(new ArrayList(Day#2) num objects)
post | init'ed(new ArrayList(Day#3) num objects)
post | init'ed(new Day(Month#2) num objects)
post | init'ed(new Day(Month#2).blog)
post | init'ed(new Day(Month#2).blogEntries)
post | init'ed(new Day(Month#2).date)
post | init'ed(new Day(Month#2).day)
post | init'ed(new Day(Month#2).month)
post | init'ed(new Day(Month#2).publishedBlogEntries)
post | init'ed(new Day(Month#2).unpublishedBlogEntries)
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on getBlogForMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on getBlogForDay
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList

method | Day getBlogForDay(int, int, int)
pre | day >= 1
pre | month in 1..12
pre | this.years != null
presumption | getBlogForMonth(...).dailyBlogs.length@867 >= 1
presumption | getBlogForMonth(...).dailyBlogs@867 != null
presumption | getBlogForMonth(...).lastDayInMonth@867 >= 1
post | init'ed(return_value)
post | init'ed(new ArrayList(Day#1) num objects)
post | init'ed(new ArrayList(Day#2) num objects)
post | init'ed(new ArrayList(Day#3) num objects)
post | init'ed(new Day(Month#2) num objects)
post | init'ed(new Day(Month#2).blog)
post | init'ed(new Day(Month#2).blogEntries)
post | init'ed(new Day(Month#2).date)
post | init'ed(new Day(Month#2).day)
post | init'ed(new Day(Month#2).month)
post | init'ed(new Day(Month#2).publishedBlogEntries)
post | init'ed(new Day(Month#2).unpublishedBlogEntries)
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:add
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires getBlogForMonth(...) != null
+ |
| low
| precondition failure | net/sourceforge/pebble/domain/Month.getBlogForDay: this.dailyBlogs.length >= 1
+ |
| low
| precondition failure | net/sourceforge/pebble/domain/Month.getBlogForDay: day <= this.dailyBlogs.length
+ |
| low
| precondition failure | net/sourceforge/pebble/domain/Month.getBlogForDay: this.lastDayInMonth >= 1
+ |
| low
| precondition failure | net/sourceforge/pebble/domain/Month.getBlogForDay: this.lastDayInMonth - day in 0..232-2

Prev Msg Next Msg

method | Month getBlogForMonth(int, int)
pre | month in 1..12
pre | this.years != null
presumption | getBlogForYear(...).months.length@878 >= 1
presumption | month <= getBlogForYear(...).months.length@878
presumption | getBlogForYear(...).months@878 != null
post | init'ed(return_value)
post | init'ed(new ArrayList(Day#1) num objects)
post | init'ed(new ArrayList(Day#2) num objects)
post | init'ed(new ArrayList(Day#3) num objects)
post | init'ed(new Day(Month#2) num objects)
post | init'ed(new Day(Month#2).blog)
post | init'ed(new Day(Month#2).blogEntries)
post | init'ed(new Day(Month#2).date)
post | init'ed(new Day(Month#2).day)
post | init'ed(new Day(Month#2).month)
post | init'ed(new Day(Month#2).publishedBlogEntries)
post | init'ed(new Day(Month#2).unpublishedBlogEntries)
post | new Day[](Month#1) num objects in {0, 12}
post | init'ed(new Day[](Month#1).length)
post | init'ed(new Day[](Month#1)[...])
post | new Month(init#2) num objects in {0, 12}
post | new Month(init#2).blog != null
post | new Month(init#2).dailyBlogs != null
post | init'ed(new Month(init#2).date)
post | init'ed(new Month(init#2).lastDayInMonth)
post | new Month(init#2).month == 13
post | new Month(init#2).year != null
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:add
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList

method | Month getBlogForThisMonth()
pre | this.properties != null
pre | this.years != null
presumption | java.util.Calendar:get(...)@888 in 0..11
presumption | java.util.Calendar:getInstance(...)@329 != null
post | init'ed(return_value)
post | init'ed(new ArrayList(Day#1) num objects)
post | init'ed(new ArrayList(Day#2) num objects)
post | init'ed(new ArrayList(Day#3) num objects)
post | init'ed(new Day(Month#2) num objects)
post | init'ed(new Day(Month#2).blog)
post | init'ed(new Day(Month#2).blogEntries)
post | init'ed(new Day(Month#2).date)
post | init'ed(new Day(Month#2).day)
post | init'ed(new Day(Month#2).month)
post | init'ed(new Day(Month#2).publishedBlogEntries)
post | init'ed(new Day(Month#2).unpublishedBlogEntries)
post | new Day[](Month#1) num objects in {0, 12}
post | init'ed(new Day[](Month#1).length)
post | init'ed(new Day[](Month#1)[...])
post | new Month(init#2) num objects in {0, 12}
post | new Month(init#2).blog != null
post | new Month(init#2).dailyBlogs != null
post | init'ed(new Month(init#2).date)
post | init'ed(new Month(init#2).lastDayInMonth)
post | new Month(init#2).month == 13
post | new Month(init#2).year != null
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList

method | Year getBlogForPreviousYear(Year)
pre | this.years != null
pre | year != null
pre | year.year >= -231+1
post | return_value != null
post | init'ed(new ArrayList(Day#1) num objects)
post | init'ed(new ArrayList(Day#2) num objects)
post | init'ed(new ArrayList(Day#3) num objects)
post | init'ed(new Day(Month#2) num objects)
post | init'ed(new Day(Month#2).blog)
post | init'ed(new Day(Month#2).blogEntries)
post | init'ed(new Day(Month#2).date)
post | init'ed(new Day(Month#2).day)
post | init'ed(new Day(Month#2).month)
post | init'ed(new Day(Month#2).publishedBlogEntries)
post | init'ed(new Day(Month#2).unpublishedBlogEntries)
post | new Day[](Month#1) num objects in {0, 12}
post | init'ed(new Day[](Month#1).length)
post | init'ed(new Day[](Month#1)[...])
post | new Month(init#2) num objects in {0, 12}
post | new Month(init#2).blog != null
post | new Month(init#2).dailyBlogs != null
post | init'ed(new Month(init#2).date)
post | init'ed(new Month(init#2).lastDayInMonth)
post | new Month(init#2).month == 13
post | new Month(init#2).year != null
post | new Month[](init#1) num objects <= 1
post | new Year(getBlogForYear#1) num objects == new Month[](init#1) num objects
post | new Year(getBlogForYear#1).months.length == 12
post | init'ed(new Year(getBlogForYear#1).months[...])
post | new Year(getBlogForYear#1).blog != null
post | init'ed(new Year(getBlogForYear#1).date)
post | new Year(getBlogForYear#1).months == &new Month[](init#1)
post | new Year(getBlogForYear#1).year == year.year - 1
post | new Year(getBlogForYear#1).year <= 232-2
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:add
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList

method | Year getBlogForNextYear(Year)
pre | this.years != null
pre | year != null
pre | year.year <= 232-2
post | return_value != null
post | init'ed(new ArrayList(Day#1) num objects)
post | init'ed(new ArrayList(Day#2) num objects)
post | init'ed(new ArrayList(Day#3) num objects)
post | init'ed(new Day(Month#2) num objects)
post | init'ed(new Day(Month#2).blog)
post | init'ed(new Day(Month#2).blogEntries)
post | init'ed(new Day(Month#2).date)
post | init'ed(new Day(Month#2).day)
post | init'ed(new Day(Month#2).month)
post | init'ed(new Day(Month#2).publishedBlogEntries)
post | init'ed(new Day(Month#2).unpublishedBlogEntries)
post | new Day[](Month#1) num objects in {0, 12}
post | init'ed(new Day[](Month#1).length)
post | init'ed(new Day[](Month#1)[...])
post | new Month(init#2) num objects in {0, 12}
post | new Month(init#2).blog != null
post | new Month(init#2).dailyBlogs != null
post | init'ed(new Month(init#2).date)
post | init'ed(new Month(init#2).lastDayInMonth)
post | new Month(init#2).month == 13
post | new Month(init#2).year != null
post | new Month[](init#1) num objects <= 1
post | new Year(getBlogForYear#1) num objects == new Month[](init#1) num objects
post | new Year(getBlogForYear#1).months.length == 12
post | init'ed(new Year(getBlogForYear#1).months[...])
post | new Year(getBlogForYear#1).blog != null
post | init'ed(new Year(getBlogForYear#1).date)
post | new Year(getBlogForYear#1).months == &new Month[](init#1)
post | new Year(getBlogForYear#1).year == year.year + 1
post | new Year(getBlogForYear#1).year >= -231+1
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:add
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList

method | List getBlogEntries()
pre | this.years != null
presumption | java.util.List:get(...)@923 != null
presumption | java.util.List:size(...)@922 >= -231+1
presumption | months[month].month@924 in 1..12
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
presumption | y.months.length@923 >= 1
presumption | y.months@923 != null
post | return_value == &new ArrayList(getBlogEntries#1 )
post | new ArrayList(getBlogEntries#1) num objects == 1
unanalyzed | call on java.util.List:iterator
unanalyzed | call on getConfiguredFactory
unanalyzed | call on getBlogEntryDAO
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on getCompositeKeyForBlogEntry
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on setPersistent
unanalyzed | call on setEventsEnabled
unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException
unanalyzed | call on net.sf.ehcache.Cache:get
unanalyzed | call on net.sf.ehcache.Element:getValue
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on loadBlogEntry
unanalyzed | call on net.sf.ehcache.Element
unanalyzed | call on net.sf.ehcache.Cache:put
unanalyzed | call on clone
unanalyzed | call on getBlogEntry
unanalyzed | call on java.util.List:add
unanalyzed | call on getBlogForMonth
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on getBlogEntries
unanalyzed | call on java.util.ArrayList
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.List:addAll

Prev Msg Next Msg

+ |
| high
| null dereference | check fails here: requires months[month] != null

Prev Msg Next Msg

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

method | List getUnpublishedBlogEntries()
pre | this.blogEntryIndex != null
pre | init'ed(this.blogEntryIndex.unpublishedIndexEntries )
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
post | return_value == &new ArrayList(getUnpublishedBl ogEntries#1)
post | new ArrayList(getUnpublishedBlogEntries#1) num objects == 1
unanalyzed | call on java.util.ArrayList
test_vector | java.util.Iterator:hasNext(...)@947: {1}, {0}

| info | call too complex - analysis skipped | -- call on BlogEntry getBlogEntry(Blog, String)

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

method | int getNumberOfBlogEntries()
pre | this.blogEntryIndex != null
pre | this.blogEntryIndex.indexEntries != null
post | init'ed(return_value)
unanalyzed | call on java.util.List:size

method | int getNumberOfPublishedBlogEntries()
pre | this.blogEntryIndex != null
pre | this.blogEntryIndex.publishedIndexEntries != null
post | init'ed(return_value)
unanalyzed | call on java.util.List:size

method | int getNumberOfUnpublishedBlogEntries()
pre | this.blogEntryIndex != null
pre | this.blogEntryIndex.unpublishedIndexEntries != null
post | init'ed(return_value)
unanalyzed | call on java.util.List:size

method | int getNumberOfStaticPages()
pre | this.staticPageIndex != null
pre | this.staticPageIndex.index != null
post | init'ed(return_value)
unanalyzed | call on java.util.Map:size

method | List getRecentBlogEntries(int)
pre | this.blogEntryIndex != null
pre | init'ed(this.blogEntryIndex.indexEntries)
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
post | return_value == &new ArrayList(getRecentBlogEnt ries#2)
post | new ArrayList(getRecentBlogEntries#2) num objects == 1
unanalyzed | call on java.util.ArrayList
test_vector | java.util.Iterator:hasNext(...)@1005: {1}, {0}

| info | call too complex - analysis skipped | -- call on BlogEntry getBlogEntry(Blog, String)

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

method | List getRecentPublishedBlogEntries()
pre | this.blogEntryIndex != null
pre | init'ed(this.blogEntryIndex.publishedIndexEntries)
pre | this.properties != null
post | return_value == &new ArrayList(getRecentPublish edBlogEntries#2*)
post | new ArrayList(getRecentPublishedBlogEntries#2*) num objects == 1
unanalyzed | call on java.util.List:size
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:iterator
unanalyzed | call on getConfiguredFactory
unanalyzed | call on getBlogEntryDAO
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on getCompositeKeyForBlogEntry
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on setPersistent
unanalyzed | call on setEventsEnabled
unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException
unanalyzed | call on net.sf.ehcache.Cache:get
unanalyzed | call on net.sf.ehcache.Element:getValue
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on loadBlogEntry
unanalyzed | call on net.sf.ehcache.Element
unanalyzed | call on net.sf.ehcache.Cache:put
unanalyzed | call on clone
unanalyzed | call on getBlogEntry
unanalyzed | call on java.util.List:add
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.Integer:parseInt

method | List getRecentPublishedBlogEntries(int)
pre | this.blogEntryIndex != null
pre | init'ed(this.blogEntryIndex.publishedIndexEntries)
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
post | return_value == &new ArrayList(getRecentPublish edBlogEntries#2)
post | new ArrayList(getRecentPublishedBlogEntries#2) num objects == 1
unanalyzed | call on java.util.ArrayList
test_vector | getBlogEntry(...)@1048: Addr_Set{null}, Inverse{null}
test_vector | java.util.Iterator:hasNext(...)@1042: {1}, {0}

| info | call too complex - analysis skipped | -- call on BlogEntry getBlogEntry(Blog, String)

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

method | List getBlogEntries(List)
pre | blogEntryIds != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
post | return_value == &new LinkedList(getBlogEntries# 2)
post | new LinkedList(getBlogEntries#2) num objects == 1
test_vector | getBlogEntry(...)@1071: Addr_Set{null}, Inverse{null}
test_vector | java.util.Iterator:hasNext(...)@1069: {1}, {0}

| info | call too complex - analysis skipped | -- call on BlogEntry getBlogEntry(Blog, String)

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

method | List getRecentPublishedBlogEntries(Category)
pre | category != null
pre | init'ed(category.blogEntries)
pre | this.categoryIndex != null
pre | (soft) this.properties != null
presumption | blogEntry.state@1096 != null
presumption | net.sourceforge.pebble.domain.State__static_init. new State(State__static_init#5).name@1096 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
presumption | this.properties@1096 != null
post | return_value == &new ArrayList(getRecentPublish edBlogEntries#2)
post | new ArrayList(getRecentPublishedBlogEntries#2) num objects == 1
unanalyzed | call on getBlogEntries
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.Integer:parseInt
test_vector | getBlogEntry(...)@1096: Addr_Set{null}, Inverse{null}
test_vector | java.util.Iterator:hasNext(...)@1094: {1}, {0}

| info | call too complex - analysis skipped | -- call on BlogEntry getBlogEntry(Blog, String)

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

method | List getRecentPublishedBlogEntries(String)
pre | this.authorIndex != null
pre | this.authorIndex.authors != null
pre | (soft) this.properties != null
presumption | blogEntry.state@1125 != null
presumption | net.sourceforge.pebble.domain.State__static_init. new State(State__static_init#5).name@1125 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
presumption | this.properties@1125 != null
post | return_value == &new ArrayList(getRecentPublish edBlogEntries#2)
post | new ArrayList(getRecentPublishedBlogEntries#2) num objects == 1
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.Integer:parseInt
unanalyzed | call on java.util.Map:get
unanalyzed | call on java.util.LinkedList
test_vector | getBlogEntry(...)@1125: Addr_Set{null}, Inverse{null}
test_vector | java.util.Iterator:hasNext(...)@1123: {1}, {0}

| info | call too complex - analysis skipped | -- call on BlogEntry getBlogEntry(Blog, String)

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

method | List getRecentPublishedBlogEntries(Tag)
pre | tag != null
pre | init'ed(tag.name)
pre | this.tagIndex != null
pre | this.tagIndex.tags != null
pre | (soft) this.properties != null
pre | (soft) init'ed(this.tagIndex.blog)
presumption | blogEntry.state@1154 != null
presumption | net.sourceforge.pebble.domain.State__static_init. new State(State__static_init#5).name@1154 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
presumption | this.properties@1154 != null
post | return_value == &new ArrayList(getRecentPublish edBlogEntries#2)
post | new ArrayList(getRecentPublishedBlogEntries#2) num objects == 1
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:toLowerCase
unanalyzed | call on java.lang.String:replaceAll
unanalyzed | call on encode
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.Integer:parseInt
unanalyzed | call on java.util.Map:get
unanalyzed | call on net.sourceforge.pebble.index.IndexedTag
unanalyzed | call on java.util.Map:put
unanalyzed | call on getName
unanalyzed | call on getBlogEntries
test_vector | getBlogEntry(...)@1154: Addr_Set{null}, Inverse{null}
test_vector | java.util.Iterator:hasNext(...)@1152: {1}, {0}

| info | call too complex - analysis skipped | -- call on BlogEntry getBlogEntry(Blog, String)

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

method | List getRecentApprovedResponses()
pre | this.responseIndex != null
pre | init'ed(this.responseIndex.approvedResponses)
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
pre | (soft) this.properties != null
presumption | getBlogEntry(...).state@1181 != null
presumption | java.util.Iterator:next(...)@1179 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
presumption | response.blogEntry@1181 != null
post | return_value == &new ArrayList(getRecentApprove dResponses#2)
post | new ArrayList(getRecentApprovedResponses#2) num objects == 1
unanalyzed | call on getConfiguredFactory
unanalyzed | call on getBlogEntryDAO
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on getCompositeKeyForBlogEntry
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on setPersistent
unanalyzed | call on setEventsEnabled
unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException
unanalyzed | call on net.sf.ehcache.Cache:get
unanalyzed | call on net.sf.ehcache.Element:getValue
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on loadBlogEntry
unanalyzed | call on net.sf.ehcache.Element
unanalyzed | call on net.sf.ehcache.Cache:put
unanalyzed | call on clone
unanalyzed | call on getBlogEntry
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.Integer:parseInt
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:lastIndexOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on getResponse
unanalyzed | call on getComments
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on getTrackBack
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on java.lang.String:startsWith
test_vector | java.util.Iterator:hasNext(...)@1179: {1}, {0}

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

method | List getApprovedResponses()
pre | this.responseIndex != null
pre | init'ed(this.responseIndex.approvedResponses)
post | return_value == &new ArrayList(getApprovedRespo nses#1*)
post | new ArrayList(getApprovedResponses#1*) num objects == 1
unanalyzed | call on java.util.ArrayList

method | List getPendingResponses()
pre | this.responseIndex != null
pre | init'ed(this.responseIndex.pendingResponses)
post | return_value == &new ArrayList(getPendingRespon ses#1*)
post | new ArrayList(getPendingResponses#1*) num objects == 1
unanalyzed | call on java.util.ArrayList

method | List getRejectedResponses()
pre | this.responseIndex != null
pre | init'ed(this.responseIndex.rejectedResponses)
post | return_value == &new ArrayList(getRejectedRespo nses#1*)
post | new ArrayList(getRejectedResponses#1*) num objects == 1
unanalyzed | call on java.util.ArrayList

method | int getNumberOfResponses()
pre | this.responseIndex != null
pre | this.responseIndex.approvedResponses != null
pre | this.responseIndex.pendingResponses != null
pre | this.responseIndex.rejectedResponses != null
presumption | java.util.List:size(...)@202 + java.util. List:size(...)@193 + java.util.List:size(...)@211 in -231..232-1
post | init'ed(return_value)
unanalyzed | call on java.util.List:size

method | int getNumberOfApprovedResponses()
pre | this.responseIndex != null
pre | this.responseIndex.approvedResponses != null
post | init'ed(return_value)
unanalyzed | call on java.util.List:size

method | int getNumberOfPendingResponses()
pre | this.responseIndex != null
pre | this.responseIndex.pendingResponses != null
post | init'ed(return_value)
unanalyzed | call on java.util.List:size

method | int getNumberOfRejectedResponses()
pre | this.responseIndex != null
pre | this.responseIndex.rejectedResponses != null
post | init'ed(return_value)
unanalyzed | call on java.util.List:size

method | Date getLastModified()
pre | this.blogEntryIndex != null
pre | init'ed(this.blogEntryIndex.publishedIndexEntries)
presumption | java.util.List:get(...)@1270 != null
post | init'ed(return_value)
post | new Date(getLastModified#1) num objects == 1
unanalyzed | call on java.util.List:size
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:iterator
unanalyzed | call on getConfiguredFactory
unanalyzed | call on getBlogEntryDAO
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on getCompositeKeyForBlogEntry
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on setPersistent
unanalyzed | call on setEventsEnabled
unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException
unanalyzed | call on net.sf.ehcache.Cache:get
unanalyzed | call on net.sf.ehcache.Element:getValue
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on loadBlogEntry
unanalyzed | call on net.sf.ehcache.Element
unanalyzed | call on net.sf.ehcache.Cache:put
unanalyzed | call on clone
unanalyzed | call on getBlogEntry
unanalyzed | call on java.util.List:add
unanalyzed | call on org.apache.commons.logging.Log:error
test_vector | java.util.List:size(...)@1269: {-231..0, 2..232-1}, {1}

method | Date getDateOfLastResponse()
pre | this.responseIndex != null
pre | init'ed(this.responseIndex.approvedResponses)
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
pre | (soft) this.properties != null
presumption | java.util.List:get(...)@1284 != null
post | init'ed(return_value)
post | new Date(getDateOfLastResponse#1) num objects <= 1
unanalyzed | call on java.util.List:size
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:iterator
unanalyzed | call on getConfiguredFactory
unanalyzed | call on getBlogEntryDAO
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on getCompositeKeyForBlogEntry
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on setPersistent
unanalyzed | call on setEventsEnabled
unanalyzed | call on net.sourceforge.pebble.domain. BlogServiceException
unanalyzed | call on net.sf.ehcache.Cache:get
unanalyzed | call on net.sf.ehcache.Element:getValue
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on loadBlogEntry
unanalyzed | call on net.sf.ehcache.Element
unanalyzed | call on net.sf.ehcache.Cache:put
unanalyzed | call on clone
unanalyzed | call on getBlogEntry
unanalyzed | call on java.util.List:add
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.Integer:parseInt
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:lastIndexOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on getResponse
unanalyzed | call on getComments
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on getTrackBack
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on java.lang.String:startsWith
test_vector | java.util.List:size(...)@1283: {-231..0}, {1..232-1}

Prev Msg Next Msg

+ |
| warning
| test always goes same way | test predetermined because responses != null

Prev Msg Next Msg

method | BlogEntry getPreviousBlogEntry(BlogEntry)
pre | blogEntry != null
pre | init'ed(blogEntry.date)
pre | init'ed(blogEntry.id)
pre | init'ed(this.blogEntryIndex)
pre | (soft) init'ed(this.blogEntryIndex.indexEntries)
pre | (soft) this.properties != null
pre | (soft) this.years != null
presumption | day.day <= day.month.dailyBlogs.length@1294 + 1
presumption | day.month.dailyBlogs.length@1294 >= 1
presumption | day.month.dailyBlogs@1294 != null
presumption | day.month.month@1294 <= 13
presumption | day.month.month@1294 <= day.month.year.months. length@1294 + 1
presumption | day.month.year.blog.years@1294 != null
presumption | day.month.year.blog@1294 != null
presumption | day.month.year.months.length@1294 in range
presumption | day.month.year.months@1294 != null
presumption | day.month.year.year@1294 >= -231+1
presumption | day.month.year@1294 != null
presumption | day.month@1294 != null
presumption | day.publishedBlogEntries@1292 != null
presumption | day.publishedBlogEntries@1296 != null
presumption | getBlogForFirstMonth(...).dailyBlogs.length@1291 >= 1
presumption | getBlogForFirstMonth(...).dailyBlogs@1291 != null
presumption | getBlogForFirstMonth(...).lastDayInMonth@1291 >= 1
post | init'ed(return_value)
unanalyzed | call on java.util.List:size
unanalyzed | call on java.util.List:get
unanalyzed | call on java.util.Date
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on getBlogForMonth
unanalyzed | call on java.util.List:isEmpty
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on getBlogForDay
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on java.util.List:indexOf
unanalyzed | call on getBlogForPreviousDay
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on getMonth
unanalyzed | call on getBlogForPreviousYear
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires getBlogForFirstMonth(... ) != null
+ |
| low
| precondition failure | net/sourceforge/pebble/domain/Month. getBlogForFirstDay: this.dailyBlogs.length >= 1
+ |
| low
| precondition failure | net/sourceforge/pebble/domain/Month. getBlogForFirstDay: this.lastDayInMonth >= 1

Prev Msg Next Msg

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires day != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.getPreviousBlogEn try: this.publishedBlogEntries != null

Prev Msg Next Msg

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires day != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.getLastBlogEntry: this.publishedBlogEntries != null

Prev Msg Next Msg

| info | call too complex - analysis skipped | -- call on BlogEntry getBlogEntry(Blog, String)

method | BlogEntry getNextBlogEntry(BlogEntry)
pre | blogEntry != null
pre | init'ed(blogEntry.date)
pre | init'ed(blogEntry.id)
pre | this.properties != null
pre | this.years != null
presumption | day.day < day.month.dailyBlogs.length@1317
presumption | day.day - day.month.lastDayInMonth@1317 in -232+1..6_442_450_943
presumption | day.month.dailyBlogs.length@1317 >= 1
presumption | day.month.dailyBlogs@1317 != null
presumption | day.month.month@1317 >= 0
presumption | day.month.month@1317 - day.month.year.months. length@1317 in {-Inf..-1, 12..232-1}
presumption | day.month.year.blog.years@1317 != null
presumption | day.month.year.blog@1317 != null
presumption | day.month.year.months@1317 != null
presumption | day.month.year.year@1317 <= 232-2
presumption | day.month.year@1317 != null
presumption | day.month@1317 != null
presumption | day.publishedBlogEntries@1315 != null
presumption | day.publishedBlogEntries@1319 != null
post | init'ed(return_value)
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on getBlogForMonth
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on getBlogForDay
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on getBlogForFirstDay
unanalyzed | call on java.util.List:get
unanalyzed | call on java.util.List:size
unanalyzed | call on java.util.List:isEmpty
unanalyzed | call on getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on java.util.List:lastIndexOf
unanalyzed | call on getBlogForNextDay
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on java.util.ArrayList
unanalyzed | call on getBlogForNextYear

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires day != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.getNextBlogEntry: this.publishedBlogEntries != null

Prev Msg Next Msg

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires day != null
+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/Day.getFirstBlogEntry : this.publishedBlogEntries != null

Prev Msg Next Msg

| info | call too complex - analysis skipped | -- call on BlogEntry getBlogEntry(Blog, String)

method | List getCategories()
pre | init'ed(this.rootCategory)
post | return_value == &new ArrayList(getCategories#1* )
post | init'ed(new ArrayList(Category#1) num objects)
post | init'ed(new ArrayList(Category#2) num objects)
post | init'ed(new ArrayList(Category#3) num objects)
post | new ArrayList(getCategories#1*) num objects == 1
post | init'ed(new Category(getCategory#2) num objects)
post | possibly_updated(new Category(getCategory#2).blog)
post | init'ed(new Category(getCategory#2).blogEntries)
post | possibly_updated(new Category(getCategory#2).id)
post | init'ed(new Category(getCategory#2).name)
post | possibly_updated(new Category(getCategory#2). parent)
post | init'ed(new Category(getCategory#2).subCategories)
post | init'ed(new Category(getCategory#2).tags)
post | init'ed(new Category(getCategory#2).tagsAsList)
post | init'ed(new Category(getCategory#3) num objects)
post | possibly_updated(new Category(getCategory#3).blog)
post | init'ed(new Category(getCategory#3).blogEntries)
post | possibly_updated(new Category(getCategory#3).id)
post | init'ed(new Category(getCategory#3).name)
post | possibly_updated(new Category(getCategory#3). parent)
post | init'ed(new Category(getCategory#3).subCategories)
post | init'ed(new Category(getCategory#3).tags)
post | init'ed(new Category(getCategory#3).tagsAsList)
unanalyzed | call on getSubCategories
unanalyzed | call on java.util.List:iterator
unanalyzed | call on getCategory
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on java.lang.String:equals
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage
unanalyzed | call on net.sourceforge.pebble.domain.Category
unanalyzed | call on addCategory
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring
unanalyzed | call on getId
unanalyzed | call on java.lang.String:lastIndexOf
unanalyzed | call on setBlog
unanalyzed | call on isRootCategory
unanalyzed | call on addSubCategory
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on getCategories
unanalyzed | call on java.util.List:addAll
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on java.util.Collections:unmodifiableList
unanalyzed | call on java.util.List:contains

method | Category getCategory(String)
pre | init'ed(this.rootCategory)
post | init'ed(return_value)
post | init'ed(new ArrayList(Category#1) num objects)
post | init'ed(new ArrayList(Category#2) num objects)
post | init'ed(new ArrayList(Category#3) num objects)
post | init'ed(new Category(getCategory#2*) num objects)
post | possibly_updated(new Category(getCategory#2*). blog)
post | init'ed(new Category(getCategory#2*).blogEntries)
post | possibly_updated(new Category(getCategory#2*).id)
post | init'ed(new Category(getCategory#2*).name)
post | possibly_updated(new Category(getCategory#2*). parent)
post | possibly_updated(new Category(getCategory#2*). subCategories)
post | init'ed(new Category(getCategory#2*).tags)
post | init'ed(new Category(getCategory#2*).tagsAsList)
post | init'ed(new Category(getCategory#3*) num objects)
post | possibly_updated(new Category(getCategory#3*). blog)
post | init'ed(new Category(getCategory#3*).blogEntries)
post | possibly_updated(new Category(getCategory#3*).id)
post | init'ed(new Category(getCategory#3*).name)
post | possibly_updated(new Category(getCategory#3*). parent)
post | possibly_updated(new Category(getCategory#3*). subCategories)
post | init'ed(new Category(getCategory#3*).tags)
post | init'ed(new Category(getCategory#3*).tagsAsList)
unanalyzed | call on getSubCategories
unanalyzed | call on java.util.List:iterator
unanalyzed | call on getCategory
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on java.lang.String:equals
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage
unanalyzed | call on net.sourceforge.pebble.domain.Category
unanalyzed | call on addCategory
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring
unanalyzed | call on getId
unanalyzed | call on java.lang.String:lastIndexOf
unanalyzed | call on setBlog
unanalyzed | call on isRootCategory
unanalyzed | call on addSubCategory
unanalyzed | call on java.util.Collections:unmodifiableList
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add

method | Category getRootCategory()
pre | init'ed(this.rootCategory)
post | return_value == this.rootCategory
post | init'ed(return_value)

method | void setRootCategory(Category)
post | this.rootCategory == category
post | init'ed(this.rootCategory)

method | void addCategory(Category)
pre | category != null
pre | init'ed(this.rootCategory)
pre | (soft) category.id != null
post | possibly_updated(category.blog)
post | possibly_updated(category.parent)
post | init'ed(new ArrayList(Category#1) num objects)
post | init'ed(new ArrayList(Category#2) num objects)
post | init'ed(new ArrayList(Category#3) num objects)
post | init'ed(new Category(getCategory#2*) num objects)
post | possibly_updated(new Category(getCategory#2*). blog)
post | init'ed(new Category(getCategory#2*).blogEntries)
post | possibly_updated(new Category(getCategory#2*).id)
post | init'ed(new Category(getCategory#2*).name)
post | possibly_updated(new Category(getCategory#2*). parent)
post | possibly_updated(new Category(getCategory#2*). subCategories)
post | init'ed(new Category(getCategory#2*).tags)
post | init'ed(new Category(getCategory#2*).tagsAsList)
post | init'ed(new Category(getCategory#3*) num objects)
post | possibly_updated(new Category(getCategory#3*). blog)
post | init'ed(new Category(getCategory#3*).blogEntries)
post | possibly_updated(new Category(getCategory#3*).id)
post | init'ed(new Category(getCategory#3*).name)
post | possibly_updated(new Category(getCategory#3*). parent)
post | possibly_updated(new Category(getCategory#3*). subCategories)
post | init'ed(new Category(getCategory#3*).tags)
post | init'ed(new Category(getCategory#3*).tagsAsList)
unanalyzed | call on getSubCategories
unanalyzed | call on java.util.List:iterator
unanalyzed | call on getCategory
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on java.lang.String:equals
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage
unanalyzed | call on net.sourceforge.pebble.domain.Category
unanalyzed | call on addCategory
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring
unanalyzed | call on getId
unanalyzed | call on java.lang.String:lastIndexOf
unanalyzed | call on setBlog
unanalyzed | call on isRootCategory
unanalyzed | call on addSubCategory
unanalyzed | call on java.util.Collections:unmodifiableList
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add

Prev Msg Next Msg

+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/CategoryBuilder. addCategory: category.id != null
+ |
| warning
| unused assignment in callee | unused assignment to (builder.rootCategory) in addCategory

Prev Msg Next Msg

method | void removeCategory(Category)
pre | category != null
pre | (soft) category.id != null
pre | (soft) init'ed(this.rootCategory)
post | possibly_updated(category.parent)
post | init'ed(new ArrayList(Category#1) num objects)
post | init'ed(new ArrayList(Category#2) num objects)
post | init'ed(new ArrayList(Category#3) num objects)
post | init'ed(new Category(getCategory#2) num objects)
post | possibly_updated(new Category(getCategory#2).blog)
post | init'ed(new Category(getCategory#2).blogEntries)
post | possibly_updated(new Category(getCategory#2).id)
post | init'ed(new Category(getCategory#2).name)
post | possibly_updated(new Category(getCategory#2). parent)
post | possibly_updated(new Category(getCategory#2). subCategories)
post | init'ed(new Category(getCategory#2).tags)
post | init'ed(new Category(getCategory#2).tagsAsList)
post | init'ed(new Category(getCategory#3) num objects)
post | possibly_updated(new Category(getCategory#3).blog)
post | init'ed(new Category(getCategory#3).blogEntries)
post | possibly_updated(new Category(getCategory#3).id)
post | init'ed(new Category(getCategory#3).name)
post | possibly_updated(new Category(getCategory#3). parent)
post | possibly_updated(new Category(getCategory#3). subCategories)
post | init'ed(new Category(getCategory#3).tags)
post | init'ed(new Category(getCategory#3).tagsAsList)
unanalyzed | call on getSubCategories
unanalyzed | call on java.util.List:iterator
unanalyzed | call on getCategory
unanalyzed | call on getParent
unanalyzed | call on removeSubCategory
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on java.lang.String:equals
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage
unanalyzed | call on net.sourceforge.pebble.domain.Category
unanalyzed | call on addCategory
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring
unanalyzed | call on getId
unanalyzed | call on java.lang.String:lastIndexOf
unanalyzed | call on setBlog
unanalyzed | call on isRootCategory
unanalyzed | call on addSubCategory
unanalyzed | call on java.util.Collections:unmodifiableList
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.List:remove
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add

Prev Msg Next Msg

+ |
| medium
| precondition failure | net/sourceforge/pebble/domain/CategoryBuilder. removeCategory: category.id != null

Prev Msg Next Msg

method | List getTags()
pre | this.tagIndex != null
pre | init'ed(this.tagIndex.orderedTags)
post | return_value == &new ArrayList(getTags#1*)
post | new ArrayList(getTags#1*) num objects == 1
unanalyzed | call on java.util.ArrayList

method | Tag getTag(String)
post | return_value == &new Tag(getTag#1)
post | new Tag(getTag#1) num objects == 1
post | return_value.blog == this
post | return_value.blog != null
post | return_value.name != null
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:toLowerCase
unanalyzed | call on java.lang.String:replaceAll

method | RefererFilterManager getRefererFilterManager()
pre | init'ed(this.refererFilterManager)
post | return_value == this.refererFilterManager
post | init'ed(return_value)

method | SearchIndex getSearchIndex()
pre | init'ed(this.searchIndex)
post | return_value == this.searchIndex
post | init'ed(return_value)

method | BlogEntryIndex getBlogEntryIndex()
pre | init'ed(this.blogEntryIndex)
post | return_value == this.blogEntryIndex
post | init'ed(return_value)

method | ResponseIndex getResponseIndex()
pre | init'ed(this.responseIndex)
post | return_value == this.responseIndex
post | init'ed(return_value)

method | TagIndex getTagIndex()
pre | init'ed(this.tagIndex)
post | return_value == this.tagIndex
post | init'ed(return_value)

method | CategoryIndex getCategoryIndex()
pre | init'ed(this.categoryIndex)
post | return_value == this.categoryIndex
post | init'ed(return_value)

method | AuthorIndex getAuthorIndex()
pre | init'ed(this.authorIndex)
post | return_value == this.authorIndex
post | init'ed(return_value)

method | StaticPageIndex getStaticPageIndex()
pre | init'ed(this.staticPageIndex)
post | return_value == this.staticPageIndex
post | init'ed(return_value)

method | void log(HttpServletRequest, int)
pre | request != null
pre | (soft) this.logger != null
presumption | javax.servlet.http.HttpServletRequest:getAttribute( ...)@1493 != null
test_vector | java.lang.String:matches(...)@1494: {1}, {0}

| info | method not available | -- call on void net.sourceforge.pebble.logging. AbstractLogger:log(HttpServletRequest, int)

method | Theme getEditableTheme()
pre | init'ed(this.editableTheme)
post | return_value == this.editableTheme
post | init'ed(return_value)

method | void setEditableTheme(Theme)
post | this.editableTheme == editableTheme
post | init'ed(this.editableTheme)

method | String getFilesDirectory()
pre | init'ed(this.root)
presumption | init'ed(java.io.File.separator)
post | return_value != null

method | String getThemeDirectory()
pre | init'ed(this.root)
presumption | init'ed(java.io.File.separator)
post | return_value != null

method | String getPluginPropertiesFile()
pre | init'ed(this.root)
presumption | init'ed(java.io.File.separator)
post | return_value != null

method | bool isPublic()
pre | this.properties != null
presumption | java.util.Properties:getProperty(...)@1554 != null
post | init'ed(return_value)

method | bool isPrivate()
pre | this.properties != null
presumption | java.util.Properties:getProperty(...)@1563 != null
post | init'ed(return_value)

method | void start()
pre | net/sourceforge/pebble/domain/Theme.log != null
pre | this.editableTheme != null
pre | this.editableTheme.blog != null
pre | init'ed(this.editableTheme.name)
pre | init'ed(this.editableTheme.pathToLiveThemes)
pre | this.eventDispatcher != null
pre | this.eventDispatcher.eventListenerList != null
pre | this.eventDispatcher.eventListenerList. blogListeners != null
pre | init'ed(this.id)
pre | this.logger != null
pre | init'ed(this.root)
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
post | possibly_updated(this.messages)
post | possibly_updated(this.staticPageIndex.index)
post | possibly_updated(this.staticPageIndex. lockAttempts)
post | new HashMap(reindex#1) num objects <= 1
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on org.apache.commons.logging.Log:error
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 net.sourceforge.pebble.util. FileUtils:deleteFile
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on java.io.File:renameTo
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
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.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 java.lang.String:indexOf
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.util.Map:put
unanalyzed | call on java.util.HashMap
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 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.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.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 net.sourceforge.pebble.domain. StaticPage:getId
unanalyzed | call on index
unanalyzed | call on java.util.EventObject
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 getPermalinkProvider
test_vector | java.io.File:exists(...)@1575: {1}, {0}
test_vector | java.io.File:exists(...)@1581: {1}, {0}
test_vector | java.io.File:exists(...)@1586: {1}, {0}
test_vector | java.io.File:exists(...)@1591: {1}, {0}

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

| info | method not available | -- call on void net.sourceforge.pebble.logging. AbstractLogger:start()

| info | method not available | -- call on void fireBlogEvent(BlogEvent)

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

method | void stop()
pre | net/sourceforge/pebble/domain/Theme.log != null
pre | this.editableTheme != null
pre | this.editableTheme.blog != null
pre | init'ed(this.editableTheme.name)
pre | init'ed(this.editableTheme.pathToLiveThemes)
pre | this.eventDispatcher != null
pre | this.eventDispatcher.eventListenerList != null
pre | this.eventDispatcher.eventListenerList. blogListeners != null
pre | init'ed(this.id)
pre | this.logger != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
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 org.apache.commons.logging.Log:debug
unanalyzed | call on java.io.File:renameTo
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
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 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 | method not available | -- call on void org.apache.commons.logging. Log:debug(Object)

| info | method not available | -- call on void net.sourceforge.pebble.logging. AbstractLogger:stop()

| info | method not available | -- call on void fireBlogEvent(BlogEvent)

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

method | AbstractLogger getLogger()
pre | init'ed(this.logger)
post | return_value == this.logger
post | init'ed(return_value)

method | List getContentDecorators()
pre | this.properties != null
post | return_value == &new ArrayList(getStringsFromPr operty#1)
post | new ArrayList(getStringsFromProperty#1) num objects == 1
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:startsWith

method | ContentDecoratorChain getContentDecoratorChain()
pre | init'ed(this.decoratorChain)
post | return_value == this.decoratorChain
post | init'ed(return_value)

method | List getBlogListeners()
pre | this.properties != null
post | return_value == &new ArrayList(getStringsFromPr operty#1)
post | new ArrayList(getStringsFromProperty#1) num objects == 1
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:startsWith

method | List getBlogEntryListeners()
pre | this.properties != null
post | return_value == &new ArrayList(getStringsFromPr operty#1)
post | new ArrayList(getStringsFromProperty#1) num objects == 1
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:startsWith

method | List getCommentListeners()
pre | this.properties != null
post | return_value == &new ArrayList(getStringsFromPr operty#1)
post | new ArrayList(getStringsFromProperty#1) num objects == 1
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:startsWith

method | List getTrackBackListeners()
pre | this.properties != null
post | return_value == &new ArrayList(getStringsFromPr operty#1)
post | new ArrayList(getStringsFromProperty#1) num objects == 1
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.List:add
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:startsWith

method | String getEventDispatcherName()
pre | this.properties != null
post | init'ed(return_value)
unanalyzed | call on java.util.Properties:getProperty

method | EventDispatcher getEventDispatcher()
pre | init'ed(this.eventDispatcher)
post | return_value == this.eventDispatcher
post | init'ed(return_value)

method | EventListenerList getEventListenerList()
pre | init'ed(this.eventListenerList)
post | return_value == this.eventListenerList
post | init'ed(return_value)

method | PluginProperties getPluginProperties()
pre | init'ed(this.pluginProperties)
post | return_value == this.pluginProperties
post | init'ed(return_value)

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

method | PermalinkProvider getPermalinkProvider()
pre | init'ed(this.permalinkProvider)
post | return_value == this.permalinkProvider
post | init'ed(return_value)

method | void setPermalinkProvider(PermalinkProvider)
pre | provider != null
post | this.permalinkProvider == provider
post | this.permalinkProvider != null

| info | method not available | -- call on void setBlog(Blog)

method | void reindex()
pre | init'ed(this.id)
presumption | net/sourceforge/pebble/dao/DAOFactory. configuredFactory.staticPageDAO@1740 != null
presumption | net/sourceforge/pebble/dao/DAOFactory. configuredFactory@1740 != null
presumption | net/sourceforge/pebble/domain/AbstractBlog. log@1740 != null
presumption | net/sourceforge/pebble/domain/BlogManager. instance@1740 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
presumption | this...properties@1740 != null
presumption | this.messages@1740 != null
presumption | this.searchIndex.blog@1740 != null
presumption | this.searchIndex@1740 != null
presumption | this.staticPageIndex.blog@1740 != null
presumption | this.staticPageIndex.lockAttempts@1740 <= 232-2
presumption | this.staticPageIndex@1740 != null
post | init'ed(this.messages)
post | possibly_updated(this.staticPageIndex.index)
post | possibly_updated(this.staticPageIndex. lockAttempts)
post | new HashMap(reindex#1) num objects <= 1
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.lang.String:valueOf
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 java.lang.String:indexOf
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.util.Map:put
unanalyzed | call on java.util.HashMap
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 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 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 org.apache.commons.logging.Log:info
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 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.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 net.sourceforge.pebble.domain. StaticPage:getId
unanalyzed | call on index
unanalyzed | call on getLocalPermalink
unanalyzed | call on getUrl
unanalyzed | call on getContent
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:truncate
unanalyzed | call on getPermalinkProvider

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

| info | call too complex - analysis skipped | -- call on void reindexBlogEntries()

method | void reindexBlogEntries()
pre | net/sourceforge/pebble/domain/AbstractBlog.log != null
pre | this.messages != null
pre | this.authorIndex != null
pre | this.blogEntryIndex != null
pre | this.categoryIndex != null
pre | this.categoryIndex.blog != null
pre | this.responseIndex != null
pre | this.searchIndex != null
pre | this.searchIndex.blog != null
pre | this.tagIndex != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#1).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#2).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#3).name != null
pre | (soft) net.sourceforge.pebble.domain.State__static_ init.new State(State__static_init#5).name != null
pre | (soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory != null
pre | (soft) net/sourceforge/pebble/dao/DAOFactory. configuredFactory.blogEntryDAO != null
pre | (soft) net/sourceforge/pebble/dao/file/FileBlogEntr yDAO.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.responseIndex.pendingResponses != null
pre | (soft) this.responseIndex.rejectedResponses != null
pre | (soft) this...properties != null
pre | (soft) init'ed(this...rootCategory)
pre | (soft) this...years != null
pre | (soft) this.authorIndex.blog != null
pre | (soft) this.blogEntryIndex.blog != null
pre | (soft) this.responseIndex.blog != null
pre | (soft) this.tagIndex.blog != null
presumption | java.lang.Object:getClass(...)@1763 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
post | this.authorIndex.authors == &new HashMap(clear#1)
post | this.blogEntryIndex.indexEntries == &new ArrayList(clear#1)
post | this.blogEntryIndex.publishedIndexEntries == &new ArrayList(clear#2)
post | this.blogEntryIndex.unpublishedIndexEntries == &new ArrayList(clear#3)
post | init'ed(this.messages)
post | this.responseIndex.approvedResponses == &new ArrayList(clear#1)
post | this.responseIndex.pendingResponses == &new ArrayList(clear#2)
post | this.responseIndex.rejectedResponses == &new ArrayList(clear#3)
post | this.tagIndex.orderedTags == One-of{old this.tagIndex.orderedTags, &new ArrayList(recalculateTagRankings#2)}
post | this.tagIndex.tags == &new HashMap(clear#1)
post | init'ed(new ArrayList(Category#1) num objects)
post | init'ed(new ArrayList(Category#2) num objects)
post | init'ed(new ArrayList(Category#3) num objects)
post | new ArrayList(clear#1) num objects == 1
post | new ArrayList(clear#2) num objects == 1
post | new ArrayList(clear#3) num objects == 1
post | new HashMap(clear#1) num objects == 1
post | new ArrayList(recalculateTagRankings#2) num objects <= 1
post | init'ed(new ArrayList(removeAllBlogEntries#1) num objects)
post | init'ed(new Category(getCategory#2) num objects)
post | possibly_updated(new Category(getCategory#2).blog)
post | init'ed(new Category(getCategory#2).blogEntries)
post | possibly_updated(new Category(getCategory#2).id)
post | init'ed(new Category(getCategory#2).name)
post | possibly_updated(new Category(getCategory#2). parent)
post | possibly_updated(new Category(getCategory#2). subCategories)
post | init'ed(new Category(getCategory#2).tags)
post | init'ed(new Category(getCategory#2).tagsAsList)
post | init'ed(new Category(getCategory#3) num objects)
post | possibly_updated(new Category(getCategory#3).blog)
post | init'ed(new Category(getCategory#3).blogEntries)
post | possibly_updated(new Category(getCategory#3).id)
post | init'ed(new Category(getCategory#3).name)
post | possibly_updated(new Category(getCategory#3). parent)
post | possibly_updated(new Category(getCategory#3). subCategories)
post | init'ed(new Category(getCategory#3).tags)
post | init'ed(new Category(getCategory#3).tagsAsList)
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:toLowerCase
unanalyzed | call on java.lang.String:replaceAll
unanalyzed | call on encode
unanalyzed | call on getSubCategories
unanalyzed | call on java.util.List:iterator
unanalyzed | call on getCategory
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on java.lang.String:equals
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale
unanalyzed | call on net.sourceforge.pebble.util. I18n:getMessage
unanalyzed | call on net.sourceforge.pebble.domain.Category
unanalyzed | call on addCategory
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring
unanalyzed | call on getId
unanalyzed | call on java.lang.String:lastIndexOf
unanalyzed | call on setBlog
unanalyzed | call on isRootCategory
unanalyzed | call on addSubCategory
unanalyzed | call on getBlog
unanalyzed | call on java.util.List:add
unanalyzed | call on net.sourceforge.pebble.api.event. PebbleEvent
unanalyzed | call on getBlogEntries
unanalyzed | call on isPublished
unanalyzed | call on getTimeZone
unanalyzed | call on getLocale
unanalyzed | call on java.util.Calendar:getInstance
unanalyzed | call on java.util.Locale
unanalyzed | call on java.util.TimeZone:getTimeZone
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on getBlogForMonth
unanalyzed | call on getBlogForDay
unanalyzed | call on java.util.Calendar:setTime
unanalyzed | call on java.lang.String:valueOf
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 org.apache.commons.logging.Log:error
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.util.ArrayList
unanalyzed | call on addPublishedBlogEntry
unanalyzed | call on addUnpublishedBlogEntry
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on java.util.Map:get
unanalyzed | call on net.sourceforge.pebble.index.IndexedTag
unanalyzed | call on java.util.Map:put
unanalyzed | call on java.util.HashMap
unanalyzed | call on java.util.Map:values
unanalyzed | call on java.util.Collection:iterator
unanalyzed | call on addBlogEntry
unanalyzed | call on java.util.Map:size
unanalyzed | call on getNumberOfBlogEntries
unanalyzed | call on java.lang.Math:round
unanalyzed | call on calculateRank
unanalyzed | call on java.util.LinkedList
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed | call on java.lang.IllegalArgumentException
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on setDate
unanalyzed | call on net.sourceforge.pebble.domain.Month
unanalyzed | call on net.sourceforge.pebble.domain.TimePeriod
unanalyzed | call on getCategories
unanalyzed | call on java.util.List:addAll
unanalyzed | call on getName
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:newLine
unanalyzed | call on java.io.BufferedWriter:flush
unanalyzed | call on java.io.BufferedWriter:close
unanalyzed | call on writeIndex
unanalyzed | call on removeAllBlogEntries
unanalyzed | call on java.util.Map:keySet
unanalyzed | call on java.util.Set:iterator
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 java.io.File:exists
unanalyzed | call on java.io.File:mkdirs
unanalyzed | call on org.apache.lucene.index.IndexWriter
unanalyzed | call on java.io.File:getAbsolutePath
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on java.beans.PropertyChangeSupport:fireProper tyChange
unanalyzed | call on java.util.Date:getTime
unanalyzed | call on java.util.HashSet
unanalyzed | call on setState
unanalyzed | call on java.beans.PropertyChangeSupport
unanalyzed | call on java.beans.PropertyChangeSupport:addPropert yChangeListener
unanalyzed | call on org.xml.sax.helpers.DefaultHandler
unanalyzed | call on java.text.SimpleDateFormat
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZone
unanalyzed | call on java.text.SimpleDateFormat:setTimeZone
unanalyzed | call on javax.xml.parsers.SAXParserFactory:newInsta nce
unanalyzed | call on javax.xml.parsers.SAXParserFactory:setValid ating
unanalyzed | call on javax.xml.parsers.SAXParserFactory:setNames paceAware
unanalyzed | call on javax.xml.parsers.SAXParserFactory:newSAXPa rser
unanalyzed | call on javax.xml.parsers.SAXParser:parse
unanalyzed | call on java.lang.Exception:printStackTrace
unanalyzed | call on java.lang.Exception
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot
unanalyzed | call on java.io.File:listFiles
unanalyzed | call on getDate
unanalyzed | call on isApproved
unanalyzed | call on getGuid
unanalyzed | call on isPending
unanalyzed | call on isRejected
unanalyzed | call on getResponses
unanalyzed | call on getAllTags
unanalyzed | call on getAuthor
unanalyzed | call on getTitle
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 getComments
unanalyzed | call on getTrackBacks
unanalyzed | call on getExcerpt
unanalyzed | call on org.apache.lucene.index.IndexWriter:addDocu ment
unanalyzed | call on org.apache.commons.logging.Log:info
unanalyzed | call on java.util.Collections:unmodifiableList
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.EventObject
unanalyzed | call on java.util.List:remove
unanalyzed | call on getMonth
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on getYear
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlog
unanalyzed | call on getState
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed | call on java.util.Set:size
unanalyzed | call on java.util.Collections:reverse
unanalyzed | call on getRootCategory
unanalyzed | call on getLocalPermalink
unanalyzed | call on getUrl
unanalyzed | call on getContent
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:truncate
unanalyzed | call on getPermalinkProvider

| info | method not available | -- call on BlogEntryDAO getBlogEntryDAO()
| info | method not available | -- call on Collection loadBlogEntries(Blog)

| info | method not available | -- call on String net.sourceforge.pebble.util. StringUtils:transformHTML(String)

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

method | void reindexStaticPages()
pre | net/sourceforge/pebble/domain/AbstractBlog.log != null
pre | this.messages != null
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/BlogManager. instance != null
pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
pre | (soft) this.staticPageIndex.lockAttempts <= 232-2
pre | (soft) this...properties != null
pre | (soft) this.searchIndex != null
pre | (soft) this.searchIndex.blog != null
pre | (soft) this.staticPageIndex != null
pre | (soft) this.staticPageIndex.blog != null
presumption | java.lang.Object:getClass(...)@1776 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@105 != null
post | init'ed(this.messages)
post | this.staticPageIndex.index == One-of{old this.staticPageIndex.index, &new HashMap(reindex#1)}
post | this.staticPageIndex.lockAttempts == One-of{old this.staticPageIndex.lockAttempts, old this.staticPageIndex.lockAttempts + 1, 0}
post | init'ed(this.staticPageIndex.lockAttempts)
post | new HashMap(reindex#1) num objects <= 1
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on getBlog
unanalyzed | call on getId
unanalyzed | call on java.lang.String:valueOf
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 org.apache.commons.logging.Log:error
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getIndexesDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.util.Map:put
unanalyzed | call on java.util.HashMap
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 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 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 org.apache.commons.logging.Log:info
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 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.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 net.sourceforge.pebble.domain. StaticPage:getId
unanalyzed | call on index
unanalyzed | call on getLocalPermalink
unanalyzed | call on getUrl
unanalyzed | call on getContent
unanalyzed | call on net.sourceforge.pebble.util. StringUtils:truncate
unanalyzed | call on getPermalinkProvider

| info | method not available | -- call on StaticPageDAO getStaticPageDAO()
| info | method not available | -- call on Collection loadStaticPages(Blog)

| info | method not available | -- call on String net.sourceforge.pebble.util. StringUtils:transformHTML(String)

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

method | bool equals(Object)
pre | (soft) init'ed(o.id)
pre | (soft) this.id != null
post | init'ed(return_value)
test_vector | this == o: {0}, {1}

method | String getCommentConfirmationStrategyName()
pre | this.properties != null
post | init'ed(return_value)
unanalyzed | call on java.util.Properties:getProperty

method | CommentConfirmationStrategy getCommentConfirmation Strategy()
pre | init'ed(this.commentConfirmationStrategy)
post | return_value == this.commentConfirmationStrategy
post | init'ed(return_value)

method | String getTrackBackConfirmationStrategyName()
pre | this.properties != null
post | init'ed(return_value)
unanalyzed | call on java.util.Properties:getProperty

method | TrackBackConfirmationStrategy getTrackBackConfirma tionStrategy()
pre | init'ed(this.trackBackConfirmationStrategy)
post | return_value == this.trackBackConfirmationStrategy
post | init'ed(return_value)

method | bool isRichTextEditorForCommentsEnabled()
pre | this.properties != null
post | init'ed(return_value)
unanalyzed | call on java.util.Properties:getProperty
test_vector | java.lang.String:equalsIgnoreCase(...)@1822: {0}, {1}
test_vector | java.util.Properties:getProperty(...)@175: Addr_Set{null}, Inverse{null}

method | EmailSubscriptionList getEmailSubscriptionList()
pre | init'ed(this.emailSubscriptionList)
post | return_value == this.emailSubscriptionList
post | init'ed(return_value)

method | List getNewsFeedEntries()
pre | init'ed(this.id)
post | return_value != null
post | new LinkedList(getNewsFeedEntries#1*) num objects <= 1
unanalyzed | call on java.util.Map:get
unanalyzed | call on java.util.LinkedList

method | List getRecentNewsFeedEntries()
pre | init'ed(this.id)
pre | this.properties != null
post | init'ed(return_value)
post | new LinkedList(getNewsFeedEntries#1*) num objects <= 1
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.Integer:parseInt
unanalyzed | call on getInstance
unanalyzed | call on getNewsFeedEntries
unanalyzed | call on java.util.Map:get
unanalyzed | call on java.util.LinkedList

method | List getStringsFromProperty(String)
pre | this.properties != null
presumption | values.length@1845 <= 232-1
presumption | values[i]@1845 != null
post | return_value == &new ArrayList(getStringsFromPr operty#1)
post | new ArrayList(getStringsFromProperty#1) num objects == 1
unanalyzed | call on java.util.Properties:getProperty
test_vector | java.lang.String:length(...)@1844: {0}, {1..232-1}
test_vector | java.lang.String:startsWith(...)@1847: {1}, {0}
test_vector | java.util.Properties:getProperty(...)@175: Addr_Set{null}, Inverse{null}