PreferencesCategory.java

PreferencesCategory.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void addChangeListener(CategoryChangeListener)

Kind	Annotation Text
pre	this.listeners != null

void addSetting(PreferencesSetting)

Kind	Annotation Text
pre	this.object == null
pre	this.settings != null

void addSubCategory(PreferencesCategory)

Kind	Annotation Text
pre	(soft) subcategory.isInline == 1
pre	init'ed(this.isInline)
pre	subcategory != null
pre	this.subcats != null
post	subcategory.parent != null
post	subcategory.parent == this
test_vector	this.isInline: {0}, {1}

void com.dmdirc.config.prefs.PreferencesCategory(String, String)

Kind	Annotation Text
post	init'ed(this.description)
post	init'ed(this.title)
post	new ArrayList(PreferencesCategory#1) num objects == 1
post	new ArrayList(PreferencesCategory#2) num objects == 1
post	new ListenerList(PreferencesCategory#3) num objects == 1
post	this.description == description
post	this.icon == null
post	this.inlineBefore == 1
post	this.isInline == 0
post	this.listeners == &new ListenerList(Preferences Category#3)
post	this.object == null
post	this.settings == &new ArrayList(PreferencesCate gory#1)
post	this.subcats == &new ArrayList(PreferencesCateg ory#2)
post	this.title == title
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.ArrayList

void com.dmdirc.config.prefs.PreferencesCategory(String, String, PreferencesInterface)

Kind	Annotation Text
post	init'ed(this.description)
post	init'ed(this.object)
post	init'ed(this.title)
post	new ArrayList(PreferencesCategory#1) num objects == 1
post	new ArrayList(PreferencesCategory#2) num objects == 1
post	new ListenerList(PreferencesCategory#3) num objects == 1
post	this.description == description
post	this.icon == null
post	this.inlineBefore == 1
post	this.isInline == 0
post	this.listeners == &new ListenerList(Preferences Category#3)
post	this.object == object
post	this.settings == &new ArrayList(PreferencesCate gory#1)
post	this.subcats == &new ArrayList(PreferencesCateg ory#2)
post	this.title == title
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.ArrayList

void com.dmdirc.config.prefs.PreferencesCategory(String, String, String)

Kind	Annotation Text
post	init'ed(this.description)
post	init'ed(this.icon)
post	init'ed(this.title)
post	new ArrayList(PreferencesCategory#1) num objects == 1
post	new ArrayList(PreferencesCategory#2) num objects == 1
post	new ListenerList(PreferencesCategory#3) num objects == 1
post	this.description == description
post	this.icon == icon
post	this.inlineBefore == 1
post	this.isInline == 0
post	this.listeners == &new ListenerList(Preferences Category#3)
post	this.object == null
post	this.settings == &new ArrayList(PreferencesCate gory#1)
post	this.subcats == &new ArrayList(PreferencesCateg ory#2)
post	this.title == title
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.ArrayList

void com.dmdirc.config.prefs.PreferencesCategory(String, String, String, PreferencesInterface)

Kind	Annotation Text
post	init'ed(this.description)
post	init'ed(this.icon)
post	init'ed(this.object)
post	init'ed(this.title)
post	new ArrayList(PreferencesCategory#1) num objects == 1
post	new ArrayList(PreferencesCategory#2) num objects == 1
post	new ListenerList(PreferencesCategory#3) num objects == 1
post	this.description == description
post	this.icon == icon
post	this.inlineBefore == 1
post	this.isInline == 0
post	this.listeners == &new ListenerList(Preferences Category#3)
post	this.object == object
post	this.settings == &new ArrayList(PreferencesCate gory#1)
post	this.subcats == &new ArrayList(PreferencesCateg ory#2)
post	this.title == title

com.dmdirc.config.prefs.PreferencesCategory__static_init

Kind	Annotation Text
post	init'ed(LOGGER)

void dismiss()

Kind	Annotation Text
pre	this.settings != null
pre	this.subcats != null
presumption	child.settings@322 != null
presumption	child.subcats@322 != null
presumption	java.util.Iterator:next(...)@318 != null
presumption	java.util.Iterator:next(...)@322 != null
presumption	setting.listeners@318 != 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(...)@318: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@322: {0}, {1}

void fireCategoryDeselected()

Kind	Annotation Text
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@358 != null
presumption	java.util.Iterator:next(...)@358 != null
test_vector	java.util.Iterator:hasNext(...)@358: {0}, {1}

void fireCategorySelected()

Kind	Annotation Text
pre	this.listeners != null
presumption	com.dmdirc.util.ListenerList:get(...)@349 != null
presumption	java.util.Iterator:next(...)@349 != null
test_vector	java.util.Iterator:hasNext(...)@349: {0}, {1}

String getDescription()

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

String getIcon()

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

PreferencesInterface getObject()

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

PreferencesCategory getParent()

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

String getPath()

Kind	Annotation Text
pre	(soft) init'ed(this...parent)
pre	init'ed(this.parent)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	java.lang.StringBuilder:toString(...)._tainted == this.title._tainted \| One-of{0, this...title._ tainted \| One-of{0, this...title._tainted \| One-of{0, this...title._tainted \| One-of{0, this...title._tainted}}}}
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on getPath

List getSettings()

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

List getSubcats()

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

String getTitle()

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

bool hasObject()

Kind	Annotation Text
post	init'ed(return_value)

bool isInline()

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

bool isInlineBefore()

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

void removeChangeListener(CategoryChangeListener)

Kind	Annotation Text
pre	this.listeners != null

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	this.settings != null
pre	this.subcats != null
presumption	java.util.Iterator:next(...)@300 != null
presumption	java.util.Iterator:next(...)@307 != null
presumption	java.util.logging.Logger:getLogger(...)@39 != null
post	init'ed(com/dmdirc/config/IdentityManager.config. globalConfig)
post	init'ed(new ArrayList(getSources#1) num objects)
post	init'ed(new ConfigManager(setOption#2) num objects)
post	init'ed(new ConfigManager(setOption#2).channel)
post	init'ed(new ConfigManager(setOption#2).ircd)
post	init'ed(new ConfigManager(setOption#2).listeners)
post	init'ed(new ConfigManager(setOption#2).network)
post	init'ed(new ConfigManager(setOption#2).server)
post	init'ed(new ConfigManager(setOption#2).sources)
post	init'ed(new MapList(ConfigManager#1) num objects)
post	init'ed(return_value)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0, if init'ed
post	new ArrayList(getSources#1) num objects == undefined
post	new ConfigManager(setOption#2) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(setOption#2).channel == null
post	new ConfigManager(setOption#2).channel == undefined
post	new ConfigManager(setOption#2).ircd == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).listeners == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).network == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).server == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).sources == new ConfigManager(setOption#2).channel
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	possibly_updated(com/dmdirc/config/IdentityManager. config.needSave)
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	java.util.Iterator:hasNext(...)@300: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@307: {0}, {1}
test_vector	setting.restartNeeded@302: {0}, {1}

PreferencesCategory setInline()

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

PreferencesCategory setInlineAfter()

Kind	Annotation Text
post	return_value != null
post	return_value == this
post	this.inlineBefore == 0

void setParent(PreferencesCategory)

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