Messages

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}