Messages

method | net.sourceforge.pebble.web.action.ViewPluginsActio n__static_init

method | void net.sourceforge.pebble.web.action. ViewPluginsAction()

method | View process(HttpServletRequest, HttpServletRespon se)
pre | init'ed(net/sourceforge/pebble/plugins/PluginLocato r.availablePlugins)
pre | this.model != null
pre | this.model.data != null
presumption | java.util.HashMap:get(...)@63 != null
presumption | net.sourceforge.pebble.domain.Blog:getPluginPropert ies(...).properties@61 != null
presumption | net.sourceforge.pebble.domain.Blog:getPluginPropert ies(...)@60 != null
presumption | net.sourceforge.pebble.domain.Blog:getPluginPropert ies(...)@61 != null
post | net/sourceforge/pebble/plugins/PluginLocator. availablePlugins == One-of{old net/sourceforge/pebb le/plugins/PluginLocator.availablePlugins, &new AvailablePlugins(locateAvailablePlugins#3 )}
post | net/sourceforge/pebble/plugins/PluginLocator. availablePlugins != null
post | return_value == &new PluginsView(process#1)
post | new AvailablePlugins(locateAvailablePlugins#3) num objects <= 1
post | new HashMap(locateAvailablePlugins#1) num objects == new AvailablePlugins(locateAvailablePlugins#3) num objects
post | new AvailablePlugins(locateAvailablePlugins#3). plugins == &new HashMap(locateAvailablePlugins# 1)
post | new PluginsView(process#1) num objects == 1
unanalyzed | call on java.util.HashMap:get
unanalyzed | call on java.util.HashMap:put
unanalyzed | call on java.util.Properties:keySet
unanalyzed | call on java.util.ArrayList
unanalyzed | call on java.util.Collections:sort
unanalyzed | call on java.util.List:iterator
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.System:getProperty
unanalyzed | call on java.util.HashMap
unanalyzed | call on java.util.Map:put
unanalyzed | call on org.jdom.Element:getChildren
unanalyzed | call on java.lang.Iterable:iterator
unanalyzed | call on org.jdom.Element:getAttributeValue
unanalyzed | call on java.lang.Boolean:parseBoolean
unanalyzed | call on java.util.Map:get
unanalyzed | call on java.util.Properties
unanalyzed | call on org.jdom.Element:getName
unanalyzed | call on org.jdom.Element:getText
unanalyzed | call on java.util.Properties:setProperty
unanalyzed | call on java.util.Collection:add
unanalyzed | call on org.jdom.input.SAXBuilder
unanalyzed | call on java.net.URL:openStream
unanalyzed | call on org.jdom.input.SAXBuilder:build
unanalyzed | call on org.jdom.Document:getRootElement
unanalyzed | call on org.jdom.Element:getChild
unanalyzed | call on java.lang.Integer:parseInt
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.lang.Thread:currentThread
unanalyzed | call on java.lang.Thread:getContextClassLoader
unanalyzed | call on java.lang.ClassLoader:loadClass
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on java.util.List:add
unanalyzed | call on java.lang.Class:getClassLoader
unanalyzed | call on java.lang.ClassLoader:getResources
unanalyzed | call on java.util.Enumeration:hasMoreElements
unanalyzed | call on java.util.Enumeration:nextElement
unanalyzed | call on java.util.Map:values
unanalyzed | call on java.util.Collection:iterator
unanalyzed | call on java.util.Map:entrySet
unanalyzed | call on java.util.Set:iterator
unanalyzed | call on java.util.Map$Entry:getKey
unanalyzed | call on java.util.Map$Entry:getValue
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getContentDecorators

| info | method not available | -- call on PluginProperties net.sourceforge.pebble. domain.Blog:getPluginProperties()

| info | method not available | -- call on PluginProperties net.sourceforge.pebble. domain.Blog:getPluginProperties()

| info | method not available | -- call on void net.sourceforge.pebble.web.view. impl.PluginsView()

method | String[] getRoles(HttpServletRequest)
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ ADMIN_ROLE)
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)
post | return_value == &new String[](getRoles#1)
post | new String[](getRoles#1) num objects == 1
post | return_value.length == 2
post | return_value[0] == net.sourceforge.pebble. Constants.BLOG_ADMIN_ROLE
post | (soft) init'ed(return_value[0])
post | return_value[1] == net.sourceforge.pebble. Constants.BLOG_OWNER_ROLE
post | (soft) init'ed(return_value[1])