## countedurl.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 addLogEntry(LogEntry)

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

- bool equals(Object)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) init'ed(o.url) | 2010-07-16 16:14:15
U | pre | (soft) init'ed(this.url) | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equals(...)@189: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | o.url: Inverse{null}, Addr_Set{null} | 2010-07-16 16:14:15
U | test_vector | this == o: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | this.url: Inverse{null}, Addr_Set{null} | 2010-07-16 16:14:15

- int getCount()

-/+ | 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

- List getLogEntries()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.logEntries) | 2010-07-16 16:14:15
U | post | new LinkedList(getLogEntries#1) num objects == 1 | 2010-07-16 16:14:15
U | post | return_value == &new LinkedList(getLogEntries#1 ) | 2010-07-16 16:14:15

- String getName()

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

- String getTruncatedName()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.name != null | 2010-07-16 16:14:15
U | post | return_value != null | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@130: {61.. 232-1}, {0..60} | 2010-07-16 16:14:15

- String getUrl()

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

- int hashCode()

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

- bool isFileDownload()

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

- bool isNewsFeed()

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

- bool isPageView()

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

- void net.sourceforge.pebble.logging.CountedUrl(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.blog) | 2010-07-16 16:14:15
U | post | init'ed(this.fileDownload) | 2010-07-16 16:14:15
U | post | init'ed(this.newsFeed) | 2010-07-16 16:14:15
U | post | init'ed(this.pageView) | 2010-07-16 16:14:15
U | post | init'ed(this.url) | 2010-07-16 16:14:15
U | post | new LinkedList(CountedUrl#1) num objects == 1 | 2010-07-16 16:14:15
U | post | possibly_updated(this.name) | 2010-07-16 16:14:15
U | post | this.logEntries == &new LinkedList(CountedUrl#1 ) | 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
- | 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 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getDay | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isBlogEntryPermalink | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isDayPermalink | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isMonthPermalink | 2010-07-22 12:56:56
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 12:56:56
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 12:56:56
- | 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 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getDate | 2010-07-22 12:56:56
- | 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

- void net.sourceforge.pebble.logging.CountedUrl(String, Blog)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.blog) | 2010-07-16 16:14:15
U | post | init'ed(this.fileDownload) | 2010-07-16 16:14:15
U | post | init'ed(this.newsFeed) | 2010-07-16 16:14:15
U | post | init'ed(this.pageView) | 2010-07-16 16:14:15
U | post | init'ed(this.url) | 2010-07-16 16:14:15
U | post | new LinkedList(CountedUrl#1) num objects == 1 | 2010-07-16 16:14:15
U | post | possibly_updated(this.name) | 2010-07-16 16:14:15
U | post | this.blog == blog | 2010-07-16 16:14:15
U | post | this.logEntries == &new LinkedList(CountedUrl#1 ) | 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
- | 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 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getDay | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:getMonth | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isBlogEntryPermalink | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isDayPermalink | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.api.permalink. PermalinkProvider:isMonthPermalink | 2010-07-22 12:56:56
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 12:56:56
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 12:56:56
- | 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 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. Month:getDate | 2010-07-22 12:56:56
- | 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

- net.sourceforge.pebble.logging.CountedUrl__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---

- void setFileDownload(bool)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.fileDownload) | 2010-07-16 16:14:15
U | post | this.fileDownload == fileDownload | 2010-07-16 16:14:15

- void setName(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.name) | 2010-07-16 16:14:15
U | post | this.name == name | 2010-07-16 16:14:15

- void setNewsFeed(bool)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.newsFeed) | 2010-07-16 16:14:15
U | post | this.newsFeed == newsFeed | 2010-07-16 16:14:15

- void setPageView(bool)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.pageView) | 2010-07-16 16:14:15
U | post | this.pageView == pageView | 2010-07-16 16:14:15

- void setUrl(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(this.url) | 2010-07-16 16:14:15
U | post | this.url == url | 2010-07-16 16:14:15