Messages

method	net.sourceforge.pebble.logging.Request__static_ init
post	init'ed(AUTHOR_FEED_REGEX)
post	init'ed(CATEGORY_FEED_REGEX)
post	init'ed(RESPONSES_FEED_REGEX)
post	init'ed(TAG_FEED_REGEX)

method	void net.sourceforge.pebble.logging. Request(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.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

method	void net.sourceforge.pebble.logging. Request(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.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

method	void setUrl(String)
presumption	net.sourceforge.pebble.domain.Blog:getPermalinkProv ider(...)@163 != null
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
pre	(soft) init'ed(this.name)
pre	(soft) init'ed(this.blog)
presumption	java.util.regex.Pattern:compile(...)@53 != null
presumption	java.util.regex.Pattern:compile(...)@54 != null
presumption	java.util.regex.Pattern:compile(...)@55 != null
presumption	java.util.regex.Pattern:compile(...)@56 != null
presumption	java.util.regex.Pattern:matcher(...)@82 != null
presumption	java.util.regex.Pattern:matcher(...)@85 != null
presumption	java.util.regex.Pattern:matcher(...)@89 != null
presumption	java.util.regex.Pattern:matcher(...)@93 != null
post	possibly_updated(this.fileDownload)
post	init'ed(this.name)
post	possibly_updated(this.newsFeed)
post	possibly_updated(this.pageView)
post	this.url == url
post	init'ed(this.url)
unanalyzed	call on setName
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
test_vector	this.blog: Addr_Set{null}, Inverse{null}
test_vector	url: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:endsWith(...)@115: {0}, {1}
test_vector	java.lang.String:endsWith(...)@120: {0}, {1}
test_vector	java.lang.String:endsWith(...)@127: {0}, {1}
test_vector	java.lang.String:endsWith(...)@134: {0}, {1}
test_vector	java.lang.String:endsWith(...)@141: {0}, {1}
test_vector	java.lang.String:equals(...)@106: {0}, {1}
test_vector	java.lang.String:equals(...)@109: {1}, {0}
test_vector	java.lang.String:equals(...)@109: {0}, {1}
test_vector	java.lang.String:equals(...)@112: {1}, {0}
test_vector	java.lang.String:equals(...)@112: {0}, {1}
test_vector	java.lang.String:equals(...)@115: {1}, {0}
test_vector	java.lang.String:indexOf(...)@100: {0.. 2³²-1}, {-2³¹..-1}
test_vector	java.lang.String:indexOf(...)@101: {-2³¹. .-1}, {0..2³²-1}
test_vector	java.lang.String:indexOf(...)@155: {-2³¹. .-1}, {0..2³²-1}
test_vector	java.lang.String:indexOf(...)@97: {0.. 2³²-1}, {-2³¹..-1}
test_vector	java.lang.String:indexOf(...)@98: {0.. 2³²-1}, {-2³¹..-1}
test_vector	java.lang.String:indexOf(...)@99: {0.. 2³²-1}, {-2³¹..-1}
test_vector	java.lang.String:length(...)@80: {1.. 2³²-1}, {0}
test_vector	java.lang.String:startsWith(...)@115: {0}, {1}
test_vector	java.lang.String:startsWith(...)@118: {0}, {1}
test_vector	java.lang.String:startsWith(...)@125: {0}, {1}
test_vector	java.lang.String:startsWith(...)@132: {0}, {1}
test_vector	java.lang.String:startsWith(...)@139: {0}, {1}
test_vector	java.lang.String:startsWith(...)@146: {0}, {1}
test_vector	java.lang.String:startsWith(...)@150: {0}, {1}
test_vector	java.lang.String:startsWith(...)@153: {0}, {1}
test_vector	java.util.regex.Matcher:matches(...)@82: {0}, {1}
test_vector	java.util.regex.Matcher:matches(...)@85: {0}, {1}
test_vector	java.util.regex.Matcher:matches(...)@89: {0}, {1}
test_vector	java.util.regex.Matcher:matches(...)@93: {0}, {1}

info method not available -- call on PermalinkProvider net.sourceforge. pebble.domain.Blog:getPermalinkProvider()

method	void matchOnPermalinkProvider(String, PermalinkProvider)
test_vector	net.sourceforge.pebble.api.permalink. PermalinkProvider:getBlogEntry(...)@184: Addr_Set{null}, Inverse{null}
test_vector	net.sourceforge.pebble.api.permalink. PermalinkProvider:getDay(...)@200: Addr_Set{null}, Inverse{null}
test_vector	net.sourceforge.pebble.api.permalink. PermalinkProvider:getMonth(...)@190: Addr_Set{null}, Inverse{null}
test_vector	net.sourceforge.pebble.api.permalink. PermalinkProvider:isBlogEntryPermalink(...)@183: {0}, {1}
test_vector	net.sourceforge.pebble.api.permalink. PermalinkProvider:isDayPermalink(...)@198: {0}, {1}
test_vector	net.sourceforge.pebble.api.permalink. PermalinkProvider:isMonthPermalink(...)@189: {0}, {1}
pre	(soft) permalinkProvider != null
pre	(soft) this.blog != null
post	possibly_updated(this.name)
post	possibly_updated(this.pageView)

info method not available -- call on bool net.sourceforge.pebble.api. permalink.PermalinkProvider:isBlogEntryPermalink(St ring)

info method not available -- call on BlogEntry net.sourceforge.pebble.api. permalink.PermalinkProvider:getBlogEntry(String)

info method not available -- call on String net.sourceforge.pebble.domain. BlogEntry:getTitle()

info method not available -- call on bool net.sourceforge.pebble.api. permalink.PermalinkProvider:isMonthPermalink(String )

info method not available -- call on Month net.sourceforge.pebble.api. permalink.PermalinkProvider:getMonth(String)

info method not available -- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()

info method not available -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

info method not available -- call on Date net.sourceforge.pebble.domain. Month:getDate()

info method not available -- call on bool net.sourceforge.pebble.api. permalink.PermalinkProvider:isDayPermalink(String)

info method not available -- call on Day net.sourceforge.pebble.api. permalink.PermalinkProvider:getDay(String)

info method not available -- call on Locale net.sourceforge.pebble.domain. Blog:getLocale()

info method not available -- call on TimeZone net.sourceforge.pebble.domain. Blog:getTimeZone()

info method not available -- call on Date net.sourceforge.pebble.domain. Day:getDate()