| 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 |