ChannelListModesPane.java

ChannelListModesPane.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(this.listModesArray[...])
pre	(soft) this.addListModeButton != null
pre	(soft) this.channel != null
pre	(soft) this.listModesArray != null
pre	(soft) this.listModesArray.length >= 1
pre	(soft) this.listModesPanel != null
pre	(soft) this.listModesPanels != null
pre	(soft) this.modeCount != null
pre	(soft) this.removeListModeButton != null
pre	(soft) this.toggle != null
pre	event != null
pre	this.listModesMenu != null
presumption	java.util.Iterator:next(...)@337 != null
post	new ExtendedListModeCellRenderer(actionPerformed#1) num objects <= 1
post	new ListModeCellRenderer(actionPerformed#2) num objects <= 1
post	this.renderer == One-of{old this.renderer, &new ExtendedListModeCellRenderer(actionPerfor med#1), &new ListModeCellRenderer(actionPerform ed#2)}
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.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.parser.irc.ChannelListModeItem
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMaxListM odes
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:removeElement
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:getSelectedValues
unanalyzed	call on javax.swing.JOptionPane:showInputDialog
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.ListModel:getSize
test_vector	java.lang.Object:equals(...)@322: {0}, {1}
test_vector	java.lang.Object:equals(...)@327: {0}, {1}
test_vector	java.lang.Object:equals(...)@329: {0}, {1}
test_vector	java.lang.Object:equals(...)@331: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@337: {0}, {1}
test_vector	javax.swing.JCheckBox:isSelected(...)@332: {0}, {1}

void addListMode()

Kind	Annotation Text
pre	(soft) init'ed(this.listModesArray[...])
pre	this.channel != null
pre	this.listModesArray != null
pre	this.listModesArray.length >= 1
pre	this.listModesMenu != null
pre	this.listModesPanels != null
pre	this.modeCount != null
presumption	com.dmdirc.Channel:getConfigManager(...)@288 != null
presumption	com.dmdirc.Channel:getConfigManager(...)@290 != null
presumption	java.util.List:get(...)@296 != null
presumption	javax.swing.JComboBox:getSelectedIndex(...)@285 < this.listModesArray.length
presumption	javax.swing.JComboBox:getSelectedIndex(...)@285 >= 0
presumption	javax.swing.JList:getModel(...)@296 != null
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMaxListM odes
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.ListModel:getSize
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@288: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@295: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@295: {1}, {0}
test_vector	javax.swing.JOptionPane:showInputDialog(...)@293: Addr_Set{null}, Inverse{null}

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

Kind	Annotation Text
pre	channel != null
presumption	com.dmdirc.Channel:getServer(...)@113 != null
presumption	com.dmdirc.Server:getParser(...)@113 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@105 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@123 != null
presumption	com.dmdirc.parser.irc.IRCParser:getListChanModes(.. .)@113 != null
presumption	this.listModesArray.length@113 in {1.. 2³²-1}
post	new ArrayList(ChannelListModesPane#4) num objects == 1
post	new ExtendedListModeCellRenderer(ChannelListModesPa ne#1) num objects <= 1
post	new JButton(ChannelListModesPane#8) num objects == 1
post	new JButton(ChannelListModesPane#9) num objects == 1
post	new JCheckBox(ChannelListModesPane#11) num objects == 1
post	new JComboBox(ChannelListModesPane#6) num objects == 1
post	new JLabel(ChannelListModesPane#10) num objects == 1
post	new JScrollPane(ChannelListModesPane#3) num objects == 1
post	new ListModeCellRenderer(ChannelListModesPane#2) num objects <= 1
post	new MapList(ChannelListModesPane#5) num objects == 1
post	this.addListModeButton == &new JButton(ChannelL istModesPane#8)
post	this.channel != null
post	this.channel == channel
post	this.existingListItems == &new MapList(ChannelL istModesPane#5)
post	this.listModesArray != null
post	this.listModesMenu == &new JComboBox(ChannelLis tModesPane#6)
post	this.listModesPanel == &new JScrollPane(Channel ListModesPane#3)
post	this.listModesPanels == &new ArrayList(ChannelL istModesPane#4)
post	this.modeCount == &new JLabel(ChannelListModesP ane#10)
post	this.removeListModeButton == &new JButton(ChannelListModesPane#9)
post	this.renderer in Addr_Set{&new ExtendedListMode CellRenderer(ChannelListModesPane#1),&new ListModeCellRenderer(ChannelListModesPane#2)}
post	this.toggle == &new JCheckBox(ChannelListModesP ane#11)
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.dialogs. channelsetting.ChannelListModesPane:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:setLayout
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
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.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getListMo deParam
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMaxListM odes
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on com.dmdirc.util.MapList:clear
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.DefaultListModel
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:removeAllEleme nts
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JCheckBox:addActionListener
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JList
unanalyzed	call on javax.swing.JList:addListSelectionListener
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:setCellRenderer
unanalyzed	call on javax.swing.JList:setVisibleRowCount
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JScrollPane:isVisible
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JScrollPane:setVisible
unanalyzed	call on javax.swing.ListModel:getSize
unanalyzed	call on net.miginfocom.swing.MigLayout
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@105: {0}, {1}

com.dmdirc.addons.ui_swing.dialogs.channelsetting.ChannelListModesPane__static_init

Kind	Annotation Text

void configChanged(String, String)

Kind	Annotation Text
pre	this.listModesPanels != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@384 != null
presumption	java.util.Iterator:next(...)@390 != null
post	new ExtendedListModeCellRenderer(configChanged#2) num objects <= 1
post	new ListModeCellRenderer(configChanged#1) num objects <= 1
post	this.renderer in Addr_Set{&new ExtendedListMode CellRenderer(configChanged#2),&new ListModeCellRenderer(configChanged#1)}
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.JPanel
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@384: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@390: {0}, {1}

void initListModesPanel()

Kind	Annotation Text
pre	(soft) init'ed(this.listModesArray[...])
pre	(soft) init'ed(this.renderer)
pre	(soft) this.channel != null
pre	(soft) this.listModesArray.length in {1..2³²-1}
pre	(soft) this.listModesPanel != null
pre	(soft) this.listModesPanels != null
pre	(soft) this.modeCount != null
pre	this.addListModeButton != null
pre	this.existingListItems != null
pre	this.listModesArray != null
pre	this.listModesMenu != null
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.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.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getListMo deParam
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMaxListM odes
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on com.dmdirc.util.MapList:clear
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.List:iterator
unanalyzed	call on javax.swing.DefaultComboBoxModel:addElement
unanalyzed	call on javax.swing.DefaultListModel
unanalyzed	call on javax.swing.DefaultListModel:addElement
unanalyzed	call on javax.swing.DefaultListModel:removeAllEleme nts
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JList
unanalyzed	call on javax.swing.JList:addListSelectionListener
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.JList:setCellRenderer
unanalyzed	call on javax.swing.JList:setVisibleRowCount
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JScrollPane:isVisible
unanalyzed	call on javax.swing.JScrollPane:setViewportView
unanalyzed	call on javax.swing.JScrollPane:setVisible
unanalyzed	call on javax.swing.ListModel:getSize

void initListeners()

Kind	Annotation Text
pre	this.addListModeButton != null
pre	this.listModesMenu != null
pre	this.removeListModeButton != null
pre	this.toggle != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@231 != null

void removeListMode()

Kind	Annotation Text
pre	(soft) init'ed(this.listModesArray[...])
pre	(soft) this.channel != null
pre	(soft) this.listModesArray != null
pre	(soft) this.listModesArray.length >= 1
pre	this.listModesMenu != null
pre	this.listModesPanels != null
pre	this.modeCount != null
presumption	arr$.length@309 <= 2³²-1
presumption	java.util.List:get(...)@308 != null
presumption	javax.swing.JList:getModel(...)@310 != null
presumption	javax.swing.JList:getSelectedValues(...)@309 != null
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMaxListM odes
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.ListModel:getSize

void save()

Kind	Annotation Text
pre	(soft) init'ed(this.listModesArray[...])
pre	(soft) this.existingListItems != null
pre	(soft) this.listModesPanels != null
pre	this.channel != null
pre	this.listModesArray != null
pre	this.listModesArray.length <= 2³²-1
pre	this.toggle != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@266 != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@273 != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@277 != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@279 != null
presumption	com.dmdirc.util.MapList:get(...)@248 != null
presumption	java.util.Iterator:next(...)@262 != null
presumption	java.util.Iterator:next(...)@272 != null
presumption	java.util.List:get(...)@246 != null
presumption	java.util.Map:entrySet(...)@262 != null
presumption	java.util.Map:entrySet(...)@272 != null
presumption	java.util.Map_Entry:getKey(...)@266 != null
presumption	java.util.Map_Entry:getKey(...)@273 != null
presumption	javax.swing.DefaultListModel:elements(...)@246 != null
presumption	javax.swing.JList:getModel(...)@246 != null
test_vector	java.util.Enumeration:hasMoreElements(...)@255: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@251: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@262: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@272: {0}, {1}
test_vector	java.util.Map:containsKey(...)@263: {0}, {1}

void update()

Kind	Annotation Text
pre	(soft) init'ed(this.listModesArray[...])
pre	(soft) this.channel != null
pre	(soft) this.listModesPanels != null
pre	this.existingListItems != null
pre	this.listModesArray != null
pre	this.listModesArray.length <= 2³²-1
pre	this.listModesPanel != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@149 != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@152 != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getListModeParam( ...)@152 != null
presumption	java.util.List:get(...)@154 != null
presumption	javax.swing.JList:getModel(...)@154 != null
test_vector	java.util.Iterator:hasNext(...)@158: {0}, {1}
test_vector	javax.swing.JScrollPane:isVisible(...)@138: {0}, {1}

void updateMenu()

Kind	Annotation Text
pre	(soft) init'ed(this.listModesArray[...])
pre	(soft) init'ed(this.renderer)
pre	(soft) this.channel != null
pre	(soft) this.listModesPanel != null
pre	(soft) this.listModesPanels != null
pre	(soft) this.modeCount != null
pre	this.addListModeButton != null
pre	this.listModesArray != null
pre	this.listModesArray.length <= 2³²-1
pre	this.listModesMenu != null
presumption	com.dmdirc.Channel:getConfigManager(...)@183 != null
presumption	com.dmdirc.Channel:getConfigManager(...)@185 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@183 != null
presumption	javax.swing.JComboBox:getModel(...)@179 != null
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMaxListM odes
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on javax.swing.JComboBox:getSelectedIndex
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on javax.swing.ListModel:getSize
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@183: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@183: {0}, {1}
test_vector	java.util.List:isEmpty(...)@199: {0}, {1}
test_vector	this.listModesArray.length: {1..2³²-1}, {0}

void updateModeCount()

Kind	Annotation Text
pre	(soft) init'ed(this.listModesArray[...])
pre	(soft) this.channel != null
pre	(soft) this.listModesArray != null
pre	(soft) this.listModesArray.length >= 1
pre	(soft) this.listModesMenu != null
pre	this.listModesPanels != null
pre	this.modeCount != null
presumption	com.dmdirc.Channel:getServer(...)@370 != null
presumption	com.dmdirc.Server:getParser(...)@370 != null
presumption	java.util.List:get(...)@369 != null
presumption	javax.swing.JComboBox:getSelectedIndex(...)@368 < this.listModesArray.length
presumption	javax.swing.JComboBox:getSelectedIndex(...)@368 >= 0
presumption	javax.swing.JList:getModel(...)@369 != null
test_vector	com.dmdirc.parser.irc.IRCParser:getMaxListModes(... )@370: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	java.util.List:isEmpty(...)@363: {0}, {1}

void valueChanged(ListSelectionEvent)

Kind	Annotation Text
pre	(soft) this.removeListModeButton != null
pre	event != null
presumption	javax.swing.event.ListSelectionEvent:getSource(... )@351 != null
test_vector	javax.swing.JList:getSelectedIndex(...)@351: {-2³¹..-2, 0..2³²-1}, {-1}
test_vector	javax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@350: {1}, {0}