## latin1seopermalinkprovider.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 buildPermalink(BlogEntry)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
- | pre | (soft) init'ed(blogEntry.id) | 2010-07-16 16:59:22
U | pre | blogEntry != null | 2010-07-16 16:14:15
- | pre | init'ed(blogEntry.title) | 2010-07-16 16:59:22
U | post | return_value != null | 2010-07-16 16:14:15
- | test_vector | blogEntry.title: Addr_Set{null}, Inverse{null} | 2010-07-16 16:59:22
U | test_vector | java.lang.String:length(...)@104: {1.. 232-1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@89: {1.. 232-1}, {0} | 2010-07-16 16:14:15
U | test_vector | java.util.Iterator:hasNext(...)@94: {1}, {0} | 2010-07-16 16:14:15
+ | test_vector | net.sourceforge.pebble.domain.BlogEntry:getTitle(.. .)@88: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56

- Blog getBlog()

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

- BlogEntry getBlogEntry(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.blog != null | 2010-07-16 16:14:15
- | presumption | blogEntry.blog@125 != null | 2010-07-16 16:59:22
- | presumption | getBlogEntry(...)@125 != null | 2010-07-16 16:59:22
U | presumption | java.util.Iterator:next(...)@125 != null | 2010-07-16 16:14:15
+ | presumption | net.sourceforge.pebble.domain.Blog:getBlogEntries(. ..)@122 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogEntry:getLocalPer malink(...)@128 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@125 != null | 2010-07-22 12:56:56
U | post | init'ed(return_value) | 2010-07-16 16:14:15
- | post | new BlogEntry(loadBlogEntry#2*) num objects == 0, if init'ed | 2010-07-16 16:59:22
- | post | new BlogEntry(loadBlogEntry#2*) num objects == undefined | 2010-07-16 16:59:22
- | post | new BlogEntry(loadBlogEntry#2*).blog == null | 2010-07-16 16:59:22
- | post | new BlogEntry(loadBlogEntry#2*).blog == undefined | 2010-07-16 16:59:22
- | post | new BlogEntry(loadBlogEntry#2*).permalink == new BlogEntry(loadBlogEntry#2*).blog | 2010-07-16 16:59:22
- | unanalyzed | call on clone | 2010-07-16 16:59:22
- | unanalyzed | call on getBlog | 2010-07-16 16:59:22
- | unanalyzed | call on getBlogEntries | 2010-07-16 16:59:22
- | unanalyzed | call on getBlogEntry | 2010-07-16 16:59:22
- | unanalyzed | call on getBlogEntryDAO | 2010-07-16 16:59:22
- | unanalyzed | call on getBlogForDay | 2010-07-16 16:59:22
- | unanalyzed | call on getDate | 2010-07-16 16:59:22
- | unanalyzed | call on getId | 2010-07-16 16:59:22
- | unanalyzed | call on getPermalink | 2010-07-16 16:59:22
- | unanalyzed | call on getPermalinkProvider | 2010-07-16 16:59:22
- | unanalyzed | call on getTimeZone | 2010-07-16 16:59:22
- | unanalyzed | call on getTitle | 2010-07-16 16:59:22
- | unanalyzed | call on getUrl | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.File | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.File:exists | 2010-07-16 16:59:22
- | unanalyzed | call on java.io.File:getAbsolutePath | 2010-07-16 16:59:22
- | unanalyzed | call on java.lang.Exception | 2010-07-16 16:59:22
- | unanalyzed | call on java.lang.Exception:getMessage | 2010-07-16 16:59:22
- | unanalyzed | call on java.lang.Exception:printStackTrace | 2010-07-16 16:59:22
- | unanalyzed | call on java.lang.Long:parseLong | 2010-07-16 16:59:22
- | unanalyzed | call on java.lang.String:equals | 2010-07-16 16:59:22
- | unanalyzed | call on java.lang.String:length | 2010-07-16 16:59:22
- | unanalyzed | call on java.lang.String:replaceAll | 2010-07-16 16:59:22
- | unanalyzed | call on java.lang.String:substring | 2010-07-16 16:59:22
- | unanalyzed | call on java.lang.String:toLowerCase | 2010-07-16 16:59:22
- | unanalyzed | call on java.lang.String:valueOf | 2010-07-16 16:59:22
- | unanalyzed | call on java.text.DateFormat:format | 2010-07-16 16:59:22
- | unanalyzed | call on java.text.DateFormat:setTimeZone | 2010-07-16 16:59:22
- | unanalyzed | call on java.text.SimpleDateFormat | 2010-07-16 16:59:22
- | unanalyzed | call on java.text.SimpleDateFormat:setTimeZone | 2010-07-16 16:59:22
- | unanalyzed | call on java.util.Date | 2010-07-16 16:59:22
- | unanalyzed | call on java.util.HashMap:get | 2010-07-16 16:59:22
- | unanalyzed | call on java.util.HashMap:keySet | 2010-07-16 16:59:22
- | unanalyzed | call on java.util.List:get | 2010-07-16 16:59:22
- | unanalyzed | call on java.util.List:indexOf | 2010-07-16 16:59:22
- | unanalyzed | call on java.util.List:size | 2010-07-16 16:59:22
- | unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:59:22
- | unanalyzed | call on javax.xml.parsers.SAXParser:parse | 2010-07-16 16:59:22
- | unanalyzed | call on javax.xml.parsers.SAXParserFactory:newInsta nce | 2010-07-16 16:59:22
- | unanalyzed | call on javax.xml.parsers.SAXParserFactory:newSAXPa rser | 2010-07-16 16:59:22
- | unanalyzed | call on javax.xml.parsers.SAXParserFactory:setNames paceAware | 2010-07-16 16:59:22
- | unanalyzed | call on javax.xml.parsers.SAXParserFactory:setValid ating | 2010-07-16 16:59:22
- | unanalyzed | call on loadBlogEntry | 2010-07-16 16:59:22
- | unanalyzed | call on net.sourceforge.pebble.dao.PersistenceExcep tion | 2010-07-16 16:59:22
- | unanalyzed | call on net.sourceforge.pebble.domain.Blog:error | 2010-07-16 16:59:22
- | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getLocale | 2010-07-16 16:59:22
- | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot | 2010-07-16 16:59:22
- | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZone | 2010-07-16 16:59:22
- | unanalyzed | call on net.sourceforge.pebble.domain.BlogEntry | 2010-07-16 16:59:22
- | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog | 2010-07-16 16:59:22
- | unanalyzed | call on net.sourceforge.pebble.domain.BlogService | 2010-07-16 16:59:22
- | unanalyzed | call on org.apache.commons.logging.Log:debug | 2010-07-16 16:59:22
- | unanalyzed | call on org.apache.commons.logging.Log:error | 2010-07-16 16:59:22
- | unanalyzed | call on org.xml.sax.helpers.DefaultHandler | 2010-07-16 16:59:22
- | unanalyzed | call on setEventsEnabled | 2010-07-16 16:59:22
- | unanalyzed | call on setPersistent | 2010-07-16 16:59:22
U | test_vector | java.lang.String:endsWith(...)@128: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.util.Iterator:hasNext(...)@123: {1}, {0} | 2010-07-16 16:14:15

- Day getDay(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.blog != null | 2010-07-16 16:14:15
U | pre | uri != null | 2010-07-16 16:14:15
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
- | post | return_value == null | 2010-07-16 16:59:22
- | post | return_value == undefined | 2010-07-16 16:59:22

- Month getMonth(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | this.blog != null | 2010-07-16 16:14:15
U | pre | uri != null | 2010-07-16 16:14:15
+ | post | init'ed(return_value) | 2010-07-22 12:56:56
- | post | return_value == null | 2010-07-16 16:59:22
- | post | return_value == undefined | 2010-07-16 16:59:22

- String getPermalink(BlogEntry)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
- | pre | (soft) init'ed(blogEntry.id) | 2010-07-16 16:59:22
U | pre | (soft) this.blog != null | 2010-07-16 16:14:15
U | pre | blogEntry != null | 2010-07-16 16:14:15
- | pre | init'ed(blogEntry.title) | 2010-07-16 16:59:22
- | presumption | entry.title@70 != null | 2010-07-16 16:59:22
- | presumption | getBlogEntry(...)@70 != null | 2010-07-16 16:59:22
U | presumption | java.util.List:get(...)@70 != null | 2010-07-16 16:14:15
U | presumption | java.util.List:indexOf(...)@68 - java.util. List:size(...)@68 in -232..6_442_450_942 | 2010-07-16 16:14:15
U | presumption | java.util.List:size(...)@68 >= -231+1 | 2010-07-16 16:14:15
+ | presumption | net.sourceforge.pebble.domain.Blog:getBlogEntries(. ..)@66 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogEntry:getTitle(.. .)@62 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogEntry:getTitle(.. .)@71 != null | 2010-07-22 12:56:56
+ | presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@70 != null | 2010-07-22 12:56:56
U | post | return_value != null | 2010-07-16 16:14:15
- | unanalyzed | call on getId | 2010-07-16 16:59:22
- | unanalyzed | call on getTitle | 2010-07-16 16:59:22
U | unanalyzed | call on java.lang.String:length | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:replaceAll | 2010-07-16 16:14:15
U | unanalyzed | call on java.lang.String:toLowerCase | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.HashMap:get | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.HashMap:keySet | 2010-07-16 16:14:15
U | unanalyzed | call on java.util.Set:iterator | 2010-07-16 16:14:15
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId | 2010-07-22 12:56:56
+ | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle | 2010-07-22 12:56:56
- | test_vector | blogEntry.title: Addr_Set{null}, Inverse{null} | 2010-07-16 16:59:22
U | test_vector | java.lang.String:equals(...)@71: {0}, {1} | 2010-07-16 16:14:15
U | test_vector | java.lang.String:length(...)@62: {1.. 232-1}, {0} | 2010-07-16 16:14:15
+ | test_vector | net.sourceforge.pebble.domain.BlogEntry:getTitle(.. .)@62: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56

- String getPermalink(Day)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | pre | day != null | 2010-07-16 16:14:15
- | pre | init'ed(day.date) | 2010-07-16 16:59:22
U | pre | this.blog != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15

- String getPermalink(Month)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
- | pre | init'ed(month.date) | 2010-07-16 16:59:22
U | pre | month != null | 2010-07-16 16:14:15
U | pre | this.blog != null | 2010-07-16 16:14:15
U | post | init'ed(return_value) | 2010-07-16 16:14:15

- bool isBlogEntryPermalink(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | test_vector | uri: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- bool isDayPermalink(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | test_vector | uri: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- bool isMonthPermalink(String)

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | init'ed(return_value) | 2010-07-16 16:14:15
U | test_vector | uri: Addr_Set{null}, Inverse{null} | 2010-07-16 16:14:15

- void net.sourceforge.pebble.permalink.Latin1SeoPermalinkProvider()

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

- net.sourceforge.pebble.permalink.Latin1SeoPermalinkProvider__static_init

-/+ | Kind | Annotation Text | Date
--- | --- | --- | ---
U | post | characterSubstitutions == &new HashMap(Latin1Se oPermalinkProvider__static_init#1) | 2010-07-16 16:14:15
U | post | new HashMap(Latin1SeoPermalinkProvider__static_ init#1) num objects == 1 | 2010-07-16 16:14:15

- void setBlog(Blog)

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