PreferencesSetting.java

PreferencesSetting.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

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

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	getGlobalConfig(...).sources != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
post	init'ed(this.current)
post	init'ed(this.domain)
post	init'ed(this.helptext)
post	init'ed(this.option)
post	init'ed(this.title)
post	java.lang.StringBuilder:toString(...)._tainted == 0
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 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 HashMap(PreferencesSetting#2) num objects == 1
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new PermissiveValidator(PreferencesSetting#3) num objects == 1
post	this.combooptions == &new HashMap(PreferencesSe tting#2)
post	this.domain == domain
post	this.helptext == helptext
post	this.listeners == &new ArrayList(PreferencesSet ting#1)
post	this.option == option
post	this.original == this.current
post	this.title == 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)
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.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
test_vector	java.util.Map:containsKey(...)@155: {1}, {0}

com.dmdirc.config.prefs.PreferencesSetting__static_init

Kind	Annotation Text

void dismiss()

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

Map getComboOptions()

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

String getHelptext()

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

String getTitle()

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

PreferencesType getType()

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

Validator getValidator()

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

String getValue()

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

bool isRestartNeeded()

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

bool needsSaving()

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

PreferencesSetting registerChangeListener(SettingChangeListener)

Kind	Annotation Text
pre	this.listeners != null
post	return_value != null
post	return_value == this

bool save()

Kind	Annotation Text
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.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. config.globalConfig)
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. config.myTarget.type)
pre	(soft) init'ed(this.original)
pre	init'ed(this.current)
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	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(return_value)
post	init'ed(this.original)
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(com/dmdirc/config/IdentityManager. config.needSave)
post	this.original == One-of{old this.original, this.current}
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
unanalyzed	call on validate
test_vector	this.current: Inverse{null}, Addr_Set{null}

PreferencesSetting setRestartNeeded()

Kind	Annotation Text
post	return_value != null
post	return_value == this
post	this.restartNeeded == 1

void setValue(String)

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