Messages

method

org.apache.roller.weblogger.ui.rendering.pagers. AbstractPager__static_init

method	void org.apache.roller.weblogger.ui.rendering. pagers.AbstractPager(URLStrategy, String, int)
post	this.page == One-of{0, pageNum}
post	this.page >= 0
post	this.url == baseUrl
post	init'ed(this.url)
post	this.urlStrategy == strat
post	init'ed(this.urlStrategy)
test_vector	pageNum: {-2³¹..0}, {1..2³²-1}

method	String getHomeName()
post	return_value == &"Home"

method	String getNextLink()
pre	(soft) this.page <= 2³²-2
pre	(soft) init'ed(this.url)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value in Addr_Set{null,&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map:get
unanalyzed	call on createURL
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 java.net.URLEncoder:encode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTerm
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTags
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:isExcerpts
test_vector	hasMoreItems(...)@58: {0}, {1}

info call too complex - analysis skipped -- call on bool hasMoreItems()

method	String getNextName()
post	return_value in Addr_Set{null,&"Next"}
test_vector	hasMoreItems(...)@69: {0}, {1}

info call too complex - analysis skipped -- call on bool hasMoreItems()

method	String getPrevLink()
pre	init'ed(this.page)
pre	(soft) init'ed(this.url)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value in Addr_Set{null,&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map:get
unanalyzed	call on createURL
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 java.net.URLEncoder:encode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTerm
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTags
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:isExcerpts
test_vector	this.page: {-2³¹..0}, {1..2³²-1}

method	String getPrevName()
pre	init'ed(this.page)
post	return_value in Addr_Set{null,&"Previous"}
test_vector	this.page: {-2³¹..0}, {1..2³²-1}

method	bool hasMoreItems()
post	return_value == 0

method	String createURL(String, Map)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map:get