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

- String extractQuery(Pattern, String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | (soft) url != null | 2010-07-16 16:14:15
U | pre | pattern != null | 2010-07-16 16:14:15
U | presumption | java.util.regex.Matcher:start(...)@143 <= 232-4 | 2010-07-16 16:14:15
U | presumption | java.util.regex.Pattern:matcher(...)@140 != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | test_vector | java.lang.String:endsWith(...)@146: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.util.regex.Matcher:find(...)@142: {0}, {1} | 2010-07-16 16:14:15

- String getDomainFilter()

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | init'ed(this.url) | 2010-07-16 16:14:15
U | presumption | java.lang.String:indexOf(...)@169 <= 232-4 | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | test_vector | java.lang.String:indexOf(...)@169: {-231. .-2, 0..232-4}, {-1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:indexOf(...)@175: {-231. .-1}, {0..232-1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:indexOf(...)@181: {-231. .-1}, {0..232-1} | 2010-07-16 16:14:15
U | test_vector | this.url: Inverse{null}, Addr_Set{null} | 2010-07-16 16:14:15

- void net.sourceforge.pebble.logging.Referer(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
U | unanalyzed | call on java.util.LinkedList | 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.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.Referer__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(BING_QUERY_STRING_PATTERN) | 2010-07-16 16:14:15
U | post | init'ed(GOOGLE_IMAGES_QUERY_STRING_PATTERN) | 2010-07-16 16:14:15
U | post | init'ed(GOOGLE_QUERY_STRING_PATTERN) | 2010-07-16 16:14:15
U | post | init'ed(JAVABLOGS_HOT_ENTRIES_PATTERN) | 2010-07-16 16:14:15
U | post | init'ed(JAVABLOGS_WELCOME_PATTERN) | 2010-07-16 16:14:15
U | post | init'ed(MSN_QUERY_STRING_PATTERN) | 2010-07-16 16:14:15
U | post | init'ed(YAHOO_QUERY_STRING_PATTERN) | 2010-07-16 16:14:15

- void setUrl(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | presumption | java.util.regex.Pattern:compile(...)@47 != null | 2010-07-16 16:14:15
U | presumption | java.util.regex.Pattern:compile(...)@53 != null | 2010-07-16 16:14:15
U | presumption | java.util.regex.Pattern:compile(...)@59 != null | 2010-07-16 16:14:15
U | presumption | java.util.regex.Pattern:compile(...)@65 != null | 2010-07-16 16:14:15
U | presumption | java.util.regex.Pattern:compile(...)@74 != null | 2010-07-16 16:14:15
U | presumption | java.util.regex.Pattern:compile(...)@80 != null | 2010-07-16 16:14:15
U | presumption | java.util.regex.Pattern:compile(...)@83 != null | 2010-07-16 16:14:15
U | presumption | java.util.regex.Pattern:matcher(...)@130 != null | 2010-07-16 16:14:15
U | presumption | java.util.regex.Pattern:matcher(...)@132 != null | 2010-07-16 16:14:15
U | post | init'ed(this.url) | 2010-07-16 16:14:15
U | post | this.name != null | 2010-07-16 16:14:15
U | post | this.url == url | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:endsWith | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:length | 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.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:start | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.regex.Pattern:matcher | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equalsIgnoreCase(...)@100: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equalsIgnoreCase(...)@105: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equalsIgnoreCase(...)@111: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equalsIgnoreCase(...)@116: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equalsIgnoreCase(...)@121: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:equalsIgnoreCase(...)@126: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@97: {1.. 232-1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.util.regex.Matcher:matches(...)@130: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.util.regex.Matcher:matches(...)@132: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | url: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15