Identity.java

Identity.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void addListener(ConfigChangeListener)

Kind	Annotation Text
pre	this.listeners != null

Identity buildIdentity(ConfigTarget)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigTarget$1__ static_init.new int[](ConfigTarget$1__static_init#1 )[...])
pre	init'ed(target.data)
pre	target != null
pre	target.type != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.util.Map:get(...)@665 != null
presumption	java.util.Map:get(...)@666 != null
post	init'ed(return_value)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ConfigFile(Identity#2) num objects == 0, if init'ed
post	new ConfigFile(Identity#2) num objects == undefined
post	new ConfigManager(setOption#2) num objects == new ConfigFile(Identity#2) num objects
post	new ConfigManager(setOption#2).channel == null
post	new ConfigManager(setOption#2).channel == undefined
post	new ConfigManager(setOption#2).ircd == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).listeners == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).network == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).server == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).sources == new ConfigManager(setOption#2).channel
post	new ConfigTarget(getTarget#1) num objects == new ConfigFile(Identity#2) num objects
post	new ConfigTarget(getTarget#1).data == new ConfigManager(setOption#2).channel
post	new ConfigTarget(getTarget#1).order == new ConfigFile(Identity#2) num objects
post	new ConfigTarget(getTarget#1).type == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7) num objects == new ConfigFile(Identity#2) num objects
post	new Identity(createIdentity#7).file == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).globalConfig == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).listeners == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).myTarget == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).needSave == new ConfigFile(Identity#2) num objects
post	new Identity(createIdentity#7).sources == new ConfigManager(setOption#2).channel
post	new MapList(ConfigManager#1) num objects == new ConfigFile(Identity#2) num objects
post	new WeakList(Identity#1) num objects == new ConfigFile(Identity#2) num objects
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal

Identity buildProfile(String)

Kind	Annotation Text
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.lang.System:getProperty(...)@691 != null
presumption	java.util.Map:get(...)@693 != null
presumption	java.util.Map:get(...)@694 != null
presumption	java.util.Map:get(...)@695 != null
post	init'ed(return_value)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ConfigFile(Identity#2) num objects == 0, if init'ed
post	new ConfigFile(Identity#2) num objects == undefined
post	new ConfigManager(setOption#2) num objects == new ConfigFile(Identity#2) num objects
post	new ConfigManager(setOption#2).channel == null
post	new ConfigManager(setOption#2).channel == undefined
post	new ConfigManager(setOption#2).ircd == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).listeners == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).network == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).server == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).sources == new ConfigManager(setOption#2).channel
post	new ConfigTarget(getTarget#1) num objects == new ConfigFile(Identity#2) num objects
post	new ConfigTarget(getTarget#1).data == new ConfigManager(setOption#2).channel
post	new ConfigTarget(getTarget#1).order == new ConfigFile(Identity#2) num objects
post	new ConfigTarget(getTarget#1).type == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7) num objects == new ConfigFile(Identity#2) num objects
post	new Identity(createIdentity#7).file == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).globalConfig == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).listeners == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).myTarget == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).needSave == new ConfigFile(Identity#2) num objects
post	new Identity(createIdentity#7).sources == new ConfigManager(setOption#2).channel
post	new MapList(ConfigManager#1) num objects == new ConfigFile(Identity#2) num objects
post	new WeakList(Identity#1) num objects == new ConfigFile(Identity#2) num objects

void com.dmdirc.config.Identity(ConfigFile, ConfigTarget)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	configFile != null
pre	init'ed(target.type)
pre	target != null
post	init'ed(new ConfigManager(setOption#2).channel)
post	init'ed(new ConfigManager(setOption#2).ircd)
post	init'ed(new ConfigManager(setOption#2).listeners)
post	init'ed(new ConfigManager(setOption#2).network)
post	init'ed(new ConfigManager(setOption#2).server)
post	init'ed(new ConfigManager(setOption#2).sources)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(setOption#2) num objects <= 1
post	new MapList(ConfigManager#1) num objects <= 1
post	new WeakList(Identity#1) num objects == 1
post	possibly_updated(this.needSave)
post	this.file != null
post	this.file == configFile
post	this.globalConfig in Addr_Set{null,&new ConfigManager(setOption#2)}
post	this.listeners == &new WeakList(Identity#1)
post	this.myTarget != null
post	this.myTarget == target
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on equals
unanalyzed	call on getDomains
unanalyzed	call on getOption
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
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:keySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on removeListener

void com.dmdirc.config.Identity(File, bool)

Kind	Annotation Text
pre	(soft) forceDefault == 1
post	init'ed(new ConfigManager(setOption#2).channel)
post	init'ed(new ConfigManager(setOption#2).ircd)
post	init'ed(new ConfigManager(setOption#2).listeners)
post	init'ed(new ConfigManager(setOption#2).network)
post	init'ed(new ConfigManager(setOption#2).server)
post	init'ed(new ConfigManager(setOption#2).sources)
post	init'ed(new ConfigTarget(getTarget#1).data)
post	init'ed(new ConfigTarget(getTarget#1).order)
post	init'ed(this.globalConfig)
post	init'ed(this.needSave)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigFile(Identity#2) num objects == 1
post	new ConfigManager(setOption#2) num objects == 0
post	new ConfigTarget(getTarget#1) num objects == 1
post	new ConfigTarget(getTarget#1).type == One-of{&com.dmdirc.config.ConfigTarget$TYPE__ static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE __static_init#5), &com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TY...
post	new ConfigTarget(getTarget#1).type in Addr_Set{&com.dmdirc.config.ConfigTarget$TYPE_ _static_init.new ConfigTarget$TYPE(ConfigTarget$TYP E__static_init#2),&com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$T...
post	new MapList(ConfigManager#1) num objects == 0
post	new WeakList(Identity#1) num objects == 1
post	this.file == &new ConfigFile(Identity#2)
post	this.listeners == &new WeakList(Identity#1)
post	this.myTarget == &new ConfigTarget(getTarget#1)
post	this.sources == null
post	this.sources == undefined
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on equals
unanalyzed	call on getDomains
unanalyzed	call on getOption
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.Exception
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
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:keySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on removeListener

void com.dmdirc.config.Identity(InputStream, bool)

Kind	Annotation Text
pre	(soft) forceDefault == 1
post	init'ed(new ConfigManager(setOption#2).channel)
post	init'ed(new ConfigManager(setOption#2).ircd)
post	init'ed(new ConfigManager(setOption#2).listeners)
post	init'ed(new ConfigManager(setOption#2).network)
post	init'ed(new ConfigManager(setOption#2).server)
post	init'ed(new ConfigManager(setOption#2).sources)
post	init'ed(new ConfigTarget(getTarget#1).data)
post	init'ed(new ConfigTarget(getTarget#1).order)
post	init'ed(this.globalConfig)
post	init'ed(this.needSave)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigFile(Identity#2) num objects == 1
post	new ConfigManager(setOption#2) num objects == 0
post	new ConfigTarget(getTarget#1) num objects == 1
post	new ConfigTarget(getTarget#1).type == One-of{&com.dmdirc.config.ConfigTarget$TYPE__ static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE __static_init#5), &com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TY...
post	new ConfigTarget(getTarget#1).type in Addr_Set{&com.dmdirc.config.ConfigTarget$TYPE_ _static_init.new ConfigTarget$TYPE(ConfigTarget$TYP E__static_init#2),&com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$T...
post	new MapList(ConfigManager#1) num objects == 0
post	new WeakList(Identity#1) num objects == 1
post	this.file == &new ConfigFile(Identity#2)
post	this.listeners == &new WeakList(Identity#1)
post	this.myTarget == &new ConfigTarget(getTarget#1)
post	this.sources == null
post	this.sources == undefined
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on equals
unanalyzed	call on getDomains
unanalyzed	call on getOption
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.Exception
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
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:keySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on removeListener

com.dmdirc.config.Identity__static_init

Kind	Annotation Text
post	DOMAIN != null
post	PROFILE_DOMAIN != null
post	init'ed(LOGGER)

int compareTo(Identity)

Kind	Annotation Text
pre	(soft) init'ed(target.myTarget.order)
pre	(soft) init'ed(this.myTarget.order)
pre	(soft) this.myTarget.order - target.myTarget.order in {-2³¹..2³²-1}
pre	init'ed(this.myTarget.type)
pre	target != null
pre	target.myTarget != null
pre	target.myTarget.type != null
pre	this.myTarget != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:compare To
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:equals

int compareTo(Object)

Kind	Annotation Text
pre	(soft) init'ed(this.myTarget.order)
pre	(soft) init'ed(x0.myTarget.order)
pre	(soft) this.myTarget.order - x0.myTarget.order in {-2³¹..2³²-1}
pre	init'ed(this.myTarget.type)
pre	this.myTarget != null
pre	x0 != null
pre	x0.myTarget != null
pre	x0.myTarget.type != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:compare To
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:equals

Identity createIdentity(Map)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	settings != null
presumption	java.lang.String:isEmpty(...)@622 == 0
presumption	java.util.Iterator:next(...)@640 != null
presumption	java.util.Map:containsKey(...)@622 == 1
presumption	java.util.Map:entrySet(...)@640 != null
presumption	java.util.Map:get(...)@622 != null
presumption	java.util.Map:get(...)@629 != null
post	init'ed(new ConfigManager(setOption#2).channel)
post	init'ed(new ConfigManager(setOption#2).ircd)
post	init'ed(new ConfigManager(setOption#2).listeners)
post	init'ed(new ConfigManager(setOption#2).network)
post	init'ed(new ConfigManager(setOption#2).server)
post	init'ed(new ConfigManager(setOption#2).sources)
post	init'ed(new ConfigTarget(getTarget#1).data)
post	init'ed(new ConfigTarget(getTarget#1).order)
post	init'ed(return_value.globalConfig)
post	init'ed(return_value.needSave)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigFile(Identity#2) num objects == 1
post	new ConfigManager(setOption#2) num objects == 0
post	new ConfigTarget(getTarget#1) num objects == 1
post	new ConfigTarget(getTarget#1).type == &com.dmdirc.config.ConfigTarget$TYPE__static_ init.new ConfigTarget$TYPE(ConfigTarget$TYPE__stati c_init#5)
post	new Identity(createIdentity#7) num objects == 1
post	new MapList(ConfigManager#1) num objects == 0
post	new WeakList(Identity#1) num objects == 1
post	return_value == &new Identity(createIdentity#7)
post	return_value.file == &new ConfigFile(Identity#2 )
post	return_value.listeners == &new WeakList(Identit y#1)
post	return_value.myTarget == &new ConfigTarget(getT arget#1)
post	return_value.sources == null
post	return_value.sources == undefined
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on com.dmdirc.util.ConfigFile:setAutomake
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on com.dmdirc.util.WeakList
unanalyzed	call on equals
unanalyzed	call on getDomains
unanalyzed	call on getOption
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.lang.Exception
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
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:keySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on removeListener
test_vector	java.io.File:exists(...)@634: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@640: {0}, {1}

void delete()

Kind	Annotation Text
pre	(soft) this.file != null
pre	(soft) this.listeners != null
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on equals
unanalyzed	call on getDomains
unanalyzed	call on getOptions
unanalyzed	call on hasOption
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
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:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on removeListener

bool equals(Object)

Kind	Annotation Text
pre	(soft) obj.file != null
pre	(soft) this.file != 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 java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	java.lang.String:equals(...)@590: {0}, {1}
test_vector	this.myTarget == obj.myTarget: {0}, {1}

void fireSettingChange(String, String)

Kind	Annotation Text
presumption	java.util.ArrayList:iterator(...)@277 != null
presumption	java.util.Iterator:next(...)@277 != null
test_vector	java.util.Iterator:hasNext(...)@277: {0}, {1}

Set getDomains()

Kind	Annotation Text
pre	this.file != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomains(...)@448 != null
post	new HashSet(getDomains#1) num objects == 1
post	return_value == &new HashSet(getDomains#1)

ConfigFile getFile()

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

String getName()

Kind	Annotation Text
pre	this.file != 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 java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

String getOption(String, String)

Kind	Annotation Text
pre	this.file != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@336 != null
post	init'ed(return_value)

Map getOptions(String)

Kind	Annotation Text
pre	this.file != null
post	new HashMap(getOptions#1) num objects == 1
post	return_value == &new HashMap(getOptions#1)

ConfigTarget getTarget()

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

ConfigTarget getTarget(bool)

Kind	Annotation Text
pre	this.file != null
presumption	com.dmdirc.util.ConfigFile:isKeyDomain(...)@330 == 1
presumption	java.util.Map:containsKey(...)@330 == 1
post	init'ed(return_value.data)
post	init'ed(return_value.order)
post	new ConfigTarget(getTarget#1) num objects == 1
post	return_value == &new ConfigTarget(getTarget#1)
post	return_value.type in Addr_Set{&com.dmdirc. config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#2),&com.dmdirc.config.ConfigTarget$TYPE__s tatic_init.new ConfigTarget$TYPE(ConfigTarget$TYPE_ _static_init#...
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getOption
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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
test_vector	forceDefault: {0}, {1}

bool hasOption(String, String)

Kind	Annotation Text
pre	this.file != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@330 != null
post	init'ed(return_value)

int hashCode()

Kind	Annotation Text
pre	this.file != null
pre	this.myTarget != null
pre	this.myTarget.data != null
pre	this.myTarget.type != null
presumption	com.dmdirc.config.ConfigTarget_TYPE:ordinal(... )@206 + java.lang.String:hashCode(...)@206 + java.lang.String:hashCode(...)@584 in {-2³¹..2³²-1}
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.lang.String:hashCode
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

void initFile(bool, InputStream)

Kind	Annotation Text
pre	(soft) forceDefault == 1
pre	this.file != null
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.lang.Exception
unanalyzed	call on java.util.Map:containsKey

bool isProfile()

Kind	Annotation Text
pre	this.file != 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 java.util.Map:containsKey

void migrateProfile()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(this.globalConfig)
pre	(soft) init'ed(this.myTarget.type)
pre	(soft) this.listeners != null
pre	(soft) this.myTarget != null
pre	this.file != null
post	init'ed(new ConfigManager(setOption#2).channel)
post	init'ed(new ConfigManager(setOption#2).ircd)
post	init'ed(new ConfigManager(setOption#2).listeners)
post	init'ed(new ConfigManager(setOption#2).network)
post	init'ed(new ConfigManager(setOption#2).server)
post	init'ed(new ConfigManager(setOption#2).sources)
post	init'ed(this.globalConfig)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(setOption#2) num objects <= 1
post	new MapList(ConfigManager#1) num objects <= 1
post	possibly_updated(this.needSave)
post	this.globalConfig == One-of{old this.globalConfig, &new ConfigManager(setOption#2)}
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on equals
unanalyzed	call on getDomains
unanalyzed	call on getOption
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
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:keySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on removeListener

void reload()

Kind	Annotation Text
pre	(soft) this.file != null
pre	init'ed(this.needSave)
presumption	change.length@263 >= 2
presumption	com.dmdirc.util.ConfigFile:getKeyDomains(...)@235 != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomains(...)@239 != null
presumption	java.util.Iterator:next(...)@239 != null
presumption	java.util.Iterator:next(...)@242 != null
presumption	java.util.Iterator:next(...)@263 != null
presumption	java.util.Map:entrySet(...)@239 != null
presumption	java.util.Map:entrySet(...)@242 != null
presumption	java.util.Map:get(...)@248 != null
presumption	java.util.Map:get(...)@251 != null
presumption	java.util.Map:get(...)@256 != null
presumption	java.util.Map:keySet(...)@256 != null
presumption	java.util.Map_Entry:getValue(...)@242 != null
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
test_vector	java.lang.String:equals(...)@248: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@239: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@242: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@256: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@263: {0}, {1}
test_vector	java.util.Map:containsKey(...)@246: {1}, {0}
test_vector	java.util.Map:containsKey(...)@248: {0}, {1}
test_vector	java.util.Map:containsKey(...)@255: {0}, {1}
test_vector	this.needSave: {0}, {1}

void removeListener(ConfigChangeListener)

Kind	Annotation Text
pre	this.listeners != null

void save()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(this.globalConfig)
pre	(soft) init'ed(this.myTarget.type)
pre	(soft) this.listeners != null
pre	init'ed(this.needSave)
pre	this.file != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@500 != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@507 != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomains(...)@488 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	init'ed(java.util.logging.Level.FINEST)
presumption	java.util.Iterator:next(...)@482 != null
presumption	java.util.Iterator:next(...)@488 != null
presumption	java.util.Iterator:next(...)@492 != null
presumption	java.util.Map:entrySet(...)@488 != null
presumption	java.util.Map_Entry:getValue(...)@492 != null
presumption	java.util.logging.Logger:getLogger(...)@76 != null
presumption	source.file@482 != null
presumption	this.globalConfig.listeners@471 != null
presumption	this.globalConfig.sources@471 != null
post	init'ed(new ConfigManager(save#3).channel)
post	init'ed(new ConfigManager(save#3).ircd)
post	init'ed(new ConfigManager(save#3).listeners)
post	init'ed(new ConfigManager(save#3).network)
post	init'ed(new ConfigManager(save#3).server)
post	init'ed(new ConfigManager(save#3).sources)
post	init'ed(this.globalConfig)
post	init'ed(this.needSave)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(save#3) num objects <= 1
post	new MapList(ConfigManager#1) num objects <= 1
post	this.globalConfig == One-of{old this.globalConfig, &new ConfigManager(save#3)}
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on equals
unanalyzed	call on getDomains
unanalyzed	call on getOption
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
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:keySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on removeListener
test_vector	com.dmdirc.util.ConfigFile:isKeyDomain(...)@506: {0}, {1}
test_vector	com.dmdirc.util.ConfigFile:isWritable(...)@469: {0}, {1}
test_vector	java.lang.String:equals(...)@496: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@482: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@488: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@492: {0}, {1}
test_vector	java.util.logging.Logger:isLoggable(...)@481: {0}, {1}
test_vector	this.globalConfig: Inverse{null}, Addr_Set{null}
test_vector	this.myTarget: Addr_Set{null}, Inverse{null}
test_vector	this.needSave: {0}, {1}

void setOption(String, String, int)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(this.globalConfig)
pre	(soft) this.listeners != null
pre	init'ed(this.myTarget.type)
pre	this.file != null
pre	this.myTarget != null
post	init'ed(new ConfigManager(setOption#2*).channel)
post	init'ed(new ConfigManager(setOption#2*).ircd)
post	init'ed(new ConfigManager(setOption#2*).listeners)
post	init'ed(new ConfigManager(setOption#2*).network)
post	init'ed(new ConfigManager(setOption#2*).server)
post	init'ed(new ConfigManager(setOption#2*).sources)
post	init'ed(this.globalConfig)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(setOption#2*) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	possibly_updated(this.needSave)
post	this.globalConfig == One-of{old this.globalConfig, &new ConfigManager(setOption#2*)}
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on equals
unanalyzed	call on getDomains
unanalyzed	call on getOption
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
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:keySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on removeListener

void setOption(String, String, String)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(this.globalConfig)
pre	(soft) this.listeners != null
pre	init'ed(this.myTarget.type)
pre	this.file != null
pre	this.myTarget != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@379 != null
presumption	java.util.logging.Logger:getLogger(...)@76 != null
presumption	this.globalConfig.listeners@352 != null
presumption	this.globalConfig.sources@352 != null
post	init'ed(new ConfigManager(setOption#2).channel)
post	init'ed(new ConfigManager(setOption#2).ircd)
post	init'ed(new ConfigManager(setOption#2).listeners)
post	init'ed(new ConfigManager(setOption#2).network)
post	init'ed(new ConfigManager(setOption#2).server)
post	init'ed(new ConfigManager(setOption#2).sources)
post	init'ed(this.globalConfig)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(setOption#2) num objects <= 1
post	new MapList(ConfigManager#1) num objects <= 1
post	possibly_updated(this.needSave)
post	this.globalConfig == One-of{old this.globalConfig, &new ConfigManager(setOption#2)}
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on equals
unanalyzed	call on getDomains
unanalyzed	call on getOption
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
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:keySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on removeListener
test_vector	java.lang.String:equals(...)@376: {1}, {0}
test_vector	java.util.Map:get(...)@336: Addr_Set{null}, Inverse{null}
test_vector	this.globalConfig: Inverse{null}, Addr_Set{null}
test_vector	value: Inverse{null}, Addr_Set{null}

void setOption(String, String, List)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(this.globalConfig)
pre	(soft) this.listeners != null
pre	init'ed(this.myTarget.type)
pre	this.file != null
pre	this.myTarget != null
pre	value != null
post	init'ed(new ConfigManager(setOption#2*).channel)
post	init'ed(new ConfigManager(setOption#2*).ircd)
post	init'ed(new ConfigManager(setOption#2*).listeners)
post	init'ed(new ConfigManager(setOption#2*).network)
post	init'ed(new ConfigManager(setOption#2*).server)
post	init'ed(new ConfigManager(setOption#2*).sources)
post	init'ed(this.globalConfig)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(setOption#2*) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	possibly_updated(this.needSave)
post	this.globalConfig == One-of{old this.globalConfig, &new ConfigManager(setOption#2*)}
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on equals
unanalyzed	call on getDomains
unanalyzed	call on getOption
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
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:keySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on removeListener
test_vector	java.lang.StringBuilder:length(...)@425: {-2³¹..0}, {1..2³²-1}
test_vector	java.util.Iterator:hasNext(...)@421: {0}, {1}

void setOption(String, String, bool)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(this.globalConfig)
pre	(soft) this.listeners != null
pre	init'ed(this.myTarget.type)
pre	this.file != null
pre	this.myTarget != null
post	init'ed(new ConfigManager(setOption#2*).channel)
post	init'ed(new ConfigManager(setOption#2*).ircd)
post	init'ed(new ConfigManager(setOption#2*).listeners)
post	init'ed(new ConfigManager(setOption#2*).network)
post	init'ed(new ConfigManager(setOption#2*).server)
post	init'ed(new ConfigManager(setOption#2*).sources)
post	init'ed(this.globalConfig)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(setOption#2*) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	possibly_updated(this.needSave)
post	this.globalConfig == One-of{old this.globalConfig, &new ConfigManager(setOption#2*)}
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on equals
unanalyzed	call on getDomains
unanalyzed	call on getOption
unanalyzed	call on getOptions
unanalyzed	call on getSources
unanalyzed	call on getTarget
unanalyzed	call on hasOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
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:keySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on removeListener

String toString()

Kind	Annotation Text
pre	this.file != 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 java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

void unsetOption(String, String)

Kind	Annotation Text
pre	this.file != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@435 != null
post	this.needSave == 1
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator