Messages

method | net.sourceforge.pebble.logging.Referer__static_ init
post | init'ed(BING_QUERY_STRING_PATTERN)
post | init'ed(GOOGLE_IMAGES_QUERY_STRING_PATTERN)
post | init'ed(GOOGLE_QUERY_STRING_PATTERN)
post | init'ed(JAVABLOGS_HOT_ENTRIES_PATTERN)
post | init'ed(JAVABLOGS_WELCOME_PATTERN)
post | init'ed(MSN_QUERY_STRING_PATTERN)
post | init'ed(YAHOO_QUERY_STRING_PATTERN)

method | void net.sourceforge.pebble.logging. Referer(String)
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 net.sourceforge.pebble.api.permalink. PermalinkProvider:isMonthPermalink
unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getMonth
unanalyzed | call on net.sourceforge.pebble.domain. Month:getDate
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 net.sourceforge.pebble.domain. Blog:getPermalinkProvider
post | init'ed(this.blog)
post | init'ed(this.fileDownload)
post | this.logEntries == &new LinkedList(CountedUrl#1 )
post | possibly_updated(this.name)
post | init'ed(this.newsFeed)
post | init'ed(this.pageView)
post | init'ed(this.url)
post | new LinkedList(CountedUrl#1) num objects == 1
unanalyzed | call on java.util.regex.Pattern:matcher
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.lang.String:substring
unanalyzed | call on java.lang.String:endsWith
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.net.URLDecoder:decode
unanalyzed | call on setUrl
unanalyzed | call on setName
unanalyzed | call on java.lang.String:equalsIgnoreCase
unanalyzed | call on java.util.regex.Matcher:matches
unanalyzed | call on java.util.LinkedList
unanalyzed | call on setPageView
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 java.text.SimpleDateFormat:format
unanalyzed | call on setNewsFeed
unanalyzed | call on java.lang.String:lastIndexOf
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on setFileDownload
unanalyzed | call on getName

method | void setUrl(String)
presumption | java.util.regex.Pattern:compile(...)@47 != null
presumption | java.util.regex.Pattern:compile(...)@53 != null
presumption | java.util.regex.Pattern:compile(...)@59 != null
presumption | java.util.regex.Pattern:compile(...)@65 != null
presumption | java.util.regex.Pattern:compile(...)@74 != null
presumption | java.util.regex.Pattern:compile(...)@80 != null
presumption | java.util.regex.Pattern:compile(...)@83 != null
presumption | java.util.regex.Pattern:matcher(...)@130 != null
presumption | java.util.regex.Pattern:matcher(...)@132 != null
post | this.name != null
post | this.url == url
post | init'ed(this.url)
unanalyzed | call on java.util.regex.Pattern:matcher
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.lang.String:substring
unanalyzed | call on java.lang.String:endsWith
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.net.URLDecoder:decode
test_vector | url: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:equalsIgnoreCase(...)@100: {0}, {1}
test_vector | java.lang.String:equalsIgnoreCase(...)@105: {0}, {1}
test_vector | java.lang.String:equalsIgnoreCase(...)@111: {0}, {1}
test_vector | java.lang.String:equalsIgnoreCase(...)@116: {0}, {1}
test_vector | java.lang.String:equalsIgnoreCase(...)@121: {0}, {1}
test_vector | java.lang.String:equalsIgnoreCase(...)@126: {0}, {1}
test_vector | java.lang.String:length(...)@97: {1.. 232-1}, {0}
test_vector | java.util.regex.Matcher:matches(...)@130: {0}, {1}
test_vector | java.util.regex.Matcher:matches(...)@132: {0}, {1}

method | String extractQuery(Pattern, String)
pre | pattern != null
pre | (soft) url != null
presumption | java.util.regex.Matcher:start(...)@143 <= 232-4
presumption | java.util.regex.Pattern:matcher(...)@140 != null
post | init'ed(return_value)
test_vector | java.lang.String:endsWith(...)@146: {0}, {1}
test_vector | java.util.regex.Matcher:find(...)@142: {0}, {1}

method | String getDomainFilter()
pre | init'ed(this.url)
presumption | java.lang.String:indexOf(...)@169 <= 232-4
post | init'ed(return_value)
test_vector | this.url: Inverse{null}, Addr_Set{null}
test_vector | java.lang.String:indexOf(...)@169: {-231. .-2, 0..232-4}, {-1}
test_vector | java.lang.String:indexOf(...)@175: {-231. .-1}, {0..232-1}
test_vector | java.lang.String:indexOf(...)@181: {-231. .-1}, {0..232-1}