PluginClassLoader.java

PluginClassLoader.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.plugins.PluginClassLoader(PluginInfo)

Kind	Annotation Text
post	init'ed(this.pluginInfo)
post	this.pluginInfo == info

void com.dmdirc.plugins.PluginClassLoader(PluginInfo, PluginClassLoader)

Kind	Annotation Text
post	init'ed(this.pluginInfo)
post	this.pluginInfo == info

com.dmdirc.plugins.PluginClassLoader__static_init

Kind	Annotation Text

PluginClassLoader getSubClassLoader(PluginInfo)

Kind	Annotation Text
post	init'ed(return_value.pluginInfo)
post	new PluginClassLoader(getSubClassLoader#1) num objects == 1
post	return_value == &new PluginClassLoader(getSubCl assLoader#1)
post	return_value.pluginInfo == info
unanalyzed	call on java.lang.ClassLoader

bool isClassLoaded(String, bool)

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/plugins/GlobalClassLoader .me)
post	com/dmdirc/plugins/GlobalClassLoader.me == One-of{old com/dmdirc/plugins/GlobalClassLoader. me, &new GlobalClassLoader(getGlobalClassLoader #1)}
post	init'ed(com/dmdirc/plugins/GlobalClassLoader.me)
post	init'ed(new GlobalClassLoader(getGlobalClassLoader# 1).resourcesList)
post	init'ed(return_value)
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects <= 1
post	new HashMap(GlobalClassLoader#1) num objects <= 1
unanalyzed	call on com.dmdirc.plugins.GlobalClassLoader:findLo adedClass
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.util.HashMap

Class loadClass(String)

Kind	Annotation Text
pre	(soft) com/dmdirc/plugins/GlobalClassLoader.me != null
pre	(soft) com/dmdirc/plugins/GlobalClassLoader.me. resourcesList != null
pre	(soft) init'ed(this.pluginInfo.metaData)
pre	(soft) init'ed(this.pluginInfo.myResourceManager)
pre	(soft) name != null
pre	(soft) this.pluginInfo != null
pre	(soft) this.pluginInfo.url != null
post	init'ed(com/dmdirc/plugins/GlobalClassLoader.me)
post	init'ed(new GlobalClassLoader(getGlobalClassLoader# 1).resourcesList)
post	init'ed(return_value)
post	init'ed(this.pluginInfo.myResourceManager)
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == 0
post	new HashMap(GlobalClassLoader#1) num objects == 0
unanalyzed	call on com.dmdirc.plugins.GlobalClassLoader:define Class
unanalyzed	call on com.dmdirc.plugins.GlobalClassLoader:findLo adedClass
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:define Class
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:findLo adedClass
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:getPar ent
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:resolv eClass
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceBytes
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWith
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceExists
unanalyzed	call on getClassList
unanalyzed	call on getFullFilename
unanalyzed	call on getName
unanalyzed	call on getPersistentClasses
unanalyzed	call on getPluginClassLoader
unanalyzed	call on getPluginInfos
unanalyzed	call on getPluginManager
unanalyzed	call on getResourceManager
unanalyzed	call on isPersistent
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.lang.ClassLoader:loadClass
unanalyzed	call on java.lang.ClassNotFoundException
unanalyzed	call on java.lang.NoClassDefFoundError:getMessage
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.String:replace
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask
unanalyzed	call on loadClass

Class loadClass(String, bool)

Kind	Annotation Text
pre	(soft) com/dmdirc/plugins/GlobalClassLoader.me != null
pre	(soft) com/dmdirc/plugins/GlobalClassLoader.me. resourcesList != null
pre	(soft) init'ed(this.pluginInfo.metaData)
pre	(soft) init'ed(this.pluginInfo.myResourceManager)
pre	(soft) name != null
pre	(soft) this.pluginInfo != null
pre	(soft) this.pluginInfo.url != null
presumption	com.dmdirc.plugins.PluginClassLoader:defineClass(.. .)@156 != null
presumption	com.dmdirc.plugins.PluginClassLoader:getParent(... ).pluginInfo.url@103 != null
presumption	com.dmdirc.plugins.PluginClassLoader:getParent(... ).pluginInfo@103 != null
presumption	com.dmdirc.plugins.PluginClassLoader:getParent(... )@103 != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourceBytes(...)@147 != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:res ourceExists(...)@146 == 1
presumption	com/dmdirc/plugins/GlobalClassLoader.me. resourcesList@103 != null
presumption	data.length@147 <= 2³²-1
post	init'ed(com/dmdirc/plugins/GlobalClassLoader.me)
post	init'ed(new GlobalClassLoader(getGlobalClassLoader# 1).resourcesList)
post	init'ed(return_value)
post	init'ed(this.pluginInfo.myResourceManager)
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects <= 1
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == 0
post	new HashMap(GlobalClassLoader#1) num objects <= 1
post	new HashMap(GlobalClassLoader#1) num objects == 0
post	possibly_updated(new GlobalClassLoader(getGlobalCla ssLoader#1).resourcesList)
unanalyzed	call on com.dmdirc.plugins.GlobalClassLoader:define Class
unanalyzed	call on com.dmdirc.plugins.GlobalClassLoader:findLo adedClass
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:define Class
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:findLo adedClass
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:getPar ent
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:resolv eClass
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceBytes
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWith
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceExists
unanalyzed	call on getClassList
unanalyzed	call on getFullFilename
unanalyzed	call on getName
unanalyzed	call on getPersistentClasses
unanalyzed	call on getPluginClassLoader
unanalyzed	call on getPluginInfos
unanalyzed	call on getPluginManager
unanalyzed	call on getResourceManager
unanalyzed	call on isPersistent
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.lang.ClassLoader:loadClass
unanalyzed	call on java.lang.ClassNotFoundException
unanalyzed	call on java.lang.NoClassDefFoundError:getMessage
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.String:replace
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask
unanalyzed	call on loadClass
test_vector	askGlobal: {0}, {1}
test_vector	com.dmdirc.util.resourcemanager.ResourceManager:res ourceExists(...)@121: {1}, {0}