ChannelModesPane.java

ChannelModesPane.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane(Channel)

Kind	Annotation Text
pre	channel != null
post	new Hashtable(initModesPanel#14) num objects == 1
post	new Hashtable(initModesPanel#2) num objects == 1
post	this.channel != null
post	this.channel == channel
post	this.modeCheckBoxes == &new Hashtable(initModes Panel#2)
post	this.modeInputs == &new Hashtable(initModesPane l#14)
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on com.dmdirc.Channel:getConfigManager
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ParamModePanel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ParamModePanel:getCheckboxComponent
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ParamModePanel:getValueComponent
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane:setLayout
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.ChannelInfo:getModePa ram
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModeSt r
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:isUserSetta ble
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:contains
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.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.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JCheckBox
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:setToolTipText
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 net.miginfocom.swing.MigLayout

com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelModesPane__static_init

Kind	Annotation Text

void initModesPanel()

Kind	Annotation Text
pre	this.channel != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@144 != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@86 != null
presumption	com.dmdirc.Channel:getConfigManager(...)@105 != null
presumption	com.dmdirc.Channel:getConfigManager(...)@107 != null
presumption	com.dmdirc.Channel:getConfigManager(...)@113 != null
presumption	com.dmdirc.Channel:getConfigManager(...)@114 != null
presumption	com.dmdirc.Channel:getConfigManager(...)@128 != null
presumption	com.dmdirc.Channel:getServer(...)@132 != null
presumption	com.dmdirc.Channel:getServer(...)@83 != null
presumption	com.dmdirc.Server:getParser(...)@132 != null
presumption	com.dmdirc.Server:getParser(...)@83 != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getModeStr(... )@86 != null
presumption	com.dmdirc.parser.irc.IRCParser:getBoolChanModes(.. .)@85 != null
presumption	java.lang.String:toCharArray(...).length@97 >= 1
post	new Hashtable(initModesPanel#14) num objects == 1
post	new Hashtable(initModesPanel#2) num objects == 1
post	this.modeCheckBoxes == &new Hashtable(initModes Panel#2)
post	this.modeInputs == &new Hashtable(initModesPane l#14)
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@105: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@128: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@105: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@113: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@128: {0}, {1}
test_vector	com.dmdirc.parser.irc.IRCParser:isUserSettable(... )@132: {1}, {0}

void layoutComponents()

Kind	Annotation Text
pre	this.modeCheckBoxes != null
pre	this.modeInputs != null
presumption	java.util.Iterator:next(...)@167 != null
presumption	java.util.Map:values(...)@161 != null
presumption	java.util.Map:values(...)@167 != null
test_vector	java.util.Iterator:hasNext(...)@161: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@167: {0}, {1}

void setChangedBooleanModes()

Kind	Annotation Text
pre	(soft) this.modeCheckBoxes != null
pre	(soft) this.modeInputs != null
pre	this.channel != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@191 != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@204 != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@213 != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@222 != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@228 != null
presumption	com.dmdirc.Channel:getServer(...)@189 != null
presumption	com.dmdirc.Server:getParser(...)@189 != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getModeParam(... )@213 != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getModeStr(... )@191 != null
presumption	com.dmdirc.parser.irc.IRCParser:getBoolChanModes(.. .)@190 != null
presumption	java.lang.String:toCharArray(...).length@204 >= 1
presumption	java.lang.String:toCharArray(...).length@222 >= 1
presumption	java.util.Map:get(...)@201 != null
presumption	java.util.Map:get(...)@204 != null
presumption	java.util.Map:get(...)@217 != null
test_vector	java.lang.String:equals(...)@219: {1}, {0}
test_vector	java.util.Map:get(...)@201: Addr_Set{null}, Inverse{null}

void update()

Kind	Annotation Text
pre	this.channel != null
post	new Hashtable(initModesPanel#14) num objects == 1
post	new Hashtable(initModesPanel#2) num objects == 1
post	this.modeCheckBoxes == &new Hashtable(initModes Panel#2)
post	this.modeInputs == &new Hashtable(initModesPane l#14)
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on com.dmdirc.Channel:getConfigManager
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ParamModePanel
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.ChannelInfo:getModePa ram
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModeSt r
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:isUserSetta ble
unanalyzed	call on java.awt.Insets
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:contains
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.Hashtable
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.JCheckBox
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:setToolTipText