Messages

Last Msg First Msg

method

com.dmdirc.config.prefs.PreferencesManager__ static_init

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList()

method	void com.dmdirc.config.prefs.PreferencesManager()
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ PREFS_OPENED)
post	com/dmdirc/config/IdentityManager.globalconfig != null
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
post	this.categories == &new ArrayList(PreferencesMa nager#1)
post	this.listeners == &new ListenerList(Preferences Manager#2)
post	new ArrayList(PreferencesManager#1) num objects == 1
post	new ListenerList(PreferencesManager#2) num objects == 1
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)
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.Main:getUI
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getPl uginPrefsPanel
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.config.prefs.PreferencesType:equ als
unanalyzed	call on addNotificationsCategory
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getUr lHandlersPrefsPanel
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getUp datesPrefsPanel
unanalyzed	call on addGeneralCategory
unanalyzed	call on addConnectionCategory
unanalyzed	call on addGuiCategory
unanalyzed	call on addAdvancedCategory

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:proce ssEvent(ActionType, StringBuffer, Object[])

method	void addCategory(PreferencesCategory)
pre	this.categories != null

method	List getCategories()
post	return_value == this.categories
post	init'ed(return_value)

method	PreferencesCategory getCategory(String)
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}

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

call too complex - analysis skipped Info call on bool save()

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

method	void addDefaultCategories()
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.categories != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
post	com/dmdirc/config/IdentityManager.globalconfig != null
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
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)
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.Main:getUI
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getPl uginPrefsPanel
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.config.prefs.PreferencesType:equ als
unanalyzed	call on addNotificationsCategory
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getUr lHandlersPrefsPanel
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getUp datesPrefsPanel

call too complex - analysis skipped Info call on void addGeneralCategory()

call too complex - analysis skipped Info call on void addConnectionCategory()

call too complex - analysis skipped Info call on void addGuiCategory()

call too complex - analysis skipped Info call on void addAdvancedCategory()

method	void addGeneralCategory()
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.categories != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
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	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
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.config.prefs.PreferencesType:equ als
unanalyzed	call on java.util.HashMap
test_vector	java.util.Iterator:hasNext(...)@176: {0}, {1}

method not available - call not analyzed Info call on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()

method not available - call not analyzed Info call on List com.dmdirc.plugins.PluginManager:getSe rvicesByType(String)

method not available - call not analyzed Info call on String com.dmdirc.plugins.Service:getName()

method	void addConnectionCategory()
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.categories != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
post	com/dmdirc/config/IdentityManager.globalconfig != null
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
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.config.prefs.PreferencesType:equ als

method	void addMessagesCategory()
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.categories != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
post	com/dmdirc/config/IdentityManager.globalconfig != null
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
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.config.prefs.PreferencesType:equ als

call too complex - analysis skipped Info call on void addNotificationsCategory(PreferencesCa tegory)

method	void addNotificationsCategory(PreferencesCategory)
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	parent != null
pre	init'ed(parent.isInline)
pre	parent.subcats != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	category.isInline@293 == 1
post	com/dmdirc/config/IdentityManager.globalconfig != null
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
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap

method	void addAdvancedCategory()
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.categories != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
post	com/dmdirc/config/IdentityManager.globalconfig != null
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
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.config.prefs.PreferencesType:equ als
unanalyzed	call on java.util.HashMap

method	void addGuiCategory()
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	this.categories != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
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	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
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.Main:getUI
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.config.prefs.PreferencesType:equ als
unanalyzed	call on java.util.HashMap
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getTh emesPrefsPanel

Prev Msg Next Msg

unused assignment

click for all messages in this file Low Prob.

Unused assignment into sysLafClass

Prev Msg Next Msg

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (setRestartNeeded.Param_0. restartNeeded) in setRestartNeeded

Prev Msg Next Msg

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

method not available - call not analyzed Info call on UIController com.dmdirc.Main:getUI()

method not available - call not analyzed Info call on PreferencesInterface com.dmdirc.ui. interfaces.UIController:getThemesPrefsPanel()

method	void addNicklistCategory(PreferencesCategory)
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	parent != null
pre	init'ed(parent.isInline)
pre	parent.subcats != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	category.isInline@472 == 1
post	com/dmdirc/config/IdentityManager.globalconfig != null
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
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.config.prefs.PreferencesType:equ als

method	void addTreeviewCategory(PreferencesCategory)
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	parent != null
pre	init'ed(parent.isInline)
pre	parent.subcats != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	category.isInline@499 == 1
post	com/dmdirc/config/IdentityManager.globalconfig != null
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
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.config.prefs.PreferencesType:equ als

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

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

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

method	void registerSaveListener(PreferencesInterface)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:add(Class , Object)

method	void fireSaveListeners()
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 java.util.List:iterator
unanalyzed	call on save
unanalyzed	call on fireSaveListener
test_vector	java.util.Iterator:hasNext(...)@571: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@575: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.util.ListenerList:get(Class )

method not available - call not analyzed Info call on void save()

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

method not available - call not analyzed Info call on void save()

method	void close()
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ PREFS_CLOSED)

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:proce ssEvent(ActionType, StringBuffer, Object[])

	method not available - call not analyzed	Info	call on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()
	method not available - call not analyzed	Info	call on List com.dmdirc.plugins.PluginManager:getSe rvicesByType(String)

	method not available - call not analyzed	Info	call on UIController com.dmdirc.Main:getUI()
	method not available - call not analyzed	Info	call on PreferencesInterface com.dmdirc.ui. interfaces.UIController:getThemesPrefsPanel()