Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.core.tags.calendar. CalendarTag__static_init
presumption	org.apache.commons.logging.LogFactory:getFactory(.. .)@46 != null
post	init'ed(mLogger)

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

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

method	String getName()
pre	init'ed(this.mName)
post	return_value == this.mName
post	init'ed(return_value)

method	void setName(String)
post	this.mName == name
post	init'ed(this.mName)

method	String getModel()
pre	init'ed(this.mModelName)
post	return_value == this.mModelName
post	init'ed(return_value)

method	void setModel(String)
post	this.mModelName == s
post	init'ed(this.mModelName)

method	String getClassSuffix()
pre	init'ed(this.mClassSuffix)
post	return_value == this.mClassSuffix
post	init'ed(return_value)

method	void setClassSuffix(String)
post	this.mClassSuffix == s
post	init'ed(this.mClassSuffix)

method	void setLocale(Locale)
post	this.mLocale == One-of{old this.mLocale, locale}
test_vector	locale: Addr_Set{null}, Inverse{null}

method	void org.apache.roller.weblogger.ui.core.tags. calendar.CalendarTag()
post	this.mClassSuffix == &""
post	this.mDayNames == null
post	this.mModelName == null
post	this.mName == null
post	init'ed(this.mLocale)

method	int doStartTag(PrintWriter)
pre	(soft) mLogger != null
pre	(soft) init'ed(this.mDayNames[...])
pre	(soft) pw != null
pre	(soft) init'ed(this.mClassSuffix)
pre	(soft) init'ed(this.mLocale)
pre	(soft) init'ed(this.mModelName)
pre	(soft) this.pageContext != null
presumption	java.util.ResourceBundle:getBundle(...)@155 != null
presumption	model.calendar@142 != null
presumption	model.calendar@145 != null
presumption	model.calendar@158 != null
presumption	model.day@132 != null
presumption	model.day@134 != null
presumption	model.monthMap@169 != null
post	return_value == 0
post	this.mDayNames == One-of{&new String[](buildDay Names#1), old this.mDayNames}
post	(soft) init'ed(this.mDayNames[...])
post	new String[](buildDayNames#1) num objects <= 1
post	new String[](buildDayNames#1).length == 7
post	(soft) init'ed(new String[](buildDayNames#1)[...])
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on java.util.Calendar:getFirstDayOfWeek
unanalyzed	call on java.util.Calendar:set
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on java.text.SimpleDateFormat:format
unanalyzed	call on java.util.Calendar:add
unanalyzed	call on java.io.PrintWriter:print
unanalyzed	call on java.util.Calendar:get
unanalyzed	call on java.util.Date:clone
unanalyzed	call on java.util.Calendar:clone
unanalyzed	call on org.apache.roller.util.DateUtil:get8charDat eFormat
unanalyzed	call on java.text.SimpleDateFormat:setCalendar
unanalyzed	call on org.apache.roller.util.DateUtil:get6charDat eFormat
unanalyzed	call on org.apache.roller.util.DateUtil:format
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogCollectionURL
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on computeUrl
unanalyzed	call on org.apache.roller.util.DateUtil:format8char s
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.List:get
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzed	call on org.apache.roller.util.DateUtil:format6char s
unanalyzed	call on java.util.List:size
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPermalink
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getTitle
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getAnchor
unanalyzed	call on java.lang.String:substring
test_vector	java.util.StringTokenizer:hasMoreTokens(...)@129: {0}, {1}
test_vector	model.nextMonth@169: Addr_Set{null}, Inverse{null}
test_vector	model.prevMonth@169: Addr_Set{null}, Inverse{null}

info method not available -- call on Object org.apache.commons.beanutils. PropertyUtils:getProperty(Object, String)

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into request

Prev Msg Next Msg

info method not available -- call on Date org.apache.roller.util. DateUtil:getNoonOfDay(Date, Calendar)

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

method	void printDayNotInMonth(PrintWriter, Calendar)
pre	pw != null
pre	init'ed(this.mClassSuffix)

method	void printDayInThisMonth(PrintWriter, Calendar, String, String)
pre	pw != null
pre	init'ed(this.mClassSuffix)
pre	(soft) cal != null
test_vector	content: Addr_Set{null}, Inverse{null}
test_vector	url: Addr_Set{null}, Inverse{null}

method	void printToday(PrintWriter, Calendar, String, String)
pre	pw != null
pre	init'ed(this.mClassSuffix)
pre	(soft) cal != null
test_vector	content: Addr_Set{null}, Inverse{null}
test_vector	url: Addr_Set{null}, Inverse{null}

method	void buildDayNames()
pre	init'ed(this.mLocale)
presumption	java.util.Calendar:getInstance(...)@326 != null
post	this.mDayNames == &new String[](buildDayNames#1 )
post	possibly_updated(this.mDayNames[...])
post	new String[](buildDayNames#1) num objects == 1
post	this.mDayNames.length == 7
post	init'ed(this.mDayNames[...])

method	String toString()
pre	(soft) mLogger != null
pre	(soft) init'ed(this.mDayNames[...])
pre	(soft) init'ed(this.mClassSuffix)
pre	(soft) init'ed(this.mLocale)
pre	(soft) init'ed(this.mModelName)
pre	(soft) this.pageContext != null
post	java.io.StringWriter:toString(...)._tainted == 0
post	return_value == One-of{&java.io. StringWriter:toString(...), &"Exception in tag"}
post	return_value in Addr_Set{&java.io. StringWriter:toString(...),&"Exception in tag"}
post	this.mDayNames == One-of{&new String[](buildDay Names#1), old this.mDayNames}
post	(soft) init'ed(this.mDayNames[...])
post	new String[](buildDayNames#1) num objects <= 1
post	new String[](buildDayNames#1).length == 7
post	init'ed(new String[](buildDayNames#1)[...])
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on java.util.Calendar:getFirstDayOfWeek
unanalyzed	call on java.util.Calendar:set
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on java.text.SimpleDateFormat:format
unanalyzed	call on java.util.Calendar:add
unanalyzed	call on java.io.PrintWriter:print
unanalyzed	call on java.util.Calendar:get
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.StringTokenizer
unanalyzed	call on java.util.StringTokenizer:nextToken
unanalyzed	call on java.util.StringTokenizer:hasMoreTokens
unanalyzed	call on javax.servlet.jsp.PageContext:findAttribute
unanalyzed	call on org.apache.commons.beanutils. PropertyUtils:getProperty
unanalyzed	call on java.util.Date:clone
unanalyzed	call on getDay
unanalyzed	call on java.util.Calendar:clone
unanalyzed	call on getCalendar
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on javax.servlet.jsp.PageContext:getRequest
unanalyzed	call on java.util.ResourceBundle:getBundle
unanalyzed	call on org.apache.roller.util.DateUtil:getNoonOfDa y
unanalyzed	call on java.util.Calendar:getMinimum
unanalyzed	call on java.util.ResourceBundle:getString
unanalyzed	call on getPrevMonth
unanalyzed	call on org.apache.roller.util.DateUtil:get8charDat eFormat
unanalyzed	call on java.text.SimpleDateFormat:setCalendar
unanalyzed	call on org.apache.roller.util.DateUtil:get6charDat eFormat
unanalyzed	call on org.apache.roller.util.DateUtil:format
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogCollectionURL
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL
unanalyzed	call on java.util.Map:get
unanalyzed	call on computeUrl
unanalyzed	call on org.apache.roller.util.DateUtil:format8char s
unanalyzed	call on java.util.List:get
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzed	call on org.apache.roller.util.DateUtil:format6char s
unanalyzed	call on computePrevMonthUrl
unanalyzed	call on getNextMonth
unanalyzed	call on computeNextMonthUrl
unanalyzed	call on java.util.List:size
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPermalink
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getTitle
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getAnchor
unanalyzed	call on java.lang.String:substring
unanalyzed	call on getContent
unanalyzed	call on computeTodayMonthUrl

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

method	String emit()
pre	(soft) mLogger != null
pre	(soft) init'ed(this.mDayNames[...])
pre	(soft) init'ed(this.mClassSuffix)
pre	(soft) init'ed(this.mLocale)
pre	(soft) init'ed(this.mModelName)
pre	(soft) this.pageContext != null
post	java.io.StringWriter:toString(...)._tainted == 0
post	return_value == One-of{&java.io. StringWriter:toString(...), &"Exception in tag"}
post	return_value in Addr_Set{&java.io. StringWriter:toString(...),&"Exception in tag"}
post	this.mDayNames == One-of{&new String[](buildDay Names#1), old this.mDayNames}
post	(soft) init'ed(this.mDayNames[...])
post	new String[](buildDayNames#1) num objects <= 1
post	new String[](buildDayNames#1).length == 7
post	init'ed(new String[](buildDayNames#1)[...])
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on java.util.Calendar:getFirstDayOfWeek
unanalyzed	call on java.util.Calendar:set
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on java.text.SimpleDateFormat:format
unanalyzed	call on java.util.Calendar:add
unanalyzed	call on java.io.PrintWriter:print
unanalyzed	call on java.util.Calendar:get
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.io.StringWriter
unanalyzed	call on doStartTag
unanalyzed	call on java.io.StringWriter:toString
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.StringTokenizer
unanalyzed	call on java.util.StringTokenizer:nextToken
unanalyzed	call on java.util.StringTokenizer:hasMoreTokens
unanalyzed	call on javax.servlet.jsp.PageContext:findAttribute
unanalyzed	call on org.apache.commons.beanutils. PropertyUtils:getProperty
unanalyzed	call on java.util.Date:clone
unanalyzed	call on getDay
unanalyzed	call on java.util.Calendar:clone
unanalyzed	call on getCalendar
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on javax.servlet.jsp.PageContext:getRequest
unanalyzed	call on java.util.ResourceBundle:getBundle
unanalyzed	call on org.apache.roller.util.DateUtil:getNoonOfDa y
unanalyzed	call on java.util.Calendar:getMinimum
unanalyzed	call on java.util.ResourceBundle:getString
unanalyzed	call on getPrevMonth
unanalyzed	call on org.apache.roller.util.DateUtil:get8charDat eFormat
unanalyzed	call on java.text.SimpleDateFormat:setCalendar
unanalyzed	call on org.apache.roller.util.DateUtil:get6charDat eFormat
unanalyzed	call on org.apache.roller.util.DateUtil:format
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogCollectionURL
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL
unanalyzed	call on java.util.Map:get
unanalyzed	call on computeUrl
unanalyzed	call on org.apache.roller.util.DateUtil:format8char s
unanalyzed	call on java.util.List:get
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzed	call on org.apache.roller.util.DateUtil:format6char s
unanalyzed	call on computePrevMonthUrl
unanalyzed	call on getNextMonth
unanalyzed	call on computeNextMonthUrl
unanalyzed	call on java.util.List:size
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPermalink
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getTitle
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getAnchor
unanalyzed	call on java.lang.String:substring
unanalyzed	call on getContent
unanalyzed	call on computeTodayMonthUrl

method	int doStartTag()
pre	this.pageContext != null
pre	(soft) mLogger != null
pre	(soft) init'ed(this.mDayNames[...])
pre	(soft) init'ed(this.mClassSuffix)
pre	(soft) init'ed(this.mLocale)
pre	(soft) init'ed(this.mModelName)
post	return_value == 0
post	this.mDayNames == &new String[](buildDayNames#1 )
post	(soft) init'ed(this.mDayNames[...])
post	new String[](buildDayNames#1) num objects == 1
post	this.mDayNames.length == 7
post	init'ed(this.mDayNames[...])
unanalyzed	call on java.util.Calendar:getInstance
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on java.util.Calendar:getFirstDayOfWeek
unanalyzed	call on java.util.Calendar:set
unanalyzed	call on java.util.Calendar:getTime
unanalyzed	call on java.text.SimpleDateFormat:format
unanalyzed	call on java.util.Calendar:add
unanalyzed	call on java.io.PrintWriter:print
unanalyzed	call on java.util.Calendar:get
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.StringTokenizer
unanalyzed	call on java.util.StringTokenizer:nextToken
unanalyzed	call on java.util.StringTokenizer:hasMoreTokens
unanalyzed	call on javax.servlet.jsp.PageContext:findAttribute
unanalyzed	call on org.apache.commons.beanutils. PropertyUtils:getProperty
unanalyzed	call on java.util.Date:clone
unanalyzed	call on getDay
unanalyzed	call on java.util.Calendar:clone
unanalyzed	call on getCalendar
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on javax.servlet.jsp.PageContext:getRequest
unanalyzed	call on java.util.ResourceBundle:getBundle
unanalyzed	call on org.apache.roller.util.DateUtil:getNoonOfDa y
unanalyzed	call on java.util.Calendar:getMinimum
unanalyzed	call on java.util.ResourceBundle:getString
unanalyzed	call on getPrevMonth
unanalyzed	call on org.apache.roller.util.DateUtil:get8charDat eFormat
unanalyzed	call on java.text.SimpleDateFormat:setCalendar
unanalyzed	call on org.apache.roller.util.DateUtil:get6charDat eFormat
unanalyzed	call on org.apache.roller.util.DateUtil:format
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogCollectionURL
unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getWeblogPageURL
unanalyzed	call on java.util.Map:get
unanalyzed	call on computeUrl
unanalyzed	call on org.apache.roller.util.DateUtil:format8char s
unanalyzed	call on java.util.List:get
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzed	call on org.apache.roller.util.DateUtil:format6char s
unanalyzed	call on computePrevMonthUrl
unanalyzed	call on getNextMonth
unanalyzed	call on computeNextMonthUrl
unanalyzed	call on java.util.List:size
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getPermalink
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getTitle
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogEntry:getAnchor
unanalyzed	call on java.lang.String:substring
unanalyzed	call on getContent
unanalyzed	call on computeTodayMonthUrl

method	int doEndTag()
pre	this.pageContext != null
post	return_value == 6

method	int doEndTag(PrintWriter)
post	return_value == 6

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