Messages

method

com.dmdirc.addons.ui_swing.dialogs.serversetting. IgnoreListModel__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListModel(IgnoreList)
pre	ignoreList != null
post	this.ignoreList == ignoreList
post	this.ignoreList != null
post	init'ed(this.isSimple)

method not available - call not analyzed Info call on bool com.dmdirc.IgnoreList:canConvert()

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

method not available - call not analyzed Info call on int com.dmdirc.IgnoreList:count()

method	Object getElementAt(int)
pre	this.ignoreList != null
pre	init'ed(this.isSimple)
presumption	com.dmdirc.IgnoreList:getRegexList(...)@61 != null
presumption	com.dmdirc.IgnoreList:getSimpleList(...)@59 != null
post	init'ed(return_value)
test_vector	this.isSimple: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.IgnoreList:getSimpleList()

method not available - call not analyzed Info call on List com.dmdirc.IgnoreList:getRegexList()

method	void setIsSimple(bool)
pre	this.ignoreList != null
post	this.isSimple == isSimple
post	init'ed(this.isSimple)
unanalyzed	call on com.dmdirc.IgnoreList:count

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListModel:fireContentsChanged(O bject, int, int)

method	void notifyUpdated()
pre	this.ignoreList != null
unanalyzed	call on com.dmdirc.IgnoreList:count

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListModel:fireContentsChanged(O bject, int, int)