Messages

method

net.sourceforge.pebble.decorator.ContentDecoratorC hain__static_init

method	void net.sourceforge.pebble.decorator. ContentDecoratorChain(Blog)
post	this.blog == blog
post	init'ed(this.blog)
post	this.decorators == &new ArrayList(ContentDecora torChain#1)
post	new ArrayList(ContentDecoratorChain#1) num objects == 1

method	void add(ContentDecorator)
pre	this.decorators != null

method	List getContentDecorators()
pre	init'ed(this.decorators)
post	return_value == &new ArrayList(getContentDecora tors#1)
post	new ArrayList(getContentDecorators#1) num objects == 1

method	void decorate(ContentDecoratorContext, BlogEntry)
pre	context != null
pre	this.decorators != null
pre	(soft) blogEntry != null
presumption	java.util.Iterator:next(...)@85 != null
unanalyzed	call on java.util.List:iterator
test_vector	java.util.Iterator:hasNext(...)@85: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@91: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@95: {1}, {0}
pre	(soft) blogEntry.comments != null
pre	(soft) init'ed(blogEntry.trackBacks)
pre	(soft) init'ed(context.view)
presumption	blogEntry.comments@86 != null
unanalyzed	call on decorate
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:start
unanalyzed	call on java.util.regex.Matcher:end
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on getBody
unanalyzed	call on setBody
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformToHTMLSubset
unanalyzed	call on getAuthor
unanalyzed	call on setAuthor
unanalyzed	call on getWebsite
unanalyzed	call on setWebsite
unanalyzed	call on getEmail
unanalyzed	call on setEmail
unanalyzed	call on getTitle
unanalyzed	call on setTitle
unanalyzed	call on getExcerpt
unanalyzed	call on setExcerpt
unanalyzed	call on getBlogName
unanalyzed	call on setBlogName
unanalyzed	call on getUrl
unanalyzed	call on setUrl
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle
unanalyzed	call on java.util.List:add
unanalyzed	call on getComments
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:addAll

info call too complex - analysis skipped -- call on void decorate(ContentDecoratorContext, BlogEntry)

method	void decorate(ContentDecoratorContext, Comment)
pre	this.decorators != null
presumption	java.util.Iterator:next(...)@108 != null
test_vector	java.util.Iterator:hasNext(...)@108: {1}, {0}
post	possibly_updated(comment.author)
post	possibly_updated(comment.body)
post	possibly_updated(comment.email)
post	possibly_updated(comment.title)
post	possibly_updated(comment.website)
unanalyzed	call on java.util.List:iterator
unanalyzed	call on decorate
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:start
unanalyzed	call on java.util.regex.Matcher:end
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on getBody
unanalyzed	call on setBody
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformToHTMLSubset
unanalyzed	call on getAuthor
unanalyzed	call on setAuthor
unanalyzed	call on getWebsite
unanalyzed	call on setWebsite
unanalyzed	call on getEmail
unanalyzed	call on setEmail
unanalyzed	call on getTitle
unanalyzed	call on setTitle
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle

info method not available -- call on void decorate(ContentDecoratorContext, Comment)

method	void decorate(ContentDecoratorContext, TrackBack)
pre	this.decorators != null
presumption	java.util.Iterator:next(...)@120 != null
test_vector	java.util.Iterator:hasNext(...)@120: {1}, {0}
post	possibly_updated(trackBack.blogName)
post	possibly_updated(trackBack.excerpt)
post	possibly_updated(trackBack.title)
post	possibly_updated(trackBack.url)
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:start
unanalyzed	call on java.util.regex.Matcher:end
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformToHTMLSubset
unanalyzed	call on decorate
unanalyzed	call on getExcerpt
unanalyzed	call on setExcerpt
unanalyzed	call on getBlogName
unanalyzed	call on setBlogName
unanalyzed	call on getUrl
unanalyzed	call on setUrl
unanalyzed	call on getTitle
unanalyzed	call on setTitle

info method not available -- call on void decorate(ContentDecoratorContext, TrackBack)

method	void decorate(ContentDecoratorContext, StaticPage)
pre	this.decorators != null
presumption	java.util.Iterator:next(...)@132 != null
test_vector	java.util.Iterator:hasNext(...)@132: {1}, {0}

info call too complex - analysis skipped -- call on void decorate(ContentDecoratorContext, StaticPage)

method	Blog getBlog()
pre	init'ed(this.blog)
post	return_value == this.blog
post	init'ed(return_value)

method	void setBlog(Blog)
post	this.blog == blog
post	init'ed(this.blog)

method	List getDecorators()
pre	init'ed(this.decorators)
post	return_value == &new ArrayList(getDecorators#1)
post	new ArrayList(getDecorators#1) num objects == 1

method	void decorate(ContentDecoratorContext, List)
pre	(soft) context != null
presumption	java.util.Iterator:next(...)@173 != null
unanalyzed	call on java.util.List:iterator
test_vector	blogEntries: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@172: {1}, {0}
pre	(soft) init'ed(context.view)
presumption	blogEntry.blog@173 != null
presumption	blogEntry.comments@173 != null
presumption	getBlog(...).decoratorChain@173 != null
presumption	getContentDecoratorChain(...).decorators@173 != null
unanalyzed	call on decorate
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:start
unanalyzed	call on java.util.regex.Matcher:end
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on getBody
unanalyzed	call on setBody
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:filterHTML
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformHTML
unanalyzed	call on net.sourceforge.pebble.util. StringUtils:transformToHTMLSubset
unanalyzed	call on getAuthor
unanalyzed	call on setAuthor
unanalyzed	call on getWebsite
unanalyzed	call on setWebsite
unanalyzed	call on getEmail
unanalyzed	call on setEmail
unanalyzed	call on getTitle
unanalyzed	call on setTitle
unanalyzed	call on getExcerpt
unanalyzed	call on setExcerpt
unanalyzed	call on getBlogName
unanalyzed	call on setBlogName
unanalyzed	call on getUrl
unanalyzed	call on setUrl
unanalyzed	call on getComments
unanalyzed	call on getTrackBacks
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on net.sourceforge.pebble.domain. BlogEntry:getTitle
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:addAll