PluginInfo.java

PluginInfo.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

ResourceManager access$002(PluginInfo, ResourceManager)

Kind	Annotation Text
pre	x0 != null
post	init'ed(return_value)
post	return_value == x1
post	x0.myResourceManager == return_value

void activateServices()

Kind	Annotation Text
pre	(soft) init'ed(this.plugin)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.isLoading == old this.isLoading
post	this.lastError == old this.lastError
post	this.tempLoaded == old this.tempLoaded

void addChild(PluginInfo)

Kind	Annotation Text
pre	this.children != null

bool checkFiles(String)

Kind	Annotation Text
pre	desired != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == 1
post	this.requirementsError == One-of{old this.requirementsError, &java.lang. StringBuilder:toString(...)}
test_vector	java.lang.String:isEmpty(...)@630: {0}, {1}

bool checkMaximumVersion(String, int)

Kind	Annotation Text
pre	desired != null
post	init'ed(return_value)
post	this.requirementsError == One-of{old this.requirementsError, &"'maxversion' is a non-integer", &"Plugin is for an older version of DMDirc"}
test_vector	actual: {-2³¹..0}, {2..2³²-1}
test_vector	java.lang.Integer:parseInt(...)@544: {-2³¹..0}, {1..2³²-2}
test_vector	java.lang.String:isEmpty(...)@539: {0}, {1}

bool checkMinimumVersion(String, int)

Kind	Annotation Text
pre	desired != null
post	init'ed(return_value)
post	this.requirementsError == One-of{old this.requirementsError, &"'minversion' is a non-integer", &"Plugin is for a newer version of DMDirc"}
test_vector	actual: {-2³¹..0}, {1..2³²-2}
test_vector	java.lang.Integer:parseInt(...)@510: {-2³¹..0}, {2..2³²-1}
test_vector	java.lang.String:isEmpty(...)@505: {0}, {1}

bool checkOS(String, String, String, String)

Kind	Annotation Text
pre	(soft) actualName != null
pre	desired != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(return_value)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.requirementsError == One-of{old this.requirementsError, &java.lang. StringBuilder:toString(...)}
test_vector	java.lang.String:isEmpty(...)@573: {0}, {1}
test_vector	java.lang.String:matches(...)@579: {1}, {0}

bool checkPlugins(String)

Kind	Annotation Text
pre	desired != null
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	java.lang.StringBuilder:toString(...)._tainted == 0
post	new HashMap(PluginManager#2) num objects == 0
post	new Hashtable(PluginManager#1) num objects == 0
post	new PluginClassLoader(getSubClassLoader#1) num objects == 0
post	new PluginClassLoader(getSubClassLoader#1). pluginInfo == null
post	new PluginManager(getPluginManager#1) num objects == 0
post	possibly_updated(com/dmdirc/plugins/PluginManager. me)
post	return_value == 1
post	this.requirementsError == One-of{old this.requirementsError, &java.lang. StringBuilder:toString(...)}
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.PluginException:getMessa ge
unanalyzed	call on com.dmdirc.plugins.PluginInfo
unanalyzed	call on com.dmdirc.updater.Version
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 delPlugin
unanalyzed	call on delProvider
unanalyzed	call on getPluginInfoByName
unanalyzed	call on getPluginManager
unanalyzed	call on getPossiblePluginInfos
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.Exception
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
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: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: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 onUnload
unanalyzed	call on unloadPlugin
test_vector	java.lang.String:isEmpty(...)@665: {0}, {1}

bool checkRequirements(bool)

Kind	Annotation Text
pre	init'ed(this.metaData)
presumption	java.lang.System:getProperty(...)@720 != null
post	init'ed(return_value)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.requirementsError == One-of{old this.requirementsError, &java.lang. StringBuilder:toString(...)}
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	checkPlugins(...)@720: {0}, {1}
test_vector	checkServices(...)@720: {1}, {0}
test_vector	preliminary: {1}, {0}
test_vector	this.metaData: Inverse{null}, Addr_Set{null}

bool checkServices(List)

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/plugins/PluginManager. me)
presumption	getPluginManager(...).services != null
presumption	java.util.Iterator:next(...)@743 != null
presumption	java.util.List:get(...)@755 != null
post	init'ed(com/dmdirc/plugins/PluginManager.me)
post	init'ed(new HashMap(PluginManager#2) num objects)
post	init'ed(new Hashtable(PluginManager#1) num objects)
post	init'ed(new PluginClassLoader(getSubClassLoader#1) num objects)
post	init'ed(new PluginManager(getPluginManager#1) num objects)
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	possibly_updated(new PluginClassLoader(getSubClassL oader#1).pluginInfo)
unanalyzed	call on activateServices
unanalyzed	call on addError
unanalyzed	call on addPlugin
unanalyzed	call on checkRequirements
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.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 delPlugin
unanalyzed	call on delProvider
unanalyzed	call on getMainClass
unanalyzed	call on getName
unanalyzed	call on getPluginInfoByName
unanalyzed	call on getPluginManager
unanalyzed	call on getPossiblePluginInfos
unanalyzed	call on isActive
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.Exception
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
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: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.lang.Throwable:getMessage
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: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 loadClass
unanalyzed	call on loadPlugin
unanalyzed	call on loadRequired
unanalyzed	call on onLoad
unanalyzed	call on onUnload
unanalyzed	call on unloadPlugin
unanalyzed	call on updateProvides
test_vector	java.lang.String:equalsIgnoreCase(...)@751: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@743: {0}, {1}
test_vector	java.util.List:size(...)@741: {1..2³²-1}, {-2³¹..0}
test_vector	services: Addr_Set{null}, Inverse{null}

bool checkUI(String, String)

Kind	Annotation Text
pre	(soft) actual != null
pre	desired != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(return_value)
post	this.requirementsError == One-of{old this.requirementsError, &java.lang. StringBuilder:toString(...)}
test_vector	java.lang.String:isEmpty(...)@606: {0}, {1}
test_vector	java.lang.String:matches(...)@610: {1}, {0}

void com.dmdirc.plugins.PluginInfo$1(PluginInfo)

Kind	Annotation Text

com.dmdirc.plugins.PluginInfo$1__static_init

Kind	Annotation Text

void com.dmdirc.plugins.PluginInfo(URL)

Kind	Annotation Text

void com.dmdirc.plugins.PluginInfo(URL, bool)

Kind	Annotation Text
pre	url != null
presumption	com.dmdirc.updater.Version:isValid(...)@153 == 1
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourcesStartingWith(...)@174 != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:res ourceExists(...)@169 == 1
presumption	java.lang.String:isEmpty(...)@156 == 0
presumption	java.lang.String:isEmpty(...)@159 == 0
presumption	java.lang.String:isEmpty(...)@162 == 0
presumption	java.util.Iterator:next(...)@174 != null
post	init'ed(this.classloader)
post	init'ed(this.filename)
post	init'ed(this.isLoading)
post	init'ed(this.migrated)
post	init'ed(this.myResourceManager)
post	init'ed(this.plugin)
post	init'ed(this.tempLoaded)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(PluginInfo#1) num objects == 1
post	new ArrayList(PluginInfo#2) num objects == 1
post	new ArrayList(PluginInfo#3) num objects == 1
post	new ConfigFile(getConfigFile#1) num objects <= 1
post	new ConfigFile(getMigratedConfigFile#1) num objects <= 1
post	new HashMap(PluginInfo#4) num objects == 1
post	this.children == &new ArrayList(PluginInfo#3)
post	this.exports == &new HashMap(PluginInfo#4)
post	this.lastError == &"No Error"
post	this.metaData in Addr_Set{null,&new ConfigFile(getConfigFile#1),&new ConfigFile(getMigratedConfigFile#1),&new ConfigFile(getConfigFile#1),&new ConfigFile(getMigratedConfigFile#1)}
post	this.myClasses == &new ArrayList(PluginInfo#1)
post	this.provides == &new ArrayList(PluginInfo#2)
post	this.requirementsError in Addr_Set{&"", &java.lang.StringBuilder:toString(...), &java.lang.StringBuilder:toString(...)}
post	this.url != null
post	this.url == url
unanalyzed	call on activate
unanalyzed	call on checkPlugins
unanalyzed	call on checkServices
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getAddonI dentity
unanalyzed	call on com.dmdirc.updater.Version
unanalyzed	call on com.dmdirc.updater.Version:compareTo
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
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.ConfigFile:read
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceInputStream
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceExists
unanalyzed	call on getPluginInfoByName
unanalyzed	call on getPluginManager
unanalyzed	call on getService
unanalyzed	call on getServicesByType
unanalyzed	call on isActive
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.IOException
unanalyzed	call on java.lang.Exception
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:startsWith
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.URL:getPath
unanalyzed	call on java.util.ArrayList
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:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Properties
unanalyzed	call on java.util.Properties:containsKey
unanalyzed	call on java.util.Properties:entrySet
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.logging.Logger:finer
test_vector	java.io.File:delete(...)@118: {0}, {1}
test_vector	java.io.File:exists(...)@118: {0}, {1}
test_vector	java.lang.String:matches(...)@176: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@174: {0}, {1}
test_vector	load: {1}, {0}

com.dmdirc.plugins.PluginInfo__static_init

Kind	Annotation Text
post	init'ed(LOGGER)

int compareTo(PluginInfo)

Kind	Annotation Text
pre	init'ed(o.metaData)
pre	init'ed(this.metaData)
pre	o != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getNiceName
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

int compareTo(Object)

Kind	Annotation Text
pre	init'ed(this.metaData)
pre	init'ed(x0.metaData)
pre	x0 != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getNiceName
unanalyzed	call on java.lang.String:compareTo
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on toString

void delChild(PluginInfo)

Kind	Annotation Text
pre	this.children != null

int getAddonID()

Kind	Annotation Text
pre	(soft) init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

String getAuthor()

Kind	Annotation Text
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

List getClassList()

Kind	Annotation Text
pre	init'ed(this.myClasses)
post	init'ed(return_value)
post	return_value == this.myClasses

ConfigFile getConfigFile()

Kind	Annotation Text
pre	(soft) this.url != null
pre	init'ed(this.myResourceManager)
presumption	com.dmdirc.util.resourcemanager.ResourceManager:res ourceExists(...)@306 == 1
post	new ConfigFile(getConfigFile#1) num objects <= 1
post	new ConfigFile(getMigratedConfigFile#1) num objects <= 1
post	possibly_updated(this.migrated)
post	return_value in Addr_Set{null,&new ConfigFile(getMigratedConfigFile#1),&new ConfigFile(getConfigFile#1),&new ConfigFile(getMigratedConfigFile#1)}
post	this.myResourceManager != null
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceInputStream
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Properties
unanalyzed	call on java.util.Properties:containsKey
unanalyzed	call on java.util.Properties:entrySet
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask
test_vector	com.dmdirc.util.resourcemanager.ResourceManager:res ourceExists(...)@301: {0}, {1}
test_vector	com.dmdirc.util.resourcemanager.ResourceManager:res ourceExists(...)@312: {0}, {1}

void getDefaults()

Kind	Annotation Text
pre	init'ed(this.metaData)
presumption	com.dmdirc.config.IdentityManager:getAddonIdentity( ...)@325 != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@331 != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@342 != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@353 != null
presumption	java.util.Iterator:next(...)@333 != null
presumption	java.util.Iterator:next(...)@344 != null
presumption	java.util.Iterator:next(...)@355 != null
presumption	java.util.Map:entrySet(...)@333 != null
presumption	java.util.Map:entrySet(...)@344 != null
presumption	java.util.Map:entrySet(...)@355 != null
presumption	java.util.Map_Entry:getKey(...)@334 != null
presumption	java.util.Map_Entry:getKey(...)@345 != null
presumption	java.util.Map_Entry:getKey(...)@356 != null
presumption	java.util.Map_Entry:getValue(...)@335 != null
presumption	java.util.Map_Entry:getValue(...)@346 != null
presumption	java.util.Map_Entry:getValue(...)@357 != null
presumption	java.util.logging.Logger:getLogger(...)@52 != null
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	com.dmdirc.util.ConfigFile:isKeyDomain(...)@330: {0}, {1}
test_vector	com.dmdirc.util.ConfigFile:isKeyDomain(...)@341: {0}, {1}
test_vector	com.dmdirc.util.ConfigFile:isKeyDomain(...)@352: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@333: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@344: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@355: {0}, {1}
test_vector	this.metaData: Inverse{null}, Addr_Set{null}

String getDescription()

Kind	Annotation Text
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

ExportedService getExportedService(String)

Kind	Annotation Text
pre	(soft) com/dmdirc/plugins/GlobalClassLoader.me != null
pre	this.exports != null
presumption	com/dmdirc/plugins/GlobalClassLoader.me. resourcesList@1446 != null
presumption	java.util.Map:get(...).className@1446 != null
presumption	java.util.Map:get(...).pluginInfo...url@1446 != null
presumption	java.util.Map:get(...).pluginInfo.classloader. pluginInfo@1446 != null
presumption	java.util.Map:get(...).pluginInfo.classloader@1446 != null
presumption	java.util.Map:get(...).pluginInfo@1446 != null
presumption	java.util.Map:get(...)@1446 != null
post	init'ed(com/dmdirc/plugins/GlobalClassLoader.me)
post	init'ed(new ExportedService(getExportedService#1). myMethod)
post	init'ed(new ExportedService(getExportedService#1*). myMethod)
post	init'ed(new ExportedService(getExportedService#1*). myObject)
post	init'ed(new ExportedService(getExportedService#2*). myMethod)
post	init'ed(new GlobalClassLoader(getGlobalClassLoader# 1).resourcesList)
post	new ExportedService(getExportedService#1) num objects <= 1
post	new ExportedService(getExportedService#1).myObject == null
post	new ExportedService(getExportedService#1*) num objects <= 1
post	new ExportedService(getExportedService#2*) num objects <= 1
post	new ExportedService(getExportedService#2*). myObject == null
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == 0
post	new HashMap(GlobalClassLoader#1) num objects == 0
post	return_value in Addr_Set{&new ExportedService(g etExportedService#1),&new ExportedService(getEx portedService#1),&new ExportedService(getExpor tedService#2)}
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 getMainClass
unanalyzed	call on getName
unanalyzed	call on getPersistentClasses
unanalyzed	call on getPluginClassLoader
unanalyzed	call on getPluginInfos
unanalyzed	call on getPluginManager
unanalyzed	call on getPluginObject
unanalyzed	call on getResourceManager
unanalyzed	call on isPersistent
unanalyzed	call on java.lang.Class:getDeclaredMethods
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:equals
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.lang.reflect.Method:getName
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	java.util.Map:containsKey(...)@1445: {0}, {1}

String getFilename()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.filename

String getFriendlyVersion()

Kind	Annotation Text
pre	init'ed(this.metaData)
post	init'ed(return_value)
post	java.lang.String:valueOf(...)._tainted == 0
unanalyzed	call on com.dmdirc.updater.Version
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

String getFullFilename()

Kind	Annotation Text
pre	this.url != null
post	init'ed(return_value)

String getKeyValue(String, String, String)

Kind	Annotation Text
pre	init'ed(this.metaData)
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@1105 != null
post	init'ed(return_value)
test_vector	com.dmdirc.util.ConfigFile:isKeyDomain(...)@1104: {0}, {1}
test_vector	this.metaData: Addr_Set{null}, Inverse{null}

String getLastError()

Kind	Annotation Text
pre	init'ed(this.lastError)
post	init'ed(return_value)
post	return_value == this.lastError

String getMainClass()

Kind	Annotation Text
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

String getMaxVersion()

Kind	Annotation Text
pre	init'ed(this.metaData)
post	return_value == &""
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	java.lang.String:isEmpty(...)@1302: {1}, {0}

String getMetaInfo(String)

Kind	Annotation Text
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

String getMetaInfo(String, String)

Kind	Annotation Text
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

String getMetaInfo(Properties, String[], String)

Kind	Annotation Text
pre	(soft) init'ed(metainfo[...])
pre	(soft) properties != null
pre	metainfo != null
pre	metainfo.length <= 2³²-1
post	init'ed(return_value)
test_vector	java.util.Properties:getProperty(...)@204: Addr_Set{null}, Inverse{null}

String getMetaInfo(String[])

Kind	Annotation Text
pre	(soft) init'ed(metainfo[...])
pre	(soft) init'ed(this.metaData)
pre	metainfo != null
pre	metainfo.length <= 2³²-1
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

String getMetaInfo(String[], String)

Kind	Annotation Text
pre	(soft) init'ed(metainfo[...])
pre	(soft) init'ed(this.metaData)
pre	metainfo != null
pre	metainfo.length <= 2³²-1
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

ConfigFile getMigratedConfigFile()

Kind	Annotation Text
pre	(soft) this.url != null
pre	init'ed(this.myResourceManager)
presumption	java.util.Iterator:next(...)@266 != null
presumption	java.util.Map_Entry:getKey(...)@267 != null
presumption	java.util.Map_Entry:getValue(...)@268 != null
presumption	java.util.Properties:entrySet(...)@266 != null
post	new ConfigFile(getMigratedConfigFile#1) num objects == 1
post	return_value == &new ConfigFile(getMigratedConf igFile#1)
post	this.migrated == 1
post	this.myResourceManager != null
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask
test_vector	java.lang.String:startsWith(...)@275: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@266: {0}, {1}
test_vector	java.util.Properties:containsKey(...)@238: {0}, {1}
test_vector	java.util.Properties:containsKey(...)@241: {0}, {1}
test_vector	java.util.Properties:containsKey(...)@252: {0}, {1}
test_vector	java.util.Properties:containsKey(...)@257: {0}, {1}
test_vector	java.util.Properties:containsKey(...)@261: {0}, {1}

String getMinVersion()

Kind	Annotation Text
pre	init'ed(this.metaData)
post	return_value in Addr_Set{null,&""}
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	java.lang.String:isEmpty(...)@1287: {1}, {0}

String getName()

Kind	Annotation Text
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

String getNiceName()

Kind	Annotation Text
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

List getPersistentClasses()

Kind	Annotation Text
pre	(soft) this.url != null
pre	init'ed(this.metaData)
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourcesStartingWith(...)@1208 != null
presumption	java.util.Iterator:next(...)@1208 != null
post	init'ed(return_value)
post	new ArrayList(getPersistentClasses#1) num objects == 1
post	possibly_updated(this.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 java.net.URL:getPath
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask
test_vector	com.dmdirc.util.ConfigFile:isFlatDomain(...)@1216: {0}, {1}
test_vector	java.lang.String:matches(...)@1209: {0}, {1}
test_vector	this.metaData: Addr_Set{null}, Inverse{null}

Plugin getPlugin()

Kind	Annotation Text
pre	init'ed(this.plugin)
post	init'ed(return_value)
post	return_value == this.plugin

PluginClassLoader getPluginClassLoader()

Kind	Annotation Text
pre	init'ed(this.classloader)
post	init'ed(return_value)
post	return_value == this.classloader

Plugin getPluginObject()

Kind	Annotation Text
pre	init'ed(this.plugin)
post	init'ed(return_value)
post	return_value == this.plugin

String getProviderName()

Kind	Annotation Text
pre	init'ed(this.metaData)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

String getRelativeFilename()

Kind	Annotation Text
pre	init'ed(com/dmdirc/plugins/PluginManager.me)
pre	this.url != null
presumption	getPluginManager(...).myDir != null
presumption	getPluginManager(...)@1262 init'ed
presumption	java.net.URL:getPath(...)@1252 != null
post	com/dmdirc/plugins/PluginManager.me != null
post	com/dmdirc/plugins/PluginManager.me == One-of{old com/dmdirc/plugins/PluginManager.me, &new PluginManager(getPluginManager#1)}
post	init'ed(return_value)
post	java.lang.String:substring(...)._tainted == 0
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new HashMap(PluginManager#2) num objects <= 1
post	new Hashtable(PluginManager#1) num objects == new HashMap(PluginManager#2) num objects
post	new PluginClassLoader(getSubClassLoader#1) num objects == 0, if init'ed
post	new PluginClassLoader(getSubClassLoader#1) num objects == undefined
post	new PluginClassLoader(getSubClassLoader#1). pluginInfo == null
post	new PluginClassLoader(getSubClassLoader#1). pluginInfo == undefined
post	new PluginManager(getPluginManager#1) num objects == new HashMap(PluginManager#2) num objects
post	new PluginManager(getPluginManager#1).knownPlugins == &new Hashtable(PluginManager#1)
post	new PluginManager(getPluginManager#1).myDir == &java.lang.StringBuilder:toString(...)
post	new PluginManager(getPluginManager#1).services == &new HashMap(PluginManager#2)
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.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 delPlugin
unanalyzed	call on delProvider
unanalyzed	call on getPluginInfoByName
unanalyzed	call on getPluginManager
unanalyzed	call on getPossiblePluginInfos
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.Exception
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
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: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: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 onUnload
unanalyzed	call on unloadPlugin
test_vector	java.lang.String:startsWith(...)@1263: {0}, {1}

String getRequirementsError()

Kind	Annotation Text
pre	init'ed(this.requirementsError)
post	init'ed(return_value)
post	return_value == this.requirementsError

ResourceManager getResourceManager()

Kind	Annotation Text
pre	(soft) this.url != null
pre	init'ed(this.myResourceManager)
post	init'ed(return_value)
post	this.myResourceManager == return_value
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask

ResourceManager getResourceManager(bool)

Kind	Annotation Text
pre	(soft) this.url != null
pre	init'ed(this.myResourceManager)
post	init'ed(return_value)
post	this.myResourceManager == return_value
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.TimerTask
test_vector	forceNew: {0}, {1}

List getServices()

Kind	Annotation Text
post	new ArrayList(getServices#1) num objects == 1
post	return_value == &new ArrayList(getServices#1)

Version getVersion()

Kind	Annotation Text
pre	init'ed(this.metaData)
post	new Version(getVersion#1) num objects == 1
post	return_value == &new Version(getVersion#1)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

bool hasPersistent()

Kind	Annotation Text
pre	init'ed(this.metaData)
presumption	com.dmdirc.util.ConfigFile:getFlatDomain(...)@1189 != null
post	init'ed(return_value)
test_vector	com.dmdirc.util.ConfigFile:isFlatDomain(...)@1188: {0}, {1}
test_vector	this.metaData: Addr_Set{null}, Inverse{null}

bool isActive()

Kind	Annotation Text
pre	(soft) init'ed(this.tempLoaded)
pre	init'ed(this.plugin)
post	init'ed(return_value)

bool isLoaded()

Kind	Annotation Text
pre	(soft) init'ed(this.tempLoaded)
pre	init'ed(this.plugin)
post	init'ed(return_value)

bool isMigrated()

Kind	Annotation Text
pre	init'ed(this.migrated)
post	init'ed(return_value)
post	return_value == this.migrated

bool isPersistent()

Kind	Annotation Text
pre	init'ed(this.metaData)
presumption	com.dmdirc.util.ConfigFile:getFlatDomain(...)@1175 != null
post	init'ed(return_value)
test_vector	com.dmdirc.util.ConfigFile:isFlatDomain(...)@1174: {0}, {1}
test_vector	this.metaData: Addr_Set{null}, Inverse{null}

bool isPersistent(String)

Kind	Annotation Text
pre	init'ed(this.metaData)
presumption	com.dmdirc.util.ConfigFile:getFlatDomain(...)@1233 != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on java.util.List:contains
test_vector	com.dmdirc.util.ConfigFile:isFlatDomain(...)@1232: {0}, {1}
test_vector	this.metaData: Addr_Set{null}, Inverse{null}

bool isTempLoaded()

Kind	Annotation Text
pre	(soft) init'ed(this.tempLoaded)
pre	init'ed(this.plugin)
post	init'ed(return_value)

bool isUnloadable()

Kind	Annotation Text
pre	(soft) init'ed(this.plugin)
pre	(soft) init'ed(this.tempLoaded)
pre	init'ed(this.metaData)
post	init'ed(return_value)
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 java.util.List:contains
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	!(this.plugin == null) & this.tempLoaded != 0: {0}, {1}
test_vector	!(this.plugin == null) & this.tempLoaded == 0: {1}, {0}
test_vector	(!(this.plugin == null) & this.tempLoaded != 0) \| this.plugin == null: {0}, {1}
test_vector	this.tempLoaded: {0}, {1}

bool loadAll()

Kind	Annotation Text
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

void loadClass(String)

Kind	Annotation Text
pre	(soft) classname != null
pre	(soft) init'ed(com/dmdirc/plugins/GlobalClassLoader .me)
pre	(soft) init'ed(this.classloader)
pre	(soft) init'ed(this.metaData)
pre	(soft) init'ed(this.tempLoaded)
pre	(soft) this.children != null
pre	(soft) this.classloader.pluginInfo != null
pre	(soft) this.provides != null
presumption	java.util.logging.Logger:getLogger(...)@52 != null
post	init'ed(com/dmdirc/plugins/GlobalClassLoader.me)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(new GlobalClassLoader(getGlobalClassLoader# 1).resourcesList)
post	init'ed(new PluginClassLoader(getSubClassLoader#1) num objects)
post	init'ed(this.plugin.domainSet)
post	init'ed(this.plugin.myDomain)
post	init'ed(this.tempLoaded)
post	java.lang.StringBuilder:toString(...)._tainted == 0
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(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).reportThread)
post	possibly_updated(com/dmdirc/logger/ProgramError. errorDir)
post	possibly_updated(com/dmdirc/plugins/PluginManager. me)
post	possibly_updated(java.lang.StringBuilder:toString(. ..)._tainted)
post	possibly_updated(new ErrorReportingThread(sendError #1) num objects)
post	possibly_updated(new ErrorReportingThread(sendError #1).queue)
post	possibly_updated(new File(getErrorFile#1) num objects)
post	possibly_updated(new HashMap(PluginManager#2) num objects)
post	possibly_updated(new Hashtable(PluginManager#1) num objects)
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1) num objects)
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1).pluginInfo)
post	possibly_updated(new PluginClassLoader(loadClass#1) num objects)
post	possibly_updated(new PluginClassLoader(loadClass#1) .pluginInfo)
post	possibly_updated(new PluginManager(getPluginManager #1) num objects)
post	possibly_updated(new PluginManager(getPluginManager #1).knownPlugins)
post	possibly_updated(new PluginManager(getPluginManager #1).myDir)
post	possibly_updated(new PluginManager(getPluginManager #1).services)
post	possibly_updated(this...myResourceManager)
post	possibly_updated(this.classloader)
post	possibly_updated(this.lastError)
post	possibly_updated(this.myResourceManager)
post	possibly_updated(this.plugin)
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.config.prefs.validator. ValidationResponse
unanalyzed	call on com.dmdirc.logger.ErrorFixedStatus:equals
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:equals
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
unanalyzed	call on com.dmdirc.logger.ErrorReportingThread:setD aemon
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.ListenerList:get
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 equals
unanalyzed	call on errorAdded
unanalyzed	call on errorStatusChanged
unanalyzed	call on fireErrorStatusChanged
unanalyzed	call on getClassList
unanalyzed	call on getErrorManager
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 getReportStatus
unanalyzed	call on getResourceManager
unanalyzed	call on getTrace
unanalyzed	call on isPersistent
unanalyzed	call on isReady
unanalyzed	call on isUnloadable
unanalyzed	call on java.awt.GraphicsEnvironment:isHeadless
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:createNewFile
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.io.File:mkdirs
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.IOException:printStackTrace
unanalyzed	call on java.io.OutputStream
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.io.PrintWriter:close
unanalyzed	call on java.io.PrintWriter:println
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.IllegalArgumentException
unanalyzed	call on java.lang.NoClassDefFoundError:getMessage
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.Object:wait
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:equals
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:startsWith
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.Thread
unanalyzed	call on java.lang.Thread:isAlive
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Throwable:getCause
unanalyzed	call on java.lang.Throwable:getStackTrace
unanalyzed	call on java.lang.Throwable:toString
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.Arrays:copyOf
unanalyzed	call on java.util.Arrays:equals
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:clone
unanalyzed	call on java.util.Date:getTime
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 java.util.concurrent.BlockingQueue:add
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.util.concurrent.atomic. AtomicLong:getAndIncrement
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on loadClass
unanalyzed	call on onUnload
unanalyzed	call on unloadPlugin
test_vector	com.dmdirc.config.prefs.validator.ValidationRespons e:isFailure(...)@964: {1}, {0}
test_vector	java.lang.String:equals(...)@959: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@933: {0}, {1}
test_vector	this.classloader: Inverse{null}, Addr_Set{null}

void loadEntirePlugin()

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/plugins/GlobalClassLoader .me)
pre	(soft) init'ed(this.classloader)
pre	(soft) init'ed(this.plugin)
pre	this.myClasses != null
post	com/dmdirc/plugins/GlobalClassLoader.me == old com/dmdirc/plugins/GlobalClassLoader.me
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == 0, if init'ed
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == undefined
post	new GlobalClassLoader(getGlobalClassLoader#1). resourcesList == null
post	new GlobalClassLoader(getGlobalClassLoader#1). resourcesList == undefined
post	new HashMap(GlobalClassLoader#1) num objects == new GlobalClassLoader(getGlobalClassLoader#1) num objects
post	new PluginClassLoader(getSubClassLoader#1) num objects == new GlobalClassLoader(getGlobalClassLoa der#1) num objects
post	new PluginClassLoader(getSubClassLoader#1). pluginInfo == new GlobalClassLoader(getGlobalClassL oader#1).resourcesList
post	new PluginClassLoader(loadClass#1) num objects == new GlobalClassLoader(getGlobalClassLoader#1) num objects
post	new PluginClassLoader(loadClass#1).pluginInfo == new GlobalClassLoader(getGlobalClassLoader#1). resourcesList
post	this.classloader == old this.classloader
post	this.isLoading == old this.isLoading
post	this.lastError == old this.lastError
post	this.plugin == old this.plugin
post	this.plugin.domainSet == old this.plugin.domainSet
post	this.plugin.myDomain == old this.plugin.myDomain
post	this.tempLoaded == old this.tempLoaded
test_vector	java.util.Iterator:hasNext(...)@837: {0}, {1}

void loadPlugin()

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/plugins/GlobalClassLoader .me)
pre	(soft) init'ed(this.isLoading)
pre	(soft) init'ed(this.requirementsError)
pre	(soft) init'ed(this.tempLoaded)
pre	(soft) this.children != null
pre	(soft) this.metaData != null
pre	init'ed(this.plugin)
pre	this.exports != null
pre	this.provides != null
presumption	(soft) init'ed(com.dmdirc.actions.CoreActionType. PLUGIN_LOADED)
post	com.dmdirc.logger.ErrorManager__static_init.new ErrorManager(ErrorManager__static_init#1). reportThread == old com.dmdirc.logger. ErrorManager__static_init.new ErrorManager(ErrorMan ager__static_init#1).reportThread
post	com/dmdirc/logger/ProgramError.errorDir == One-of{old com/dmdirc/logger/ProgramError. errorDir, &new File(getErrorFile#1)}
post	com/dmdirc/plugins/GlobalClassLoader.me == old com/dmdirc/plugins/GlobalClassLoader.me
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(new PluginClassLoader(getSubClassLoader#1) num objects)
post	init'ed(this.isLoading)
post	init'ed(this.plugin)
post	init'ed(this.requirementsError)
post	init'ed(this.tempLoaded)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == 0, if init'ed
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == undefined
post	new GlobalClassLoader(getGlobalClassLoader#1). resourcesList == null
post	new GlobalClassLoader(getGlobalClassLoader#1). resourcesList == undefined
post	new HashMap(GlobalClassLoader#1) num objects == new GlobalClassLoader(getGlobalClassLoader#1) num objects
post	new PluginClassLoader(getSubClassLoader#1) num objects == new GlobalClassLoader(getGlobalClassLoa der#1) num objects
post	new PluginClassLoader(getSubClassLoader#1). pluginInfo == new GlobalClassLoader(getGlobalClassL oader#1).resourcesList
post	new PluginClassLoader(loadClass#1) num objects == new GlobalClassLoader(getGlobalClassLoader#1) num objects
post	new PluginClassLoader(loadClass#1).pluginInfo == new GlobalClassLoader(getGlobalClassLoader#1). resourcesList
post	possibly_updated(new ErrorReportingThread(sendError #1) num objects)
post	possibly_updated(new ErrorReportingThread(sendError #1).queue)
post	possibly_updated(new File(getErrorFile#1) num objects)
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1).pluginInfo)
post	possibly_updated(this.lastError)
post	this.classloader == One-of{old this.classloader, null}
post	this.plugin == One-of{old this.plugin, null}
post	this.plugin.domainSet == old this.plugin.domainSet
post	this.plugin.myDomain == old this.plugin.myDomain
post	this.requirementsError == One-of{old this.requirementsError, &java.lang. StringBuilder:toString(...)}
unanalyzed	call on activate
unanalyzed	call on addError
unanalyzed	call on checkPlugins
unanalyzed	call on checkServices
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on com.dmdirc.logger.ErrorFixedStatus:equals
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:equals
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
unanalyzed	call on com.dmdirc.logger.ErrorReportingThread:setD aemon
unanalyzed	call on com.dmdirc.updater.Version
unanalyzed	call on com.dmdirc.updater.Version:compareTo
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.ListenerList:get
unanalyzed	call on delProvider
unanalyzed	call on equals
unanalyzed	call on errorAdded
unanalyzed	call on errorStatusChanged
unanalyzed	call on fireErrorStatusChanged
unanalyzed	call on getErrorManager
unanalyzed	call on getPluginInfoByName
unanalyzed	call on getPluginManager
unanalyzed	call on getReportStatus
unanalyzed	call on getService
unanalyzed	call on getServicesByType
unanalyzed	call on getTrace
unanalyzed	call on isActive
unanalyzed	call on isReady
unanalyzed	call on isUnloadable
unanalyzed	call on java.awt.GraphicsEnvironment:isHeadless
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:createNewFile
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.IOException:printStackTrace
unanalyzed	call on java.io.OutputStream
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.io.PrintWriter:close
unanalyzed	call on java.io.PrintWriter:println
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.Object:wait
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:isAlive
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Throwable:getCause
unanalyzed	call on java.lang.Throwable:getStackTrace
unanalyzed	call on java.lang.Throwable:toString
unanalyzed	call on java.util.Arrays:copyOf
unanalyzed	call on java.util.Arrays:equals
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:clone
unanalyzed	call on java.util.Date:getTime
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:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.concurrent.BlockingQueue:add
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.util.concurrent.atomic. AtomicLong:getAndIncrement
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on onUnload
unanalyzed	call on unloadPlugin
test_vector	!(this.plugin == null) & this.tempLoaded != 0: {0}, {1}
test_vector	!(this.plugin == null) & this.tempLoaded == 0: {0}, {1}
test_vector	(!(this.plugin == null) & this.tempLoaded == 0) \| this.plugin == null: {0}, {1}
test_vector	this.isLoading: {0}, {1}
test_vector	this.tempLoaded: {1}, {0}

void loadPluginTemp()

Kind	Annotation Text
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.isLoading == old this.isLoading
post	this.lastError == old this.lastError
post	this.tempLoaded == 1

void loadRequired()

Kind	Annotation Text
pre	init'ed(this.metaData)
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	java.lang.StringBuilder:toString(...)._tainted == 0
post	new HashMap(PluginManager#2) num objects == 0
post	new Hashtable(PluginManager#1) num objects == 0
post	new PluginClassLoader(getSubClassLoader#1) num objects == 0
post	new PluginManager(getPluginManager#1) num objects == 0
post	possibly_updated(com/dmdirc/plugins/PluginManager. me)
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1).pluginInfo)
unanalyzed	call on addError
unanalyzed	call on addPlugin
unanalyzed	call on checkRequirements
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.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 delPlugin
unanalyzed	call on delProvider
unanalyzed	call on getMainClass
unanalyzed	call on getName
unanalyzed	call on getPluginInfoByName
unanalyzed	call on getPluginManager
unanalyzed	call on getPossiblePluginInfos
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.Exception
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
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: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.lang.Throwable:getMessage
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: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 loadClass
unanalyzed	call on loadPlugin
unanalyzed	call on loadRequired
unanalyzed	call on onLoad
unanalyzed	call on onUnload
unanalyzed	call on unloadPlugin
unanalyzed	call on updateProvides

void pluginUpdated()

Kind	Annotation Text
pre	(soft) init'ed(this.metaData)
pre	(soft) this.myClasses != null
pre	(soft) this.url != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourcesStartingWith(...)@405 != null
presumption	java.util.Iterator:next(...)@405 != null
post	init'ed(this.metaData)
post	new ConfigFile(getConfigFile#1) num objects <= 1
post	new ConfigFile(getMigratedConfigFile#1) num objects <= 1
post	possibly_updated(this.migrated)
post	possibly_updated(this.myResourceManager)
post	this.metaData == One-of{&new ConfigFile(getConf igFile#1), &new ConfigFile(getMigratedConfigFil e#1), null, old this.metaData}
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getAddonI dentity
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceInputStream
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceExists
unanalyzed	call on getConfigFile
unanalyzed	call on java.io.IOException
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toLowerCase
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.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Properties
unanalyzed	call on java.util.Properties:containsKey
unanalyzed	call on java.util.Properties:entrySet
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.logging.Logger:finer
test_vector	java.lang.String:matches(...)@407: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@405: {0}, {1}

void run()

Kind	Annotation Text

String toString()

Kind	Annotation Text
pre	init'ed(this.metaData)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

void unloadPlugin()

Kind	Annotation Text
pre	(soft) init'ed(this.metaData)
pre	(soft) init'ed(this.tempLoaded)
pre	(soft) this.children != null
pre	(soft) this.plugin != null
pre	(soft) this.provides != null
post	possibly_updated(java.lang.StringBuilder:toString(. ..)._tainted)
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1) num objects)
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1).pluginInfo)
post	possibly_updated(this.lastError)
post	this.classloader == One-of{old this.classloader, null}
post	this.plugin == One-of{old this.plugin, null}
post	this.tempLoaded == One-of{old this.tempLoaded, 0}
unanalyzed	call on addError
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
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 delProvider
unanalyzed	call on getPluginInfoByName
unanalyzed	call on getPluginManager
unanalyzed	call on isUnloadable
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 onUnload
unanalyzed	call on unloadPlugin

void unloadPlugin(bool)

Kind	Annotation Text
pre	(soft) init'ed(this.metaData)
pre	(soft) init'ed(this.tempLoaded)
pre	(soft) this.children != null
pre	(soft) this.plugin != null
pre	(soft) this.provides != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.PLUGIN_ UNLOADED)
post	com.dmdirc.logger.ErrorManager__static_init.new ErrorManager(ErrorManager__static_init#1). reportThread == old com.dmdirc.logger. ErrorManager__static_init.new ErrorManager(ErrorMan ager__static_init#1).reportThread
post	com/dmdirc/logger/ProgramError.errorDir == One-of{old com/dmdirc/logger/ProgramError. errorDir, &new File(getErrorFile#1)}
post	com/dmdirc/plugins/PluginManager.me == One-of{old com/dmdirc/plugins/PluginManager.me, &new PluginManager(getPluginManager#1)}
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(new PluginClassLoader(getSubClassLoader#1) num objects)
post	init'ed(new PluginClassLoader(getSubClassLoader#1). pluginInfo)
post	init'ed(this.plugin)
post	init'ed(this.tempLoaded)
post	new PluginClassLoader(getSubClassLoader#1) num objects <= 1
post	possibly_updated(java.lang.StringBuilder:toString(. ..)._tainted)
post	possibly_updated(new ErrorReportingThread(sendError #1) num objects)
post	possibly_updated(new ErrorReportingThread(sendError #1).queue)
post	possibly_updated(new File(getErrorFile#1) num objects)
post	possibly_updated(new HashMap(PluginManager#2) num objects)
post	possibly_updated(new Hashtable(PluginManager#1) num objects)
post	possibly_updated(new PluginManager(getPluginManager #1) num objects)
post	possibly_updated(new PluginManager(getPluginManager #1).knownPlugins)
post	possibly_updated(new PluginManager(getPluginManager #1).myDir)
post	possibly_updated(new PluginManager(getPluginManager #1).services)
post	possibly_updated(this.lastError)
post	this.classloader == One-of{old this.classloader, null}
post	this.plugin == One-of{old this.plugin, null}
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.logger.ErrorFixedStatus:equals
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:equals
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
unanalyzed	call on com.dmdirc.logger.ErrorReportingThread:setD aemon
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.ListenerList:get
unanalyzed	call on delPlugin
unanalyzed	call on delProvider
unanalyzed	call on equals
unanalyzed	call on errorAdded
unanalyzed	call on errorStatusChanged
unanalyzed	call on fireErrorStatusChanged
unanalyzed	call on getErrorManager
unanalyzed	call on getPluginInfoByName
unanalyzed	call on getPluginManager
unanalyzed	call on getPossiblePluginInfos
unanalyzed	call on getReportStatus
unanalyzed	call on getTrace
unanalyzed	call on isReady
unanalyzed	call on isUnloadable
unanalyzed	call on java.awt.GraphicsEnvironment:isHeadless
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:createNewFile
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.io.File:mkdirs
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.IOException:printStackTrace
unanalyzed	call on java.io.OutputStream
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.io.PrintWriter:close
unanalyzed	call on java.io.PrintWriter:println
unanalyzed	call on java.lang.ClassLoader
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.IllegalArgumentException
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.Object:wait
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:equals
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:startsWith
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.Thread
unanalyzed	call on java.lang.Thread:isAlive
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Throwable:getCause
unanalyzed	call on java.lang.Throwable:getStackTrace
unanalyzed	call on java.lang.Throwable:toString
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.Arrays:copyOf
unanalyzed	call on java.util.Arrays:equals
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:clone
unanalyzed	call on java.util.Date:getTime
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.concurrent.BlockingQueue:add
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.util.concurrent.atomic. AtomicLong:getAndIncrement
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on onUnload
unanalyzed	call on unloadPlugin
test_vector	!(this.plugin == null) & this.tempLoaded != 0: {1}, {0}
test_vector	!(this.plugin == null) & this.tempLoaded == 0: {0}, {1}
test_vector	(!(this.plugin == null) & this.tempLoaded != 0) \| this.plugin == null: {1}, {0}
test_vector	(!(this.plugin == null) & this.tempLoaded == 0) \| this.plugin == null: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@1050: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@1046: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@1067: {0}, {1}
test_vector	parentUnloading: {1}, {0}
test_vector	this.tempLoaded: {1}, {0}

void updateExports()

Kind	Annotation Text
pre	this.exports != null
pre	this.metaData != null
presumption	java.util.Iterator:next(...)@1418 != null
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	java.lang.StringBuilder:toString(...)._tainted == 0
post	new HashMap(PluginManager#2) num objects == 0
post	new Hashtable(PluginManager#1) num objects == 0
post	new PluginClassLoader(getSubClassLoader#1) num objects == 0
post	new PluginManager(getPluginManager#1) num objects == 0
post	possibly_updated(com/dmdirc/plugins/PluginManager. me)
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1).pluginInfo)
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.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 delPlugin
unanalyzed	call on delProvider
unanalyzed	call on getPluginInfoByName
unanalyzed	call on getPluginManager
unanalyzed	call on getPossiblePluginInfos
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.Exception
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
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: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 onUnload
unanalyzed	call on unloadPlugin
test_vector	com.dmdirc.util.ConfigFile:getFlatDomain(... )@1416: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@1418: {0}, {1}

bool updateMetaData()

Kind	Annotation Text
pre	(soft) init'ed(this.myResourceManager)
pre	(soft) this.url != null
post	init'ed(return_value)
post	init'ed(this.myResourceManager)
post	new ConfigFile(getConfigFile#1) num objects <= 1
post	new ConfigFile(getMigratedConfigFile#1) num objects <= 1
post	possibly_updated(this.migrated)
post	this.metaData == One-of{&new ConfigFile(getConf igFile#1), &new ConfigFile(getMigratedConfigFil e#1), null, old this.metaData}
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceInputStream
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceExists
unanalyzed	call on java.io.IOException
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toLowerCase
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.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Properties
unanalyzed	call on java.util.Properties:containsKey
unanalyzed	call on java.util.Properties:entrySet
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.TimerTask

void updateProvides()

Kind	Annotation Text
pre	(soft) init'ed(com/dmdirc/plugins/PluginManager. me)
pre	this.metaData != null
pre	this.provides != null
presumption	getPluginManager(...).services != null
presumption	java.util.Iterator:next(...)@371 != null
presumption	java.util.Iterator:next(...)@379 != null
presumption	service.serviceproviders@371 != null
presumption	service.serviceproviders@385 != null
post	init'ed(com/dmdirc/plugins/PluginManager.me)
post	init'ed(new HashMap(PluginManager#2) num objects)
post	init'ed(new Hashtable(PluginManager#1) num objects)
post	init'ed(new PluginClassLoader(getSubClassLoader#1) num objects)
post	init'ed(new PluginClassLoader(getSubClassLoader#1). pluginInfo)
post	init'ed(new PluginManager(getPluginManager#1) num objects)
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	java.lang.StringBuilder:toString(...)._tainted == 0
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.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 delPlugin
unanalyzed	call on delProvider
unanalyzed	call on getPluginInfoByName
unanalyzed	call on getPluginManager
unanalyzed	call on getPossiblePluginInfos
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.Exception
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
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: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 onUnload
unanalyzed	call on unloadPlugin
test_vector	com.dmdirc.util.ConfigFile:getFlatDomain(...)@377: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equalsIgnoreCase(...)@384: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@371: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@379: {0}, {1}