Messages

method

net.sourceforge.pebble.logging.CountedUrl__static_ init

method	void net.sourceforge.pebble.logging. CountedUrl(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.lang.String:endsWith
unanalyzed	call on setName
unanalyzed	call on setPageView
unanalyzed	call on java.lang.String:substring
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 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:indexOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on setFileDownload
unanalyzed	call on getName
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

method	void net.sourceforge.pebble.logging. CountedUrl(String, Blog)
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	this.blog == blog
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.lang.String:endsWith
unanalyzed	call on setName
unanalyzed	call on setPageView
unanalyzed	call on java.lang.String:substring
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 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:indexOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on setFileDownload
unanalyzed	call on getName
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

method	String getUrl()
pre	init'ed(this.url)
post	return_value == this.url
post	init'ed(return_value)

method	void setUrl(String)
post	this.url == url
post	init'ed(this.url)

method	String getName()
pre	init'ed(this.name)
post	return_value == this.name
post	init'ed(return_value)

method	void setName(String)
post	this.name == name
post	init'ed(this.name)

method	String getTruncatedName()
pre	this.name != null
post	return_value != null
test_vector	java.lang.String:length(...)@130: {61.. 2³²-1}, {0..60}

method	void addLogEntry(LogEntry)
pre	this.logEntries != null

method	List getLogEntries()
pre	init'ed(this.logEntries)
post	return_value == &new LinkedList(getLogEntries#1 )
post	new LinkedList(getLogEntries#1) num objects == 1

method	int getCount()
pre	this.logEntries != null
post	init'ed(return_value)

method	int hashCode()
pre	init'ed(this.url)
post	init'ed(return_value)

method	bool equals(Object)
pre	(soft) init'ed(o.url)
pre	(soft) init'ed(this.url)
post	init'ed(return_value)
test_vector	o.url: Inverse{null}, Addr_Set{null}
test_vector	this == o: {0}, {1}
test_vector	this.url: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equals(...)@189: {0}, {1}

method	bool isNewsFeed()
pre	init'ed(this.newsFeed)
post	return_value == this.newsFeed
post	init'ed(return_value)

method	void setNewsFeed(bool)
post	this.newsFeed == newsFeed
post	init'ed(this.newsFeed)

method	bool isPageView()
pre	init'ed(this.pageView)
post	return_value == this.pageView
post	init'ed(return_value)

method	void setPageView(bool)
post	this.pageView == pageView
post	init'ed(this.pageView)

method	bool isFileDownload()
pre	init'ed(this.fileDownload)
post	return_value == this.fileDownload
post	init'ed(return_value)

method	void setFileDownload(bool)
post	this.fileDownload == fileDownload
post	init'ed(this.fileDownload)