Messages

method	org.apache.roller.weblogger.ui.core.tags.calendar. BigWeblogCalendarModel__static_init
post	init'ed(mLogger)
post	mSingleDayFormat == &new SimpleDateFormat(BigWe blogCalendarModel__static_init#1)
post	init'ed(mStarDateFormat)
post	new SimpleDateFormat(BigWeblogCalendarModel__ static_init#1) num objects == 1

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

info method not available -- call on SimpleDateFormat org.apache.roller.util. DateUtil:get8charDateFormat()

method	void org.apache.roller.weblogger.ui.core.tags. calendar.BigWeblogCalendarModel(WeblogPageRequest, String)
pre	(soft) org/apache/roller/weblogger/ui/core/tags/cal endar/WeblogCalendarModel.log != null
pre	(soft) pRequest != null
post	init'ed(this.calendar)
post	init'ed(this.cat)
post	possibly_updated(this.day)
post	init'ed(this.locale)
post	possibly_updated(this.monthMap)
post	init'ed(this.nextMonth)
post	init'ed(this.pageLink)
post	this.pageRequest == pRequest
post	(soft) this.pageRequest != null
post	init'ed(this.prevMonth)
post	init'ed(this.weblog)
post	new Date(parseWeblogURLDateString#1) num objects <= 1
post	new Date(parseWeblogURLDateString#3) num objects <= 1
post	new Date(parseWeblogURLDateString#5) num objects <= 1
post	new HashMap(loadWeblogEntries#1) num objects <= 1
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.lang.String:length
unanalyzed	call on org.apache.commons.lang.StringUtils:isNumer ic
unanalyzed	call on org.apache.roller.util.DateUtil:get8charDat eFormat
unanalyzed	call on java.text.SimpleDateFormat:setCalendar
unanalyzed	call on java.text.ParsePosition
unanalyzed	call on java.text.SimpleDateFormat:parse
unanalyzed	call on java.util.Date:after
unanalyzed	call on org.apache.roller.util.DateUtil:get6charDat eFormat
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on java.util.Calendar:clone
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryStringMap
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.HashMap
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getTimeZoneInstance
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getLocaleInstance
unanalyzed	call on org.apache.roller.util.DateUtil:getStartOfM onth
unanalyzed	call on org.apache.roller.util.DateUtil:getEndOfMon th
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.List:get
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzed	call on java.sql.Timestamp:getTime
unanalyzed	call on loadWeblogEntries
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblog
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblogHandle
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblogPageName
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblogDate
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getLocale
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblogCategoryName
unanalyzed	call on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryObjectMap

method	void loadWeblogEntries(Date, Date, String)
pre	(soft) mLogger != null
pre	(soft) init'ed(this.locale)
pre	(soft) init'ed(this.weblog)
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@56 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@56 != null
post	init'ed(this.monthMap)
post	new HashMap(loadWeblogEntries#1) num objects <= 1

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on Map org.apache.roller.weblogger. business.WeblogManager:getWeblogEntryObjectMap(Webl og, Date, Date, String, List, String, String, int, int)

info method not available -- call on void org.apache.commons.logging. Log:error(Object)

method	String getContent(Date)
pre	(soft) mLogger != null
pre	(soft) init'ed(this.cat)
pre	(soft) init'ed(this.locale)
pre	(soft) this.monthMap != null
pre	(soft) init'ed(this.weblog)
presumption	java.util.List:get(...)@102 != null
presumption	java.util.List:get(...)@104 != null
presumption	java.util.List:get(...)@83 != null
presumption	java.util.List:get(...)@99 != null
presumption	org.apache.roller.util.DateUtil:get8charDateFormat( ...)@42 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@87 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@87 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getAn chor(...)@104 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntry:getTi tle(...)@102 != null
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == One-of{&java.lang. StringBuffer:toString(...), null}
post	return_value in Addr_Set{null,&java.lang. StringBuffer:toString(...)}
test_vector	java.lang.String:length(...)@103: {1.. 2³²-1}, {0}
test_vector	java.lang.String:length(...)@106: {0..20}, {21..2³²-1}
test_vector	java.util.Map:get(...)@81: Addr_Set{null}, Inverse{null}

info method not available -- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getPubTime()

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 String org.apache.roller.weblogger. business.URLStrategy:getWeblogCollectionURL(Weblog, String, String, String, List, int, bool)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getPermalink()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getTitle()

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getAnchor()

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	String computeUrl(Date, bool, bool)
pre	this.monthMap != null
pre	(soft) mLogger != null
pre	(soft) init'ed(this.cat)
pre	(soft) init'ed(this.locale)
pre	(soft) init'ed(this.pageLink)
pre	(soft) init'ed(this.weblog)
presumption	java.util.List:get(...)@141 != null
presumption	org.apache.roller.util.DateUtil:get8charDateFormat( ...)@42 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@153 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@156 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@153 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@156 != null
post	init'ed(return_value)
test_vector	alwaysURL: {1}, {0}
test_vector	day: Addr_Set{null}, Inverse{null}
test_vector	nextPrevMonthURL: {1}, {0}
test_vector	this.pageLink: Addr_Set{null}, Inverse{null}
test_vector	java.util.Map:get(...)@139: Addr_Set{null}, Inverse{null}

info method not available -- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getPubTime()

info method not available -- call on String org.apache.roller.util. DateUtil:format8chars(Date)

info method not available -- call on String org.apache.roller.util. DateUtil:format6chars(Date)

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 String org.apache.roller.weblogger. business.URLStrategy:getWeblogPageURL(Weblog, String, String, String, String, String, List, int, bool)

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

	info	method not available	-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
	info	method not available	-- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()