| method | void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane(Channel) |
| 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.. 232-1} |
| post | this.addListModeButton == &new JButton(ChannelL istModesPane#8) |
| post | this.channel == channel |
| post | this.channel != null |
| 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) |
| post | new ArrayList(ChannelListModesPane#4) 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 MapList(ChannelListModesPane#5) num objects == 1 |
| post | new ExtendedListModeCellRenderer(ChannelListModesPa ne#1) num objects <= 1 |
| post | new ListModeCellRenderer(ChannelListModesPane#2) num objects <= 1 |
| unanalyzed | call on java.util.List:isEmpty |
| unanalyzed | call on javax.swing.JLabel:setText |
| unanalyzed | call on javax.swing.JComboBox:getSelectedIndex |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on javax.swing.JList:getModel |
| unanalyzed | call on javax.swing.ListModel:getSize |
| 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 javax.swing.JComboBox:setEnabled |
| unanalyzed | call on javax.swing.JButton:setEnabled |
| unanalyzed | call on javax.swing.JComboBox:getModel |
| unanalyzed | call on com.dmdirc.config.IdentityManager:getGlobal Config |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOptionBo ol |
| unanalyzed | call on com.dmdirc.Channel:getConfigManager |
| unanalyzed | call on com.dmdirc.config.ConfigManager:hasOptionSt ring |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOption |
| unanalyzed | call on javax.swing.DefaultComboBoxModel:addElement |
| unanalyzed | call on javax.swing.DefaultListModel |
| unanalyzed | call on javax.swing.JList |
| unanalyzed | call on javax.swing.JList:setCellRenderer |
| unanalyzed | call on javax.swing.JList:setVisibleRowCount |
| unanalyzed | call on javax.swing.JList:addListSelectionListener |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on javax.swing.JPanel |
| unanalyzed | call on javax.swing.JScrollPane:setViewportView |
| unanalyzed | call on javax.swing.JScrollPane:setVisible |
| unanalyzed | call on javax.swing.JScrollPane:isVisible |
| unanalyzed | call on com.dmdirc.util.MapList:clear |
| unanalyzed | call on java.lang.Character:valueOf |
| unanalyzed | call on com.dmdirc.Channel:getChannelInfo |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getListMo deParam |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on com.dmdirc.util.MapList:add |
| unanalyzed | call on javax.swing.DefaultListModel:removeAllEleme nts |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on javax.swing.DefaultListModel:addElement |
| unanalyzed | call on net.miginfocom.swing.MigLayout |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:setLayout |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:add |
| unanalyzed | call on javax.swing.JButton:addActionListener |
| unanalyzed | call on javax.swing.JComboBox:addActionListener |
| unanalyzed | call on javax.swing.JCheckBox:addActionListener |
| unanalyzed | call on com.dmdirc.config.ConfigManager:addChangeLi stener |
| unanalyzed | call on javax.swing.DefaultListCellRenderer |
| test_vector | com.dmdirc.config.ConfigManager:getOptionBool(... )@105: {0}, {1} |
| method | void updateMenu() |
| pre | this.addListModeButton != null |
| pre | this.listModesArray != null |
| pre | this.listModesArray.length <= 232-1 |
| pre | this.listModesMenu != null |
| pre | (soft) this.channel != null |
| pre | (soft) init'ed(this.listModesArray[...]) |
| pre | (soft) this.listModesPanel != null |
| pre | (soft) this.listModesPanels != null |
| pre | (soft) this.modeCount != null |
| pre | (soft) init'ed(this.renderer) |
| 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 java.util.List:isEmpty |
| unanalyzed | call on javax.swing.JLabel:setText |
| unanalyzed | call on javax.swing.JComboBox:getSelectedIndex |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on javax.swing.JList:getModel |
| unanalyzed | call on javax.swing.ListModel:getSize |
| unanalyzed | call on com.dmdirc.Channel:getServer |
| unanalyzed | call on com.dmdirc.Server:getParser |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getMaxListM odes |
| test_vector | this.listModesArray.length: {1..232-1}, {0} |
| 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} |
| method | void initListModesPanel() |
| pre | this.addListModeButton != null |
| pre | this.existingListItems != null |
| pre | this.listModesArray != null |
| pre | this.listModesMenu != null |
| pre | (soft) this.channel != null |
| pre | (soft) this.listModesArray.length in {1..232-1} |
| pre | (soft) init'ed(this.listModesArray[...]) |
| pre | (soft) this.listModesPanel != null |
| pre | (soft) this.listModesPanels != null |
| pre | (soft) this.modeCount != null |
| pre | (soft) init'ed(this.renderer) |
| unanalyzed | call on java.util.List:isEmpty |
| unanalyzed | call on javax.swing.JLabel:setText |
| unanalyzed | call on javax.swing.JComboBox:getSelectedIndex |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on javax.swing.JList:getModel |
| unanalyzed | call on javax.swing.ListModel:getSize |
| 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 javax.swing.JComboBox:setEnabled |
| unanalyzed | call on javax.swing.JButton:setEnabled |
| unanalyzed | call on javax.swing.JComboBox:getModel |
| unanalyzed | call on com.dmdirc.config.IdentityManager:getGlobal Config |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOptionBo ol |
| unanalyzed | call on com.dmdirc.Channel:getConfigManager |
| unanalyzed | call on com.dmdirc.config.ConfigManager:hasOptionSt ring |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOption |
| unanalyzed | call on javax.swing.DefaultComboBoxModel:addElement |
| unanalyzed | call on javax.swing.DefaultListModel |
| unanalyzed | call on javax.swing.JList |
| unanalyzed | call on javax.swing.JList:setCellRenderer |
| unanalyzed | call on javax.swing.JList:setVisibleRowCount |
| unanalyzed | call on javax.swing.JList:addListSelectionListener |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on javax.swing.JPanel |
| unanalyzed | call on javax.swing.JScrollPane:setViewportView |
| unanalyzed | call on javax.swing.JScrollPane:setVisible |
| unanalyzed | call on javax.swing.JScrollPane:isVisible |
| unanalyzed | call on com.dmdirc.util.MapList:clear |
| unanalyzed | call on java.lang.Character:valueOf |
| unanalyzed | call on com.dmdirc.Channel:getChannelInfo |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getListMo deParam |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on com.dmdirc.util.MapList:add |
| unanalyzed | call on javax.swing.DefaultListModel:removeAllEleme nts |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on javax.swing.DefaultListModel:addElement |
| method | void save() |
| pre | this.channel != null |
| pre | this.listModesArray != null |
| pre | this.listModesArray.length <= 232-1 |
| pre | this.toggle != null |
| pre | (soft) this.existingListItems != null |
| pre | (soft) init'ed(this.listModesArray[...]) |
| pre | (soft) this.listModesPanels != 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} |
| method | void addListMode() |
| 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 |
| pre | (soft) init'ed(this.listModesArray[...]) |
| 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 >= 0 |
| presumption | javax.swing.JComboBox:getSelectedIndex(...)@285 < this.listModesArray.length |
| presumption | javax.swing.JList:getModel(...)@296 != null |
| unanalyzed | call on java.util.List:isEmpty |
| unanalyzed | call on javax.swing.JLabel:setText |
| unanalyzed | call on javax.swing.JComboBox:getSelectedIndex |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on javax.swing.JList:getModel |
| unanalyzed | call on javax.swing.ListModel:getSize |
| unanalyzed | call on com.dmdirc.Channel:getServer |
| unanalyzed | call on com.dmdirc.Server:getParser |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getMaxListM odes |
| 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} |
| method | void removeListMode() |
| pre | this.listModesMenu != null |
| pre | this.listModesPanels != null |
| pre | this.modeCount != null |
| pre | (soft) this.channel != null |
| pre | (soft) this.listModesArray != null |
| pre | (soft) this.listModesArray.length >= 1 |
| pre | (soft) init'ed(this.listModesArray[...]) |
| presumption | arr$.length@309 <= 232-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 java.util.List:isEmpty |
| unanalyzed | call on javax.swing.JLabel:setText |
| unanalyzed | call on javax.swing.JComboBox:getSelectedIndex |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on javax.swing.JList:getModel |
| unanalyzed | call on javax.swing.ListModel:getSize |
| unanalyzed | call on com.dmdirc.Channel:getServer |
| unanalyzed | call on com.dmdirc.Server:getParser |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getMaxListM odes |
| method | void actionPerformed(ActionEvent) |
| pre | event != null |
| pre | this.listModesMenu != null |
| pre | (soft) this.addListModeButton != null |
| pre | (soft) this.channel != null |
| pre | (soft) this.listModesArray != null |
| pre | (soft) this.listModesArray.length >= 1 |
| pre | (soft) init'ed(this.listModesArray[...]) |
| 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 |
| presumption | java.util.Iterator:next(...)@337 != null |
| post | this.renderer == One-of{old this.renderer, &new ExtendedListModeCellRenderer(actionPerfor med#1), &new ListModeCellRenderer(actionPerform ed#2)} |
| post | new ExtendedListModeCellRenderer(actionPerformed#1) num objects <= 1 |
| post | new ListModeCellRenderer(actionPerformed#2) num objects <= 1 |
| unanalyzed | call on java.util.List:isEmpty |
| unanalyzed | call on javax.swing.JLabel:setText |
| unanalyzed | call on javax.swing.JComboBox:getSelectedIndex |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on javax.swing.JList:getModel |
| unanalyzed | call on javax.swing.ListModel:getSize |
| 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 com.dmdirc.Channel:getConfigManager |
| unanalyzed | call on com.dmdirc.config.ConfigManager:hasOptionSt ring |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOption |
| unanalyzed | call on javax.swing.DefaultListModel:addElement |
| unanalyzed | call on javax.swing.JPanel |
| unanalyzed | call on javax.swing.DefaultListCellRenderer |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on javax.swing.JOptionPane:showInputDialog |
| unanalyzed | call on java.lang.String:isEmpty |
| unanalyzed | call on java.lang.System:currentTimeMillis |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelListModeItem |
| unanalyzed | call on javax.swing.JList:getSelectedValues |
| unanalyzed | call on javax.swing.DefaultListModel:removeElement |
| 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} |
| method | void updateModeCount() |
| pre | this.listModesPanels != null |
| pre | this.modeCount != null |
| pre | (soft) this.channel != null |
| pre | (soft) this.listModesArray != null |
| pre | (soft) this.listModesArray.length >= 1 |
| pre | (soft) init'ed(this.listModesArray[...]) |
| pre | (soft) this.listModesMenu != 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 >= 0 |
| presumption | javax.swing.JComboBox:getSelectedIndex(...)@368 < this.listModesArray.length |
| presumption | javax.swing.JList:getModel(...)@369 != null |
| test_vector | com.dmdirc.parser.irc.IRCParser:getMaxListModes(... )@370: {-231..-2, 0..232-1}, {-1} |
| test_vector | java.util.List:isEmpty(...)@363: {0}, {1} |