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