method

net.sourceforge.pebble.decorator.EntryToPdfDecorat or__static_init

method

void net.sourceforge.pebble.decorator. EntryToPdfDecorator()

method	void decorate(ContentDecoratorContext, BlogEntry)
pre	blogEntry != null
test_vector	java.lang.String:length(...)@30: {0}, {1..232-1}
pre	init'ed(blogEntry.body)
pre	(soft) blogEntry.blog != null
pre	(soft) init'ed(blogEntry.id)
pre	(soft) blogEntry.propertyChangeSupport != null
pre	(soft) init'ed(blogEntry.subtitle)
pre	(soft) init'ed(blogEntry.title)
post	init'ed(blogEntry.body)
unanalyzed	call on getTitle
unanalyzed	call on getSubtitle
unanalyzed	call on getBlog
unanalyzed	call on getUrl
pre	(soft) init'ed(blogEntry.blog.id)
unanalyzed	call on getId
unanalyzed	call on java.beans.PropertyChangeSupport:fireProper tyChange
test_vector	blogEntry.body: Addr_Set{null}, Inverse{null}
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

method	String generateDecorationHtml(BlogEntry)
pre	blogEntry != null
post	return_value != null
pre	blogEntry.blog != null
pre	init'ed(blogEntry.id)
pre	init'ed(blogEntry.subtitle)
pre	init'ed(blogEntry.title)
pre	(soft) init'ed(blogEntry.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