AbstractPager.java

AbstractPager.java

current inspection = 2009-09-04 18:33:31 (id #2)

base = 2009-09-04 18:33:31 (id #1)

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

+ String createURL(String, Map)

-/+	Kind	Annotation Text	Date
+	post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)	2009-09-04 18:33:31
+	post	return_value == &java.lang.StringBuilder:toStri ng(...)	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Map:get	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Map:keySet	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Set:iterator	2009-09-04 18:33:31

+ String getHomeLink()

-/+	Kind	Annotation Text	Date
+	pre	init'ed(this.url)	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.url	2009-09-04 18:33:31

+ String getHomeName()

-/+	Kind	Annotation Text	Date
+	post	return_value == &"Home"	2009-09-04 18:33:31

+ String getNextLink()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(this.url)	2009-09-04 18:33:31
+	pre	(soft) this.page <= 2³²-2	2009-09-04 18:33:31
+	post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)	2009-09-04 18:33:31
+	post	return_value in Addr_Set{null,&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}	2009-09-04 18:33:31
+	unanalyzed	call on createURL	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:length	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:trim	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.Throwable:__curr_excep_obj	2009-09-04 18:33:31
+	unanalyzed	call on java.net.URLEncoder:encode	2009-09-04 18:33:31
+	unanalyzed	call on java.util.List:iterator	2009-09-04 18:33:31
+	unanalyzed	call on java.util.List:size	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Map:get	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Map:keySet	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Map:put	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Set:iterator	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTags	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTerm	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblogCategoryName	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:isExcerpts	2009-09-04 18:33:31
+	test_vector	hasMoreItems(...)@58: {0}, {1}	2009-09-04 18:33:31

+ String getNextName()

-/+	Kind	Annotation Text	Date
+	post	return_value in Addr_Set{null,&"Next"}	2009-09-04 18:33:31
+	test_vector	hasMoreItems(...)@69: {0}, {1}	2009-09-04 18:33:31

+ int getPage()

-/+	Kind	Annotation Text	Date
+	pre	init'ed(this.page)	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.page	2009-09-04 18:33:31

+ String getPrevLink()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(this.url)	2009-09-04 18:33:31
+	pre	init'ed(this.page)	2009-09-04 18:33:31
+	post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)	2009-09-04 18:33:31
+	post	return_value in Addr_Set{null,&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}	2009-09-04 18:33:31
+	unanalyzed	call on createURL	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:length	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:trim	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.Throwable:__curr_excep_obj	2009-09-04 18:33:31
+	unanalyzed	call on java.net.URLEncoder:encode	2009-09-04 18:33:31
+	unanalyzed	call on java.util.List:iterator	2009-09-04 18:33:31
+	unanalyzed	call on java.util.List:size	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Map:get	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Map:keySet	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Map:put	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Set:iterator	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTags	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getTerm	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:getWeblogCategoryName	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogFeedRequest:isExcerpts	2009-09-04 18:33:31
+	test_vector	this.page: {-2³¹..0}, {1..2³²-1}	2009-09-04 18:33:31

+ String getPrevName()

-/+	Kind	Annotation Text	Date
+	pre	init'ed(this.page)	2009-09-04 18:33:31
+	post	return_value in Addr_Set{null,&"Previous"}	2009-09-04 18:33:31
+	test_vector	this.page: {-2³¹..0}, {1..2³²-1}	2009-09-04 18:33:31

+ String getUrl()

-/+	Kind	Annotation Text	Date
+	pre	init'ed(this.url)	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	post	return_value == this.url	2009-09-04 18:33:31

+ bool hasMoreItems()

-/+	Kind	Annotation Text	Date
+	post	return_value == 0	2009-09-04 18:33:31

+ void org.apache.roller.weblogger.ui.rendering.pagers.AbstractPager(URLStrategy, String, int)

-/+	Kind	Annotation Text	Date
+	post	init'ed(this.url)	2009-09-04 18:33:31
+	post	init'ed(this.urlStrategy)	2009-09-04 18:33:31
+	post	this.page == One-of{0, pageNum}	2009-09-04 18:33:31
+	post	this.page >= 0	2009-09-04 18:33:31
+	post	this.url == baseUrl	2009-09-04 18:33:31
+	post	this.urlStrategy == strat	2009-09-04 18:33:31
+	test_vector	pageNum: {-2³¹..0}, {1..2³²-1}	2009-09-04 18:33:31

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

-/+	Kind	Annotation Text	Date

+ void setPage(int)

-/+	Kind	Annotation Text	Date
+	post	init'ed(this.page)	2009-09-04 18:33:31
+	post	this.page == page	2009-09-04 18:33:31

+ void setUrl(String)

-/+	Kind	Annotation Text	Date
+	post	init'ed(this.url)	2009-09-04 18:33:31
+	post	this.url == url	2009-09-04 18:33:31