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

+

click for all messages in this file 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

+

click for all messages in this file 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

+

click for all messages in this file 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

+

click for all messages in this file warning

unused assignment unused assignment into text

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file 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

+

click for all messages in this file 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

+

click for all messages in this file 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

+

click for all messages in this file 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 <= 2³²-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.. 2³²-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

+

click for all messages in this file medium

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

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file 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 >= -2³¹+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

+

click for all messages in this file warning

test always goes same way test predetermined because blogEntryIds != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file 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

+

click for all messages in this file medium

null dereference check might fail: requires getBlogForMonth(...) != null

+

low

precondition failure net/sourceforge/pebble/domain/Month.getBlogForDay: this.dailyBlogs.length >= 1

+

click for all messages in this file 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

+

click for all messages in this file low

precondition failure net/sourceforge/pebble/domain/Month.getBlogForDay: this.lastDayInMonth - day in 0..2³²-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 >= -2³¹+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 <= 2³²-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 <= 2³²-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 >= -2³¹+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 >= -2³¹+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

+

click for all messages in this file 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 -2³¹..2³²-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: {-2³¹..0, 2..2³²-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: {-2³¹..0}, {1..2³²-1}

Prev Msg Next Msg

+

click for all messages in this file 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 >= -2³¹+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

+

click for all messages in this file medium

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

+

low

precondition failure net/sourceforge/pebble/domain/Month. getBlogForFirstDay: this.dailyBlogs.length >= 1

+

click for all messages in this file low

precondition failure net/sourceforge/pebble/domain/Month. getBlogForFirstDay: this.lastDayInMonth >= 1

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file 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

+

click for all messages in this file 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 -2³²+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..2³²-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 <= 2³²-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

+

click for all messages in this file 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

+

click for all messages in this file 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

+

click for all messages in this file 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

+

click for all messages in this file 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 <= 2³²-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 <= 2³²-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 <= 2³²-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..2³²-1}
test_vector	java.lang.String:startsWith(...)@1847: {1}, {0}
test_vector	java.util.Properties:getProperty(...)@175: Addr_Set{null}, Inverse{null}

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

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

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