pluginlocator.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + int compare(Object, Object)

    • -/+ Kind Annotation Text Date
    +preParam_1 != null2010-07-22 12:56:56
    +preParam_2 != null2010-07-22 12:56:56
    +preParam_2.weight - Param_1.weight in -232+1.. 2312010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +postreturn_value == -(Param_2.weight - Param_1.weight)2010-07-22 12:56:56

  • + int compare(Object, Object)

    • -/+ Kind Annotation Text Date
    +pre(soft) Param_2.weight - Param_1.weight in -232+1..2312010-07-22 12:56:56
    +preParam_0.val$installedPlugins != null2010-07-22 12:56:56
    +preParam_1 != null2010-07-22 12:56:56
    +preParam_2 != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:indexOf2010-07-22 12:56:56

  • + int compare(Plugin, Plugin)

    • -/+ Kind Annotation Text Date
    +pre(soft) plugin2.weight - plugin1.weight in -232+1..2312010-07-22 12:56:56
    +preplugin1 != null2010-07-22 12:56:56
    +preplugin2 != null2010-07-22 12:56:56
    +prethis.val$installedPlugins != null2010-07-22 12:56:56
    +presumptionjava.util.List:indexOf(...)@113 - java.util. List:indexOf(...)@112 in {-6_442_450_943.. 231, 232..6_442_450_943}2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +test_vectorjava.util.List:indexOf(...)@112: {-231.. -1}, {0..232-1}2010-07-22 12:56:56
    +test_vectorjava.util.List:indexOf(...)@113 - java.util. List:indexOf(...)@112: {1..231-1}, {-6_442_450_943..-1}2010-07-22 12:56:56
    +test_vectorjava.util.List:indexOf(...)@113: {-231.. -1}, {0..232-1}2010-07-22 12:56:56

  • + int compare(Plugin, Plugin)

    • -/+ Kind Annotation Text Date
    +preo1 != null2010-07-22 12:56:56
    +preo2 != null2010-07-22 12:56:56
    +preo2.weight - o1.weight in -232+1.. 2312010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +postreturn_value == -(o2.weight - o1.weight)2010-07-22 12:56:56

  • AvailablePlugins getAvailablePluginsSortedForBlog(Blog)

    • -/+ Kind Annotation Text Date
    +preblog != null2010-07-22 12:56:56
    +preinit'ed(availablePlugins)2010-07-22 12:56:56
    +presumptionlocateAvailablePlugins(...).plugins != null2010-07-22 12:56:56
    +postavailablePlugins != null2010-07-22 12:56:56
    +postavailablePlugins == One-of{old availablePlugins, &new AvailablePlugins(locateAvailablePlugins#3 )}2010-07-22 12:56:56
    +postnew AvailablePlugins(getAvailablePluginsSortedForBl og#1) num objects == 12010-07-22 12:56:56
    +postnew AvailablePlugins(locateAvailablePlugins#3) num objects <= 12010-07-22 12:56:56
    +postnew AvailablePlugins(locateAvailablePlugins#3). plugins == &new HashMap(locateAvailablePlugins# 1)2010-07-22 12:56:56
    +postnew HashMap(copyMap#1) num objects == 12010-07-22 12:56:56
    +postnew HashMap(locateAvailablePlugins#1) num objects == new AvailablePlugins(locateAvailablePlugins#3) num objects2010-07-22 12:56:56
    +postreturn_value == &new AvailablePlugins(getAvaila blePluginsSortedForBlog#1)2010-07-22 12:56:56
    +postreturn_value.plugins == &new HashMap(copyMap#1) 2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Boolean:parseBoolean2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Class:getClassLoader2010-07-22 12:56:56
    +unanalyzedcall on java.lang.ClassLoader:getResources2010-07-22 12:56:56
    +unanalyzedcall on java.lang.ClassLoader:loadClass2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Integer:parseInt2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Iterable:iterator2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Thread:currentThread2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Thread:getContextClassLoader2010-07-22 12:56:56
    +unanalyzedcall on java.net.URL:openStream2010-07-22 12:56:56
    +unanalyzedcall on java.util.ArrayList2010-07-22 12:56:56
    +unanalyzedcall on java.util.Collection:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.Collection:iterator2010-07-22 12:56:56
    +unanalyzedcall on java.util.Collections:sort2010-07-22 12:56:56
    +unanalyzedcall on java.util.Enumeration:hasMoreElements2010-07-22 12:56:56
    +unanalyzedcall on java.util.Enumeration:nextElement2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashMap2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map$Entry:getKey2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map$Entry:getValue2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:entrySet2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:put2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:values2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:setProperty2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:iterator2010-07-22 12:56:56
    +unanalyzedcall on org.apache.commons.logging.Log:debug2010-07-22 12:56:56
    +unanalyzedcall on org.apache.commons.logging.Log:error2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Document:getRootElement2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Element:getAttributeValue2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Element:getChild2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Element:getChildren2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Element:getName2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Element:getText2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.input.SAXBuilder2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.input.SAXBuilder:build2010-07-22 12:56:56

  • void installPlugins(Map, URL)

    • -/+ Kind Annotation Text Date
    +pre(soft) plugins != null2010-07-22 12:56:56
    +pre(soft) resource != null2010-07-22 12:56:56
    +presumptionjava.lang.Iterable:iterator(...)@142 != null2010-07-22 12:56:56
    +presumptionjava.lang.Thread:currentThread(...)@165 != null2010-07-22 12:56:56
    +presumptionjava.lang.Thread:getContextClassLoader(...)@165 != null2010-07-22 12:56:56
    +presumptionjava.util.Iterator:next(...)@142 != null2010-07-22 12:56:56
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@52 != null2010-07-22 12:56:56
    +presumptionorg.jdom.Document:getRootElement(...)@141 != null2010-07-22 12:56:56
    +presumptionorg.jdom.Element:getChildren(...)@142 != null2010-07-22 12:56:56
    +presumptionorg.jdom.input.SAXBuilder:build(...)@140 != null2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Boolean:parseBoolean2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Iterable:iterator2010-07-22 12:56:56
    +unanalyzedcall on java.util.ArrayList2010-07-22 12:56:56
    +unanalyzedcall on java.util.Collection:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:setProperty2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Element:getAttributeValue2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Element:getChildren2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Element:getName2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Element:getText2010-07-22 12:56:56
    +test_vectorjava.util.Map:get(...)@168: Inverse{null}, Addr_Set{null}2010-07-22 12:56:56
    +test_vectororg.jdom.Element:getAttributeValue(...)@153: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectororg.jdom.Element:getChild(...)@146: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • AvailablePlugins locateAvailablePlugins()

    • -/+ Kind Annotation Text Date
    +preinit'ed(availablePlugins)2010-07-22 12:56:56
    +presumptionjava.lang.Class:getClassLoader(...)@73 != null2010-07-22 12:56:56
    +presumptionjava.lang.ClassLoader:getResources(...)@73 != null2010-07-22 12:56:56
    +presumptionjava.util.Enumeration:nextElement(...)@75 != null2010-07-22 12:56:56
    +presumptionjava.util.Map:values(...)@82 != null2010-07-22 12:56:56
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@52 != null2010-07-22 12:56:56
    +postavailablePlugins != null2010-07-22 12:56:56
    +postavailablePlugins == One-of{old availablePlugins, &new AvailablePlugins(locateAvailablePlugins#3 )}2010-07-22 12:56:56
    +postnew AvailablePlugins(locateAvailablePlugins#3) num objects <= 12010-07-22 12:56:56
    +postnew AvailablePlugins(locateAvailablePlugins#3). plugins == &new HashMap(locateAvailablePlugins# 1)2010-07-22 12:56:56
    +postnew HashMap(locateAvailablePlugins#1) num objects <= 12010-07-22 12:56:56
    +postreturn_value == availablePlugins2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Boolean:parseBoolean2010-07-22 12:56:56
    +unanalyzedcall on java.lang.ClassLoader:loadClass2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Integer:parseInt2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Iterable:iterator2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Thread:currentThread2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Thread:getContextClassLoader2010-07-22 12:56:56
    +unanalyzedcall on java.net.URL:openStream2010-07-22 12:56:56
    +unanalyzedcall on java.util.ArrayList2010-07-22 12:56:56
    +unanalyzedcall on java.util.Collection:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.List:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:get2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:put2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:setProperty2010-07-22 12:56:56
    +unanalyzedcall on org.apache.commons.logging.Log:debug2010-07-22 12:56:56
    +unanalyzedcall on org.apache.commons.logging.Log:error2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Document:getRootElement2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Element:getAttributeValue2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Element:getChild2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Element:getChildren2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Element:getName2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.Element:getText2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.input.SAXBuilder2010-07-22 12:56:56
    +unanalyzedcall on org.jdom.input.SAXBuilder:build2010-07-22 12:56:56
    +test_vectoravailablePlugins: Inverse{null}, Addr_Set{null}2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@82: {1}, {0}2010-07-22 12:56:56

  • + void net.sourceforge.pebble.plugins.PluginLocator$1()

    • -/+ Kind Annotation Text Date

  • + net.sourceforge.pebble.plugins.PluginLocator$1__static_init

    • -/+ Kind Annotation Text Date

  • + void net.sourceforge.pebble.plugins.PluginLocator$2(List)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.val$installedPlugins)2010-07-22 12:56:56
    +postthis.val$installedPlugins == Param_12010-07-22 12:56:56

  • + net.sourceforge.pebble.plugins.PluginLocator$2__static_init

    • -/+ Kind Annotation Text Date

  • void net.sourceforge.pebble.plugins.PluginLocator()

    • -/+ Kind Annotation Text Date

  • net.sourceforge.pebble.plugins.PluginLocator__static_init

    • -/+ Kind Annotation Text Date
    +postPLUGIN_CONFIG_TYPES == &new HashMap(PluginLocat or__static_init#1)2010-07-22 12:56:56
    +postinit'ed(log)2010-07-22 12:56:56
    +postnew HashMap(PluginLocator__static_init#1) num objects == 12010-07-22 12:56:56

  • - Collection parsePluginConfig(Element)

    • -/+ Kind Annotation Text Date

  • + Collection parsePluginConfig(Element)

    • -/+ Kind Annotation Text Date
    +preelement != null2010-07-22 12:56:56
    +presumptionjava.lang.Iterable:iterator(...)@191 != null2010-07-22 12:56:56
    +presumptionjava.lang.Iterable:iterator(...)@208 != null2010-07-22 12:56:56
    +presumptionjava.util.Iterator:next(...)@191 != null2010-07-22 12:56:56
    +presumptionjava.util.Iterator:next(...)@208 != null2010-07-22 12:56:56
    +presumptionorg.jdom.Element:getChildren(...)@191 != null2010-07-22 12:56:56
    +presumptionorg.jdom.Element:getChildren(...)@208 != null2010-07-22 12:56:56
    +postnew ArrayList(parsePluginConfig#1) num objects == 12010-07-22 12:56:56
    +postreturn_value == &new ArrayList(parsePluginConfi g#1)2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@191: {1}, {0}2010-07-22 12:56:56
    +test_vectorjava.util.Iterator:hasNext(...)@208: {1}, {0}2010-07-22 12:56:56
    +test_vectororg.jdom.Element:getAttributeValue(...)@196: Inverse{null}, Addr_Set{null}2010-07-22 12:56:56

  • List sortPlugins(List, List)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2010-07-22 12:56:56
    +postreturn_value == One-of{null, plugins}2010-07-22 12:56:56
    +test_vectorplugins: Inverse{null}, Addr_Set{null}2010-07-22 12:56:56