contentdecoratorchain.java

contentdecoratorchain.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 add(ContentDecorator)

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

void decorate(ContentDecoratorContext, List)

-/+	Kind	Annotation Text	Date
U	pre	(soft) context != null	2010-07-16 16:14:15
U	pre	(soft) init'ed(context.view)	2010-07-16 16:14:15
U	presumption	blogEntry.blog@173 != null	2010-07-16 16:14:15
U	presumption	blogEntry.comments@173 != null	2010-07-16 16:14:15
+	presumption	getBlog(...).decoratorChain@173 != null	2010-07-22 12:56:56
+	presumption	getContentDecoratorChain(...).decorators@173 != null	2010-07-22 12:56:56
U	presumption	java.util.Iterator:next(...)@173 != null	2010-07-16 16:14:15
U	unanalyzed	call on decorate	2010-07-16 16:14:15
U	unanalyzed	call on getAuthor	2010-07-16 16:14:15
U	unanalyzed	call on getBlogName	2010-07-16 16:14:15
U	unanalyzed	call on getBody	2010-07-16 16:14:15
U	unanalyzed	call on getComments	2010-07-16 16:14:15
U	unanalyzed	call on getEmail	2010-07-16 16:14:15
U	unanalyzed	call on getExcerpt	2010-07-16 16:14:15
U	unanalyzed	call on getTitle	2010-07-16 16:14:15
U	unanalyzed	call on getTrackBacks	2010-07-16 16:14:15
U	unanalyzed	call on getUrl	2010-07-16 16:14:15
U	unanalyzed	call on getWebsite	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:length	2010-07-16 16:14:15
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.lang.String:toLowerCase	2010-07-16 16:14:15
U	unanalyzed	call on java.util.ArrayList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:addAll	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:iterator	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	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformToHTMLSubset	2010-07-16 16:14:15
U	unanalyzed	call on setAuthor	2010-07-16 16:14:15
U	unanalyzed	call on setBlogName	2010-07-16 16:14:15
U	unanalyzed	call on setBody	2010-07-16 16:14:15
U	unanalyzed	call on setEmail	2010-07-16 16:14:15
U	unanalyzed	call on setExcerpt	2010-07-16 16:14:15
U	unanalyzed	call on setTitle	2010-07-16 16:14:15
U	unanalyzed	call on setUrl	2010-07-16 16:14:15
U	unanalyzed	call on setWebsite	2010-07-16 16:14:15
U	test_vector	blogEntries: Addr_Set{null}, Inverse{null}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@172: {1}, {0}	2010-07-16 16:14:15

void decorate(ContentDecoratorContext, BlogEntry)

-/+	Kind	Annotation Text	Date
U	pre	(soft) blogEntry != null	2010-07-16 16:14:15
U	pre	(soft) blogEntry.comments != null	2010-07-16 16:14:15
U	pre	(soft) init'ed(blogEntry.trackBacks)	2010-07-16 16:14:15
U	pre	(soft) init'ed(context.view)	2010-07-16 16:14:15
U	pre	context != null	2010-07-16 16:14:15
U	pre	this.decorators != null	2010-07-16 16:14:15
U	presumption	blogEntry.comments@86 != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@85 != null	2010-07-16 16:14:15
U	unanalyzed	call on decorate	2010-07-16 16:14:15
U	unanalyzed	call on getAuthor	2010-07-16 16:14:15
U	unanalyzed	call on getBlogName	2010-07-16 16:14:15
U	unanalyzed	call on getBody	2010-07-16 16:14:15
U	unanalyzed	call on getComments	2010-07-16 16:14:15
U	unanalyzed	call on getEmail	2010-07-16 16:14:15
U	unanalyzed	call on getExcerpt	2010-07-16 16:14:15
U	unanalyzed	call on getTitle	2010-07-16 16:14:15
U	unanalyzed	call on getUrl	2010-07-16 16:14:15
U	unanalyzed	call on getWebsite	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:length	2010-07-16 16:14:15
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.lang.String:toLowerCase	2010-07-16 16:14:15
U	unanalyzed	call on java.util.ArrayList	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:add	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:addAll	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:iterator	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	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformToHTMLSubset	2010-07-16 16:14:15
U	unanalyzed	call on setAuthor	2010-07-16 16:14:15
U	unanalyzed	call on setBlogName	2010-07-16 16:14:15
U	unanalyzed	call on setBody	2010-07-16 16:14:15
U	unanalyzed	call on setEmail	2010-07-16 16:14:15
U	unanalyzed	call on setExcerpt	2010-07-16 16:14:15
U	unanalyzed	call on setTitle	2010-07-16 16:14:15
U	unanalyzed	call on setUrl	2010-07-16 16:14:15
U	unanalyzed	call on setWebsite	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@85: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@91: {1}, {0}	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@95: {1}, {0}	2010-07-16 16:14:15

void decorate(ContentDecoratorContext, Comment)

-/+	Kind	Annotation Text	Date
U	pre	this.decorators != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@108 != null	2010-07-16 16:14:15
U	post	possibly_updated(comment.author)	2010-07-16 16:14:15
U	post	possibly_updated(comment.body)	2010-07-16 16:14:15
U	post	possibly_updated(comment.email)	2010-07-16 16:14:15
U	post	possibly_updated(comment.title)	2010-07-16 16:14:15
U	post	possibly_updated(comment.website)	2010-07-16 16:14:15
U	unanalyzed	call on decorate	2010-07-16 16:14:15
U	unanalyzed	call on getAuthor	2010-07-16 16:14:15
U	unanalyzed	call on getBody	2010-07-16 16:14:15
U	unanalyzed	call on getEmail	2010-07-16 16:14:15
U	unanalyzed	call on getTitle	2010-07-16 16:14:15
U	unanalyzed	call on getWebsite	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:length	2010-07-16 16:14:15
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.lang.String:toLowerCase	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:iterator	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	unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformToHTMLSubset	2010-07-16 16:14:15
U	unanalyzed	call on setAuthor	2010-07-16 16:14:15
U	unanalyzed	call on setBody	2010-07-16 16:14:15
U	unanalyzed	call on setEmail	2010-07-16 16:14:15
U	unanalyzed	call on setTitle	2010-07-16 16:14:15
U	unanalyzed	call on setWebsite	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@108: {1}, {0}	2010-07-16 16:14:15

void decorate(ContentDecoratorContext, StaticPage)

-/+	Kind	Annotation Text	Date
U	pre	this.decorators != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@132 != null	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@132: {1}, {0}	2010-07-16 16:14:15

void decorate(ContentDecoratorContext, TrackBack)

-/+	Kind	Annotation Text	Date
U	pre	this.decorators != null	2010-07-16 16:14:15
U	presumption	java.util.Iterator:next(...)@120 != null	2010-07-16 16:14:15
U	post	possibly_updated(trackBack.blogName)	2010-07-16 16:14:15
U	post	possibly_updated(trackBack.excerpt)	2010-07-16 16:14:15
U	post	possibly_updated(trackBack.title)	2010-07-16 16:14:15
U	post	possibly_updated(trackBack.url)	2010-07-16 16:14:15
U	unanalyzed	call on decorate	2010-07-16 16:14:15
U	unanalyzed	call on getBlogName	2010-07-16 16:14:15
U	unanalyzed	call on getExcerpt	2010-07-16 16:14:15
U	unanalyzed	call on getTitle	2010-07-16 16:14:15
U	unanalyzed	call on getUrl	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: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.lang.String:toLowerCase	2010-07-16 16:14:15
U	unanalyzed	call on java.util.List:iterator	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	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML	2010-07-16 16:14:15
U	unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformToHTMLSubset	2010-07-16 16:14:15
U	unanalyzed	call on setBlogName	2010-07-16 16:14:15
U	unanalyzed	call on setExcerpt	2010-07-16 16:14:15
U	unanalyzed	call on setTitle	2010-07-16 16:14:15
U	unanalyzed	call on setUrl	2010-07-16 16:14:15
U	test_vector	java.util.Iterator:hasNext(...)@120: {1}, {0}	2010-07-16 16:14:15

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

List getContentDecorators()

-/+	Kind	Annotation Text	Date
U	pre	init'ed(this.decorators)	2010-07-16 16:14:15
U	post	new ArrayList(getContentDecorators#1) num objects == 1	2010-07-16 16:14:15
U	post	return_value == &new ArrayList(getContentDecora tors#1)	2010-07-16 16:14:15

List getDecorators()

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

void net.sourceforge.pebble.decorator.ContentDecoratorChain(Blog)

-/+	Kind	Annotation Text	Date
U	post	init'ed(this.blog)	2010-07-16 16:14:15
U	post	new ArrayList(ContentDecoratorChain#1) num objects == 1	2010-07-16 16:14:15
U	post	this.blog == blog	2010-07-16 16:14:15
U	post	this.decorators == &new ArrayList(ContentDecora torChain#1)	2010-07-16 16:14:15

net.sourceforge.pebble.decorator.ContentDecoratorChain__static_init

-/+	Kind	Annotation Text	Date

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