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..232-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

+ |
| 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

+ |
| low
| overflow | check might fail: requires count in -231-1..232-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 <= 232-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()