method

net.sourceforge.pebble.decorator.StaticPageTagsDec orator__static_init

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

method	void decorate(ContentDecoratorContext, StaticPage)
pre	context != null
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getBaseUrl
unanalyzed	call on net.sourceforge.pebble.util. I18n:getMessage
unanalyzed	call on java.lang.String:equals
test_vector	java.lang.String:length(...)@27: {0}, {1..232-1}
pre	init'ed(context.media)
pre	init'ed(staticPage.body)
pre	(soft) staticPage != null
pre	(soft) init'ed(staticPage.blog)
pre	(soft) staticPage.propertyChangeSupport != null
pre	(soft) init'ed(staticPage.tagsAsList)
post	init'ed(staticPage.body)
unanalyzed	call on getBlog
unanalyzed	call on getUrl
unanalyzed	call on getAllTags
unanalyzed	call on getName
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.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.beans.PropertyChangeSupport:fireProper tyChange
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed	call on java.util.List:addAll
unanalyzed	call on net.sourceforge.pebble.PebbleContext:getCon figuration
test_vector	staticPage.body: Addr_Set{null}, Inverse{null}
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring

method	String getBaseUrl(PageBasedContent)
pre	content != null
post	return_value != null
pre	content.blog != null
pre	(soft) init'ed(content.blog.id)
pre	(soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre	(soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
unanalyzed	call on java.lang.String:valueOf
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