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










method void com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicHistoryPane(Channel)
prechannel != null
presumptioncom.dmdirc.Channel:getTopics(...)@60 != null
presumptionjava.util.List:size(...)@63 >= -231+1
presumptionjavax.swing.JList:getModel(...)@70 != null
presumptionjavax.swing.JList:getModel(...)@73 != null
presumptionjavax.swing.JList:getModel(...)@74 != null
postthis.topicHistory == &new JList(TopicHistoryPan e#1)
postnew JList(TopicHistoryPane#1) num objects == 1
unanalyzedcall on javax.swing.JPanel
test_vectorjava.util.Iterator:hasNext(...)@69: {0}, {1}
test_vectorjava.util.List:size(...)@62: {-231..0}, {1..232-1}
test_vectorjavax.swing.ListModel:getSize(...)@73: {-231..-1, 1..232-1}, {0}









  method not available - call not analyzedInfocall on List com.dmdirc.Channel:getTopics()










  method not available - call not analyzedInfocall on Color com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicHistoryPane:getBackground()










  method not available - call not analyzedInfocall on Color com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicHistoryPane:getForeground()










  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.TopicHistoryPane:setLayout(LayoutMan ager)










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










  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.TopicHistoryPane:setOpaque(bool)