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










method void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane(Channel)
prechannel != null
presumptioncom.dmdirc.Channel:getServer(...)@113 != null
presumptioncom.dmdirc.Server:getParser(...)@113 != null
presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@105 != null
presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@123 != null
presumptioncom.dmdirc.parser.irc.IRCParser:getListChanModes(.. .)@113 != null
presumptionthis.listModesArray.length@113 in {1.. 232-1}
postthis.addListModeButton == &new JButton(ChannelL istModesPane#8)
postthis.channel == channel
postthis.channel != null
postthis.existingListItems == &new MapList(ChannelL istModesPane#5)
postthis.listModesArray != null
postthis.listModesMenu == &new JComboBox(ChannelLis tModesPane#6)
postthis.listModesPanel == &new JScrollPane(Channel ListModesPane#3)
postthis.listModesPanels == &new ArrayList(ChannelL istModesPane#4)
postthis.modeCount == &new JLabel(ChannelListModesP ane#10)
postthis.removeListModeButton == &new JButton(ChannelListModesPane#9)
postthis.renderer in Addr_Set{&new ExtendedListMode CellRenderer(ChannelListModesPane#1),&new ListModeCellRenderer(ChannelListModesPane#2)}
postthis.toggle == &new JCheckBox(ChannelListModesP ane#11)
postnew ArrayList(ChannelListModesPane#4) num objects == 1
postnew JButton(ChannelListModesPane#8) num objects == 1
postnew JButton(ChannelListModesPane#9) num objects == 1
postnew JCheckBox(ChannelListModesPane#11) num objects == 1
postnew JComboBox(ChannelListModesPane#6) num objects == 1
postnew JLabel(ChannelListModesPane#10) num objects == 1
postnew JScrollPane(ChannelListModesPane#3) num objects == 1
postnew MapList(ChannelListModesPane#5) num objects == 1
postnew ExtendedListModeCellRenderer(ChannelListModesPa ne#1) num objects <= 1
postnew ListModeCellRenderer(ChannelListModesPane#2) num objects <= 1
unanalyzedcall on java.util.List:isEmpty
unanalyzedcall on javax.swing.JLabel:setText
unanalyzedcall on javax.swing.JComboBox:getSelectedIndex
unanalyzedcall on java.util.List:get
unanalyzedcall on javax.swing.JList:getModel
unanalyzedcall on javax.swing.ListModel:getSize
unanalyzedcall on com.dmdirc.Channel:getServer
unanalyzedcall on com.dmdirc.Server:getParser
unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getMaxListM odes
unanalyzedcall on javax.swing.JComboBox:setEnabled
unanalyzedcall on javax.swing.JButton:setEnabled
unanalyzedcall on javax.swing.JComboBox:getModel
unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzedcall on com.dmdirc.Channel:getConfigManager
unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
unanalyzedcall on javax.swing.DefaultComboBoxModel:addElement
unanalyzedcall on javax.swing.DefaultListModel
unanalyzedcall on javax.swing.JList
unanalyzedcall on javax.swing.JList:setCellRenderer
unanalyzedcall on javax.swing.JList:setVisibleRowCount
unanalyzedcall on javax.swing.JList:addListSelectionListener
unanalyzedcall on java.util.List:add
unanalyzedcall on javax.swing.JPanel
unanalyzedcall on javax.swing.JScrollPane:setViewportView
unanalyzedcall on javax.swing.JScrollPane:setVisible
unanalyzedcall on javax.swing.JScrollPane:isVisible
unanalyzedcall on com.dmdirc.util.MapList:clear
unanalyzedcall on java.lang.Character:valueOf
unanalyzedcall on com.dmdirc.Channel:getChannelInfo
unanalyzedcall on com.dmdirc.parser.irc.ChannelInfo:getListMo deParam
unanalyzedcall on java.util.ArrayList
unanalyzedcall on com.dmdirc.util.MapList:add
unanalyzedcall on javax.swing.DefaultListModel:removeAllEleme nts
unanalyzedcall on java.util.List:iterator
unanalyzedcall on javax.swing.DefaultListModel:addElement
unanalyzedcall on net.miginfocom.swing.MigLayout
unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:setLayout
unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:add
unanalyzedcall on javax.swing.JButton:addActionListener
unanalyzedcall on javax.swing.JComboBox:addActionListener
unanalyzedcall on javax.swing.JCheckBox:addActionListener
unanalyzedcall on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzedcall on javax.swing.DefaultListCellRenderer
test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@105: {0}, {1}









  method not available - call not analyzedInfocall on bool com.dmdirc.addons.ui_swing. UIUtilities:getTabbedPaneOpaque()
  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:setOpaque(bool)










  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)










  method not available - call not analyzedInfocall on Server com.dmdirc.Channel:getServer()
  method not available - call not analyzedInfocall on IRCParser com.dmdirc.Server:getParser()
  method not available - call not analyzedInfocall on String com.dmdirc.parser.irc. IRCParser:getListChanModes()










  method not available - call not analyzedInfocall on void com.dmdirc.util.MapList()










  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)










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










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:setVisible(bool )











method void update()
prethis.existingListItems != null
prethis.listModesArray != null
prethis.listModesArray.length <= 232-1
prethis.listModesPanel != null
pre(soft) this.channel != null
pre(soft) init'ed(this.listModesArray[...])
pre(soft) this.listModesPanels != null
presumptioncom.dmdirc.Channel:getChannelInfo(...)@149 != null
presumptioncom.dmdirc.Channel:getChannelInfo(...)@152 != null
presumptioncom.dmdirc.parser.irc.ChannelInfo:getListModeParam( ...)@152 != null
presumptionjava.util.List:get(...)@154 != null
presumptionjavax.swing.JList:getModel(...)@154 != null
test_vectorjava.util.Iterator:hasNext(...)@158: {0}, {1}
test_vectorjavax.swing.JScrollPane:isVisible(...)@138: {0}, {1}









  method not available - call not analyzedInfocall on void com.dmdirc.util.MapList:clear()










  method not available - call not analyzedInfocall on ChannelInfo com.dmdirc.Channel:getChannelIn fo()
  method not available - call not analyzedInfocall on List com.dmdirc.parser.irc.ChannelInfo:getL istModeParam(Character)
  method not available - call not analyzedInfocall on void com.dmdirc.util.MapList:add(Object, Collection)










  method not available - call not analyzedInfocall on ChannelInfo com.dmdirc.Channel:getChannelIn fo()
  method not available - call not analyzedInfocall on List com.dmdirc.parser.irc.ChannelInfo:getL istModeParam(Character)











method void updateMenu()
prethis.addListModeButton != null
prethis.listModesArray != null
prethis.listModesArray.length <= 232-1
prethis.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)
presumptioncom.dmdirc.Channel:getConfigManager(...)@183 != null
presumptioncom.dmdirc.Channel:getConfigManager(...)@185 != null
presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@183 != null
presumptionjavax.swing.JComboBox:getModel(...)@179 != null
unanalyzedcall on java.util.List:isEmpty
unanalyzedcall on javax.swing.JLabel:setText
unanalyzedcall on javax.swing.JComboBox:getSelectedIndex
unanalyzedcall on java.util.List:get
unanalyzedcall on javax.swing.JList:getModel
unanalyzedcall on javax.swing.ListModel:getSize
unanalyzedcall on com.dmdirc.Channel:getServer
unanalyzedcall on com.dmdirc.Server:getParser
unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getMaxListM odes
test_vectorthis.listModesArray.length: {1..232-1}, {0}
test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@183: {0}, {1}
test_vectorcom.dmdirc.config.ConfigManager:hasOptionString(... )@183: {0}, {1}
test_vectorjava.util.List:isEmpty(...)@199: {0}, {1}









  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)
  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.Channel:getConfigM anager()
  method not available - call not analyzedInfocall on bool com.dmdirc.config.ConfigManager:hasOpt ionString(String, String)










  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.Channel:getConfigM anager()
  method not available - call not analyzedInfocall on String com.dmdirc.config.ConfigManager:getO ption(String, String)











method void initListModesPanel()
prethis.addListModeButton != null
prethis.existingListItems != null
prethis.listModesArray != null
prethis.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)
unanalyzedcall on java.util.List:isEmpty
unanalyzedcall on javax.swing.JLabel:setText
unanalyzedcall on javax.swing.JComboBox:getSelectedIndex
unanalyzedcall on java.util.List:get
unanalyzedcall on javax.swing.JList:getModel
unanalyzedcall on javax.swing.ListModel:getSize
unanalyzedcall on com.dmdirc.Channel:getServer
unanalyzedcall on com.dmdirc.Server:getParser
unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getMaxListM odes
unanalyzedcall on javax.swing.JComboBox:setEnabled
unanalyzedcall on javax.swing.JButton:setEnabled
unanalyzedcall on javax.swing.JComboBox:getModel
unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzedcall on com.dmdirc.Channel:getConfigManager
unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
unanalyzedcall on javax.swing.DefaultComboBoxModel:addElement
unanalyzedcall on javax.swing.DefaultListModel
unanalyzedcall on javax.swing.JList
unanalyzedcall on javax.swing.JList:setCellRenderer
unanalyzedcall on javax.swing.JList:setVisibleRowCount
unanalyzedcall on javax.swing.JList:addListSelectionListener
unanalyzedcall on java.util.List:add
unanalyzedcall on javax.swing.JPanel
unanalyzedcall on javax.swing.JScrollPane:setViewportView
unanalyzedcall on javax.swing.JScrollPane:setVisible
unanalyzedcall on javax.swing.JScrollPane:isVisible
unanalyzedcall on com.dmdirc.util.MapList:clear
unanalyzedcall on java.lang.Character:valueOf
unanalyzedcall on com.dmdirc.Channel:getChannelInfo
unanalyzedcall on com.dmdirc.parser.irc.ChannelInfo:getListMo deParam
unanalyzedcall on java.util.ArrayList
unanalyzedcall on com.dmdirc.util.MapList:add
unanalyzedcall on javax.swing.DefaultListModel:removeAllEleme nts
unanalyzedcall on java.util.List:iterator
unanalyzedcall on javax.swing.DefaultListModel:addElement









  method not available - call not analyzedInfocall on void net.miginfocom.swing.MigLayout(String)
  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:setLayout(Layou tManager)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:add(Component, Object)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:add(Component, Object)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:add(Component, Object)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:add(Component, Object)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:add(Component, Object)










  method not available - call not analyzedInfocall on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:add(Component, Object)











method void initListeners()
prethis.addListModeButton != null
prethis.listModesMenu != null
prethis.removeListModeButton != null
prethis.toggle != null
presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@231 != null









  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on void com.dmdirc.config.ConfigManager:addCha ngeListener(String, String, ConfigChangeListener)











method void save()
prethis.channel != null
prethis.listModesArray != null
prethis.listModesArray.length <= 232-1
prethis.toggle != null
pre(soft) this.existingListItems != null
pre(soft) init'ed(this.listModesArray[...])
pre(soft) this.listModesPanels != null
presumptioncom.dmdirc.Channel:getChannelInfo(...)@266 != null
presumptioncom.dmdirc.Channel:getChannelInfo(...)@273 != null
presumptioncom.dmdirc.Channel:getChannelInfo(...)@277 != null
presumptioncom.dmdirc.config.IdentityManager:getConfigIdentity (...)@279 != null
presumptioncom.dmdirc.util.MapList:get(...)@248 != null
presumptionjava.util.Iterator:next(...)@262 != null
presumptionjava.util.Iterator:next(...)@272 != null
presumptionjava.util.List:get(...)@246 != null
presumptionjava.util.Map:entrySet(...)@262 != null
presumptionjava.util.Map:entrySet(...)@272 != null
presumptionjava.util.Map_Entry:getKey(...)@266 != null
presumptionjava.util.Map_Entry:getKey(...)@273 != null
presumptionjavax.swing.DefaultListModel:elements(...)@246 != null
presumptionjavax.swing.JList:getModel(...)@246 != null
test_vectorjava.util.Enumeration:hasMoreElements(...)@255: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@251: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@262: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@272: {0}, {1}
test_vectorjava.util.Map:containsKey(...)@263: {0}, {1}









  method not available - call not analyzedInfocall on List com.dmdirc.util.MapList:get(Object)










  method not available - call not analyzedInfocall on ChannelInfo com.dmdirc.Channel:getChannelIn fo()
  method not available - call not analyzedInfocall on String com.dmdirc.parser.irc. ChannelListModeItem:getItem()
  method not available - call not analyzedInfocall on void com.dmdirc.parser.irc.ChannelInfo:alte rMode(bool, Character, String)










  method not available - call not analyzedInfocall on ChannelInfo com.dmdirc.Channel:getChannelIn fo()
  method not available - call not analyzedInfocall on String com.dmdirc.parser.irc. ChannelListModeItem:getItem()
  method not available - call not analyzedInfocall on void com.dmdirc.parser.irc.ChannelInfo:alte rMode(bool, Character, String)










  method not available - call not analyzedInfocall on ChannelInfo com.dmdirc.Channel:getChannelIn fo()
  method not available - call not analyzedInfocall on void com.dmdirc.parser.irc.ChannelInfo:send Modes()










  method not available - call not analyzedInfocall on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()
  method not available - call not analyzedInfocall on void com.dmdirc.config.Identity:setOption(S tring, String, bool)











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









  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.Channel:getConfigM anager()
  method not available - call not analyzedInfocall on bool com.dmdirc.config.ConfigManager:hasOpt ionString(String, String)










  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.Channel:getConfigM anager()
  method not available - call not analyzedInfocall on String com.dmdirc.config.ConfigManager:getO ption(String, String)










  method not available - call not analyzedInfocall on void com.dmdirc.parser.irc.ChannelListModeI tem(String, String, long)











method void removeListMode()
prethis.listModesMenu != null
prethis.listModesPanels != null
prethis.modeCount != null
pre(soft) this.channel != null
pre(soft) this.listModesArray != null
pre(soft) this.listModesArray.length >= 1
pre(soft) init'ed(this.listModesArray[...])
presumptionarr$.length@309 <= 232-1
presumptionjava.util.List:get(...)@308 != null
presumptionjavax.swing.JList:getModel(...)@310 != null
presumptionjavax.swing.JList:getSelectedValues(...)@309 != null
unanalyzedcall on java.util.List:isEmpty
unanalyzedcall on javax.swing.JLabel:setText
unanalyzedcall on javax.swing.JComboBox:getSelectedIndex
unanalyzedcall on java.util.List:get
unanalyzedcall on javax.swing.JList:getModel
unanalyzedcall on javax.swing.ListModel:getSize
unanalyzedcall on com.dmdirc.Channel:getServer
unanalyzedcall on com.dmdirc.Server:getParser
unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getMaxListM odes










method void actionPerformed(ActionEvent)
preevent != null
prethis.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
presumptionjava.util.Iterator:next(...)@337 != null
postthis.renderer == One-of{old this.renderer, &amp;new ExtendedListModeCellRenderer(actionPerfor med#1), &amp;new ListModeCellRenderer(actionPerform ed#2)}
postnew ExtendedListModeCellRenderer(actionPerformed#1) num objects <= 1
postnew ListModeCellRenderer(actionPerformed#2) num objects <= 1
unanalyzedcall on java.util.List:isEmpty
unanalyzedcall on javax.swing.JLabel:setText
unanalyzedcall on javax.swing.JComboBox:getSelectedIndex
unanalyzedcall on java.util.List:get
unanalyzedcall on javax.swing.JList:getModel
unanalyzedcall on javax.swing.ListModel:getSize
unanalyzedcall on com.dmdirc.Channel:getServer
unanalyzedcall on com.dmdirc.Server:getParser
unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getMaxListM odes
unanalyzedcall on com.dmdirc.Channel:getConfigManager
unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
unanalyzedcall on javax.swing.DefaultListModel:addElement
unanalyzedcall on javax.swing.JPanel
unanalyzedcall on javax.swing.DefaultListCellRenderer
unanalyzedcall on java.lang.String:valueOf
unanalyzedcall on javax.swing.JOptionPane:showInputDialog
unanalyzedcall on java.lang.String:isEmpty
unanalyzedcall on java.lang.System:currentTimeMillis
unanalyzedcall on com.dmdirc.parser.irc.ChannelListModeItem
unanalyzedcall on javax.swing.JList:getSelectedValues
unanalyzedcall on javax.swing.DefaultListModel:removeElement
test_vectorjava.lang.Object:equals(...)@322: {0}, {1}
test_vectorjava.lang.Object:equals(...)@327: {0}, {1}
test_vectorjava.lang.Object:equals(...)@329: {0}, {1}
test_vectorjava.lang.Object:equals(...)@331: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@337: {0}, {1}
test_vectorjavax.swing.JCheckBox:isSelected(...)@332: {0}, {1}










method void valueChanged(ListSelectionEvent)
preevent != null
pre(soft) this.removeListModeButton != null
presumptionjavax.swing.event.ListSelectionEvent:getSource(... )@351 != null
test_vectorjavax.swing.JList:getSelectedIndex(...)@351: {-231..-2, 0..232-1}, {-1}
test_vectorjavax.swing.event.ListSelectionEvent:getValueIsAdju sting(...)@350: {1}, {0}










method void updateModeCount()
prethis.listModesPanels != null
prethis.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
presumptioncom.dmdirc.Channel:getServer(...)@370 != null
presumptioncom.dmdirc.Server:getParser(...)@370 != null
presumptionjava.util.List:get(...)@369 != null
presumptionjavax.swing.JComboBox:getSelectedIndex(...)@368 >= 0
presumptionjavax.swing.JComboBox:getSelectedIndex(...)@368 < this.listModesArray.length
presumptionjavax.swing.JList:getModel(...)@369 != null
test_vectorcom.dmdirc.parser.irc.IRCParser:getMaxListModes(... )@370: {-231..-2, 0..232-1}, {-1}
test_vectorjava.util.List:isEmpty(...)@363: {0}, {1}









  method not available - call not analyzedInfocall on Server com.dmdirc.Channel:getServer()
  method not available - call not analyzedInfocall on IRCParser com.dmdirc.Server:getParser()
  method not available - call not analyzedInfocall on int com.dmdirc.parser.irc.IRCParser:getMaxL istModes(char)











method void configChanged(String, String)
prethis.listModesPanels != null
presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@384 != null
presumptionjava.util.Iterator:next(...)@390 != null
postthis.renderer in Addr_Set{&amp;new ExtendedListMode CellRenderer(configChanged#2),&amp;new ListModeCellRenderer(configChanged#1)}
postnew ExtendedListModeCellRenderer(configChanged#2) num objects <= 1
postnew ListModeCellRenderer(configChanged#1) num objects <= 1
unanalyzedcall on javax.swing.JPanel
unanalyzedcall on javax.swing.DefaultListCellRenderer
test_vectorcom.dmdirc.config.ConfigManager:getOptionBool(... )@384: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@390: {0}, {1}









  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
  method not available - call not analyzedInfocall on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)