Messages

Last Msg First Msg

method | net.sourceforge.pebble.web.action.ViewCountriesAct ion__static_init

method | net.sourceforge.pebble.web.action.ViewCountriesAct ion$1__static_init

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

method | int compare(Object, Object)
post | init'ed(return_value)
unanalyzed | call on java.lang.String:compareToIgnoreCase

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

method | View process(HttpServletRequest, HttpServletRespon se)
pre | request != null
pre | this.model != null
pre | this.model.data != null
presumption | com.maxmind.geoip.LookupService:getCountry(...)@84 != null
presumption | java.lang.Class:getResource(...)@80 != null
presumption | java.lang.Object:getClass(...)@80 != null
presumption | java.net.URL:toExternalForm(...)@80 != null
presumption | java.util.Collections:unmodifiableCollection(... )@72 != null
presumption | java.util.Iterator:next(...)@83 != null
presumption | logEntry.request@83 != null
post | return_value == &new CountriesView(process#10)
post | new CountriesView(process#10) num objects == 1
unanalyzed | call on java.util.Map:get
unanalyzed | call on java.lang.Integer:intValue
unanalyzed | call on java.lang.Integer:valueOf
unanalyzed | call on java.util.Map:put
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 net.sourceforge.pebble.logging.CountedUrl
unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isBlogEntryPermalink
unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getBlogEntry
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle
unanalyzed | call on setName
unanalyzed | call on setPageView
unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isMonthPermalink
unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getMonth
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. Month:getDate
unanalyzed | call on java.text.SimpleDateFormat:format
unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isDayPermalink
unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getDay
unanalyzed | call on net.sourceforge.pebble.domain.Day:getDate
unanalyzed | call on setUrl
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.util.regex.Pattern:matcher
unanalyzed | call on java.util.regex.Matcher:matches
unanalyzed | call on setNewsFeed
unanalyzed | call on java.lang.String:lastIndexOf
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on java.lang.String:endsWith
unanalyzed | call on setFileDownload
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getPermalinkProvider
unanalyzed | call on getName
unanalyzed | call on java.util.LinkedList
unanalyzed | call on java.util.regex.Matcher:find
unanalyzed | call on java.util.regex.Matcher:start
unanalyzed | call on java.util.regex.Matcher:end
unanalyzed | call on java.net.URLDecoder:decode
unanalyzed | call on java.lang.String:equalsIgnoreCase
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.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 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: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 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 getLog
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.Date
unanalyzed | call on java.lang.String:charAt
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.util.Iterator:hasNext(...)@83: {1}, {0}

method | int compare(String, String)
post | init'ed(return_value)

| info | method not available | -- call on void com.maxmind.geoip.LookupService(Str ing, int)

| info | method not available | -- call on Country com.maxmind.geoip. LookupService:getCountry(String)
| info | method not available | -- call on String com.maxmind.geoip. Country:getName()

Prev Msg Next Msg

+ |
| warning
| test always goes same way | test predetermined because lookupService != null

Prev Msg Next Msg

| info | method not available | -- call on void com.maxmind.geoip.LookupService:clo se()

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

method | void register(String, Map)
pre | map != null
test_vector | java.util.Map:get(...)@122: Inverse{null}, Addr_Set{null}

method | void increment(String, Map)
pre | map != null
presumption | java.lang.Integer:intValue(...)@131 <= 232-2
presumption | java.util.Map:get(...)@130 != null