titlepermalinkprovider.java

titlepermalinkprovider.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	blogEntry.blog != null	2010-07-16 16:59:22
-	pre	init'ed(blogEntry.date)	2010-07-16 16:59:22
-	pre	init'ed(blogEntry.title)	2010-07-16 16:59:22
+	presumption	net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@111 != null	2010-07-22 12:56:56
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(...)@107: {1.. 2³²-1}, {0}	2010-07-16 16:14:15
U	test_vector	java.lang.String:length(...)@95: {1.. 2³²-1}, {0}	2010-07-16 16:14:15
+	test_vector	net.sourceforge.pebble.domain.BlogEntry:getTitle(.. .)@94: Addr_Set{null}, Inverse{null}	2010-07-22 12:56:56

BlogEntry getBlogEntry(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
-	presumption	blogEntry.blog@161 != null	2010-07-16 16:59:22
-	presumption	getBlogEntry(...)@161 != null	2010-07-16 16:59:22
+	presumption	net.sourceforge.pebble.domain.Blog:getBlogForDay(.. .)@154 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.BlogEntry:getLocalPer malink(...)@164 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@161 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Day:getBlogEntries(.. .)@158 != 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
U	unanalyzed	call on java.lang.Integer:parseInt	2010-07-16 16:14:15
-	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
U	unanalyzed	call on java.lang.String:substring	2010-07-16 16:14:15
-	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.ArrayList	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:getBlogForDay	2010-07-22 12:56:56
-	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(...)@164: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@159: {1}, {0}	2010-07-16 16:14:15

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	blogEntry.blog != null	2010-07-16 16:59:22
-	pre	init'ed(blogEntry.date)	2010-07-16 16:59:22
-	pre	init'ed(blogEntry.title)	2010-07-16 16:59:22
-	presumption	entry.title@76 != null	2010-07-16 16:59:22
-	presumption	getBlogEntry(...)@76 != null	2010-07-16 16:59:22
U	presumption	java.util.List:indexOf(...)@74 - java.util. List:size(...)@74 in -2³²..6_442_450_942	2010-07-16 16:14:15
U	presumption	java.util.List:size(...)@74 >= -2³¹+1	2010-07-16 16:14:15
+	presumption	net.sourceforge.pebble.domain.Blog:getBlogForDay(.. .)@71 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.BlogEntry:getTitle(.. .)@67 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.BlogEntry:getTitle(.. .)@77 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@76 != null	2010-07-22 12:56:56
+	presumption	net.sourceforge.pebble.domain.Day:getBlogEntries(.. .)@72 != null	2010-07-22 12:56:56
U	post	return_value != null	2010-07-16 16:14:15
-	unanalyzed	call on getBlog	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 getTimeZone	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.text.DateFormat:format	2010-07-16 16:14:15
U	unanalyzed	call on java.text.DateFormat:setTimeZone	2010-07-16 16:14:15
U	unanalyzed	call on java.text.SimpleDateFormat	2010-07-16 16:14:15
-	unanalyzed	call on java.util.ArrayList	2010-07-16 16:59:22
+	unanalyzed	call on net.sourceforge.pebble.domain. Blog:getTimeZone	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getBlog	2010-07-22 12:56:56
+	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getDate	2010-07-22 12:56:56
+	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(...)@77: {0}, {1}	2010-07-16 16:14:15
U	test_vector	java.lang.String:length(...)@67: {1.. 2³²-1}, {0}	2010-07-16 16:14:15
+	test_vector	net.sourceforge.pebble.domain.BlogEntry:getTitle(.. .)@67: Addr_Set{null}, Inverse{null}	2010-07-22 12:56:56

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

void net.sourceforge.pebble.permalink.TitlePermalinkProvider()

-/+	Kind	Annotation Text	Date

net.sourceforge.pebble.permalink.TitlePermalinkProvider__static_init

-/+	Kind	Annotation Text	Date