viewcountriesaction.java

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

+ int compare(Object, Object)

-/+	Kind	Annotation Text	Date
+	post	init'ed(return_value)	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.String:compareToIgnoreCase	2010-07-22 12:56:56

+ int compare(String, String)

-/+	Kind	Annotation Text	Date
+	post	init'ed(return_value)	2010-07-22 12:56:56

void increment(String, Map)

-/+	Kind	Annotation Text	Date
+	pre	map != null	2010-07-22 12:56:56
+	presumption	java.lang.Integer:intValue(...)@131 <= 2³²-2	2010-07-22 12:56:56
+	presumption	java.util.Map:get(...)@130 != null	2010-07-22 12:56:56

+ void net.sourceforge.pebble.web.action.ViewCountriesAction$1(ViewCountriesAction)

-/+	Kind	Annotation Text	Date

+ net.sourceforge.pebble.web.action.ViewCountriesAction$1__static_init

-/+	Kind	Annotation Text	Date

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

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

net.sourceforge.pebble.web.action.ViewCountriesAction__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	com.maxmind.geoip.LookupService:getCountry(...)@84 != null	2010-07-22 12:56:56
+	presumption	java.lang.Class:getResource(...)@80 != null	2010-07-22 12:56:56
+	presumption	java.lang.Object:getClass(...)@80 != null	2010-07-22 12:56:56
+	presumption	java.net.URL:toExternalForm(...)@80 != null	2010-07-22 12:56:56
+	presumption	java.util.Collections:unmodifiableCollection(... )@72 != null	2010-07-22 12:56:56
+	presumption	java.util.Iterator:next(...)@83 != null	2010-07-22 12:56:56
+	presumption	logEntry.request@83 != null	2010-07-22 12:56:56
+	post	new CountriesView(process#10) num objects == 1	2010-07-22 12:56:56
+	post	return_value == &new CountriesView(process#10)	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:intValue	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Integer:parseInt	2010-07-22 12:56:56
+	unanalyzed	call on java.lang.Integer:valueOf	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.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.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.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.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.util.Iterator:hasNext(...)@83: {1}, {0}	2010-07-22 12:56:56

void register(String, Map)

-/+	Kind	Annotation Text	Date
+	pre	map != null	2010-07-22 12:56:56
+	test_vector	java.util.Map:get(...)@122: Inverse{null}, Addr_Set{null}	2010-07-22 12:56:56