viewrequestsaction.java

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

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

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

net.sourceforge.pebble.web.action.ViewRequestsAction__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.Iterator:next(...)@86 != null	2010-07-22 12:56:56
+	presumption	log.logEntries@67 != null	2010-07-22 12:56:56
+	presumption	url.logEntries@86 != null	2010-07-22 12:56:56
+	post	new RequestsView(process#5) num objects == 1	2010-07-22 12:56:56
+	post	return_value == &new RequestsView(process#5)	2010-07-22 12:56:56
+	unanalyzed	call on getLog	2010-07-22 12:56:56
+	unanalyzed	call on getName	2010-07-22 15:04:21
+	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:endsWith	2010-07-22 15:04:21
+	unanalyzed	call on java.lang.String:equals	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:equalsIgnoreCase	2010-07-22 15:04:21
+	unanalyzed	call on java.lang.String:indexOf	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:lastIndexOf	2010-07-22 15:04:21
+	unanalyzed	call on java.lang.String:length	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:startsWith	2010-07-22 15:04:21
+	unanalyzed	call on java.lang.String:substring	2010-07-22 12:56:56
+	unanalyzed	call on java.net.URLDecoder:decode	2010-07-22 15:04:21
+	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:iterator	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	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.LinkedList	2010-07-22 15:04:21
+	unanalyzed	call on java.util.List:add	2010-07-22 12:56:56
+	unanalyzed	call on java.util.List:size	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Map:get	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Map:put	2010-07-22 12:56:56
+	unanalyzed	call on java.util.Map:values	2010-07-22 12:56:56
+	unanalyzed	call on java.util.regex.Matcher:end	2010-07-22 15:04:21
+	unanalyzed	call on java.util.regex.Matcher:find	2010-07-22 15:04:21
+	unanalyzed	call on java.util.regex.Matcher:matches	2010-07-22 15:04:21
+	unanalyzed	call on java.util.regex.Matcher:start	2010-07-22 15:04:21
+	unanalyzed	call on java.util.regex.Pattern:matcher	2010-07-22 15:04:21
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa rameter	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getBlogEntry	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getDay	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getMonth	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isBlogEntryPermalink	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isDayPermalink	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isMonthPermalink	2010-07-22 15:04:21
+	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:getPermalinkProvider	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle	2010-07-22 15:04:21
+	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
+	unanalyzed	call on net.sourceforge.pebble.logging.CountedUrl	2010-07-22 15:04:21
+	unanalyzed	call on setFileDownload	2010-07-22 15:04:21
+	unanalyzed	call on setName	2010-07-22 15:04:21
+	unanalyzed	call on setNewsFeed	2010-07-22 15:04:21
+	unanalyzed	call on setPageView	2010-07-22 15:04:21
+	unanalyzed	call on setUrl	2010-07-22 15:04:21
+	test_vector	java.lang.String:equals(...)@72: {0}, {1}	2010-07-22 12:56:56
+	test_vector	java.lang.String:equals(...)@75: {0}, {1}	2010-07-22 12:56:56
+	test_vector	java.util.Iterator:hasNext(...)@85: {1}, {0}	2010-07-22 12:56:56
+	test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@71: Addr_Set{null}, Inverse{null}	2010-07-22 12:56:56