## 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
--- | --- | --- | ---