Messages

Last Msg First Msg

method

net.sourceforge.pebble.web.tagext.CalendarTag__ static_init

method

void net.sourceforge.pebble.web.tagext. CalendarTag()

method	int doStartTag()
pre	net/sourceforge/pebble/util/UrlRewriter.x != null
pre	this.pageContext != null
presumption	days.length@118 >= 2
presumption	java.util.Calendar:getFirstDayOfWeek(...)@114 < days.length@118
presumption	java.text.DateFormatSymbols:getShortWeekdays(... )@118 != null
presumption	java.text.NumberFormat:format(...)@136 != null
presumption	java.text.NumberFormat:getIntegerInstance(...)@89 != null
presumption	java.util.Calendar:getFirstDayOfWeek(...)@114 >= 0
presumption	java.util.Iterator:next(...)@133 != null
presumption	javax.servlet.http.HttpServletRequest:getAttribute( ...)@73 != null
presumption	javax.servlet.jsp.PageContext:getOut(...)@94 != null
presumption	javax.servlet.jsp.PageContext:getRequest(...)@72 != null
presumption	net.sourceforge.pebble.domain.Blog:getBlogForDay(.. .)@134 != null
presumption	net.sourceforge.pebble.domain.Blog:getBlogForToday( ...)@75 != null
presumption	net.sourceforge.pebble.domain.Blog:getCalendar(... )@76 != null
presumption	net.sourceforge.pebble.domain.Blog:getCalendar(... )@82 != null
presumption	net.sourceforge.pebble.domain.Month:getBlogForDay(. ..)@83 != null
presumption	net.sourceforge.pebble.domain.Month:getDate(... )@195 != null
presumption	net.sourceforge.pebble.domain.Month:getNextMonth(.. .)@177 != null
presumption	net.sourceforge.pebble.domain.Month:getPreviousMont h(...)@176 != null
post	return_value == 0
unanalyzed	call on java.util.ArrayList
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed	call on net.sourceforge.pebble.domain. Month:getBlogForDay
unanalyzed	call on net.sourceforge.pebble.domain.Day:getDate
unanalyzed	call on java.util.Calendar:setTime
unanalyzed	call on net.sourceforge.pebble.domain. Month:getLastDayInMonth
unanalyzed	call on java.util.Calendar:clone
unanalyzed	call on java.util.Calendar:set
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Calendar:get
unanalyzed	call on java.util.Calendar:getFirstDayOfWeek
unanalyzed	call on java.util.Calendar:add
unanalyzed	call on net.sourceforge.pebble.util. UrlRewriter$TheRewriter:get
unanalyzed	call on rewrite
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:equals
unanalyzed	call on net.sourceforge.pebble.Configuration:getSec ureUrl
unanalyzed	call on net.sourceforge.pebble.Configuration:getUrl
unanalyzed	call on java.lang.String:replace
unanalyzed	call on java.util.ResourceBundle:getBundle
unanalyzed	call on java.util.ResourceBundle:getString
unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale
test_vector	java.lang.String:length(...)@137: {0, 2..2³²-1}, {1}
test_vector	java.util.Date:after(...)@195: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@132: {1}, {0}
test_vector	javax.servlet.http.HttpServletRequest:getAttribute( ...)@74: Inverse{null}, Addr_Set{null}
test_vector	net.sourceforge.pebble.domain.Day:hasBlogEntries(.. .)@152: {0}, {1}
test_vector	net.sourceforge.pebble.domain.Day:hasBlogEntries(.. .)@158: {0}, {1}
test_vector	net.sourceforge.pebble.domain.Month:before(... )@100: {0}, {1}
test_vector	net.sourceforge.pebble.domain.Month:before(... )@183: {0}, {1}
test_vector	net.sourceforge.pebble.domain.Month:before(... )@195: {0}, {1}

info method not available -- call on Day net.sourceforge.pebble.domain. Blog:getBlogForToday()

info method not available -- call on Calendar net.sourceforge.pebble.domain. Blog:getCalendar()

info method not available -- call on Month net.sourceforge.pebble.domain. Day:getMonth()

info method not available -- call on Calendar net.sourceforge.pebble.domain. Blog:getCalendar()

info method not available -- call on Day net.sourceforge.pebble.domain. Month:getBlogForDay(int)

info method not available -- call on Date net.sourceforge.pebble.domain. Day:getDate()

info method not available -- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()

info method not available -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

info method not available -- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()

info method not available -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

info method not available -- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()

info method not available -- call on Month net.sourceforge.pebble.domain. Blog:getBlogForFirstMonth()

info method not available -- call on bool net.sourceforge.pebble.domain. Month:before(Month)

info method not available -- call on Date net.sourceforge.pebble.domain. Month:getDate()

info method not available -- call on String net.sourceforge.pebble.domain. Month:getPermalink()

info method not available -- call on Date net.sourceforge.pebble.domain. Month:getDate()

info method not available -- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()

Prev Msg Next Msg

+

click for all messages in this file medium

array index out of bounds check might fail: requires i < days.length

Prev Msg Next Msg

info method not available -- call on Day net.sourceforge.pebble.domain. Blog:getBlogForDay(Date)

info method not available -- call on bool net.sourceforge.pebble.domain. Day:hasBlogEntries()

info method not available -- call on String net.sourceforge.pebble.domain. Day:getPermalink()

info method not available -- call on bool net.sourceforge.pebble.domain. Day:hasBlogEntries()

info method not available -- call on String net.sourceforge.pebble.domain. Day:getPermalink()

Prev Msg Next Msg

+

click for all messages in this file low

overflow check might fail: requires count in -2³¹-1..2³²-2

Prev Msg Next Msg

info method not available -- call on Month net.sourceforge.pebble.domain. Month:getPreviousMonth()

info method not available -- call on Month net.sourceforge.pebble.domain. Month:getNextMonth()

info method not available -- call on bool net.sourceforge.pebble.domain. Month:before(Month)

info method not available -- call on Date net.sourceforge.pebble.domain. Month:getDate()

info method not available -- call on String net.sourceforge.pebble.domain. Month:getPermalink()

info method not available -- call on Date net.sourceforge.pebble.domain. Month:getDate()

info method not available -- call on String net.sourceforge.pebble.domain. Day:getPermalink()

info method not available -- call on Date net.sourceforge.pebble.domain. Month:getDate()

info method not available -- call on bool net.sourceforge.pebble.domain. Month:before(Month)

info method not available -- call on Date net.sourceforge.pebble.domain. Month:getDate()

info method not available -- call on String net.sourceforge.pebble.domain. Month:getPermalink()

info method not available -- call on Date net.sourceforge.pebble.domain. Month:getDate()

method	List getDatesForCompleteWeeks(Blog, Month)
pre	blog != null
pre	month != null
presumption	net.sourceforge.pebble.domain.Blog:getCalendar(... )@227 != null
presumption	net.sourceforge.pebble.domain.Blog:getCalendar(... )@229 != null
presumption	net.sourceforge.pebble.domain.Month:getBlogForDay(. ..)@228 != null
presumption	net.sourceforge.pebble.domain.Month:getBlogForDay(. ..)@230 != null
presumption	net.sourceforge.pebble.domain.Month:getLastDayInMon th(...)@234 <= 2³²-2
post	return_value == &new ArrayList(getDatesForCompl eteWeeks#1)
post	new ArrayList(getDatesForCompleteWeeks#1) num objects == 1

info method not available -- call on Calendar net.sourceforge.pebble.domain. Blog:getCalendar()

info method not available -- call on Day net.sourceforge.pebble.domain. Month:getBlogForDay(int)

info method not available -- call on Date net.sourceforge.pebble.domain. Day:getDate()

info method not available -- call on Calendar net.sourceforge.pebble.domain. Blog:getCalendar()

info method not available -- call on int net.sourceforge.pebble.domain. Month:getLastDayInMonth()

info method not available -- call on Day net.sourceforge.pebble.domain. Month:getBlogForDay(int)

info method not available -- call on Date net.sourceforge.pebble.domain. Day:getDate()

info method not available -- call on int net.sourceforge.pebble.domain. Month:getLastDayInMonth()

	info	method not available	-- call on Day net.sourceforge.pebble.domain. Month:getBlogForDay(int)
	info	method not available	-- call on Date net.sourceforge.pebble.domain. Day:getDate()

	info	method not available	-- call on String net.sourceforge.pebble.domain. Month:getPermalink()
	info	method not available	-- call on Date net.sourceforge.pebble.domain. Month:getDate()

info	method not available	-- call on int net.sourceforge.pebble.domain. Month:getLastDayInMonth()
info	method not available	-- call on Day net.sourceforge.pebble.domain. Month:getBlogForDay(int)
info	method not available	-- call on Date net.sourceforge.pebble.domain. Day:getDate()