method

net.sourceforge.pebble.plugins.AvailablePlugins__ static_init

method	Map copyMap()
pre	this.plugins != null
presumption	java.util.Iterator:next(...)@56 != null
presumption	java.util.Map:entrySet(...)@56 != null
post	return_value == &new HashMap(copyMap#1)
post	new HashMap(copyMap#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@56: {1}, {0}

method	void net.sourceforge.pebble.plugins. AvailablePlugins(Map)
post	this.plugins == plugins
post	init'ed(this.plugins)

method	Collection getPermalinkProviders()
pre	this.plugins != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Collections:emptyList
unanalyzed	call on java.util.Collections:unmodifiableCollectio n

method	Collection getContentDecorators()
pre	this.plugins != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Collections:emptyList
unanalyzed	call on java.util.Collections:unmodifiableCollectio n

method	Collection getBlogListeners()
pre	this.plugins != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Collections:emptyList
unanalyzed	call on java.util.Collections:unmodifiableCollectio n

method	Collection getBlogEntryListeners()
pre	this.plugins != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Collections:emptyList
unanalyzed	call on java.util.Collections:unmodifiableCollectio n

method	Collection getCommentListeners()
pre	this.plugins != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Collections:emptyList
unanalyzed	call on java.util.Collections:unmodifiableCollectio n

method	Collection getCommentConfirmationStrategies()
pre	this.plugins != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Collections:emptyList
unanalyzed	call on java.util.Collections:unmodifiableCollectio n

method	Collection getTrackbackListeners()
pre	this.plugins != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Collections:emptyList
unanalyzed	call on java.util.Collections:unmodifiableCollectio n

method	Collection getTrackbackConfirmationStrategies()
pre	this.plugins != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Collections:emptyList
unanalyzed	call on java.util.Collections:unmodifiableCollectio n

method	Collection getLuceneAnalyzers()
pre	this.plugins != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Collections:emptyList
unanalyzed	call on java.util.Collections:unmodifiableCollectio n

method	Collection getLoggers()
pre	this.plugins != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Collections:emptyList
unanalyzed	call on java.util.Collections:unmodifiableCollectio n

method	Collection getEmptyIfNull(String)
pre	this.plugins != null
post	init'ed(return_value)
test_vector	java.util.Map:get(...)@108: Inverse{null}, Addr_Set{null}