Messages

method | net.sourceforge.pebble.plugins.PluginLocator$2__ static_init

method | net.sourceforge.pebble.plugins.PluginLocator__ static_init
post | PLUGIN_CONFIG_TYPES == &new HashMap(PluginLocat or__static_init#1)
post | init'ed(log)
post | new HashMap(PluginLocator__static_init#1) num objects == 1

method | net.sourceforge.pebble.plugins.PluginLocator$1__ static_init

method | void net.sourceforge.pebble.plugins. PluginLocator$2(List)
post | this.val$installedPlugins == Param_1
post | init'ed(this.val$installedPlugins)

method | int compare(Object, Object)
pre | Param_0.val$installedPlugins != null
pre | Param_1 != null
pre | Param_2 != null
pre | (soft) Param_2.weight - Param_1.weight in -232+1..231
post | init'ed(return_value)
unanalyzed | call on java.util.List:indexOf

method | int compare(Object, Object)
pre | Param_1 != null
pre | Param_2 != null
pre | Param_2.weight - Param_1.weight in -232+1.. 231
post | return_value == -(Param_2.weight - Param_1.weight)
post | init'ed(return_value)

method | void net.sourceforge.pebble.plugins. PluginLocator()

| info | method not available | -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method | AvailablePlugins locateAvailablePlugins()
pre | init'ed(availablePlugins)
presumption | java.lang.Class:getClassLoader(...)@73 != null
presumption | java.lang.ClassLoader:getResources(...)@73 != null
presumption | java.util.Enumeration:nextElement(...)@75 != null
presumption | java.util.Map:values(...)@82 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@52 != null
post | availablePlugins == One-of{old availablePlugins, &new AvailablePlugins(locateAvailablePlugins#3 )}
post | availablePlugins != null
post | return_value == availablePlugins
post | new AvailablePlugins(locateAvailablePlugins#3) num objects <= 1
post | new AvailablePlugins(locateAvailablePlugins#3). plugins == &new HashMap(locateAvailablePlugins# 1)
post | new HashMap(locateAvailablePlugins#1) num objects <= 1
unanalyzed | call on java.util.Map:put
unanalyzed | call on java.util.ArrayList
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
test_vector | availablePlugins: Inverse{null}, Addr_Set{null}
test_vector | java.util.Iterator:hasNext(...)@82: {1}, {0}

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method | void net.sourceforge.pebble.plugins. PluginLocator$1()

method | int compare(Plugin, Plugin)
pre | o1 != null
pre | o2 != null
pre | o2.weight - o1.weight in -232+1.. 231
post | return_value == -(o2.weight - o1.weight)
post | init'ed(return_value)

method | AvailablePlugins getAvailablePluginsSortedForBlog( Blog)
pre | blog != null
pre | init'ed(availablePlugins)
presumption | locateAvailablePlugins(...).plugins != null
post | availablePlugins == One-of{old availablePlugins, &new AvailablePlugins(locateAvailablePlugins#3 )}
post | availablePlugins != null
post | return_value == &new AvailablePlugins(getAvaila blePluginsSortedForBlog#1)
post | new AvailablePlugins(getAvailablePluginsSortedForBl og#1) num objects == 1
post | new HashMap(copyMap#1) num objects == 1
post | return_value.plugins == &new HashMap(copyMap#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)
unanalyzed | call on java.util.HashMap
unanalyzed | call on java.util.Map:put
unanalyzed | call on java.util.ArrayList
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.Collections:sort
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

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

method | List sortPlugins(List, List)
post | return_value == One-of{null, plugins}
post | init'ed(return_value)
test_vector | plugins: Inverse{null}, Addr_Set{null}

method | int compare(Plugin, Plugin)
pre | plugin1 != null
pre | plugin2 != null
pre | this.val$installedPlugins != null
pre | (soft) plugin2.weight - plugin1.weight in -232+1..231
presumption | java.util.List:indexOf(...)@113 - java.util. List:indexOf(...)@112 in {-6_442_450_943.. 231, 232..6_442_450_943}
post | init'ed(return_value)
test_vector | java.util.List:indexOf(...)@112: {-231.. -1}, {0..232-1}
test_vector | java.util.List:indexOf(...)@113: {-231.. -1}, {0..232-1}
test_vector | java.util.List:indexOf(...)@113 - java.util. List:indexOf(...)@112: {1..231-1}, {-6_442_450_943..-1}

method | void installPlugins(Map, URL)
pre | (soft) plugins != null
pre | (soft) resource != null
presumption | java.lang.Iterable:iterator(...)@142 != null
presumption | java.lang.Thread:currentThread(...)@165 != null
presumption | java.lang.Thread:getContextClassLoader(...)@165 != null
presumption | java.util.Iterator:next(...)@142 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@52 != null
presumption | org.jdom.Document:getRootElement(...)@141 != null
presumption | org.jdom.Element:getChildren(...)@142 != null
presumption | org.jdom.input.SAXBuilder:build(...)@140 != null
unanalyzed | call on java.util.ArrayList
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
test_vector | java.util.Map:get(...)@168: Inverse{null}, Addr_Set{null}
test_vector | org.jdom.Element:getAttributeValue(...)@153: Addr_Set{null}, Inverse{null}
test_vector | org.jdom.Element:getChild(...)@146: Addr_Set{null}, Inverse{null}

| info | method not available | -- call on void org.jdom.input.SAXBuilder()

| info | method not available | -- call on Document org.jdom.input.SAXBuilder:build (InputStream)

| info | method not available | -- call on Element org.jdom.Document:getRootElement ()

| info | method not available | -- call on List org.jdom.Element:getChildren()

| info | method not available | -- call on String org.jdom.Element:getName()

| info | method not available | -- call on String org.jdom.Element:getAttributeValu e(String)

| info | method not available | -- call on Element org.jdom.Element:getChild(String )

| info | method not available | -- call on String org.jdom.Element:getText()

| info | method not available | -- call on String org.jdom.Element:getAttributeValu e(String)

| info | method not available | -- call on String org.jdom.Element:getAttributeValu e(String)

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object)

| info | method not available | -- call on void org.apache.commons.logging. Log:debug(Object)

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object)

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method | Collection parsePluginConfig(Element)
pre | element != null
presumption | java.lang.Iterable:iterator(...)@191 != null
presumption | java.lang.Iterable:iterator(...)@208 != null
presumption | java.util.Iterator:next(...)@191 != null
presumption | java.util.Iterator:next(...)@208 != null
presumption | org.jdom.Element:getChildren(...)@191 != null
presumption | org.jdom.Element:getChildren(...)@208 != null
post | return_value == &new ArrayList(parsePluginConfi g#1)
post | new ArrayList(parsePluginConfig#1) num objects == 1
test_vector | java.util.Iterator:hasNext(...)@191: {1}, {0}
test_vector | java.util.Iterator:hasNext(...)@208: {1}, {0}
test_vector | org.jdom.Element:getAttributeValue(...)@196: Inverse{null}, Addr_Set{null}

| info | method not available | -- call on List org.jdom.Element:getChildren(String )

| info | method not available | -- call on String org.jdom.Element:getAttributeValu e(String)

| info | method not available | -- call on String org.jdom.Element:getAttributeValu e(String)

| info | method not available | -- call on String org.jdom.Element:getAttributeValu e(String)

| info | method not available | -- call on String org.jdom.Element:getAttributeValu e(String)

| info | method not available | -- call on List org.jdom.Element:getChildren()

| info | method not available | -- call on String org.jdom.Element:getName()
| info | method not available | -- call on String org.jdom.Element:getText()