Messages

method

org.apache.roller.weblogger.ui.rendering.model. FeedModel$FeedCommentsPager__static_init

method

org.apache.roller.weblogger.ui.rendering.model. FeedModel$FeedEntriesPager__static_init

method	void org.apache.roller.weblogger.ui.rendering. model.FeedModel()
post	this.feedRequest == null
post	this.urlStrategy == null
post	this.weblog == null

method	URLStrategy access$000(FeedModel)
pre	x0 != null
pre	init'ed(x0.urlStrategy)
post	return_value == x0.urlStrategy
post	init'ed(return_value)

method	int access$100()
pre	init'ed(DEFAULT_ENTRIES)
post	return_value == DEFAULT_ENTRIES
post	init'ed(return_value)

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

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

info method not available -- call on int org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getIntProperty(String)

method	void init(Map)
pre	initData != null
presumption	java.util.Map:get(...)@57 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@74 != null
presumption	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:instanceof(...)@64 == 1
post	(soft) this.feedRequest != null
post	init'ed(this.urlStrategy)
post	init'ed(this.weblog)
test_vector	java.util.Map:get(...)@72: Inverse{null}, Addr_Set{null}

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.WeblogFeedRequest:getWeblog()

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

method	String getLocale()
pre	this.feedRequest != null
post	init'ed(return_value)

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

method	WeblogWrapper getWeblog()
pre	init'ed(this.urlStrategy)
pre	this.weblog != null
post	return_value == &new WeblogWrapper(wrap#1)
post	new WeblogWrapper(wrap#1) num objects == 1
post	new WeblogWrapper(wrap#1).pojo == this.weblog
post	new WeblogWrapper(wrap#1).pojo != null
post	new WeblogWrapper(wrap#1).urlStrategy == this.urlStrategy
post	init'ed(new WeblogWrapper(wrap#1).urlStrategy)

method	bool getExcerpts()
pre	this.feedRequest != null
post	init'ed(return_value)

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

method	String getCategoryPath()
pre	this.feedRequest != null
post	init'ed(return_value)

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

method	Pager getWeblogEntriesPager()
pre	this.feedRequest != null
pre	this.urlStrategy != null
pre	(soft) DEFAULT_ENTRIES <= 2³²-2
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/WeblogEntriesListPager.log != null
post	return_value == &new FeedModel$FeedEntriesPager (getWeblogEntriesPager#1)
post	new ArrayList(getItems#1) num objects == 1
post	new FeedModel$FeedEntriesPager(getWeblogEntriesPage r#1) num objects == 1
post	return_value.entries == &new ArrayList(getItems #1)
post	return_value.feedRequest == this.feedRequest
post	return_value.feedRequest != null
post	init'ed(return_value.lastUpdated)
post	return_value.length == DEFAULT_ENTRIES
post	(soft) return_value.length <= 2³²-2
post	init'ed(return_value.locale)
post	init'ed(return_value.more)
post	return_value.page >= 0
post	init'ed(return_value.queryCat)
post	init'ed(return_value.queryTags)
post	return_value.queryUser == null
post	init'ed(return_value.queryWeblog)
post	return_value.sinceDays == -1
post	init'ed(return_value.url)
post	return_value.urlStrategy == this.urlStrategy
post	return_value.urlStrategy != null
post	DEFAULT_ENTRIES*return_value.page in -2³¹..2³²-1
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblog
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest: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.business. URLStrategy:getWeblogFeedURL
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblogCategoryName
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTags
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getPage
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 getCommentsPager()
pre	this.feedRequest != null
pre	this.urlStrategy != null
pre	(soft) DEFAULT_ENTRIES <= 2³²-2
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/CommentsPager.log != null
post	return_value == &new FeedModel$FeedCommentsPage r(getCommentsPager#1)
post	new ArrayList(getItems#1) num objects == 1
post	new FeedModel$FeedCommentsPager(getCommentsPager#1) num objects == 1
post	return_value.comments == &new ArrayList(getItem s#1)
post	return_value.feedRequest == this.feedRequest
post	return_value.feedRequest != null
post	init'ed(return_value.lastUpdated)
post	return_value.length == DEFAULT_ENTRIES
post	(soft) return_value.length <= 2³²-2
post	init'ed(return_value.locale)
post	init'ed(return_value.more)
post	return_value.page >= 0
post	return_value.sinceDays == -1
post	init'ed(return_value.url)
post	return_value.urlStrategy == this.urlStrategy
post	return_value.urlStrategy != null
post	init'ed(return_value.weblog)
post	DEFAULT_ENTRIES*return_value.page in -2³¹..2³²-1
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblog
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest: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.business. URLStrategy:getWeblogFeedURL
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getPage
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. pagers.CommentsPager
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Date
unanalyzed	call on getPage
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
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. pagers.AbstractPager

method	List getTags()
pre	this.feedRequest != null
post	init'ed(return_value)

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

method	void org.apache.roller.weblogger.ui.rendering. model.FeedModel$FeedEntriesPager(FeedModel, WeblogFeedRequest)
pre	Param_1 != null
pre	Param_1.urlStrategy != null
pre	feedRequest != null
pre	(soft) org/apache/roller/weblogger/ui/rendering/mod el/FeedModel.DEFAULT_ENTRIES <= 2³²-2
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/WeblogEntriesListPager.log != null
post	this.entries == &new ArrayList(getItems#1)
post	this.feedRequest == feedRequest
post	this.feedRequest != null
post	init'ed(this.lastUpdated)
post	this.length == org/apache/roller/weblogger/ui/rende ring/model/FeedModel.DEFAULT_ENTRIES
post	(soft) this.length <= 2³²-2
post	init'ed(this.locale)
post	init'ed(this.more)
post	this.page >= 0
post	init'ed(this.queryCat)
post	init'ed(this.queryTags)
post	this.queryUser == null
post	init'ed(this.queryWeblog)
post	this.sinceDays == -1
post	init'ed(this.url)
post	this.urlStrategy == Param_1.urlStrategy
post	this.urlStrategy != null
post	new ArrayList(getItems#1) num objects == 1
post	org/apache/roller/weblogger/ui/rendering/model/Feed Model.DEFAULT_ENTRIES*this.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

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

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest: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. 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.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 int org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getPage()

method	String createURL(String, Map)
pre	this.feedRequest != null
pre	(soft) params != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on java.net.URLEncoder:encode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map:get
test_vector	java.lang.String:length(...)@163: {0}, {1..2³²-1}
test_vector	java.util.List:size(...)@159: {-2³¹..0}, {1..2³²-1}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getTags(...)@158: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getWeblogCategoryName(...)@162: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:isExcerpts(...)@166: {0}, {1}

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

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

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

method	String getUrl()
pre	this.feedRequest != null
pre	init'ed(this.url)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblogCategoryName
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTags
unanalyzed	call on java.util.List:size
unanalyzed	call on java.net.URLEncoder:encode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:isExcerpts
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map:get

method	void org.apache.roller.weblogger.ui.rendering. model.FeedModel$FeedCommentsPager(FeedModel, WeblogFeedRequest)
pre	Param_1 != null
pre	Param_1.urlStrategy != null
pre	feedRequest != null
pre	(soft) org/apache/roller/weblogger/ui/rendering/mod el/FeedModel.DEFAULT_ENTRIES <= 2³²-2
pre	(soft) org/apache/roller/weblogger/ui/rendering/pag ers/CommentsPager.log != null
post	this.comments == &new ArrayList(getItems#1)
post	this.feedRequest == feedRequest
post	this.feedRequest != null
post	init'ed(this.lastUpdated)
post	this.length == org/apache/roller/weblogger/ui/rende ring/model/FeedModel.DEFAULT_ENTRIES
post	(soft) this.length <= 2³²-2
post	init'ed(this.locale)
post	init'ed(this.more)
post	this.page >= 0
post	this.sinceDays == -1
post	init'ed(this.url)
post	this.urlStrategy == Param_1.urlStrategy
post	this.urlStrategy != null
post	init'ed(this.weblog)
post	new ArrayList(getItems#1) num objects == 1
post	org/apache/roller/weblogger/ui/rendering/model/Feed Model.DEFAULT_ENTRIES*this.page in -2³¹.. 2³²-1
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Date
unanalyzed	call on getPage
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
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. pagers.AbstractPager

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

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest: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. business.URLStrategy:getWeblogFeedURL(Weblog, String, String, String, String, String, List, bool, bool)

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

method	String createURL(String, Map)
pre	this.feedRequest != null
pre	(soft) params != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on java.net.URLEncoder:encode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map:get
test_vector	java.lang.String:length(...)@195: {0}, {1..2³²-1}
test_vector	java.util.List:size(...)@191: {-2³¹..0}, {1..2³²-1}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getTags(...)@190: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:getWeblogCategoryName(...)@194: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogFeedRequest:isExcerpts(...)@198: {0}, {1}

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

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

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

method	String getUrl()
pre	this.feedRequest != null
pre	init'ed(this.url)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTags
unanalyzed	call on java.util.List:size
unanalyzed	call on java.net.URLEncoder:encode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblogCategoryName
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:isExcerpts
unanalyzed	call on createURL
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map:get

	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.WeblogFeedRequest:getWeblog()
info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest: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. 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.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 int org.apache.roller.weblogger.ui. rendering.util.WeblogFeedRequest:getPage()