Messages

method | net.sourceforge.pebble.logging.Log__static_init

method | void net.sourceforge.pebble.logging.Log(Blog, Collection)
post | this.blog == blog
post | init'ed(this.blog)
post | this.logEntries == One-of{entries, &new ArrayList(Log#1)}
post | this.logEntries != null
post | new ArrayList(Log#1) num objects <= 1
test_vector | entries: Inverse{null}, Addr_Set{null}

method | Collection getLogEntries()
pre | init'ed(this.logEntries)
post | init'ed(return_value)

method | Collection getReferers()
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
pre | this.logEntries != null
presumption | java.util.Iterator:next(...)@82 != null
presumption | referer.logEntries@83 != null
presumption | referer.logEntries@86 != null
post | init'ed(return_value)
unanalyzed | call on getName
unanalyzed | call on java.util.List:add
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 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
test_vector | java.util.Iterator:hasNext(...)@82: {1}, {0}
test_vector | java.util.Map:get(...)@83: Inverse{null}, Addr_Set{null}

method | Collection getRequests()
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
pre | this.logEntries != null
pre | (soft) init'ed(this.blog)
presumption | java.util.Iterator:next(...)@101 != null
presumption | logEntry.request@101 != null
presumption | logEntry.request@102 != null
presumption | logEntry.request@104 != null
presumption | request.logEntries@102 != null
presumption | request.logEntries@105 != null
post | init'ed(return_value)
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on getName
unanalyzed | call on net.sourceforge.pebble.logging.CountedUrl
unanalyzed | call on java.util.List:add
unanalyzed | call on java.lang.String:endsWith
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
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:equals
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on setFileDownload
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
test_vector | java.util.Iterator:hasNext(...)@101: {1}, {0}
test_vector | java.util.Map:get(...)@102: Inverse{null}, Addr_Set{null}

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

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

method | void addLogEntries(Collection)
pre | this.logEntries != null