Messages

method

com.dmdirc.addons.ui_swing.dialogs.serversetting. IgnoreListPanel$1__static_init

method

com.dmdirc.addons.ui_swing.dialogs.serversetting. IgnoreListPanel__static_init

method	JCheckBox access$000(IgnoreListPanel)
pre	x0 != null
pre	init'ed(x0.viewToggle)
post	return_value == x0.viewToggle
post	init'ed(return_value)

method	IgnoreList access$100(IgnoreListPanel)
pre	x0 != null
pre	init'ed(x0.cachedIgnoreList)
post	return_value == x0.cachedIgnoreList
post	init'ed(return_value)

method	void access$200(IgnoreListPanel)
pre	x0 != null
pre	x0.cachedIgnoreList != null
pre	x0.listModel != null
pre	x0.listModel.ignoreList != null
pre	x0.viewToggle != null
unanalyzed	call on com.dmdirc.IgnoreList:canConvert
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JCheckBox:setEnabled
unanalyzed	call on com.dmdirc.IgnoreList:count
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListModel:fireContentsChanged

method	void com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel(Server, Window)
pre	server != null
post	this.addButton == &new JButton(initComponents#5 )
post	this.cachedIgnoreList == &new IgnoreList(initCo mponents#1)
post	new IgnoreListModel(initComponents#2).ignoreList == &new IgnoreList(initComponents#1)
post	this.delButton == &new JButton(initComponents#6 )
post	this.list == &new JList(initComponents#3)
post	this.listModel == &new IgnoreListModel(initComp onents#2)
post	this.parentWindow == parentWindow
post	init'ed(this.parentWindow)
post	this.server == server
post	this.server != null
post	this.sizeLabel == &new JLabel(initComponents#7)
post	this.viewToggle == &new JCheckBox(initComponent s#8)
post	new IgnoreList(initComponents#1) num objects == 1
post	new IgnoreListModel(initComponents#2) num objects == 1
post	new JButton(initComponents#5) num objects == 1
post	new JButton(initComponents#6) num objects == 1
post	new JCheckBox(initComponents#8) num objects == 1
post	new JLabel(initComponents#7) num objects == 1
post	new JList(initComponents#3) num objects == 1
post	init'ed(new IgnoreListModel(initComponents#2). isSimple)
unanalyzed	call on com.dmdirc.Server:getIgnoreList
unanalyzed	call on com.dmdirc.IgnoreList:getRegexList
unanalyzed	call on com.dmdirc.IgnoreList
unanalyzed	call on javax.swing.AbstractListModel
unanalyzed	call on com.dmdirc.IgnoreList:canConvert
unanalyzed	call on javax.swing.JList
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JList:setSelectionMode
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on javax.swing.JCheckBox:setOpaque
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JCheckBox:setEnabled
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:add
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JCheckBox:addActionListener
unanalyzed	call on javax.swing.JList:getSelectionModel
unanalyzed	call on javax.swing.ListSelectionModel:addListSelec tionListener
unanalyzed	call on com.dmdirc.IgnoreList:count
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JList:getSelectedIndex
unanalyzed	call on javax.swing.JButton:setEnabled

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing. UIUtilities:getTabbedPaneOpaque()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:setOpaque(bool)

method	void initComponents()
pre	this.server != null
presumption	com.dmdirc.Server:getIgnoreList(...)@101 != null
post	this.addButton == &new JButton(initComponents#5 )
post	this.cachedIgnoreList == &new IgnoreList(initCo mponents#1)
post	this.listModel.ignoreList == &new IgnoreList(initComponents#1)
post	this.delButton == &new JButton(initComponents#6 )
post	this.list == &new JList(initComponents#3)
post	this.listModel == &new IgnoreListModel(initComp onents#2)
post	this.sizeLabel == &new JLabel(initComponents#7)
post	this.viewToggle == &new JCheckBox(initComponent s#8)
post	new IgnoreList(initComponents#1) num objects == 1
post	new IgnoreListModel(initComponents#2) num objects == 1
post	new JButton(initComponents#5) num objects == 1
post	new JButton(initComponents#6) num objects == 1
post	new JCheckBox(initComponents#8) num objects == 1
post	new JLabel(initComponents#7) num objects == 1
post	new JList(initComponents#3) num objects == 1
post	init'ed(this.listModel.isSimple)
unanalyzed	call on javax.swing.AbstractListModel
unanalyzed	call on com.dmdirc.IgnoreList:canConvert

method not available - call not analyzed Info call on IgnoreList com.dmdirc.Server:getIgnoreList( )

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

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

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing. UIUtilities:getTabbedPaneOpaque()

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

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:setLayout(LayoutManag er)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:add(Component, Object)

method	void updateSizeLabel()
pre	this.cachedIgnoreList != null
pre	this.sizeLabel != null

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

method	void addListeners()
pre	this.addButton != null
pre	this.delButton != null
pre	this.list != null
pre	this.viewToggle != null
presumption	javax.swing.JList:getSelectionModel(...)@137 != null

method	void populateList()
pre	this.cachedIgnoreList != null
pre	this.list != null
pre	this.sizeLabel != null
pre	(soft) this.delButton != null
unanalyzed	call on com.dmdirc.IgnoreList:count
unanalyzed	call on javax.swing.JLabel:setText
test_vector	javax.swing.JList:getSelectedIndex(...)@142: {-2³¹..-2, 0..2³²-1}, {-1}

method	void updateList()
pre	this.cachedIgnoreList != null
pre	this.listModel != null
pre	this.listModel.ignoreList != null
pre	this.viewToggle != null
unanalyzed	call on com.dmdirc.IgnoreList:count
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListModel:fireContentsChanged
test_vector	com.dmdirc.IgnoreList:canConvert(...)@153: {0}, {1}

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

method	void saveList()
pre	this.cachedIgnoreList != null
pre	this.server != null
presumption	com.dmdirc.Server:getIgnoreList(...)@163 != null
presumption	com.dmdirc.Server:getIgnoreList(...)@164 != null

method not available - call not analyzed Info call on IgnoreList com.dmdirc.Server:getIgnoreList( )

method not available - call not analyzed Info call on void com.dmdirc.IgnoreList:clear()

method not available - call not analyzed Info call on void com.dmdirc.Server:saveIgnoreList()

method	void actionPerformed(ActionEvent)
pre	e != null
pre	init'ed(this.addButton)
pre	(soft) this.cachedIgnoreList != null
pre	(soft) init'ed(this.delButton)
pre	(soft) this.list != null
pre	(soft) this.listModel != null
pre	(soft) this.listModel.ignoreList != null
pre	(soft) init'ed(this.parentWindow)
pre	(soft) this.viewToggle != null
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	possibly_updated(this.listModel.isSimple)
unanalyzed	call on com.dmdirc.IgnoreList:canConvert
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JCheckBox:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardInputDialog
unanalyzed	call on com.dmdirc.IgnoreList:count
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListModel:fireContentsChanged
test_vector	javax.swing.JCheckBox:isSelected(...)@177: {0}, {1}
test_vector	javax.swing.JList:getSelectedIndex(...)@210: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	javax.swing.JOptionPane:showConfirmDialog(... )@210: {-2³¹..-1, 1..2³²-1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.config.prefs.validator. NotEmptyValidator()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs.validator. RegexValidator()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs.validator. ValidatorChain(Validator[])

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel$1:display()

method

void com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel$1(IgnoreListPanel, Window, Dialog$ModalityType, String, String, Validator)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardInputDialog(Window, Dialog$ModalityType, String, String, Validator)

method	bool save()
pre	this.cachedIgnoreList != null
pre	this.listModel != null
pre	this.listModel.ignoreList != null
pre	this.viewToggle != null
post	return_value == 1
unanalyzed	call on com.dmdirc.IgnoreList:canConvert
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JCheckBox:setEnabled
unanalyzed	call on com.dmdirc.IgnoreList:count
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListModel:fireContentsChanged
test_vector	javax.swing.JCheckBox:isSelected(...)@194: {0}, {1}

method not available - call not analyzed Info call on String com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel$1:getText()

method not available - call not analyzed Info call on void com.dmdirc.IgnoreList:add(String)

method

void cancelled()

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

method	void valueChanged(ListSelectionEvent)
pre	this.delButton != null
pre	this.list != null
test_vector	javax.swing.JList:getSelectedIndex(...)@224: {-2³¹..-2, 0..2³²-1}, {-1}

	method not available - call not analyzed	Info	call on bool com.dmdirc.addons.ui_swing. UIUtilities:getTabbedPaneOpaque()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:setOpaque(bool)

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

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:setLayout(LayoutManag er)

method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs.validator. NotEmptyValidator()
method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs.validator. RegexValidator()
method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs.validator. ValidatorChain(Validator[])
method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel$1:display()

	method not available - call not analyzed	Info	call on String com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel$1:getText()
	method not available - call not analyzed	Info	call on void com.dmdirc.IgnoreList:add(String)