viewrequestsbyhouraction.java

viewrequestsbyhouraction.java

current inspection = 2010-07-22 15:04:21 (id #4)

base = 2010-07-16 16:14:15 (id #1)

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

- Log getLog(HttpServletRequest, HttpServletResponse)

-/+	Kind	Annotation Text	Date

+ Log getLog(HttpServletRequest, HttpServletResponse)

-/+	Kind	Annotation Text	Date
+	pre	request != null	2010-07-22 12:56:56
+	pre	this.model != null	2010-07-22 12:56:56
+	pre	this.model.data != null	2010-07-22 12:56:56
+	post	init'ed(new ArrayList(Log#1) num objects)	2010-07-22 12:56:56
+	post	init'ed(new Log(getLog#1*).blog)	2010-07-22 12:56:56
+	post	init'ed(new Log(getLog#6*).blog)	2010-07-22 12:56:56
+	post	new ArrayList(getLog#1*) num objects <= 1	2010-07-22 12:56:56
+	post	new ArrayList(getLog#2*) num objects <= 1	2010-07-22 12:56:56
+	post	new HashSet(getLog#1*) num objects <= 1	2010-07-22 12:56:56
+	post	new Log(getLog#1*) num objects <= 1	2010-07-22 12:56:56
+	post	new Log(getLog#1*).logEntries != null	2010-07-22 12:56:56
+	post	new Log(getLog#2) num objects == new HashSet(getLog#1) num objects	2010-07-22 12:56:56
+	post	new Log(getLog#2*).blog != null	2010-07-22 12:56:56
+	post	new Log(getLog#2).logEntries == &new HashSet(getLog#1)	2010-07-22 12:56:56
+	post	new Log(getLog#6*) num objects <= 1	2010-07-22 12:56:56
+	post	new Log(getLog#6*).logEntries != null	2010-07-22 12:56:56
+	post	return_value != null	2010-07-22 12:56:56
+	unanalyzed	call on getLog	2010-07-22 12:56:56
+	unanalyzed	call on java.io.BufferedReader	2010-07-22 12:56:56
+	unanalyzed	call on java.io.BufferedReader:close	2010-07-22 12:56:56
+	unanalyzed	call on java.io.BufferedReader:readLine	2010-07-22 12:56:56
+	unanalyzed	call on java.io.File	2010-07-22 12:56:56
+	unanalyzed	call on java.io.File:exists	2010-07-22 12:56:56
+	unanalyzed	call on java.io.FileReader	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Exception:printStackTrace	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Integer:parseInt	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Long:parseLong	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:charAt	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:equals	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:indexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:length	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:substring	2010-07-22 12:56:56
+	unanalyzed	call on java.text.SimpleDateFormat	2010-07-22 12:56:56
+	unanalyzed	call on java.text.SimpleDateFormat:format	2010-07-22 12:56:56
+	unanalyzed	call on java.text.SimpleDateFormat:parse	2010-07-22 12:56:56
+	unanalyzed	call on java.text.SimpleDateFormat:setTimeZone	2010-07-22 12:56:56
+	unanalyzed	call on java.util.ArrayList	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:get	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:getActualMaximum	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:getTime	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:set	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Collection:addAll	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Collections:unmodifiableCollectio n	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Date	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Date:after	2010-07-22 12:56:56
+	unanalyzed	call on java.util.HashMap:get	2010-07-22 12:56:56
+	unanalyzed	call on java.util.HashMap:put	2010-07-22 12:56:56
+	unanalyzed	call on java.util.HashSet	2010-07-22 12:56:56
+	unanalyzed	call on java.util.List:add	2010-07-22 12:56:56
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa rameter	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getBlogForDay	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getBlogForFirstMonth	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getBlogForMonth	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getBlogForToday	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLogger	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLogsDirectory	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Day:before	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Day:getDate	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Day:getNextDay	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Day:getPreviousDay	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Month:before	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getBlogForFirstDay	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getDate	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getNextMonth	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getPreviousMonth	2010-07-22 12:56:56

void net.sourceforge.pebble.web.action.ViewRequestsByHourAction()

-/+	Kind	Annotation Text	Date
+	unanalyzed	call on net.sourceforge.pebble.web.action. SecureAction	2010-07-22 12:56:56

net.sourceforge.pebble.web.action.ViewRequestsByHourAction__static_init

-/+	Kind	Annotation Text	Date

- View process(HttpServletRequest, HttpServletResponse)

-/+	Kind	Annotation Text	Date

+ View process(HttpServletRequest, HttpServletResponse)

-/+	Kind	Annotation Text	Date
+	pre	request != null	2010-07-22 12:56:56
+	pre	this.model != null	2010-07-22 12:56:56
+	pre	this.model.data != null	2010-07-22 12:56:56
+	presumption	java.util.Calendar:get(...)@80 in 0..23	2010-07-22 12:56:56
+	presumption	java.util.Collections:unmodifiableCollection(... )@72 != null	2010-07-22 12:56:56
+	presumption	java.util.HashMap:get(...)@63 != null	2010-07-22 12:56:56
+	presumption	java.util.Iterator:next(...)@77 != null	2010-07-22 12:56:56
+	presumption	log.logEntries@77 != null	2010-07-22 12:56:56
+	presumption	logEntry.request@77 != null	2010-07-22 12:56:56
+	presumption	logEntry.request@84 != null	2010-07-22 12:56:56
+	presumption	logEntry.request@86 != null	2010-07-22 12:56:56
+	presumption	logEntry.request@87 != null	2010-07-22 12:56:56
+	presumption	logEntry.request@88 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Blog:getCalendar(... )@78 != null	2010-07-22 12:56:56
+	post	new RequestsByHourView(process#5) num objects == 1	2010-07-22 12:56:56
+	post	return_value == &new RequestsByHourView(process #5)	2010-07-22 12:56:56
+	unanalyzed	call on getLog	2010-07-22 12:56:56
+	unanalyzed	call on java.io.BufferedReader	2010-07-22 12:56:56
+	unanalyzed	call on java.io.BufferedReader:close	2010-07-22 12:56:56
+	unanalyzed	call on java.io.BufferedReader:readLine	2010-07-22 12:56:56
+	unanalyzed	call on java.io.File	2010-07-22 12:56:56
+	unanalyzed	call on java.io.File:exists	2010-07-22 12:56:56
+	unanalyzed	call on java.io.FileReader	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Exception:printStackTrace	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Integer:parseInt	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Long:parseLong	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:charAt	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:equals	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:indexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:length	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:substring	2010-07-22 12:56:56
+	unanalyzed	call on java.text.SimpleDateFormat	2010-07-22 12:56:56
+	unanalyzed	call on java.text.SimpleDateFormat:format	2010-07-22 12:56:56
+	unanalyzed	call on java.text.SimpleDateFormat:parse	2010-07-22 12:56:56
+	unanalyzed	call on java.text.SimpleDateFormat:setTimeZone	2010-07-22 12:56:56
+	unanalyzed	call on java.util.ArrayList	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:get	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:getActualMaximum	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:getTime	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Calendar:set	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Collection:addAll	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Collection:size	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Collections:unmodifiableCollectio n	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Date	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Date:after	2010-07-22 12:56:56
+	unanalyzed	call on java.util.HashMap:get	2010-07-22 12:56:56
+	unanalyzed	call on java.util.HashMap:put	2010-07-22 12:56:56
+	unanalyzed	call on java.util.HashSet	2010-07-22 12:56:56
+	unanalyzed	call on java.util.List:add	2010-07-22 12:56:56
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa rameter	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getBlogForDay	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getBlogForFirstMonth	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getBlogForMonth	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getBlogForToday	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getCalendar	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLogger	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLogsDirectory	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Day:before	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Day:getDate	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Day:getNextDay	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Day:getPreviousDay	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain.Month:before	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getBlogForFirstDay	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getDate	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getNextMonth	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getPreviousMonth	2010-07-22 12:56:56
+	test_vector	java.lang.String:indexOf(...)@85: {0.. 2³²-1}, {-2³¹..-1}	2010-07-22 12:56:56
+	test_vector	java.lang.String:indexOf(...)@86: {0.. 2³²-1}, {-2³¹..-1}	2010-07-22 12:56:56
+	test_vector	java.lang.String:indexOf(...)@87: {0.. 2³²-1}, {-2³¹..-1}	2010-07-22 12:56:56
+	test_vector	java.lang.String:indexOf(...)@88: {0.. 2³²-1}, {-2³¹..-1}	2010-07-22 12:56:56
+	test_vector	java.util.Iterator:hasNext(...)@77: {1}, {0}	2010-07-22 12:56:56