Messages

method	org.apache.roller.weblogger.ui.struts2.pagers. EntriesPager__static_init
post	init'ed(log)

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

method	void org.apache.roller.weblogger.ui.struts2. pagers.EntriesPager(String, int, List, bool)
post	this.baseUrl == url
post	init'ed(this.baseUrl)
post	this.items == entries
post	init'ed(this.items)
post	this.moreItems == hasMore
post	init'ed(this.moreItems)
post	this.pageNum == page
post	init'ed(this.pageNum)

method	String getNextLink()
pre	(soft) this.baseUrl != null
pre	(soft) this.pageNum <= 2³²-2
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value in Addr_Set{null,&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}
unanalyzed	call on org.apache.roller.weblogger.util. URLUtilities:getQueryString
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
test_vector	this.moreItems: {0}, {1}

method	String getPrevLink()
pre	(soft) this.baseUrl != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value in Addr_Set{null,&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}
unanalyzed	call on org.apache.roller.weblogger.util. URLUtilities:getQueryString
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
test_vector	this.pageNum: {-2³¹..0}, {1.. 2³²-1}

method	String createURL(String, Map)
pre	base != null
presumption	org.apache.roller.weblogger.util.URLUtilities:getQu eryString(...)@81 != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value in Addr_Set{&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}
test_vector	java.lang.String:indexOf(...)@83: {-1}, {-2³¹..-2, 0..2³²-1}

info method not available -- call on String org.apache.roller.weblogger.util. URLUtilities:getQueryString(Map)

method	List getItems()
post	return_value == this.items
post	init'ed(return_value)

method	bool isMoreItems()
post	return_value == this.moreItems
post	init'ed(return_value)