Messages

Last Msg First Msg

method | net.sourceforge.pebble.web.action.AbstractLogActio n__static_init

method | void net.sourceforge.pebble.web.action. AbstractLogAction()

method | Log getLog(HttpServletRequest, HttpServletResponse )
pre | request != null
pre | this.model != null
pre | this.model.data != null
presumption | java.lang.Integer:parseInt(...)@68 >= -231+1
presumption | java.lang.Integer:parseInt(...)@81 >= -231+1
presumption | java.util.Calendar:get(...)@73 <= 232-2
presumption | java.util.Calendar:get(...)@84 <= 232-2
presumption | java.util.HashMap:get(...)@63 != null
presumption | net.sourceforge.pebble.domain.Blog:getBlogForDay(.. .)@76 != null
presumption | net.sourceforge.pebble.domain.Blog:getBlogForMonth( ...)@87 != null
presumption | net.sourceforge.pebble.domain.Blog:getBlogForToday( ...)@94 != null
presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@60 != null
presumption | net.sourceforge.pebble.domain.Blog:getLogger(...). blog@84 != null
presumption | net.sourceforge.pebble.domain.Blog:getLogger(... )@73 != null
presumption | net.sourceforge.pebble.domain.Blog:getLogger(... )@84 != null
presumption | net.sourceforge.pebble.domain.Blog:getLogger(... )@91 != null
post | return_value != null
post | init'ed(new ArrayList(Log#1) num objects)
post | new ArrayList(getLog#1*) num objects <= 1
post | new ArrayList(getLog#2*) num objects <= 1
post | new HashSet(getLog#1*) num objects <= 1
post | new Log(getLog#1*) num objects <= 1
post | init'ed(new Log(getLog#1*).blog)
post | new Log(getLog#1*).logEntries != null
post | new Log(getLog#2*) num objects <= 1
post | (soft) new Log(getLog#2*).blog != null
post | new Log(getLog#2*).logEntries == &new HashSet(getLog#1*)
post | new Log(getLog#6*) num objects <= 1
post | init'ed(new Log(getLog#6*).blog)
post | new Log(getLog#6*).logEntries != null
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on java.text.SimpleDateFormat:format
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on java.lang.Exception:printStackTrace
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on java.util.HashMap:put
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getBlogForFirstMonth
unanalyzed | call on net.sourceforge.pebble.domain. Month:getPreviousMonth
unanalyzed | call on net.sourceforge.pebble.domain. Month:getNextMonth
unanalyzed | call on net.sourceforge.pebble.domain.Month:before
unanalyzed | call on net.sourceforge.pebble.domain. Month:getDate
unanalyzed | call on java.util.Date:after
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlogForFirstDay
unanalyzed | call on net.sourceforge.pebble.domain. Day:getPreviousDay
unanalyzed | call on net.sourceforge.pebble.domain. Day:getNextDay
unanalyzed | call on net.sourceforge.pebble.domain.Day:before
unanalyzed | call on net.sourceforge.pebble.domain.Day:getDate
unanalyzed | call on getLog
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.text.SimpleDateFormat
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZone
unanalyzed | call on java.text.SimpleDateFormat:setTimeZone
unanalyzed | call on java.util.Date
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on java.lang.String:charAt
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.text.SimpleDateFormat:parse
unanalyzed | call on java.lang.Integer:parseInt
unanalyzed | call on java.lang.Long:parseLong
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.HashSet
unanalyzed | call on java.util.Collections:unmodifiableCollectio n
unanalyzed | call on java.util.Collection:addAll
test_vector | java.lang.String:length(...)@64: {0}, {1..232-1}
test_vector | java.lang.String:length(...)@65: {0}, {1..232-1}
test_vector | java.lang.String:length(...)@66: {0}, {1..232-1}
test_vector | java.lang.String:length(...)@78: {0}, {1..232-1}
test_vector | java.lang.String:length(...)@79: {0}, {1..232-1}
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@56: Addr_Set{null}, Inverse{null}
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@57: Addr_Set{null}, Inverse{null}
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@58: Addr_Set{null}, Inverse{null}

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

Prev Msg Next Msg

+ |
| warning
| unused assignment | unused assignment into logPeriod

Prev Msg Next Msg

| info | method not available | -- call on AbstractLogger net.sourceforge.pebble. domain.Blog:getLogger()
| info | method not available | -- call on Log getLog(int, int, int)

| 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 Day net.sourceforge.pebble.domain. Blog:getBlogForDay(int, int, int)

| info | method not available | -- call on AbstractLogger net.sourceforge.pebble. domain.Blog:getLogger()

| 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 Month net.sourceforge.pebble.domain. Blog:getBlogForMonth(int, int)

| info | method not available | -- call on AbstractLogger net.sourceforge.pebble. domain.Blog:getLogger()

| 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 Day net.sourceforge.pebble.domain. Blog:getBlogForToday()

method | String getLogFile(HttpServletRequest, HttpServletResponse)
pre | request != null
pre | this.model != null
pre | this.model.data != null
presumption | java.lang.Integer:parseInt(...)@118 >= -231+1
presumption | java.lang.Integer:parseInt(...)@131 >= -231+1
presumption | java.util.Calendar:get(...)@123 <= 232-2
presumption | java.util.Calendar:get(...)@134 <= 232-2
presumption | java.util.HashMap:get(...)@63 != null
presumption | net.sourceforge.pebble.domain.Blog:getBlogForDay(.. .)@126 != null
presumption | net.sourceforge.pebble.domain.Blog:getBlogForMonth( ...)@137 != null
presumption | net.sourceforge.pebble.domain.Blog:getBlogForToday( ...)@144 != null
presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@110 != null
presumption | net.sourceforge.pebble.domain.Blog:getLogger(...). blog@134 != null
presumption | net.sourceforge.pebble.domain.Blog:getLogger(...). blog@141 != null
presumption | net.sourceforge.pebble.domain.Blog:getLogger(... )@123 != null
presumption | net.sourceforge.pebble.domain.Blog:getLogger(... )@134 != null
presumption | net.sourceforge.pebble.domain.Blog:getLogger(... )@141 != null
post | return_value != null
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on getLogFile
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on java.util.Calendar:getTime
unanalyzed | call on java.text.SimpleDateFormat:format
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLogsDirectory
unanalyzed | call on java.io.File
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on java.lang.Exception:printStackTrace
unanalyzed | call on java.lang.System:getProperty
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on java.util.Calendar:get
unanalyzed | call on java.util.HashMap:put
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getBlogForFirstMonth
unanalyzed | call on net.sourceforge.pebble.domain. Month:getPreviousMonth
unanalyzed | call on net.sourceforge.pebble.domain. Month:getNextMonth
unanalyzed | call on net.sourceforge.pebble.domain.Month:before
unanalyzed | call on net.sourceforge.pebble.domain. Month:getDate
unanalyzed | call on java.util.Date:after
unanalyzed | call on net.sourceforge.pebble.domain. Month:getBlogForFirstDay
unanalyzed | call on net.sourceforge.pebble.domain. Day:getPreviousDay
unanalyzed | call on net.sourceforge.pebble.domain. Day:getNextDay
unanalyzed | call on net.sourceforge.pebble.domain.Day:before
unanalyzed | call on net.sourceforge.pebble.domain.Day:getDate
test_vector | java.lang.String:length(...)@114: {0}, {1..232-1}
test_vector | java.lang.String:length(...)@115: {0}, {1..232-1}
test_vector | java.lang.String:length(...)@116: {0}, {1..232-1}
test_vector | java.lang.String:length(...)@128: {0}, {1..232-1}
test_vector | java.lang.String:length(...)@129: {0}, {1..232-1}
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@106: Addr_Set{null}, Inverse{null}
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@107: Addr_Set{null}, Inverse{null}
test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@108: Addr_Set{null}, Inverse{null}

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

Prev Msg Next Msg

+ |
| warning
| unused assignment | unused assignment into logPeriod

Prev Msg Next Msg

| info | method not available | -- call on AbstractLogger net.sourceforge.pebble. domain.Blog:getLogger()
| info | method not available | -- call on String getLogFile(int, int, int)

| 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 Day net.sourceforge.pebble.domain. Blog:getBlogForDay(int, int, int)

| info | method not available | -- call on AbstractLogger net.sourceforge.pebble. domain.Blog:getLogger()

| 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 Month net.sourceforge.pebble.domain. Blog:getBlogForMonth(int, int)

| info | method not available | -- call on AbstractLogger net.sourceforge.pebble. domain.Blog:getLogger()

| 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 Day net.sourceforge.pebble.domain. Blog:getBlogForToday()

method | void registerObjectsForNavigation(Blog, Month)
pre | blog != null
pre | month != null
pre | this.model != null
pre | this.model.data != null
presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@162 != null
presumption | net.sourceforge.pebble.domain.Month:getDate(... )@162 != null
presumption | net.sourceforge.pebble.domain.Month:getNextMonth(.. .)@156 != null
presumption | net.sourceforge.pebble.domain.Month:getPreviousMont h(...)@155 != null
unanalyzed | call on java.util.HashMap:put
test_vector | java.util.Date:after(...)@162: {0}, {1}
test_vector | net.sourceforge.pebble.domain.Month:before(... )@158: {1}, {0}
test_vector | net.sourceforge.pebble.domain.Month:before(... )@162: {0}, {1}

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

| 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 Calendar net.sourceforge.pebble.domain. Blog:getCalendar()
| info | method not available | -- call on bool net.sourceforge.pebble.domain. Month:before(Month)

method | void registerObjectsForNavigation(Blog, Day)
pre | blog != null
pre | day != null
pre | this.model != null
pre | this.model.data != null
presumption | net.sourceforge.pebble.domain.Blog:getBlogForFirstM onth(...)@169 != null
presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@177 != null
presumption | net.sourceforge.pebble.domain.Day:getDate(...)@177 != null
presumption | net.sourceforge.pebble.domain.Day:getNextDay(... )@171 != null
presumption | net.sourceforge.pebble.domain.Day:getPreviousDay(.. .)@170 != null
unanalyzed | call on java.util.HashMap:put
test_vector | java.util.Date:after(...)@177: {0}, {1}
test_vector | net.sourceforge.pebble.domain.Day:before(...)@173: {1}, {0}
test_vector | net.sourceforge.pebble.domain.Day:before(...)@177: {0}, {1}

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

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

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

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

| 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 bool net.sourceforge.pebble.domain. Day:before(Day)

method | String[] getRoles(HttpServletRequest)
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ ADMIN_ROLE)
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)
post | return_value == &new String[](getRoles#1)
post | new String[](getRoles#1) num objects == 1
post | return_value.length == 4
post | return_value[0] == net.sourceforge.pebble. Constants.BLOG_ADMIN_ROLE
post | (soft) init'ed(return_value[0])
post | return_value[1] == net.sourceforge.pebble. Constants.BLOG_OWNER_ROLE
post | (soft) init'ed(return_value[1])
post | return_value[2] == net.sourceforge.pebble. Constants.BLOG_PUBLISHER_ROLE
post | (soft) init'ed(return_value[2])
post | return_value[3] == net.sourceforge.pebble. Constants.BLOG_CONTRIBUTOR_ROLE
post | (soft) init'ed(return_value[3])