Messages

method

com.dmdirc.addons.ui_swing.components. NicklistListModel__static_init

method	Object getElementAt(int)
pre	this.nicknames != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:get

method	void com.dmdirc.addons.ui_swing.components. NicklistListModel()
presumption	java.util.Collections:synchronizedList(...)@67 != null
post	this.nicknames != null
post	init'ed(this.sortByCase)
post	init'ed(this.sortByMode)
unanalyzed	call on java.util.List:size
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.AbstractListModel
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.util.Collections:synchronizedList

method	void com.dmdirc.addons.ui_swing.components. NicklistListModel(List)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@63 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@65 != null
presumption	java.util.Collections:synchronizedList(...)@67 != null
post	this.nicknames != null
post	init'ed(this.sortByCase)
post	init'ed(this.sortByMode)
unanalyzed	call on java.util.List:size
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method	int getSize()
pre	this.nicknames != null
post	init'ed(return_value)

method	ChannelClientInfo getElementAt(int)
pre	this.nicknames != null
post	init'ed(return_value)

method	void sort()
pre	this.nicknames != null
pre	init'ed(this.sortByCase)
pre	init'ed(this.sortByMode)
unanalyzed	call on java.util.List:size
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged

method	bool replace(List)
pre	this.nicknames != null
pre	init'ed(this.sortByCase)
pre	init'ed(this.sortByMode)
post	init'ed(return_value)
unanalyzed	call on java.util.List:size
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method	bool add(ChannelClientInfo)
pre	this.nicknames != null
pre	init'ed(this.sortByCase)
pre	init'ed(this.sortByMode)
post	init'ed(return_value)
unanalyzed	call on java.util.List:size
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method	bool remove(ChannelClientInfo)
pre	this.nicknames != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:size
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged

method	ChannelClientInfo remove(int)
pre	this.nicknames != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:size
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged

method	void rerender()
pre	this.nicknames != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged(Object, int, int)

method	void configChanged(String, String)
pre	this.nicknames != null
pre	(soft) init'ed(this.sortByCase)
pre	(soft) init'ed(this.sortByMode)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@180 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@183 != null
post	init'ed(this.sortByCase)
post	init'ed(this.sortByMode)
unanalyzed	call on java.util.List:size
unanalyzed	call on com.dmdirc.addons.ui_swing.components. NicklistListModel:fireContentsChanged
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
test_vector	java.lang.String:equals(...)@179: {0}, {1}
test_vector	java.lang.String:equals(...)@182: {0}, {1}

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
	method not available - call not analyzed	Info	call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)