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.. 2³²-1}, {-2³¹..-1}
test_vector	java.lang.String:indexOf(...)@86: {0.. 2³²-1}, {-2³¹..-1}
test_vector	java.lang.String:indexOf(...)@87: {0.. 2³²-1}, {-2³¹..-1}
test_vector	java.lang.String:indexOf(...)@88: {0.. 2³²-1}, {-2³¹..-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

+

click for all messages in this file low

overflow check might fail: requires requestsPerHour[hour] in -2³¹-1..2³²-2

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file 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()