AbstractWeblogEntriesPager.java

AbstractWeblogEntriesPager.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(int, int, Weblog, String, String, String, String, String, List)

-/+	Kind	Annotation Text	Date
+	pre	page + pageAdd in -2³¹..2³²-1	2009-09-04 18:33:31
+	pre	this.urlStrategy != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	test_vector	entryAnchor: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31
+	test_vector	pageLink: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31

+ String getHomeLink()

-/+	Kind	Annotation Text	Date
+	pre	init'ed(this.catPath)	2009-09-04 18:33:31
+	pre	init'ed(this.dateString)	2009-09-04 18:33:31
+	pre	init'ed(this.entryAnchor)	2009-09-04 18:33:31
+	pre	init'ed(this.locale)	2009-09-04 18:33:31
+	pre	init'ed(this.pageLink)	2009-09-04 18:33:31
+	pre	init'ed(this.tags)	2009-09-04 18:33:31
+	pre	init'ed(this.weblog)	2009-09-04 18:33:31
+	pre	this.urlStrategy != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogCollectionURL	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogEntryURL	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL	2009-09-04 18:33:31

+ String getHomeName()

-/+	Kind	Annotation Text	Date
+	pre	(soft) this.messageUtils.bundle != null	2009-09-04 18:33:31
+	pre	this.messageUtils != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	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.util.ResourceBundle:getString	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.commons.logging.Log:warn	2009-09-04 18:33:31

+ String getNextCollectionLink()

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

+ String getNextCollectionName()

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

+ String getNextLink()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(this.catPath)	2009-09-04 18:33:31
+	pre	(soft) init'ed(this.dateString)	2009-09-04 18:33:31
+	pre	(soft) init'ed(this.entryAnchor)	2009-09-04 18:33:31
+	pre	(soft) init'ed(this.locale)	2009-09-04 18:33:31
+	pre	(soft) init'ed(this.more)	2009-09-04 18:33:31
+	pre	(soft) init'ed(this.pageLink)	2009-09-04 18:33:31
+	pre	(soft) init'ed(this.tags)	2009-09-04 18:33:31
+	pre	(soft) init'ed(this.weblog)	2009-09-04 18:33:31
+	pre	(soft) this.page <= 2³²-2	2009-09-04 18:33:31
+	pre	(soft) this.urlStrategy != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogCollectionURL	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogEntryURL	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL	2009-09-04 18:33:31

+ String getNextName()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(this.more)	2009-09-04 18:33:31
+	pre	(soft) this.messageUtils != null	2009-09-04 18:33:31
+	pre	(soft) this.messageUtils.bundle != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	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.util.ResourceBundle:getString	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.commons.logging.Log:warn	2009-09-04 18:33:31

+ String getPrevCollectionLink()

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

+ String getPrevCollectionName()

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

+ String getPrevLink()

-/+	Kind	Annotation Text	Date
+	pre	(soft) init'ed(this.catPath)	2009-09-04 18:33:31
+	pre	(soft) init'ed(this.dateString)	2009-09-04 18:33:31
+	pre	(soft) init'ed(this.entryAnchor)	2009-09-04 18:33:31
+	pre	(soft) init'ed(this.locale)	2009-09-04 18:33:31
+	pre	(soft) init'ed(this.pageLink)	2009-09-04 18:33:31
+	pre	(soft) init'ed(this.tags)	2009-09-04 18:33:31
+	pre	(soft) init'ed(this.weblog)	2009-09-04 18:33:31
+	pre	(soft) this.urlStrategy != null	2009-09-04 18:33:31
+	pre	init'ed(this.page)	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogCollectionURL	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogEntryURL	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL	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	(soft) this.messageUtils != null	2009-09-04 18:33:31
+	pre	(soft) this.messageUtils.bundle != null	2009-09-04 18:33:31
+	pre	init'ed(this.page)	2009-09-04 18:33:31
+	post	init'ed(return_value)	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.util.ResourceBundle:getString	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.commons.logging.Log:warn	2009-09-04 18:33:31
+	test_vector	this.page: {-2³¹..0}, {1..2³²-1}	2009-09-04 18:33:31

+ Date getToday()

-/+	Kind	Annotation Text	Date
+	pre	this.weblog != null	2009-09-04 18:33:31
+	presumption	java.util.Calendar:getInstance(...)@225 != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31

+ bool hasMoreEntries()

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

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

-/+	Kind	Annotation Text	Date
+	pre	locale == null	2009-09-04 18:33:31
+	pre	org/apache/roller/weblogger/util/I18nMessages. messagesMap != null	2009-09-04 18:33:31
+	pre	weblog != null	2009-09-04 18:33:31
+	post	init'ed(new I18nMessages(getMessages#2).bundle)	2009-09-04 18:33:31
+	post	init'ed(this.catPath)	2009-09-04 18:33:31
+	post	init'ed(this.dateString)	2009-09-04 18:33:31
+	post	init'ed(this.entryAnchor)	2009-09-04 18:33:31
+	post	init'ed(this.length)	2009-09-04 18:33:31
+	post	init'ed(this.offset)	2009-09-04 18:33:31
+	post	init'ed(this.pageLink)	2009-09-04 18:33:31
+	post	init'ed(this.urlStrategy)	2009-09-04 18:33:31
+	post	new ArrayList(AbstractWeblogEntriesPager#1) num objects == 1	2009-09-04 18:33:31
+	post	new I18nMessages(getMessages#2) num objects <= 1	2009-09-04 18:33:31
+	post	new I18nMessages(getMessages#2).locale != null	2009-09-04 18:33:31
+	post	new Locale(AbstractWeblogEntriesPager#2) num objects == 0	2009-09-04 18:33:31
+	post	new Locale(AbstractWeblogEntriesPager#2)._tainted == 0	2009-09-04 18:33:31
+	post	new Locale(AbstractWeblogEntriesPager#3) num objects == 0	2009-09-04 18:33:31
+	post	new Locale(AbstractWeblogEntriesPager#3)._tainted == 0	2009-09-04 18:33:31
+	post	this.catPath == catPath	2009-09-04 18:33:31
+	post	this.dateString == dateString	2009-09-04 18:33:31
+	post	this.entryAnchor == entryAnchor	2009-09-04 18:33:31
+	post	this.locale == null	2009-09-04 18:33:31
+	post	this.messageUtils != null	2009-09-04 18:33:31
+	post	this.page == One-of{0, page}	2009-09-04 18:33:31
+	post	this.page >= 0	2009-09-04 18:33:31
+	post	this.pageLink == pageLink	2009-09-04 18:33:31
+	post	this.tags != null	2009-09-04 18:33:31
+	post	this.tags == One-of{&new ArrayList(AbstractWebl ogEntriesPager#1), tags}	2009-09-04 18:33:31
+	post	this.urlStrategy == strat	2009-09-04 18:33:31
+	post	this.weblog != null	2009-09-04 18:33:31
+	post	this.weblog == weblog	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Locale:toString	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:put	2009-09-04 18:33:31
+	unanalyzed	call on java.util.ResourceBundle:getBundle	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.commons.logging.Log:debug	2009-09-04 18:33:31
+	test_vector	page: {-2³¹..0}, {1..2³²-1}	2009-09-04 18:33:31
+	test_vector	tags: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31

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

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

+ Date parseDate(String)

-/+	Kind	Annotation Text	Date
+	pre	this.weblog != null	2009-09-04 18:33:31
+	presumption	java.text.SimpleDateFormat:parse(...)@199 != null	2009-09-04 18:33:31
+	presumption	java.text.SimpleDateFormat:parse(...)@210 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.util.DateUtil:get6charDateFormat( ...)@191 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.util.DateUtil:get8charDateFormat( ...)@190 != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Calendar:getInstance	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Calendar:getTime	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Calendar:setTime	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Date	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getLocaleInstance	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getTimeZoneInstance	2009-09-04 18:33:31
+	test_vector	dateString: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31
+	test_vector	java.lang.String:length(...)@194: {0..7, 9..2³²-1}, {8}	2009-09-04 18:33:31
+	test_vector	java.lang.String:length(...)@205: {0..5, 7..2³²-1}, {6}	2009-09-04 18:33:31
+	test_vector	java.util.Date:after(...)@203: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.util.Date:after(...)@214: {0}, {1}	2009-09-04 18:33:31
+	test_vector	org.apache.commons.lang.StringUtils:isNumeric(... )@194: {0}, {1}	2009-09-04 18:33:31
+	test_vector	org.apache.commons.lang.StringUtils:isNumeric(... )@205: {0}, {1}	2009-09-04 18:33:31