PreferencesManager.java

PreferencesManager.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void addAdvancedCategory()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.categories != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	new MapList(ConfigManager#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
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.config.prefs.PreferencesType:equ als
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
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: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.List:add
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

void addCategory(PreferencesCategory)

Kind	Annotation Text
pre	this.categories != null

void addConnectionCategory()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.categories != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	new MapList(ConfigManager#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
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.config.prefs.PreferencesType:equ als
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
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: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.List:add
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

void addDefaultCategories()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.categories != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == 0
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on addNotificationsCategory
unanalyzed	call on com.dmdirc.Main:getUI
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.config.prefs.PreferencesType:equ als
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getPl uginPrefsPanel
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getUp datesPrefsPanel
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getUr lHandlersPrefsPanel
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
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: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.List:add
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

void addGeneralCategory()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.categories != null
presumption	com.dmdirc.plugins.PluginManager:getPluginManager(. ..)@176 != null
presumption	com.dmdirc.plugins.PluginManager:getServicesByType( ...)@176 != null
presumption	java.util.Iterator:next(...)@176 != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	new MapList(ConfigManager#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
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.config.prefs.PreferencesType:equ als
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
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: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.List:add
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	java.util.Iterator:hasNext(...)@176: {0}, {1}

void addGuiCategory()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.categories != null
presumption	arr$.length@399 <= 2³²-1
presumption	arr$[i$]@399 != null
presumption	javax.swing.UIManager:getInstalledLookAndFeels(... )@399 != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	new MapList(ConfigManager#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on addConfigManager
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.Main:getUI
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.config.prefs.PreferencesType:equ als
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getTh emesPrefsPanel
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
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: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.List:add
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

void addMessagesCategory()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.categories != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	new MapList(ConfigManager#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
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.config.prefs.PreferencesType:equ als
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
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: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.List:add
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

void addNicklistCategory(PreferencesCategory)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	init'ed(parent.isInline)
pre	parent != null
pre	parent.subcats != null
presumption	category.isInline@472 == 1
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	new MapList(ConfigManager#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
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.config.prefs.PreferencesType:equ als
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
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: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.List:add
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

void addNotificationsCategory(PreferencesCategory)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	init'ed(parent.isInline)
pre	parent != null
pre	parent.subcats != null
presumption	category.isInline@293 == 1
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	new MapList(ConfigManager#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
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.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
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: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.List:add
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

void addPluginsCategory()

Kind	Annotation Text
pre	this.categories != null
presumption	com.dmdirc.Main:getUI(...)@533 != null
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add

void addThemesCategory(PreferencesCategory)

Kind	Annotation Text
pre	init'ed(parent.isInline)
pre	parent != null
pre	parent.subcats != null
presumption	com.dmdirc.Main:getUI(...)@460 != null
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add

void addTreeviewCategory(PreferencesCategory)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	init'ed(parent.isInline)
pre	parent != null
pre	parent.subcats != null
presumption	category.isInline@499 == 1
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	new MapList(ConfigManager#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
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.config.prefs.PreferencesType:equ als
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
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: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.List:add
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

void addUpdatesCategory()

Kind	Annotation Text
pre	this.categories != null
presumption	com.dmdirc.Main:getUI(...)@543 != null
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add

void addUrlHandlerCategory()

Kind	Annotation Text
pre	this.categories != null
presumption	com.dmdirc.Main:getUI(...)@553 != null
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add

void close()

Kind	Annotation Text
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ PREFS_CLOSED)

void com.dmdirc.config.prefs.PreferencesManager()

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ PREFS_OPENED)
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(PreferencesManager#1) num objects == 1
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new ListenerList(PreferencesManager#2) num objects == 1
post	new MapList(ConfigManager#1) num objects == 0
post	this.categories == &new ArrayList(PreferencesMa nager#1)
post	this.listeners == &new ListenerList(Preferences Manager#2)
unanalyzed	call on addAdvancedCategory
unanalyzed	call on addConfigManager
unanalyzed	call on addConnectionCategory
unanalyzed	call on addGeneralCategory
unanalyzed	call on addGuiCategory
unanalyzed	call on addListener
unanalyzed	call on addNotificationsCategory
unanalyzed	call on com.dmdirc.Main:getUI
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on com.dmdirc.config.prefs.PreferencesType:equ als
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getPl uginPrefsPanel
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getUp datesPrefsPanel
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getUr lHandlersPrefsPanel
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on getOption
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: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.List:add
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

com.dmdirc.config.prefs.PreferencesManager__static_init

Kind	Annotation Text

void dismiss()

Kind	Annotation Text
pre	this.categories != null
presumption	category.settings@119 != null
presumption	category.subcats@119 != null
presumption	java.util.Iterator:next(...)@119 != null
unanalyzed	call on dismiss
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.List:iterator
unanalyzed	call on settingChanged
test_vector	java.util.Iterator:hasNext(...)@119: {0}, {1}

void fireSaveListener(PreferencesCategory)

Kind	Annotation Text
pre	category != null
pre	category.subcats != null
presumption	java.util.Iterator:next(...)@590 != null
presumption	subcategory.subcats@590 != null
unanalyzed	call on fireSaveListener
unanalyzed	call on java.util.List:iterator
unanalyzed	call on save
test_vector	category.object: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@590: {0}, {1}

void fireSaveListeners()

Kind	Annotation Text
pre	this.categories != null
pre	this.listeners != null
presumption	category.subcats@575 != null
presumption	com.dmdirc.util.ListenerList:get(...)@571 != null
presumption	java.util.Iterator:next(...)@571 != null
presumption	java.util.Iterator:next(...)@575 != null
unanalyzed	call on fireSaveListener
unanalyzed	call on java.util.List:iterator
unanalyzed	call on save
test_vector	java.util.Iterator:hasNext(...)@571: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@575: {0}, {1}

List getCategories()

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

PreferencesCategory getCategory(String)

Kind	Annotation Text
pre	this.categories != null
presumption	category.title@88 != null
presumption	java.util.Iterator:next(...)@88 != null
post	init'ed(return_value)
test_vector	java.lang.String:equals(...)@89: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@88: {0}, {1}

void registerSaveListener(PreferencesInterface)

Kind	Annotation Text
pre	this.listeners != null

bool save()

Kind	Annotation Text
pre	this.categories != null
pre	this.listeners != null
presumption	java.util.Iterator:next(...)@106 != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on fireSaveListener
unanalyzed	call on java.util.List:iterator
unanalyzed	call on save
test_vector	java.util.Iterator:hasNext(...)@106: {0}, {1}
test_vector	save(...)@107: {0}, {1}