Messages

method | net.sourceforge.pebble.decorator.AbstractTagsDecor ator__static_init

method | void net.sourceforge.pebble.decorator. AbstractTagsDecorator(String, bool)
post | this.resourceKey == resourceKey
post | init'ed(this.resourceKey)
post | this.target == One-of{&" target="_blank"", &""}
post | this.target in Addr_Set{&"",&" target="_blank""}

method | void net.sourceforge.pebble.decorator. AbstractTagsDecorator()
post | this.resourceKey == &"tag.tags"
post | this.target == &""

method | String generateDecorationHtml(ContentDecoratorCont ext, PageBasedContent)
pre | context != null
pre | (soft) content != null
presumption | java.util.Iterator:next(...)@56 != null
post | return_value != null
unanalyzed | call on java.lang.String:valueOf
test_vector | java.lang.String:equals(...)@58: {1}, {0}
test_vector | java.util.Iterator:hasNext(...)@49: {0}, {1}
test_vector | java.util.Iterator:hasNext(...)@54: {1}, {0}
test_vector | java.util.Iterator:hasNext(...)@68: {0}, {1}
pre | init'ed(context.media)
pre | (soft) init'ed(content.blog)
pre | (soft) init'ed(content.tagsAsList)
unanalyzed | call on getBlog
unanalyzed | call on getUrl
unanalyzed | call on getTagsAsList
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on java.util.HashSet
unanalyzed | call on java.util.List:add
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.Set:iterator
unanalyzed | call on java.util.List:contains
unanalyzed | call on java.util.Set:size
unanalyzed | call on java.util.Collections:reverse
unanalyzed | call on getRootCategory
unanalyzed | call on java.util.List:addAll
test_vector | context.media: {-231..-1, 1..232-1}, {0}
test_vector | tag.name@56: Addr_Set{null}, Inverse{null}
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring

| info | method not available | -- call on List getAllTags()

| info | method not available | -- call on String getBaseUrl(PageBasedContent)

| info | method not available | -- call on String net.sourceforge.pebble.util. I18n:getMessage(Blog, String)