Messages

method	void org.apache.roller.weblogger.ui.rendering. model.SiteModel()
post	this.feedRequest == null
post	this.pageLink == null
post	this.urlStrategy == null
post	this.weblog == null
post	this.weblogRequest == null
post	this.pageNum == 0
post	this.tags == &new ArrayList(SiteModel#1)
post	new ArrayList(SiteModel#1) num objects == 1

method	org.apache.roller.weblogger.ui.rendering.model. SiteModel__static_init
post	init'ed(log)

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

method	String getModelName()
post	return_value == &"site"

method	void init(Map)
pre	initData != null
presumption	java.util.Map:get(...)@81 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@100 != null
post	possibly_updated(this.feedRequest)
post	possibly_updated(this.pageLink)
post	possibly_updated(this.pageNum)
post	possibly_updated(this.tags)
post	init'ed(this.urlStrategy)
post	init'ed(this.weblog)
post	(soft) this.weblogRequest != null
test_vector	java.util.Map:get(...)@98: Inverse{null}, Addr_Set{null}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:instanceof(...)@91: {0}, {1}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:instanceof(...)@86: {0}, {1}

info method not available -- call on ThemeTemplate org.apache.roller. weblogger.ui.rendering.util.WeblogPageRequest:getWe blogPage()

info method not available -- call on String org.apache.roller.weblogger. pojos.ThemeTemplate:getLink()

info method not available -- call on int org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getPageNum()

info method not available -- call on List org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getTags()

info method not available -- call on List org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getTags()

info method not available -- call on int org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getPage()

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()

info method not available -- call on Weblog org.apache.roller.weblogger.ui. rendering.util.WeblogRequest:getWeblog()

method	Pager getWeblogEntriesPager(int, int)
pre	init'ed(this.feedRequest)
pre	init'ed(this.pageNum)
pre	init'ed(this.tags)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
pre	this.weblogRequest != null
pre	(soft) length <= 2³²-2
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/WeblogEntriesListPager.log != null
pre	(soft) sinceDays <= 2³¹
pre	(soft) init'ed(this.pageLink)
post	return_value == &new WeblogEntriesListPager(get WeblogEntriesPager#1)
post	new ArrayList(getItems#1) num objects == 1
post	new WeblogEntriesListPager(getWeblogEntriesPager#1) num objects == 1
post	return_value.entries == &new ArrayList(getItems #1)
post	init'ed(return_value.lastUpdated)
post	return_value.length == length
post	(soft) return_value.length <= 2³²-2
post	init'ed(return_value.locale)
post	init'ed(return_value.more)
post	return_value.page == One-of{0, this.pageNum}
post	return_value.page >= 0
post	return_value.queryCat == null
post	return_value.queryUser == null
post	return_value.queryWeblog == null
post	return_value.queryTags == this.tags
post	init'ed(return_value.queryTags)
post	return_value.sinceDays == sinceDays
post	(soft) return_value.sinceDays <= 2³¹
post	init'ed(return_value.url)
post	return_value.urlStrategy == this.urlStrategy
post	return_value.urlStrategy != null
post	length*return_value.page in -2³¹.. 2³²-1
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:add
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
test_vector	this.feedRequest: Addr_Set{null}, Inverse{null}

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogRequest:getLocale()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getType()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getFormat()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getWeblogCategoryN ame()

info method not available -- call on List org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getTags()

info method not available -- call on bool org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:isExcerpts()

info method not available -- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogFeedURL(Weblog, String, String, String, String, String, List, bool, bool)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogRequest:getLocale()

method	Pager getWeblogEntriesPager(WeblogWrapper, int, int)
pre	queryWeblog != null
pre	init'ed(this.feedRequest)
pre	init'ed(this.pageNum)
pre	init'ed(this.tags)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
pre	this.weblogRequest != null
pre	(soft) length <= 2³²-2
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/WeblogEntriesListPager.log != null
pre	(soft) sinceDays <= 2³¹
pre	(soft) init'ed(this.pageLink)
post	return_value == &new WeblogEntriesListPager(get WeblogEntriesPager#1*)
post	new ArrayList(getItems#1) num objects == 1
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ) num objects == 1
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).entries == &new ArrayList(getItems#1)
post	init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).lastUpdated)
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).length == length
post	(soft) new WeblogEntriesListPager(getWeblogEntriesP ager#1*).length <= 2³²-2
post	init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).locale)
post	init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).more)
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).page == One-of{0, this.pageNum}
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).page >= 0
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryCat == null
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryUser == null
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryTags == this.tags
post	init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).queryTags)
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryWeblog == queryWeblog.pojo
post	init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).queryWeblog)
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).sinceDays == sinceDays
post	(soft) new WeblogEntriesListPager(getWeblogEntriesP ager#1*).sinceDays <= 2³¹
post	init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).url)
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).urlStrategy == this.urlStrategy
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).urlStrategy != null
post	lengthnew WeblogEntriesListPager(getWeblogEntriesP ager#1).page in -2³¹..2³²-1
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTags
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogRequest:getLocale
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getType
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getFormat
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblogCategoryName
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:isExcerpts
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogFeedURL
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:add
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error

method	Pager getWeblogEntriesPager(WeblogWrapper, User, int, int)
pre	queryWeblog != null
pre	init'ed(this.feedRequest)
pre	init'ed(this.pageNum)
pre	init'ed(this.tags)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
pre	this.weblogRequest != null
pre	(soft) length <= 2³²-2
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/WeblogEntriesListPager.log != null
pre	(soft) sinceDays <= 2³¹
pre	(soft) init'ed(this.pageLink)
post	return_value == &new WeblogEntriesListPager(get WeblogEntriesPager#1*)
post	new ArrayList(getItems#1) num objects == 1
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ) num objects == 1
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).entries == &new ArrayList(getItems#1)
post	init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).lastUpdated)
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).length == length
post	(soft) new WeblogEntriesListPager(getWeblogEntriesP ager#1*).length <= 2³²-2
post	init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).locale)
post	init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).more)
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).page == One-of{0, this.pageNum}
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).page >= 0
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryCat == null
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryTags == this.tags
post	init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).queryTags)
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryUser == user
post	init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).queryUser)
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).queryWeblog == queryWeblog.pojo
post	init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).queryWeblog)
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).sinceDays == sinceDays
post	(soft) new WeblogEntriesListPager(getWeblogEntriesP ager#1*).sinceDays <= 2³¹
post	init'ed(new WeblogEntriesListPager(getWeblogEntries Pager#1*).url)
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).urlStrategy == this.urlStrategy
post	new WeblogEntriesListPager(getWeblogEntriesPager#1* ).urlStrategy != null
post	lengthnew WeblogEntriesListPager(getWeblogEntriesP ager#1).page in -2³¹..2³²-1
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTags
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogRequest:getLocale
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getType
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getFormat
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblogCategoryName
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:isExcerpts
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogFeedURL
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:add
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error

method	Pager getWeblogEntriesPager(WeblogWrapper, User, String, int, int)
pre	queryWeblog != null
pre	init'ed(this.feedRequest)
pre	init'ed(this.pageNum)
pre	init'ed(this.tags)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
pre	this.weblogRequest != null
pre	(soft) length <= 2³²-2
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/WeblogEntriesListPager.log != null
pre	(soft) sinceDays <= 2³¹
pre	(soft) init'ed(this.pageLink)
post	return_value == &new WeblogEntriesListPager(get WeblogEntriesPager#1)
post	new ArrayList(getItems#1) num objects == 1
post	new WeblogEntriesListPager(getWeblogEntriesPager#1) num objects == 1
post	return_value.entries == &new ArrayList(getItems #1)
post	init'ed(return_value.lastUpdated)
post	return_value.length == length
post	(soft) return_value.length <= 2³²-2
post	init'ed(return_value.locale)
post	init'ed(return_value.more)
post	return_value.page == One-of{0, this.pageNum}
post	return_value.page >= 0
post	return_value.queryCat == cat
post	init'ed(return_value.queryCat)
post	return_value.queryTags == this.tags
post	init'ed(return_value.queryTags)
post	return_value.queryUser == user
post	init'ed(return_value.queryUser)
post	return_value.queryWeblog == queryWeblog.pojo
post	init'ed(return_value.queryWeblog)
post	return_value.sinceDays == sinceDays
post	(soft) return_value.sinceDays <= 2³¹
post	init'ed(return_value.url)
post	return_value.urlStrategy == this.urlStrategy
post	return_value.urlStrategy != null
post	length*return_value.page in -2³¹.. 2³²-1
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:add
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
test_vector	this.feedRequest: Addr_Set{null}, Inverse{null}

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogRequest:getLocale()

method	Pager getCommentsPager(int, int)
pre	init'ed(this.feedRequest)
pre	init'ed(this.pageNum)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
pre	this.weblogRequest != null
pre	(soft) length <= 2³²-2
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/CommentsPager.log != null
pre	(soft) sinceDays <= 2³¹
pre	(soft) init'ed(this.pageLink)
post	return_value == &new CommentsPager(getCommentsP ager#1)
post	new ArrayList(getItems#1) num objects == 1
post	new CommentsPager(getCommentsPager#1) num objects == 1
post	return_value.comments == &new ArrayList(getItem s#1)
post	init'ed(return_value.lastUpdated)
post	return_value.length == length
post	(soft) return_value.length <= 2³²-2
post	init'ed(return_value.locale)
post	init'ed(return_value.more)
post	return_value.page == One-of{0, this.pageNum}
post	return_value.page >= 0
post	return_value.sinceDays == sinceDays
post	(soft) return_value.sinceDays <= 2³¹
post	init'ed(return_value.url)
post	return_value.urlStrategy == this.urlStrategy
post	return_value.urlStrategy != null
post	return_value.weblog == null
post	length*return_value.page in -2³¹.. 2³²-1
unanalyzed	call on getPage
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. pagers.AbstractPager
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:add
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getComments
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
test_vector	this.feedRequest: Addr_Set{null}, Inverse{null}

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogRequest:getLocale()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getType()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getFormat()

info method not available -- call on bool org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:isExcerpts()

info method not available -- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogFeedURL(Weblog, String, String, String, String, String, List, bool, bool)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogRequest:getLocale()

method	Pager getUsersByLetterPager(String, int, int)
pre	init'ed(this.feedRequest)
pre	init'ed(this.pageNum)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
pre	this.weblogRequest != null
pre	(soft) length <= 2³²-2
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/UsersPager.log != null
pre	(soft) init'ed(this.pageLink)
post	return_value == &new UsersPager(getUsersByLette rPager#1)
post	new ArrayList(getItems#1) num objects == 1
post	new UsersPager(getUsersByLetterPager#1) num objects == 1
post	return_value.length == length
post	(soft) return_value.length <= 2³²-2
post	return_value.letter == One-of{letter, null}
post	init'ed(return_value.letter)
post	init'ed(return_value.locale)
post	init'ed(return_value.more)
post	return_value.page == One-of{0, this.pageNum}
post	return_value.page >= 0
post	return_value.sinceDays == sinceDays
post	init'ed(return_value.sinceDays)
post	init'ed(return_value.url)
post	return_value.urlStrategy == this.urlStrategy
post	return_value.urlStrategy != null
post	return_value.users == &new ArrayList(getItems#1 )
post	length*return_value.page in -2³¹.. 2³²-1
unanalyzed	call on getPage
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUsers
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUsersByLetter
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos.wrapper. UserWrapper:wrap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. pagers.AbstractPager
test_vector	letter: Addr_Set{null}, Inverse{null}
test_vector	this.feedRequest: Addr_Set{null}, Inverse{null}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@242: {0}, {1}

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogRequest:getLocale()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getType()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getFormat()

info method not available -- call on bool org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:isExcerpts()

info method not available -- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogFeedURL(Weblog, String, String, String, String, String, List, bool, bool)

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogRequest:getLocale()

method	Pager getWeblogsByLetterPager(String, int, int)
pre	init'ed(this.pageLink)
pre	init'ed(this.pageNum)
pre	this.urlStrategy != null
pre	init'ed(this.weblog)
pre	this.weblogRequest != null
pre	(soft) length <= 2³²-2
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/WeblogsPager.log != null
pre	(soft) sinceDays <= 2³¹
post	return_value == &new WeblogsPager(getWeblogsByL etterPager#1)
post	new ArrayList(getItems#1) num objects == 1
post	new WeblogsPager(getWeblogsByLetterPager#1) num objects == 1
post	return_value.length == length
post	(soft) return_value.length <= 2³²-2
post	return_value.letter == One-of{letter, null}
post	init'ed(return_value.letter)
post	init'ed(return_value.locale)
post	init'ed(return_value.more)
post	return_value.page == One-of{0, this.pageNum}
post	return_value.page >= 0
post	return_value.sinceDays == sinceDays
post	(soft) return_value.sinceDays <= 2³¹
post	init'ed(return_value.url)
post	return_value.urlStrategy == this.urlStrategy
post	return_value.urlStrategy != null
post	return_value.weblogs == &new ArrayList(getItems #1)
post	length*return_value.page in -2³¹.. 2³²-1
unanalyzed	call on getPage
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. pagers.AbstractPager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on java.util.Calendar:add
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsites
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWeblogsByLetter
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
test_vector	letter: Addr_Set{null}, Inverse{null}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@264: {0}, {1}

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogRequest:getLocale()

method	Map getUserNameLetterMap()
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@289 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@288 != null
post	init'ed(return_value)
post	new HashMap(getUserNameLetterMap#1) num objects == 1

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on Map org.apache.roller.weblogger. business.UserManager:getUserNameLetterMap()

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

method	Map getWeblogHandleLetterMap()
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@307 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@306 != null
post	init'ed(return_value)
post	new HashMap(getWeblogHandleLetterMap#1) num objects == 1

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on Map org.apache.roller.weblogger. business.UserManager:getWeblogHandleLetterMap()

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

method	List getUsersWeblogs(String)
pre	(soft) log != null
presumption	java.util.Iterator:next(...)@327 != null
presumption	org.apache.roller.weblogger.business. UserManager:getAllPermissions(...)@325 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@323 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@322 != null
post	return_value == &new ArrayList(getUsersWeblogs# 1)
post	new ArrayList(getUsersWeblogs#1) num objects == 1

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on User org.apache.roller.weblogger. business.UserManager:getUserByUserName(String)

info method not available -- call on List org.apache.roller.weblogger. business.UserManager:getAllPermissions(User)

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogPermission:getWebsite()

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

method	List getWeblogsUsers(String)
pre	(soft) log != null
presumption	java.util.Iterator:next(...)@348 != null
presumption	org.apache.roller.weblogger.business. UserManager:getAllPermissions(...)@346 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@344 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@343 != null
post	return_value == &new ArrayList(getWeblogsUsers# 1)
post	new ArrayList(getWeblogsUsers#1) num objects == 1

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String)

info method not available -- call on List org.apache.roller.weblogger. business.UserManager:getAllPermissions(Weblog)

info method not available -- call on User org.apache.roller.weblogger.pojos. WeblogPermission:getUser()

info method not available -- call on UserWrapper org.apache.roller.weblogger. pojos.wrapper.UserWrapper:wrap(User)

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

method	UserWrapper getUser(String)
pre	(soft) log != null
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@364 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@363 != null
post	init'ed(return_value)

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on User org.apache.roller.weblogger. business.UserManager:getUserByUserName(String, Boolean)

info method not available -- call on UserWrapper org.apache.roller.weblogger. pojos.wrapper.UserWrapper:wrap(User)

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

method	WeblogWrapper getWeblog(String)
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@379 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@378 != null
post	return_value == One-of{&new WeblogWrapper(wrap# 1), null}
post	return_value in Addr_Set{null,&new WeblogWrapper(wrap#1)}
post	new WeblogWrapper(wrap#1) num objects <= 1
post	new WeblogWrapper(wrap#1).pojo != null
post	new WeblogWrapper(wrap#1).urlStrategy == this.urlStrategy
post	init'ed(new WeblogWrapper(wrap#1).urlStrategy)

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String)

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

method	List getNewWeblogs(int, int)
pre	sinceDays <= 2³¹
pre	(soft) log != null
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	java.util.Calendar:getInstance(...)@399 != null
presumption	org.apache.roller.weblogger.business. UserManager:getWebsites(...)@406 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@405 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@404 != null
post	return_value == &new ArrayList(getNewWeblogs#1)
post	new ArrayList(getNewWeblogs#1) num objects == 1

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on List org.apache.roller.weblogger. business.UserManager:getWebsites(User, Boolean, Boolean, Date, Date, int, int)

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

method	List getNewUsers(int, int)
pre	(soft) log != null
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	org.apache.roller.weblogger.business. UserManager:getUsers(...)@429 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@428 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@427 != null
post	return_value == &new ArrayList(getNewUsers#1)
post	new ArrayList(getNewUsers#1) num objects == 1

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on List org.apache.roller.weblogger. business.UserManager:getUsers(Weblog, Boolean, Date, Date, int, int)

info method not available -- call on UserWrapper org.apache.roller.weblogger. pojos.wrapper.UserWrapper:wrap(User)

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

method	List getHotWeblogs(int, int)
pre	(soft) log != null
presumption	java.util.Iterator:next(...)@455 != null
presumption	org.apache.roller.weblogger.business. WeblogManager:getHotWeblogs(...)@451 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@450 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@450 != null
presumption	org.apache.roller.weblogger.pojos.WeblogHitCount:ge tWeblog(...)@456 != null
presumption	org.apache.roller.weblogger.pojos.WeblogHitCount:ge tWeblog(...)@462 != null
post	return_value == &new ArrayList(getHotWeblogs#1)
post	new ArrayList(getHotWeblogs#1) num objects == 1

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on List org.apache.roller.weblogger. business.WeblogManager:getHotWeblogs(int, int, int)

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogHitCount:getWeblog()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getId()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()

info method not available -- call on String org.apache.roller.weblogger. pojos.Weblog:getName()

info method not available -- call on int org.apache.roller.weblogger.pojos. WeblogHitCount:getDailyHits()

info method not available -- call on void org.apache.roller.weblogger.pojos. StatCount(String, String, String, String, long)

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

method	List getMostCommentedWeblogs(int, int)
pre	sinceDays <= 2³¹
pre	(soft) log != null
presumption	java.util.Calendar:getInstance(...)@483 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@489 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@488 != null
post	init'ed(return_value)
post	new ArrayList(getMostCommentedWeblogs#1) num objects == 1

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on List org.apache.roller.weblogger. business.UserManager:getMostCommentedWebsites(Date, Date, int, int)

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

method	List getMostCommentedWeblogEntries(List, int, int)
pre	sinceDays <= 2³¹
pre	(soft) log != null
presumption	java.util.Calendar:getInstance(...)@509 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@515 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@514 != null
post	init'ed(return_value)
post	new ArrayList(getMostCommentedWeblogEntries#1) num objects == 1

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on List org.apache.roller.weblogger. business.WeblogManager:getMostCommentedWeblogEntrie s(Weblog, Date, Date, int, int)

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

method	List getPinnedWeblogEntries(int)
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. WeblogManager:getWeblogEntriesPinnedToMain(... )@534 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@533 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@532 != null
post	return_value == &new ArrayList(getPinnedWeblogE ntries#1)
post	new ArrayList(getPinnedWeblogEntries#1) num objects == 1

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on List org.apache.roller.weblogger. business.WeblogManager:getWeblogEntriesPinnedToMain (Integer)

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

method	List getPopularTags(int, int)
pre	sinceDays <= 2³¹
pre	(soft) log != null
presumption	java.util.Calendar:getInstance(...)@555 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@563 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@562 != null
post	init'ed(return_value)
post	new ArrayList(getPopularTags#1) num objects == 1
test_vector	sinceDays: {-2³¹..0}, {1..2³¹}

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on List org.apache.roller.weblogger. business.WeblogManager:getPopularTags(Weblog, Date, int)

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

method	long getCommentCount()
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@576 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@575 != null
post	init'ed(return_value)

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on long org.apache.roller.weblogger. business.WeblogManager:getCommentCount()

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

method	long getEntryCount()
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@589 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@588 != null
post	init'ed(return_value)

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on long org.apache.roller.weblogger. business.WeblogManager:getEntryCount()

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

method	long getWeblogCount()
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@602 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@601 != null
post	init'ed(return_value)

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on long org.apache.roller.weblogger. business.UserManager:getWeblogCount()

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

method	long getUserCount()
pre	(soft) log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@615 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@614 != null
post	init'ed(return_value)

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on long org.apache.roller.weblogger. business.UserManager:getUserCount()

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

	info	method not available	-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
	info	method not available	-- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()

info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogRequest:getLocale()
info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getType()
info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getFormat()
info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getWeblogCategoryN ame()
info	method not available	-- call on List org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getTags()
info	method not available	-- call on bool org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:isExcerpts()
info	method not available	-- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogFeedURL(Weblog, String, String, String, String, String, List, bool, bool)

	info	method not available	-- call on User org.apache.roller.weblogger.pojos. WeblogPermission:getUser()
	info	method not available	-- call on UserWrapper org.apache.roller.weblogger. pojos.wrapper.UserWrapper:wrap(User)

info	method not available	-- call on Weblog org.apache.roller.weblogger. pojos.WeblogHitCount:getWeblog()
info	method not available	-- call on String org.apache.roller.weblogger. pojos.Weblog:getId()
info	method not available	-- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()
info	method not available	-- call on String org.apache.roller.weblogger. pojos.Weblog:getName()
info	method not available	-- call on int org.apache.roller.weblogger.pojos. WeblogHitCount:getDailyHits()
info	method not available	-- call on void org.apache.roller.weblogger.pojos. StatCount(String, String, String, String, long)