GlobalClassLoader.java

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

Kind	Annotation Text
post	new HashMap(GlobalClassLoader#1) num objects == 1
post	this.resourcesList == &new HashMap(GlobalClassL oader#1)

com.dmdirc.plugins.GlobalClassLoader__static_init

Kind	Annotation Text

Class defineClass(String, byte[])

Kind	Annotation Text
pre	data != null
pre	data.length <= 2³²-1
post	init'ed(return_value)

byte[] getClassData(String)

Kind	Annotation Text
pre	(soft) classname != null
pre	(soft) this.resourcesList != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@142 != null
post	init'ed(return_value)

GlobalClassLoader getGlobalClassLoader()

Kind	Annotation Text
pre	init'ed(me)
post	me != null
post	me == One-of{old me, &new GlobalClassLoader(get GlobalClassLoader#1)}
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects <= 1
post	new GlobalClassLoader(getGlobalClassLoader#1). resourcesList == &new HashMap(GlobalClassLoader #1)
post	new HashMap(GlobalClassLoader#1) num objects <= 1
post	return_value == me
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.util.HashMap
test_vector	me: Inverse{null}, Addr_Set{null}

bool isClassLoaded(String)

Kind	Annotation Text
post	init'ed(return_value)

Class loadClass(String)

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/plugins/PluginManager. me)
pre	(soft) me != null
pre	(soft) name != null
pre	(soft) this.resourcesList != null
presumption	data.length <= 2³²-1
presumption	getPluginClassLoader(...).pluginInfo.url@111 != null
presumption	getPluginClassLoader(...).pluginInfo@111 != null
presumption	getPluginManager(...).knownPlugins != null
presumption	java.util.Iterator:next(...)@111 != null
presumption	me.resourcesList@113 != null
presumption	pi.myClasses@111 != null
post	com/dmdirc/plugins/PluginManager.me == One-of{old com/dmdirc/plugins/PluginManager.me, &new PluginManager(getPluginManager#1)}
post	init'ed(com/dmdirc/plugins/PluginManager.me)
post	init'ed(me)
post	init'ed(new GlobalClassLoader(getGlobalClassLoader# 1).resourcesList)
post	init'ed(new PluginManager(getPluginManager#1). knownPlugins)
post	init'ed(new PluginManager(getPluginManager#1). myDir)
post	init'ed(new PluginManager(getPluginManager#1). services)
post	init'ed(return_value)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == 0
post	new HashMap(GlobalClassLoader#1) num objects == 0
post	new HashMap(PluginManager#2) num objects <= 1
post	new Hashtable(PluginManager#1) num objects <= 1
post	new PluginClassLoader(getSubClassLoader#1) num objects == 0, if init'ed
post	new PluginClassLoader(getSubClassLoader#1). pluginInfo == null
post	new PluginManager(getPluginManager#1) num objects <= 1
unanalyzed	call on addError
unanalyzed	call on addPlugin
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
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.plugins.PluginException:getMessa ge
unanalyzed	call on com.dmdirc.plugins.PluginInfo
unanalyzed	call on com.dmdirc.updater.components. PluginComponent
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 delPlugin
unanalyzed	call on delProvider
unanalyzed	call on getClassList
unanalyzed	call on getFullFilename
unanalyzed	call on getName
unanalyzed	call on getPersistentClasses
unanalyzed	call on getPluginClassLoader
unanalyzed	call on getPluginInfoByName
unanalyzed	call on getPluginInfos
unanalyzed	call on getPluginManager
unanalyzed	call on getPossiblePluginInfos
unanalyzed	call on getResourceManager
unanalyzed	call on isPersistent
unanalyzed	call on isUnloadable
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.io.File:getPath
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.lang.ClassLoader:loadClass
unanalyzed	call on java.lang.ClassNotFoundException
unanalyzed	call on java.lang.Exception
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
unanalyzed	call on java.lang.NoClassDefFoundError:getMessage
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
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.String:substring
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.MalformedURLException:getMessage
unanalyzed	call on java.net.URL
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.Hashtable
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.util.LinkedList:add
unanalyzed	call on java.util.LinkedList:isEmpty
unanalyzed	call on java.util.LinkedList:pop
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
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.Map:remove
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask
unanalyzed	call on loadClass
unanalyzed	call on onUnload
unanalyzed	call on unloadPlugin

Class loadClass(String, PluginInfo)

Kind	Annotation Text
pre	(soft) pi.url != null
pre	(soft) this.resourcesList != null
pre	init'ed(pi.metaData)
pre	pi != null
post	init'ed(return_value)
post	possibly_updated(pi.myResourceManager)
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWith
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.List:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask
test_vector	java.util.Iterator:hasNext(...)@84: {0}, {1}
test_vector	java.util.Map:containsKey(...)@85: {1}, {0}