Messages

Last Msg First Msg

method | net.sourceforge.pebble.web.action.ViewRequestsByHo urAction__static_init

method | void net.sourceforge.pebble.web.action. ViewRequestsByHourAction()
unanalyzed | call on net.sourceforge.pebble.web.action. SecureAction

method | Log getLog(HttpServletRequest, HttpServletResponse )
pre | request != null
pre | this.model != null
pre | this.model.data != 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#2*) num objects == new HashSet(getLog#1*) num objects
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*).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 java.util.Collections:unmodifiableCollectio n
unanalyzed | call on java.util.HashMap:put
unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.Integer:parseInt
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLogger
unanalyzed | call on java.util.Calendar:get
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 net.sourceforge.pebble.domain. Blog:getLocale
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 net.sourceforge.pebble.domain. Blog:getBlogForDay
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getBlogForMonth
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getBlogForToday
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.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:equals
unanalyzed | call on java.text.SimpleDateFormat:parse
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.Collection:addAll

method | View process(HttpServletRequest, HttpServletRespon se)
pre | request != null
pre | this.model != null
pre | this.model.data != null
presumption | java.util.Calendar:get(...)@80 in 0..23
presumption | java.util.Collections:unmodifiableCollection(... )@72 != null
presumption | java.util.HashMap:get(...)@63 != null
presumption | java.util.Iterator:next(...)@77 != null
presumption | log.logEntries@77 != null
presumption | logEntry.request@77 != null
presumption | logEntry.request@84 != null
presumption | logEntry.request@86 != null
presumption | logEntry.request@87 != null
presumption | logEntry.request@88 != null
presumption | net.sourceforge.pebble.domain.Blog:getCalendar(... )@78 != null
post | return_value == &new RequestsByHourView(process #5)
post | new RequestsByHourView(process#5) num objects == 1
unanalyzed | call on getLog
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on java.util.Collections:unmodifiableCollectio n
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on java.util.HashMap:put
unanalyzed | call on java.util.Collection:size
unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCalendar
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.Integer:parseInt
unanalyzed | call on java.util.Calendar:set
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLogger
unanalyzed | call on java.util.Calendar:get
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 net.sourceforge.pebble.domain. Blog:getLocale
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 net.sourceforge.pebble.domain. Blog:getBlogForDay
unanalyzed | call on java.util.Calendar:getActualMaximum
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getBlogForMonth
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getBlogForToday
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 java.util.ArrayList
unanalyzed | call on java.util.Date
unanalyzed | call on java.lang.String:charAt
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.text.SimpleDateFormat:parse
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.Collection:addAll
test_vector | java.lang.String:indexOf(...)@85: {0.. 232-1}, {-231..-1}
test_vector | java.lang.String:indexOf(...)@86: {0.. 232-1}, {-231..-1}
test_vector | java.lang.String:indexOf(...)@87: {0.. 232-1}, {-231..-1}
test_vector | java.lang.String:indexOf(...)@88: {0.. 232-1}, {-231..-1}
test_vector | java.util.Iterator:hasNext(...)@77: {1}, {0}

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

Prev Msg Next Msg

+ |
| low
| overflow | check might fail: requires requestsPerHour[hour] in -231-1..232-2

Prev Msg Next Msg

Prev Msg Next Msg

+ |
| warning
| test always goes same way | test predetermined because getRequestUri(...) != null

Prev Msg Next Msg

| info | method not available | -- call on void net.sourceforge.pebble.web.view. impl.RequestsByHourView()