Last Msg First Msg
























method org.apache.roller.weblogger.ui.core.tags.calendar. WeblogCalendarModel__static_init
postinit'ed(log)









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











method void org.apache.roller.weblogger.ui.core.tags. calendar.WeblogCalendarModel(WeblogPageRequest, String)
pre(soft) log != null
pre(soft) pRequest != null
presumptionorg.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblog(...)@66 != null
postinit'ed(this.calendar)
postinit'ed(this.cat)
postpossibly_updated(this.day)
postinit'ed(this.locale)
postpossibly_updated(this.monthMap)
postinit'ed(this.nextMonth)
postinit'ed(this.pageLink)
postthis.pageRequest == pRequest
post(soft) this.pageRequest != null
postinit'ed(this.prevMonth)
post(soft) init'ed(this.weblog)
postnew Date(parseWeblogURLDateString#1) num objects <= 1
postnew Date(parseWeblogURLDateString#3) num objects <= 1
postnew Date(parseWeblogURLDateString#5) num objects <= 1
postnew HashMap(loadWeblogEntries#1) num objects <= 1
unanalyzedcall on java.util.Date
unanalyzedcall on java.util.Calendar:getInstance
unanalyzedcall on java.lang.String:length
unanalyzedcall on org.apache.commons.lang.StringUtils:isNumer ic
unanalyzedcall on org.apache.roller.util.DateUtil:get8charDat eFormat
unanalyzedcall on java.text.SimpleDateFormat:setCalendar
unanalyzedcall on java.text.ParsePosition
unanalyzedcall on java.text.SimpleDateFormat:parse
unanalyzedcall on java.util.Date:after
unanalyzedcall on org.apache.roller.util.DateUtil:get6charDat eFormat
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on java.util.Calendar:clone
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzedcall on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryStringMap
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on java.util.HashMap
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getTimeZoneInstance
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getLocaleInstance
unanalyzedcall on org.apache.roller.util.DateUtil:getStartOfM onth
unanalyzedcall on org.apache.roller.util.DateUtil:getEndOfMon th
unanalyzedcall on java.util.Date:getTime
unanalyzedcall on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries
unanalyzedcall on java.util.List:size
unanalyzedcall on java.util.List:get
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzedcall on java.sql.Timestamp:getTime
unanalyzedcall on loadWeblogEntries
unanalyzedcall on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryObjectMap
test_vectorcatArgument: Addr_Set{null}, Inverse{null}
test_vectororg.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblogCategoryName(...)@83: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on Weblog org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getWeblog()










  infomethod not available-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getWeblogPageName( )










  infomethod not available-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getWeblogDate()
  infomethod not available-- call on TimeZone org.apache.roller.weblogger. pojos.Weblog:getTimeZoneInstance()
  infomethod not available-- call on Locale org.apache.roller.weblogger. pojos.Weblog:getLocaleInstance()










  infomethod not available-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getLocale()










  infomethod not available-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getWeblogCategoryN ame()










  infomethod not available-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogPageRequest:getWeblogCategoryN ame()










  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object, Throwable)











method void initDay(Date)
preinit'ed(this.cat)
prethis.weblog != null
pre(soft) log != null
pre(soft) init'ed(this.locale)
presumptionjava.util.Calendar:getInstance(...)@96 != null
presumptionjava.util.Date:getTime(...)@109 >= -9_223_372_036_8 54_775_807
presumptionjava.util.Date:getTime(...)@136 <= 18_446_744_073_7 09_551_614
presumptionjava.util.List:get(...)@124 != null
presumptionjava.util.List:get(...)@151 != null
presumptionorg.apache.roller.util.DateUtil:getEndOfMonth(... )@102 != null
presumptionorg.apache.roller.util.DateUtil:getStartOfMonth(... )@101 != null
presumptionorg.apache.roller.weblogger.business. WeblogManager:getWeblogEntries(...)@109 != null
presumptionorg.apache.roller.weblogger.business. WeblogManager:getWeblogEntries(...)@136 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@108 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@135 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@108 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@135 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@125 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@152 != null
post(soft) this.calendar != null
postpossibly_updated(this.monthMap)
postpossibly_updated(this.nextMonth)
postpossibly_updated(this.prevMonth)
postnew HashMap(loadWeblogEntries#1) num objects <= 1
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on java.util.Calendar:clone
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzedcall on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryStringMap
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on java.util.HashMap
unanalyzedcall on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryObjectMap
test_vectorjava.util.Date:after(...)@160: {0}, {1}
test_vectorjava.util.List:size(...)@123: {-231..0}, {1..232-1}
test_vectorjava.util.List:size(...)@150: {-231..0}, {1..232-1}









  infomethod not available-- call on TimeZone org.apache.roller.weblogger. pojos.Weblog:getTimeZoneInstance()
  infomethod not available-- call on Locale org.apache.roller.weblogger. pojos.Weblog:getLocaleInstance()










  infomethod not available-- call on Date org.apache.roller.util. DateUtil:getStartOfMonth(Date, Calendar)










  infomethod not available-- call on Date org.apache.roller.util. DateUtil:getEndOfMonth(Date, Calendar)










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










  infomethod not available-- call on List org.apache.roller.weblogger. business.WeblogManager:getWeblogEntries(Weblog, User, Date, Date, String, List, String, String, String, String, String, int, int)










  infomethod not available-- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getPubTime()
  infomethod not available-- call on Date org.apache.roller.util. DateUtil:getStartOfMonth(Date, Calendar)










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










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










  infomethod not available-- call on List org.apache.roller.weblogger. business.WeblogManager:getWeblogEntries(Weblog, User, Date, Date, String, List, String, String, String, String, String, int, int)










  infomethod not available-- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getPubTime()
  infomethod not available-- call on Date org.apache.roller.util. DateUtil:getStartOfMonth(Date, Calendar)










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











method void loadWeblogEntries(Date, Date, String)
pre(soft) log != null
pre(soft) init'ed(this.locale)
pre(soft) init'ed(this.weblog)
presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@170 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@170 != null
postinit'ed(this.monthMap)
postnew HashMap(loadWeblogEntries#1) num objects <= 1









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










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










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











method void setDay(String)
prethis.calendar != null
preinit'ed(this.cat)
prethis.weblog != null
pre(soft) log != null
pre(soft) init'ed(this.locale)
presumptionjava.util.Calendar:getInstance(...)@96 != null
presumptionorg.apache.roller.util.DateUtil:get8charDateFormat( ...)@187 != null
postthis.calendar != null
postpossibly_updated(this.monthMap)
postpossibly_updated(this.nextMonth)
postpossibly_updated(this.prevMonth)
postnew HashMap(loadWeblogEntries#1) num objects <= 1
unanalyzedcall on java.util.Date
unanalyzedcall on java.util.Calendar:getInstance
unanalyzedcall on java.util.Date:after
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on java.util.Calendar:clone
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzedcall on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryStringMap
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on java.util.HashMap
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getTimeZoneInstance
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getLocaleInstance
unanalyzedcall on org.apache.roller.util.DateUtil:getStartOfM onth
unanalyzedcall on org.apache.roller.util.DateUtil:getEndOfMon th
unanalyzedcall on java.util.Date:getTime
unanalyzedcall on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries
unanalyzedcall on java.util.List:size
unanalyzedcall on java.util.List:get
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzedcall on java.sql.Timestamp:getTime
unanalyzedcall on loadWeblogEntries
unanalyzedcall on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryObjectMap









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











method Date getDay()
prethis.day != null
postreturn_value != null










method String getParameterValue(Date)
prethis.monthMap != null
postinit'ed(return_value)










method String format8chars(Date, Calendar)
presumptionorg.apache.roller.util.DateUtil:get8charDateFormat( ...)@203 != null
postinit'ed(return_value)









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










  infomethod not available-- call on String org.apache.roller.util. DateUtil:format(Date, SimpleDateFormat)











method String format6chars(Date, Calendar)
presumptionorg.apache.roller.util.DateUtil:get6charDateFormat( ...)@211 != null
postinit'ed(return_value)









  infomethod not available-- call on SimpleDateFormat org.apache.roller.util. DateUtil:get6charDateFormat()










  infomethod not available-- call on String org.apache.roller.util. DateUtil:format(Date, SimpleDateFormat)











method Date parseWeblogURLDateString(String, TimeZone, Locale)
presumptionjava.text.SimpleDateFormat:parse(...)@230 != null
presumptionjava.text.SimpleDateFormat:parse(...)@250 != null
presumptionorg.apache.roller.util.DateUtil:get6charDateFormat( ...)@247 != null
presumptionorg.apache.roller.util.DateUtil:get8charDateFormat( ...)@227 != null
post(soft) return_value != null
postnew Date(parseWeblogURLDateString#1) num objects == 1
postnew Date(parseWeblogURLDateString#3) num objects <= 1
postnew Date(parseWeblogURLDateString#5) num objects <= 1
test_vectordateString: Addr_Set{null}, Inverse{null}
test_vectorjava.lang.String:length(...)@224: {0..7, 9..232-1}, {8}
test_vectorjava.lang.String:length(...)@244: {0..5, 7..232-1}, {6}
test_vectorjava.util.Date:after(...)@240: {0}, {1}
test_vectorjava.util.Date:after(...)@258: {0}, {1}
test_vectororg.apache.commons.lang.StringUtils:isNumeric(... )@224: {0}, {1}
test_vectororg.apache.commons.lang.StringUtils:isNumeric(... )@244: {0}, {1}









  infomethod not available-- call on bool org.apache.commons.lang. StringUtils:isNumeric(String)










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










  infomethod not available-- call on bool org.apache.commons.lang. StringUtils:isNumeric(String)










  infomethod not available-- call on SimpleDateFormat org.apache.roller.util. DateUtil:get6charDateFormat()











method String computeUrl(Date, bool, bool)
prethis.monthMap != null
pre(soft) log != null
pre(soft) this.calendar != 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)
presumptionorg.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@286 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@288 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@286 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@288 != null
postinit'ed(return_value)
unanalyzedcall on org.apache.roller.util.DateUtil:get8charDat eFormat
unanalyzedcall on java.text.SimpleDateFormat:setCalendar
unanalyzedcall on org.apache.roller.util.DateUtil:get6charDat eFormat
unanalyzedcall on org.apache.roller.util.DateUtil:format
unanalyzedcall on java.util.Calendar:clone
test_vectoralwaysURL: {1}, {0}
test_vectormonthURL: {1}, {0}
test_vectorthis.pageLink: Inverse{null}, Addr_Set{null}
test_vectorjava.util.Map:get(...)@275: Inverse{null}, Addr_Set{null}









Prev Msg Next Msg
+
warning
unused assignmentunused assignment into dateString
  infomethod not available-- call on String org.apache.roller.util. DateUtil:format8chars(Date)
Prev Msg Next Msg










  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
  infomethod not available-- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()
  infomethod not available-- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogCollectionURL(Weblog, String, String, String, List, int, bool)










  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
  infomethod not available-- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()
  infomethod not available-- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogPageURL(Weblog, String, String, String, String, String, List, int, bool)










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











method String getContent(Date)
postreturn_value == null










method Calendar getCalendar()
prethis.calendar != null
postreturn_value != null










method Date getNextMonth()
preinit'ed(this.nextMonth)
postreturn_value == this.nextMonth
postinit'ed(return_value)










method Date getPrevMonth()
preinit'ed(this.prevMonth)
postreturn_value == this.prevMonth
postinit'ed(return_value)










method String computeNextMonthUrl()
prethis.monthMap != null
preinit'ed(this.nextMonth)
pre(soft) init'ed(this.cat)
pre(soft) init'ed(this.locale)
pre(soft) init'ed(this.pageLink)
pre(soft) init'ed(this.weblog)
postinit'ed(return_value)
unanalyzedcall on org.apache.roller.util.DateUtil:get8charDat eFormat
unanalyzedcall on java.text.SimpleDateFormat:setCalendar
unanalyzedcall on org.apache.roller.util.DateUtil:get6charDat eFormat
unanalyzedcall on org.apache.roller.util.DateUtil:format
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogCollectionURL
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL
unanalyzedcall on java.util.Map:get
unanalyzedcall on java.util.Calendar:clone
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.roller.util.DateUtil:format8char s
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on java.util.List:get
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzedcall on java.text.SimpleDateFormat:format
unanalyzedcall on org.apache.roller.util.DateUtil:format6char s










method String computePrevMonthUrl()
prethis.monthMap != null
preinit'ed(this.prevMonth)
pre(soft) init'ed(this.cat)
pre(soft) init'ed(this.locale)
pre(soft) init'ed(this.pageLink)
pre(soft) init'ed(this.weblog)
postinit'ed(return_value)
unanalyzedcall on org.apache.roller.util.DateUtil:get8charDat eFormat
unanalyzedcall on java.text.SimpleDateFormat:setCalendar
unanalyzedcall on org.apache.roller.util.DateUtil:get6charDat eFormat
unanalyzedcall on org.apache.roller.util.DateUtil:format
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogCollectionURL
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL
unanalyzedcall on java.util.Map:get
unanalyzedcall on java.util.Calendar:clone
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.roller.util.DateUtil:format8char s
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on java.util.List:get
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzedcall on java.text.SimpleDateFormat:format
unanalyzedcall on org.apache.roller.util.DateUtil:format6char s










method String computeTodayMonthUrl()
preinit'ed(this.cat)
preinit'ed(this.locale)
preinit'ed(this.pageLink)
preinit'ed(this.weblog)
presumptionorg.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@323 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@325 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@323 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@325 != null
postinit'ed(return_value)
test_vectorthis.pageLink: Inverse{null}, Addr_Set{null}









  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
  infomethod not available-- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()
  infomethod not available-- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogCollectionURL(Weblog, String, String, String, List, int, bool)










  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
  infomethod not available-- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()
  infomethod not available-- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogPageURL(Weblog, String, String, String, String, String, List, int, bool)