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