log.java

log.java

current inspection = 2010-07-22 15:04:21 (id #4)

base = 2010-07-16 16:14:15 (id #1)

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

void addLogEntries(Collection)

-/+	Kind	Annotation Text	Date
U	pre	this.logEntries != null	2010-07-16 16:14:15

void addLogEntry(LogEntry)

-/+	Kind	Annotation Text	Date
U	pre	this.logEntries != null	2010-07-16 16:14:15

Collection getLogEntries()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.logEntries)	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15

Collection getReferers()

-/+	Kind	Annotation Text	Date
U	pre	this.logEntries != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@82 != null	2010-07-16 16:14:15
U	presumption	referer.logEntries@83 != null	2010-07-16 16:14:15
U	presumption	referer.logEntries@86 != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
-	unanalyzed	call on getBlogEntries	2010-07-16 16:59:22
-	unanalyzed	call on getBlogEntry	2010-07-16 16:59:22
-	unanalyzed	call on getBlogForDay	2010-07-16 16:59:22
-	unanalyzed	call on getBlogForMonth	2010-07-16 16:59:22
-	unanalyzed	call on getDate	2010-07-16 16:59:22
-	unanalyzed	call on getDay	2010-07-16 16:59:22
-	unanalyzed	call on getId	2010-07-16 16:59:22
-	unanalyzed	call on getLocalPermalink	2010-07-16 16:59:22
-	unanalyzed	call on getMonth	2010-07-16 16:59:22
U	unanalyzed	call on getName	2010-07-16 16:14:15
-	unanalyzed	call on getPermalinkProvider	2010-07-16 16:59:22
-	unanalyzed	call on getTitle	2010-07-16 16:59:22
-	unanalyzed	call on isBlogEntryPermalink	2010-07-16 16:59:22
-	unanalyzed	call on isDayPermalink	2010-07-16 16:59:22
-	unanalyzed	call on isMonthPermalink	2010-07-16 16:59:22
-	unanalyzed	call on java.lang.Integer:parseInt	2010-07-16 16:59:22
U	unanalyzed	call on java.lang.String:endsWith	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:equals	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:equalsIgnoreCase	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:indexOf	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:lastIndexOf	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:length	2010-07-16 16:14:15
-	unanalyzed	call on java.lang.String:matches	2010-07-16 16:59:22
U	unanalyzed	call on java.lang.String:startsWith	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:substring	2010-07-16 16:14:15
U	unanalyzed	call on java.net.URLDecoder:decode	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat:format	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat:setTimeZone	2010-07-16 16:14:15
U	unanalyzed	call on java.util.LinkedList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:add	2010-07-16 16:14:15
-	unanalyzed	call on java.util.List:iterator	2010-07-16 16:59:22
U	unanalyzed	call on java.util.regex.Matcher:end	2010-07-16 16:14:15
U	unanalyzed	call on java.util.regex.Matcher:find	2010-07-16 16:14:15
U	unanalyzed	call on java.util.regex.Matcher:matches	2010-07-16 16:14:15
U	unanalyzed	call on java.util.regex.Matcher:start	2010-07-16 16:14:15
U	unanalyzed	call on java.util.regex.Pattern:matcher	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getBlogEntry	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getDay	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getMonth	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isBlogEntryPermalink	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isDayPermalink	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isMonthPermalink	2010-07-22 15:04:21
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getPermalinkProvider	2010-07-22 15:04:21
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle	2010-07-22 15:04:21
-	unanalyzed	call on net.sourceforge.pebble.domain.BlogService	2010-07-16 16:59:22
+	unanalyzed	call on net.sourceforge.pebble.domain.Day:getDate	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getDate	2010-07-22 15:04:21
-	unanalyzed	call on net.sourceforge.pebble.logging.CountedUrl	2010-07-16 16:59:22
-	unanalyzed	call on net.sourceforge.pebble.permalink. DefaultPermalinkProvider	2010-07-16 16:59:22
-	unanalyzed	call on setBlog	2010-07-16 16:59:22
U	unanalyzed	call on setFileDownload	2010-07-16 16:14:15
U	unanalyzed	call on setName	2010-07-16 16:14:15
U	unanalyzed	call on setNewsFeed	2010-07-16 16:14:15
U	unanalyzed	call on setPageView	2010-07-16 16:14:15
U	unanalyzed	call on setUrl	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@82: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Map:get(...)@83: Inverse{null}, Addr_Set{null}	2010-07-16 16:14:15

Collection getRequests()

-/+	Kind	Annotation Text	Date
U	pre	(soft) init'ed(this.blog)	2010-07-16 16:14:15
U	pre	this.logEntries != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@101 != null	2010-07-16 16:14:15
U	presumption	logEntry.request@101 != null	2010-07-16 16:14:15
U	presumption	logEntry.request@102 != null	2010-07-16 16:14:15
U	presumption	logEntry.request@104 != null	2010-07-16 16:14:15
U	presumption	request.logEntries@102 != null	2010-07-16 16:14:15
U	presumption	request.logEntries@105 != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15
-	unanalyzed	call on getBlogEntries	2010-07-16 16:59:22
-	unanalyzed	call on getBlogEntry	2010-07-16 16:59:22
-	unanalyzed	call on getBlogForDay	2010-07-16 16:59:22
-	unanalyzed	call on getBlogForMonth	2010-07-16 16:59:22
-	unanalyzed	call on getDate	2010-07-16 16:59:22
-	unanalyzed	call on getDay	2010-07-16 16:59:22
-	unanalyzed	call on getId	2010-07-16 16:59:22
-	unanalyzed	call on getLocalPermalink	2010-07-16 16:59:22
-	unanalyzed	call on getMonth	2010-07-16 16:59:22
U	unanalyzed	call on getName	2010-07-16 16:14:15
-	unanalyzed	call on getPermalinkProvider	2010-07-16 16:59:22
-	unanalyzed	call on getTitle	2010-07-16 16:59:22
-	unanalyzed	call on isBlogEntryPermalink	2010-07-16 16:59:22
-	unanalyzed	call on isDayPermalink	2010-07-16 16:59:22
-	unanalyzed	call on isMonthPermalink	2010-07-16 16:59:22
-	unanalyzed	call on java.lang.Integer:parseInt	2010-07-16 16:59:22
U	unanalyzed	call on java.lang.String:endsWith	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:equals	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:equalsIgnoreCase	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:indexOf	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:lastIndexOf	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:length	2010-07-16 16:14:15
-	unanalyzed	call on java.lang.String:matches	2010-07-16 16:59:22
U	unanalyzed	call on java.lang.String:startsWith	2010-07-16 16:14:15
U	unanalyzed	call on java.lang.String:substring	2010-07-16 16:14:15
U	unanalyzed	call on java.net.URLDecoder:decode	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat:format	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat:setTimeZone	2010-07-16 16:14:15
U	unanalyzed	call on java.util.LinkedList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:add	2010-07-16 16:14:15
-	unanalyzed	call on java.util.List:iterator	2010-07-16 16:59:22
U	unanalyzed	call on java.util.regex.Matcher:end	2010-07-16 16:14:15
U	unanalyzed	call on java.util.regex.Matcher:find	2010-07-16 16:14:15
U	unanalyzed	call on java.util.regex.Matcher:matches	2010-07-16 16:14:15
U	unanalyzed	call on java.util.regex.Matcher:start	2010-07-16 16:14:15
U	unanalyzed	call on java.util.regex.Pattern:matcher	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getBlogEntry	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getDay	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getMonth	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isBlogEntryPermalink	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isDayPermalink	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isMonthPermalink	2010-07-22 15:04:21
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getLocale	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getPermalinkProvider	2010-07-22 15:04:21
U	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone	2010-07-16 16:14:15
+	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle	2010-07-22 15:04:21
-	unanalyzed	call on net.sourceforge.pebble.domain.BlogService	2010-07-16 16:59:22
+	unanalyzed	call on net.sourceforge.pebble.domain.Day:getDate	2010-07-22 15:04:21
+	unanalyzed	call on net.sourceforge.pebble.domain. Month:getDate	2010-07-22 15:04:21
U	unanalyzed	call on net.sourceforge.pebble.logging.CountedUrl	2010-07-16 16:14:15
-	unanalyzed	call on net.sourceforge.pebble.permalink. DefaultPermalinkProvider	2010-07-16 16:59:22
-	unanalyzed	call on setBlog	2010-07-16 16:59:22
U	unanalyzed	call on setFileDownload	2010-07-16 16:14:15
U	unanalyzed	call on setName	2010-07-16 16:14:15
U	unanalyzed	call on setNewsFeed	2010-07-16 16:14:15
U	unanalyzed	call on setPageView	2010-07-16 16:14:15
U	unanalyzed	call on setUrl	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@101: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Map:get(...)@102: Inverse{null}, Addr_Set{null}	2010-07-16 16:14:15

int getTotalLogEntries()

-/+	Kind	Annotation Text	Date
U	pre	this.logEntries != null	2010-07-16 16:14:15
U	post	init'ed(return_value)	2010-07-16 16:14:15

void net.sourceforge.pebble.logging.Log(Blog, Collection)

-/+	Kind	Annotation Text	Date
U	post	init'ed(this.blog)	2010-07-16 16:14:15
U	post	new ArrayList(Log#1) num objects <= 1	2010-07-16 16:14:15
U	post	this.blog == blog	2010-07-16 16:14:15
U	post	this.logEntries != null	2010-07-16 16:14:15
U	post	this.logEntries == One-of{entries, &new ArrayList(Log#1)}	2010-07-16 16:14:15
U	test_vector	entries: Inverse{null}, Addr_Set{null}	2010-07-16 16:14:15

net.sourceforge.pebble.logging.Log__static_init

-/+	Kind	Annotation Text	Date