Messages

method

com.dmdirc.config.prefs.PreferencesSetting__ static_init

method	void com.dmdirc.config.prefs.PreferencesSetting(Pr eferencesType, Validator, String, String, String, String)
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	com.dmdirc.config.prefs.PreferencesType:equals(... )@86 == 0
presumption	getGlobalConfig(...).sources != null
post	com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.combooptions == null
post	init'ed(this.current)
post	this.original == this.current
post	this.domain == domain
post	init'ed(this.domain)
post	this.helptext == helptext
post	init'ed(this.helptext)
post	this.listeners == &new ArrayList(PreferencesSet ting#1)
post	this.option == option
post	init'ed(this.option)
post	this.title == title
post	init'ed(this.title)
post	this.type == type
post	init'ed(this.type)
post	this.validator == validator
post	init'ed(this.validator)
post	new ArrayList(PreferencesSetting#1) num objects == 1
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	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
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.ArrayList
unanalyzed	call on java.util.Collections:sort

method not available - call not analyzed Info call on bool com.dmdirc.config.prefs. PreferencesType:equals(Object)

method	void com.dmdirc.config.prefs.PreferencesSetting(Pr eferencesType, String, String, String, String)
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	com.dmdirc.config.prefs.PreferencesType:equals(... )@115 == 0
presumption	getGlobalConfig(...).sources != null
post	com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.combooptions == null
post	init'ed(this.current)
post	this.original == this.current
post	this.domain == domain
post	init'ed(this.domain)
post	this.helptext == helptext
post	init'ed(this.helptext)
post	this.listeners == &new ArrayList(PreferencesSet ting#1)
post	this.option == option
post	init'ed(this.option)
post	this.title == title
post	init'ed(this.title)
post	this.type == type
post	init'ed(this.type)
post	this.validator == &new PermissiveValidator(Pref erencesSetting#2)
post	new ArrayList(PreferencesSetting#1) num objects == 1
post	new PermissiveValidator(PreferencesSetting#2) num objects == 1
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	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
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.ArrayList
unanalyzed	call on java.util.Collections:sort

method not available - call not analyzed Info call on bool com.dmdirc.config.prefs. PreferencesType:equals(Object)

method	void com.dmdirc.config.prefs.PreferencesSetting(St ring, String, String, String, Map)
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	getGlobalConfig(...).sources != null
post	com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.combooptions == &new HashMap(PreferencesSe tting#2)
post	init'ed(this.current)
post	this.original == this.current
post	this.domain == domain
post	init'ed(this.domain)
post	this.helptext == helptext
post	init'ed(this.helptext)
post	this.listeners == &new ArrayList(PreferencesSet ting#1)
post	this.option == option
post	init'ed(this.option)
post	this.title == title
post	init'ed(this.title)
post	this.type == &com.dmdirc.config.prefs. PreferencesType__static_init.new PreferencesType(Pr eferencesType__static_init#6)
post	this.validator == &new PermissiveValidator(Pref erencesSetting#3)
post	new ArrayList(PreferencesSetting#1) num objects == 1
post	new HashMap(PreferencesSetting#2) num objects == 1
post	new PermissiveValidator(PreferencesSetting#3) num objects == 1
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	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
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.ArrayList
unanalyzed	call on java.util.Collections:sort
test_vector	java.util.Map:containsKey(...)@155: {1}, {0}

method	Map getComboOptions()
post	return_value == this.combooptions
post	init'ed(return_value)

method	String getHelptext()
post	return_value == this.helptext
post	init'ed(return_value)

method	String getTitle()
post	return_value == this.title
post	init'ed(return_value)

method	String getValue()
pre	init'ed(this.current)
post	return_value == this.current
post	init'ed(return_value)

method	PreferencesType getType()
post	return_value == this.type
post	init'ed(return_value)

method	Validator getValidator()
post	return_value == this.validator
post	init'ed(return_value)

method	void setValue(String)
pre	this.listeners != null
presumption	java.util.Iterator:next(...)@224 != null
post	this.current == newValue
post	init'ed(this.current)
test_vector	java.util.Iterator:hasNext(...)@224: {0}, {1}

method not available - call not analyzed Info call on void settingChanged(PreferencesSetting)

method	bool isRestartNeeded()
pre	init'ed(this.restartNeeded)
post	return_value == this.restartNeeded
post	init'ed(return_value)

method	PreferencesSetting setRestartNeeded()
post	return_value == this
post	return_value != null
post	this.restartNeeded == 1

method	PreferencesSetting registerChangeListener(SettingC hangeListener)
pre	this.listeners != null
post	return_value == this
post	return_value != null

method	bool save()
pre	init'ed(this.current)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) com/dmdirc/config/IdentityManager.config != null
pre	(soft) com/dmdirc/config/IdentityManager.config. file != null
pre	(soft) com/dmdirc/config/IdentityManager.config. listeners != null
pre	(soft) com/dmdirc/config/IdentityManager.config. myTarget != null
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. config.myTarget.type)
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. config.globalConfig)
pre	(soft) init'ed(this.original)
post	com/dmdirc/config/IdentityManager.config. globalConfig == One-of{old com/dmdirc/config/Identi tyManager.config.globalConfig, &new ConfigManager(setOption#2)}
post	init'ed(com/dmdirc/config/IdentityManager.config. globalConfig)
post	possibly_updated(com/dmdirc/config/IdentityManager. config.needSave)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
post	this.original == One-of{old this.original, this.current}
post	init'ed(this.original)
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(setOption#2) num objects <= 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	new MapList(ConfigManager#1) num objects <= 1
unanalyzed	call on java.lang.String:equals
unanalyzed	call on validate
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.HashSet
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.logging.Logger:finer
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 com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.List:addAll
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on equals
unanalyzed	call on removeListener
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
test_vector	this.current: Inverse{null}, Addr_Set{null}

method	void dismiss()
pre	init'ed(this.original)
pre	(soft) init'ed(this.current)
pre	(soft) this.listeners != null
presumption	java.util.Iterator:next(...)@291 != null
post	this.current == One-of{old this.current, this.original}
post	init'ed(this.current)
test_vector	this.current: Inverse{null}, Addr_Set{null}
test_vector	this.original: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@284: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@291: {0}, {1}

method not available - call not analyzed Info call on void settingChanged(PreferencesSetting)

method	bool needsSaving()
pre	init'ed(this.current)
pre	(soft) init'ed(this.original)
presumption	validate(...)@302 != null
post	init'ed(return_value)
test_vector	this.current: Addr_Set{null}, Inverse{null}

call too complex - analysis skipped Info call on ValidationResponse validate(Object)