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 -2³²+1..2³¹
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 -2³²+1.. 2³¹
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 -2³²+1.. 2³¹
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 -2³²+1..2³¹
presumption	java.util.List:indexOf(...)@113 - java.util. List:indexOf(...)@112 in {-6_442_450_943.. 2³¹, 2³²..6_442_450_943}
post	init'ed(return_value)
test_vector	java.util.List:indexOf(...)@112: {-2³¹.. -1}, {0..2³²-1}
test_vector	java.util.List:indexOf(...)@113: {-2³¹.. -1}, {0..2³²-1}
test_vector	java.util.List:indexOf(...)@113 - java.util. List:indexOf(...)@112: {1..2³¹-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 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)

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

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