Messages

method	com.dmdirc.config.prefs.PreferencesCategory__ static_init
post	init'ed(LOGGER)

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

method	void com.dmdirc.config.prefs.PreferencesCategory(S tring, String)
post	this.description == description
post	init'ed(this.description)
post	this.icon == null
post	this.object == null
post	this.inlineBefore == 1
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.isInline == 0
post	this.listeners == &new ListenerList(Preferences Category#3)
post	this.settings == &new ArrayList(PreferencesCate gory#1)
post	this.subcats == &new ArrayList(PreferencesCateg ory#2)
post	this.title == title
post	init'ed(this.title)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList

method	void com.dmdirc.config.prefs.PreferencesCategory(S tring, String, String)
post	this.description == description
post	init'ed(this.description)
post	this.icon == icon
post	init'ed(this.icon)
post	this.inlineBefore == 1
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.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
post	init'ed(this.title)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList

method	void com.dmdirc.config.prefs.PreferencesCategory(S tring, String, PreferencesInterface)
post	this.description == description
post	init'ed(this.description)
post	this.icon == null
post	this.inlineBefore == 1
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.isInline == 0
post	this.listeners == &new ListenerList(Preferences Category#3)
post	this.object == object
post	init'ed(this.object)
post	this.settings == &new ArrayList(PreferencesCate gory#1)
post	this.subcats == &new ArrayList(PreferencesCateg ory#2)
post	this.title == title
post	init'ed(this.title)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList

method	void com.dmdirc.config.prefs.PreferencesCategory(S tring, String, String, PreferencesInterface)
post	this.description == description
post	init'ed(this.description)
post	this.icon == icon
post	init'ed(this.icon)
post	this.inlineBefore == 1
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.isInline == 0
post	this.listeners == &new ListenerList(Preferences Category#3)
post	this.object == object
post	init'ed(this.object)
post	this.settings == &new ArrayList(PreferencesCate gory#1)
post	this.subcats == &new ArrayList(PreferencesCateg ory#2)
post	this.title == title
post	init'ed(this.title)

method	PreferencesCategory setInline()
post	return_value == this
post	return_value != null
post	this.isInline == 1

method	PreferencesCategory setInlineAfter()
post	return_value == this
post	return_value != null
post	this.inlineBefore == 0

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

method	bool isInlineBefore()
pre	init'ed(this.inlineBefore)
post	return_value == this.inlineBefore
post	init'ed(return_value)

method	void addSetting(PreferencesSetting)
pre	this.object == null
pre	this.settings != null

method	void addSubCategory(PreferencesCategory)
pre	subcategory != null
pre	init'ed(this.isInline)
pre	this.subcats != null
pre	(soft) subcategory.isInline == 1
post	subcategory.parent == this
post	subcategory.parent != null
test_vector	this.isInline: {0}, {1}

method	String getDescription()
post	return_value == this.description
post	init'ed(return_value)

method	List getSettings()
post	return_value == this.settings
post	init'ed(return_value)

method	List getSubcats()
post	return_value == this.subcats
post	init'ed(return_value)

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

method	String getIcon()
post	return_value == this.icon
post	init'ed(return_value)

method	bool hasObject()
post	init'ed(return_value)

method	PreferencesInterface getObject()
post	return_value == this.object
post	init'ed(return_value)

method	String getPath()
pre	init'ed(this.parent)
pre	(soft) init'ed(this...parent)
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	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on getPath

method	void setParent(PreferencesCategory)
post	this.parent == parent
post	init'ed(this.parent)

method	PreferencesCategory getParent()
pre	init'ed(this.parent)
post	return_value == this.parent
post	init'ed(return_value)

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

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

method	void dismiss()
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 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(...)@318: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@322: {0}, {1}

method	void addChangeListener(CategoryChangeListener)
pre	this.listeners != null

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

method	void removeChangeListener(CategoryChangeListener)
pre	this.listeners != null

method not available - call not analyzed Info call on void com.dmdirc.util.ListenerList:remove(Cl ass, Object)

method	void fireCategorySelected()
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}

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 categorySelected(PreferencesCategory)

method	void fireCategoryDeselected()
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}

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 categoryDeselected(PreferencesCategory )