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}