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.. 232-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)