ServerSettingsDialog.java

ServerSettingsDialog.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void actionPerformed(ActionEvent)

Kind	Annotation Text
pre	(soft) init'ed(me)
pre	(soft) init'ed(this.performPanel.isNetworkPerform)
pre	(soft) init'ed(this.performPanel.networkAction)
pre	(soft) init'ed(this.performPanel.networkPerform)
pre	(soft) init'ed(this.performPanel.serverAction)
pre	(soft) init'ed(this.performPanel.serverPerform)
pre	(soft) this.ignoreList != null
pre	(soft) this.ignoreList.cachedIgnoreList != null
pre	(soft) this.ignoreList.server != null
pre	(soft) this.modesPanel != null
pre	(soft) this.modesPanel.modeCheckBoxes != null
pre	(soft) this.performPanel != null
pre	(soft) this.performPanel.server != null
pre	(soft) this.performPanel.textarea != null
pre	(soft) this.server != null
pre	(soft) this.settingsPanel != null
pre	(soft) this.tabbedPane != null
pre	e != null
post	init'ed(me)
post	init'ed(this.performPanel.networkAction)
post	init'ed(this.performPanel.networkPerform)
post	init'ed(this.performPanel.serverAction)
post	init'ed(this.performPanel.serverPerform)
post	me == One-of{old me, null}
unanalyzed	call on com.dmdirc.IgnoreList:addAll
unanalyzed	call on com.dmdirc.IgnoreList:clear
unanalyzed	call on com.dmdirc.IgnoreList:getRegexList
unanalyzed	call on com.dmdirc.Server:getIgnoreList
unanalyzed	call on com.dmdirc.Server:getName
unanalyzed	call on com.dmdirc.Server:getNetwork
unanalyzed	call on com.dmdirc.Server:getNetworkIdentity
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.Server:saveIgnoreList
unanalyzed	call on com.dmdirc.actions.Action:save
unanalyzed	call on com.dmdirc.actions.Action:setResponse
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:createActionForNetwork
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:createActionForServer
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:getPerformWrapper
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:save
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:alterMode
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getUserMod eStr
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:sendModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getUserMode String
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.String:contains
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:subSequence
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:get
unanalyzed	call on javax.swing.JCheckBox:isSelected
unanalyzed	call on javax.swing.JTabbedPane:getSelectedIndex
unanalyzed	call on javax.swing.JTextArea:getText

void addSettings()

Kind	Annotation Text
pre	this.settingsPanel != null
presumption	init'ed(com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType. CHECKBOX)
presumption	init'ed(com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType.COLOUR)
presumption	init'ed(com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType. SPINNER)
presumption	init'ed(com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType. TEXTFIELD)

void com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog(Server, Window)

Kind	Annotation Text
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	init'ed(this.parentWindow)
post	init'ed(this.server)
post	this.parentWindow == parentWindow
post	this.server == server
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener

com.dmdirc.addons.ui_swing.dialogs.serversetting.ServerSettingsDialog__static_init

Kind	Annotation Text

void dispose()

Kind	Annotation Text
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

ServerSettingsDialog getServerSettingsDialog(Server, Window)

Kind	Annotation Text
pre	init'ed(me)
post	init'ed(new ServerSettingsDialog(getServerSettingsD ialog#1).parentWindow)
post	init'ed(new ServerSettingsDialog(getServerSettingsD ialog#1).server)
post	me != null
post	me == One-of{old me, &new ServerSettingsDialog( getServerSettingsDialog#1)}
post	new ServerSettingsDialog(getServerSettingsDialog#1) num objects <= 1
post	new ServerSettingsDialog(getServerSettingsDialog#1) .parentWindow == parentWindow
post	new ServerSettingsDialog(getServerSettingsDialog#1) .server == server
post	return_value != null
post	return_value == One-of{old me, &new ServerSettingsDialog(getServerSettingsDialog#1)}
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:setTitle
unanalyzed	call on initComponents
unanalyzed	call on javax.swing.JButton:addActionListener

void initComponents()

Kind	Annotation Text
pre	init'ed(this.parentWindow)
pre	this.server != null
presumption	com.dmdirc.Server:getConfigManager(...)@167 != null
presumption	javax.swing.JScrollPane:getViewport(...)@151 != null
post	init'ed(new IgnoreListModel(initComponents#2). isSimple)
post	init'ed(this.ignoreList.parentWindow)
post	init'ed(this.performPanel.isNetworkPerform)
post	init'ed(this.performPanel.networkAction)
post	init'ed(this.performPanel.serverAction)
post	new Hashtable(initModesPanel#1) num objects == 1
post	new IgnoreList(initComponents#1) num objects == 1
post	new IgnoreListModel(initComponents#2) num objects == 1
post	new IgnoreListModel(initComponents#2).ignoreList == &new IgnoreList(initComponents#1)
post	new IgnoreListPanel(initComponents#5) 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 JComboBox(initComponents#3) num objects == 1
post	new JLabel(initComponents#7) num objects == 1
post	new JList(initComponents#3) num objects == 1
post	new JTabbedPane(initComponents#3) num objects == 1
post	new JTextArea(initComponents#6) num objects == 1
post	new PerformPanel(initComponents#6) num objects == 1
post	new SettingsPanel(initComponents#7) num objects == 1
post	new UserModesPane(initComponents#4) num objects == 1
post	this.ignoreList == &new IgnoreListPanel(initCom ponents#5)
post	this.ignoreList.addButton == &new JButton(initComponents#5)
post	this.ignoreList.cachedIgnoreList == &new IgnoreList(initComponents#1)
post	this.ignoreList.delButton == &new JButton(initComponents#6)
post	this.ignoreList.list == &new JList(initComponen ts#3)
post	this.ignoreList.listModel == &new IgnoreListModel(initComponents#2)
post	this.ignoreList.parentWindow == this.parentWindow
post	this.ignoreList.server != null
post	this.ignoreList.server == this.server
post	this.ignoreList.sizeLabel == &new JLabel(initComponents#7)
post	this.ignoreList.viewToggle == &new JCheckBox(initComponents#8)
post	this.modesPanel == &new UserModesPane(initCompo nents#4)
post	this.modesPanel.modeCheckBoxes == &new Hashtable(initModesPanel#1)
post	this.modesPanel.server == this.ignoreList.server
post	this.performPanel == &new PerformPanel(initComp onents#6)
post	this.performPanel.networkPerform != null
post	this.performPanel.server == this.ignoreList.server
post	this.performPanel.serverPerform != null
post	this.performPanel.target == &new JComboBox(initComponents#3)
post	this.performPanel.textarea == &new JTextArea(initComponents#6)
post	this.settingsPanel == &new SettingsPanel(initCo mponents#7)
post	this.tabbedPane == &new JTabbedPane(initCompone nts#3)
unanalyzed	call on com.dmdirc.IgnoreList
unanalyzed	call on com.dmdirc.IgnoreList:canConvert
unanalyzed	call on com.dmdirc.IgnoreList:count
unanalyzed	call on com.dmdirc.IgnoreList:getRegexList
unanalyzed	call on com.dmdirc.Server:getConfigManager
unanalyzed	call on com.dmdirc.Server:getIgnoreList
unanalyzed	call on com.dmdirc.Server:getName
unanalyzed	call on com.dmdirc.Server:getNetwork
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.actions.Action:getResponse
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:getActionForNetwork
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:getActionForServer
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:getPerformWrapper
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:addOption
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.PerformPanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.PerformPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.PerformPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.UserModesPane:setVisible
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getUserMod eStr
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getUserMode String
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.String:contains
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:subSequence
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on javax.swing.AbstractListModel
unanalyzed	call on javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:addActionListener
unanalyzed	call on javax.swing.JCheckBox:setEnabled
unanalyzed	call on javax.swing.JCheckBox:setMargin
unanalyzed	call on javax.swing.JCheckBox:setOpaque
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on javax.swing.JCheckBox:setToolTipText
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JList
unanalyzed	call on javax.swing.JList:getSelectedIndex
unanalyzed	call on javax.swing.JList:getSelectionModel
unanalyzed	call on javax.swing.JList:setSelectionMode
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JPanel:add
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setOpaque
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JTextArea
unanalyzed	call on javax.swing.JTextArea:setColumns
unanalyzed	call on javax.swing.JTextArea:setText
unanalyzed	call on javax.swing.ListSelectionModel:addListSelec tionListener
unanalyzed	call on net.miginfocom.swing.MigLayout

void initListeners()

Kind	Annotation Text
presumption	com.dmdirc.addons.ui_swing.dialogs.serversetting. ServerSettingsDialog:getCancelButton(...)@250 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.serversetting. ServerSettingsDialog:getOkButton(...)@249 != null

void saveSettings()

Kind	Annotation Text
pre	(soft) this.modesPanel.modeCheckBoxes != null
pre	(soft) this.performPanel.server != null
pre	init'ed(this.performPanel.isNetworkPerform)
pre	init'ed(this.performPanel.networkAction)
pre	init'ed(this.performPanel.networkPerform)
pre	init'ed(this.performPanel.serverAction)
pre	init'ed(this.performPanel.serverPerform)
pre	this.ignoreList != null
pre	this.ignoreList.cachedIgnoreList != null
pre	this.ignoreList.server != null
pre	this.modesPanel != null
pre	this.performPanel != null
pre	this.performPanel.textarea != null
pre	this.server != null
pre	this.settingsPanel != null
pre	this.tabbedPane != null
presumption	com.dmdirc.Server:getNetworkIdentity(...)@260 != null
post	init'ed(this.performPanel.networkAction)
post	init'ed(this.performPanel.serverAction)
post	this.performPanel.networkPerform != null
post	this.performPanel.serverPerform != null
unanalyzed	call on com.dmdirc.IgnoreList:addAll
unanalyzed	call on com.dmdirc.IgnoreList:clear
unanalyzed	call on com.dmdirc.IgnoreList:getRegexList
unanalyzed	call on com.dmdirc.Server:getIgnoreList
unanalyzed	call on com.dmdirc.Server:getName
unanalyzed	call on com.dmdirc.Server:getNetwork
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.Server:saveIgnoreList
unanalyzed	call on com.dmdirc.actions.Action:save
unanalyzed	call on com.dmdirc.actions.Action:setResponse
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:createActionForNetwork
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:createActionForServer
unanalyzed	call on com.dmdirc.actions.wrappers. PerformWrapper:getPerformWrapper
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:alterMode
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getUserMod eStr
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:sendModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getUserMode String
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.String:contains
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:subSequence
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.util.Map:get
unanalyzed	call on javax.swing.JCheckBox:isSelected
unanalyzed	call on javax.swing.JTextArea:getText

void showServerSettingsDialog(Server, Window)

Kind	Annotation Text
pre	init'ed(me)
post	init'ed(new ServerSettingsDialog(getServerSettingsD ialog#1).parentWindow)
post	init'ed(new ServerSettingsDialog(getServerSettingsD ialog#1).server)
post	me != null
post	me == One-of{old me, &new ServerSettingsDialog( getServerSettingsDialog#1)}
post	new ServerSettingsDialog(getServerSettingsDialog#1) num objects <= 1
post	new ServerSettingsDialog(getServerSettingsDialog#1) .parentWindow == parentWindow
post	new ServerSettingsDialog(getServerSettingsDialog#1) .server == server
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getCancelButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:getOkButton
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:setResizable
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. serversetting.ServerSettingsDialog:setTitle
unanalyzed	call on initComponents
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.JButton:addActionListener