Messages

method

com.dmdirc.addons.ui_swing.dialogs.channelsetting. ChannelSettingsDialog__static_init

method	void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog(Channel, Window)
pre	newChannel != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@90 != null
presumption	com.dmdirc.Channel:getServer(...)@90 != null
presumption	init'ed(java.awt.Dialog$ModalityType.MODELESS)
post	this.channel == newChannel
post	this.channel != null
post	init'ed(this.identity)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:getCancelButto n

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog(Window, Dialog$ModalityType)

method not available - call not analyzed Info call on Server com.dmdirc.Channel:getServer()

method not available - call not analyzed Info call on String com.dmdirc.Server:getNetwork()

method not available - call not analyzed Info call on ChannelInfo com.dmdirc.Channel:getChannelIn fo()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelInfo:getName()

method not available - call not analyzed Info call on Identity com.dmdirc.config.IdentityManager: getChannelConfig(String, String)

call too complex - analysis skipped Info call on void initComponents()

method	void showChannelSettingsDialog(Channel, Window)
pre	init'ed(me)
pre	(soft) channel != null
post	me == One-of{old me, &new ChannelSettingsDialog (getChannelSettingsDialog#1)}
post	me != null
post	new ChannelSettingsDialog(getChannelSettingsDialog# 1) num objects <= 1
post	new ChannelSettingsDialog(getChannelSettingsDialog# 1).channel == channel
post	new ChannelSettingsDialog(getChannelSettingsDialog# 1).channel != null
post	init'ed(new ChannelSettingsDialog(getChannelSetting sDialog#1).identity)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:getCancelButto n
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.Server:getNetwork
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.config.IdentityManager:getChanne lConfig
unanalyzed	call on initComponents
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:pack()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:setLocationRel ativeTo(Component)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:setVisible(boo l)

method not available - call not analyzed Info call on bool com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:requestFocusIn Window()

method	ChannelSettingsDialog getChannelSettingsDialog(Cha nnel, Window)
pre	init'ed(me)
pre	(soft) channel != null
post	me == One-of{old me, &new ChannelSettingsDialog (getChannelSettingsDialog#1)}
post	me != null
post	return_value == One-of{old me, &new ChannelSettingsDialog(getChannelSettingsDialog#1)}
post	return_value != null
post	new ChannelSettingsDialog(getChannelSettingsDialog# 1) num objects <= 1
post	new ChannelSettingsDialog(getChannelSettingsDialog# 1).channel == channel
post	new ChannelSettingsDialog(getChannelSettingsDialog# 1).channel != null
post	init'ed(new ChannelSettingsDialog(getChannelSetting sDialog#1).identity)
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:getOkButton
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:getCancelButto n
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.Server:getNetwork
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.config.IdentityManager:getChanne lConfig
unanalyzed	call on initComponents

method	void initComponents()
pre	this.channel != null
presumption	com.dmdirc.Channel:getConfigManager(...)@155 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.channelsetting. ChannelSettingsDialog:getContentPane(...)@142 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.channelsetting. ChannelSettingsDialog:getContentPane(...)@143 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.channelsetting. ChannelSettingsDialog:getContentPane(...)@144 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.channelsetting. ChannelSettingsDialog:getContentPane(...)@145 != null
post	this.channelListModesPane == &new ChannelListModesPane(initListModesTab#1)
post	this.channelModesPane == &new ChannelModesPane( initIrcTab#1)
post	this.channelSettingsPane == &new SettingsPanel(initSettingsPanel#1)
post	this.tabbedPane == &new JTabbedPane(initCompone nts#1)
post	this.topicModesPane == &new TopicPane(initTopic Tab#1)
post	new ArrayList(ChannelListModesPane#4) num objects == 1
post	new ChannelListModesPane(initListModesTab#1) num objects == 1
post	new ChannelModesPane(initIrcTab#1) num objects == 1
post	new Hashtable(initModesPanel#14) num objects == 1
post	new Hashtable(initModesPanel#2) 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 JComboBox(initTopicsPanel#3) num objects == 1
post	new JLabel(ChannelListModesPane#10) num objects == 1
post	new JLabel(initTopicsPanel#1) num objects == 1
post	new JScrollPane(ChannelListModesPane#3) num objects == 1
post	new JTabbedPane(initComponents#1) num objects == 1
post	new MapList(ChannelListModesPane#5) num objects == 1
post	new SettingsPanel(initSettingsPanel#1) num objects == 1
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextAreaInputField(initTopicsPanel#2) num objects == 1
post	new TextLabel(initTopicsPanel#5) num objects == 1
post	new TopicPane(initTopicTab#1) num objects == 1
post	new ChannelListModesPane(initListModesTab#1). addListModeButton == &new JButton(ChannelListMo desPane#8)
post	new ChannelListModesPane(initListModesTab#1). channel == this.channel
post	new ChannelListModesPane(initListModesTab#1). channel != null
post	new ChannelModesPane(initIrcTab#1).channel == new ChannelListModesPane(initListModesTab#1).channel
post	new TopicPane(initTopicTab#1).channel == new ChannelListModesPane(initListModesTab#1).channel
post	new ChannelListModesPane(initListModesTab#1). existingListItems == &new MapList(ChannelListMo desPane#5)
post	new ChannelListModesPane(initListModesTab#1). listModesArray != null
post	new ChannelListModesPane(initListModesTab#1). listModesMenu == &new JComboBox(ChannelListMode sPane#6)
post	new ChannelListModesPane(initListModesTab#1). listModesPanel == &new JScrollPane(ChannelListM odesPane#3)
post	new ChannelListModesPane(initListModesTab#1). listModesPanels == &new ArrayList(ChannelListMo desPane#4)
post	new ChannelListModesPane(initListModesTab#1). modeCount == &new JLabel(ChannelListModesPane#1 0)
post	new ChannelListModesPane(initListModesTab#1). removeListModeButton == &new JButton(ChannelLis tModesPane#9)
post	new ChannelListModesPane(initListModesTab#1). renderer == One-of{&new ExtendedListModeCellRen derer(ChannelListModesPane#1), &new ListModeCellRenderer(ChannelListModesPane#2)}
post	new ChannelListModesPane(initListModesTab#1). renderer in Addr_Set{&new ExtendedListModeCellR enderer(ChannelListModesPane#1),&new ListModeCellRenderer(ChannelListModesPane#2)}
post	new ChannelListModesPane(initListModesTab#1). toggle == &new JCheckBox(ChannelListModesPane#1 1)
post	new ChannelModesPane(initIrcTab#1).modeCheckBoxes == &new Hashtable(initModesPanel#2)
post	new ChannelModesPane(initIrcTab#1).modeInputs == &new Hashtable(initModesPanel#14)
post	new ExtendedListModeCellRenderer(ChannelListModesPa ne#1) num objects <= 1
post	new ListModeCellRenderer(ChannelListModesPane#2) num objects <= 1
post	new TextLabel(initTopicsPanel#5).sas == &new SimpleAttributeSet(TextLabel#6)
post	new TopicPane(initTopicTab#1).parent == this
post	new TopicPane(initTopicTab#1).parent != null
post	new TopicPane(initTopicTab#1).topicHistory == &new JComboBox(initTopicsPanel#3)
post	new TopicPane(initTopicTab#1).topicLengthLabel == &new JLabel(initTopicsPanel#1)
post	init'ed(new TopicPane(initTopicTab#1). topicLengthMax)
post	new TopicPane(initTopicTab#1).topicText == &new TextAreaInputField(initTopicsPanel#2)
post	new TopicPane(initTopicTab#1).topicWho == &new TextLabel(initTopicsPanel#5)
unanalyzed	call on javax.swing.JLabel:setForeground
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getTopic
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:add
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on com.dmdirc.Topic:getClient
unanalyzed	call on com.dmdirc.Topic:getTime
unanalyzed	call on java.util.Date
unanalyzed	call on com.dmdirc.Topic:getTopic
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setText
unanalyzed	call on com.dmdirc.Channel:getTopics
unanalyzed	call on java.util.Collections:reverse
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField
unanalyzed	call on java.util.List:toArray
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:setPrototypeDisplayVa lue
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.ComboBoxModel:getSize
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setLineWrap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setWrapStyleWord
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setRows
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setColumns
unanalyzed	call on com.dmdirc.Channel:getFrame
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputHandler
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputHandler:setTypes
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. NoNewlinesPasteAction
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getInputMap
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getC trlDownMask
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:setOpaque
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:get005
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on javax.swing.JTabbedPane:addTab
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModeSt r
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:subSequence
unanalyzed	call on java.lang.String:contains
unanalyzed	call on com.dmdirc.Channel:getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:setMargin
unanalyzed	call on javax.swing.JCheckBox:setToolTipText
unanalyzed	call on javax.swing.JCheckBox:setOpaque
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.JCheckBox:setEnabled
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:isUserSetta ble
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModePa ram
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ParamModePanel
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on javax.swing.JPanel:add
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 javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane:setVisible
unanalyzed	call on javax.swing.JScrollPane:setHorizontalScroll BarPolicy
unanalyzed	call on javax.swing.JScrollPane:setOpaque
unanalyzed	call on javax.swing.JScrollPane:getViewport
unanalyzed	call on javax.swing.JViewport:setOpaque
unanalyzed	call on javax.swing.JScrollPane:setBorder
unanalyzed	call on java.util.List:isEmpty
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.parser.irc.IRCParser:getMaxListM odes
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
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.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 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 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.JCheckBox:addActionListener
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:setOpaque
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getListChan Modes
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.JCheckBox:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:addOption

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:setDefaultClos eOperation(int)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:setTitle(Strin g)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:setResizable(b ool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:orderButtons(J Button, JButton)

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. dialogs.channelsetting.ChannelSettingsDialog:getCon tentPane()

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout(String)

method not available - call not analyzed Info call on Container com.dmdirc.addons.ui_swing. dialogs.channelsetting.ChannelSettingsDialog:getCon tentPane()

method not available - call not analyzed Info call on ConfigManager com.dmdirc.Channel:getConfigM anager()

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

method	void initTopicTab()
pre	this.channel != null
pre	this.tabbedPane != null
post	this.topicModesPane == &new TopicPane(initTopic Tab#1)
post	new JComboBox(initTopicsPanel#3) num objects == 1
post	new JLabel(initTopicsPanel#1) num objects == 1
post	new SimpleAttributeSet(TextLabel#6) num objects == 1
post	new TextAreaInputField(initTopicsPanel#2) num objects == 1
post	new TextLabel(initTopicsPanel#5) num objects == 1
post	new TopicPane(initTopicTab#1) num objects == 1
post	new TextLabel(initTopicsPanel#5).sas == &new SimpleAttributeSet(TextLabel#6)
post	this.topicModesPane.channel == this.channel
post	this.topicModesPane.channel != null
post	this.topicModesPane.parent == this
post	this.topicModesPane.parent != null
post	this.topicModesPane.topicHistory == &new JComboBox(initTopicsPanel#3)
post	this.topicModesPane.topicLengthLabel == &new JLabel(initTopicsPanel#1)
post	init'ed(this.topicModesPane.topicLengthMax)
post	this.topicModesPane.topicText == &new TextAreaInputField(initTopicsPanel#2)
post	this.topicModesPane.topicWho == &new TextLabel(initTopicsPanel#5)
unanalyzed	call on javax.swing.JLabel:setForeground
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getTopic
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:add
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JComboBox:getSelectedItem
unanalyzed	call on javax.swing.JTextPane:getDocument
unanalyzed	call on javax.swing.JTextPane:setText
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes
unanalyzed	call on com.dmdirc.Topic:getClient
unanalyzed	call on com.dmdirc.Topic:getTime
unanalyzed	call on java.util.Date
unanalyzed	call on com.dmdirc.Topic:getTopic
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setText
unanalyzed	call on com.dmdirc.Channel:getTopics
unanalyzed	call on java.util.Collections:reverse
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField
unanalyzed	call on java.util.List:toArray
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JComboBox:setPrototypeDisplayVa lue
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on javax.swing.text.html.HTMLEditorKit
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit
unanalyzed	call on javax.swing.plaf.basic.BasicTextPaneUI
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.html.HTMLDocument:getStyle Sheet
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on javax.swing.text.html.StyleSheet:addRule
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setAlignmen t
unanalyzed	call on javax.swing.JComboBox:getModel
unanalyzed	call on javax.swing.ComboBoxModel:getSize
unanalyzed	call on javax.swing.JComboBox:setEnabled
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setLineWrap
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setWrapStyleWord
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setRows
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setColumns
unanalyzed	call on com.dmdirc.Channel:getFrame
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputHandler
unanalyzed	call on com.dmdirc.addons.ui_swing.components. SwingInputHandler:setTypes
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getActionMap
unanalyzed	call on com.dmdirc.addons.ui_swing.actions. NoNewlinesPasteAction
unanalyzed	call on javax.swing.ActionMap:put
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getInputMap
unanalyzed	call on javax.swing.KeyStroke:getKeyStroke
unanalyzed	call on javax.swing.AbstractAction
unanalyzed	call on javax.swing.InputMap:put
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getC trlDownMask
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:setVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:removeAll
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getDocument
unanalyzed	call on javax.swing.text.Document:addDocumentListen er
unanalyzed	call on javax.swing.JComboBox:addActionListener
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:setOpaque
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:get005
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError

method	void initIrcTab()
pre	this.channel != null
pre	this.tabbedPane != null
presumption	javax.swing.JScrollPane:getViewport(...)@172 != null
post	this.channelModesPane == &new ChannelModesPane( initIrcTab#1)
post	new ChannelModesPane(initIrcTab#1) num objects == 1
post	new Hashtable(initModesPanel#14) num objects == 1
post	new Hashtable(initModesPanel#2) num objects == 1
post	this.channelModesPane.channel == this.channel
post	this.channelModesPane.channel != null
post	this.channelModesPane.modeCheckBoxes == &new Hashtable(initModesPanel#2)
post	this.channelModesPane.modeInputs == &new Hashtable(initModesPanel#14)
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModeSt r
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:subSequence
unanalyzed	call on java.lang.String:contains
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on com.dmdirc.Channel:getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JCheckBox:setMargin
unanalyzed	call on javax.swing.JCheckBox:setToolTipText
unanalyzed	call on javax.swing.JCheckBox:setOpaque
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.JCheckBox:setEnabled
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:isUserSetta ble
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModePa ram
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ParamModePanel
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on javax.swing.JPanel:add
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 javax.swing.BorderFactory:createTitledBorde r
unanalyzed	call on javax.swing.JPanel:setBorder
unanalyzed	call on javax.swing.JPanel:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane:add
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane:setOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane:setVisible

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

method	void initListModesTab()
pre	this.channel != null
pre	this.tabbedPane != null
post	this.channelListModesPane == &new ChannelListModesPane(initListModesTab#1)
post	new ArrayList(ChannelListModesPane#4) num objects == 1
post	new ChannelListModesPane(initListModesTab#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 MapList(ChannelListModesPane#5) num objects == 1
post	this.channelListModesPane.addListModeButton == &new JButton(ChannelListModesPane#8)
post	this.channelListModesPane.channel == this.channel
post	this.channelListModesPane.channel != null
post	this.channelListModesPane.existingListItems == &new MapList(ChannelListModesPane#5)
post	this.channelListModesPane.listModesArray != null
post	this.channelListModesPane.listModesMenu == &new JComboBox(ChannelListModesPane#6)
post	this.channelListModesPane.listModesPanel == &new JScrollPane(ChannelListModesPane#3)
post	this.channelListModesPane.listModesPanels == &new ArrayList(ChannelListModesPane#4)
post	this.channelListModesPane.modeCount == &new JLabel(ChannelListModesPane#10)
post	this.channelListModesPane.removeListModeButton == &new JButton(ChannelListModesPane#9)
post	this.channelListModesPane.renderer == One-of{&new ExtendedListModeCellRenderer(Chann elListModesPane#1), &new ListModeCellRenderer(C hannelListModesPane#2)}
post	this.channelListModesPane.renderer in Addr_Set{&new ExtendedListModeCellRenderer(Cha nnelListModesPane#1),&new ListModeCellRenderer( ChannelListModesPane#2)}
post	this.channelListModesPane.toggle == &new JCheckBox(ChannelListModesPane#11)
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 com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:setOpaque
unanalyzed	call on javax.swing.DefaultListCellRenderer
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getListChan Modes
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on javax.swing.DefaultComboBoxModel
unanalyzed	call on javax.swing.JComboBox
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on javax.swing.JCheckBox:setOpaque
unanalyzed	call on java.awt.Insets
unanalyzed	call on javax.swing.JCheckBox:setMargin
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.JCheckBox:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:setVisible

method	void initSettingsTab()
pre	this.tabbedPane != null
post	this.channelSettingsPane == &new SettingsPanel(initSettingsPanel#1)
post	new SettingsPanel(initSettingsPanel#1) num objects == 1
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:addOption

method	void initSettingsPanel()
presumption	init'ed(com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType. CHECKBOX)
presumption	init'ed(com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType.COLOUR)
presumption	init'ed(com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType. SPINNER)
presumption	init'ed(com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel$OptionType. TEXTFIELD)
post	this.channelSettingsPane == &new SettingsPanel(initSettingsPanel#1)
post	new SettingsPanel(initSettingsPanel#1) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel(Identity, String)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:addOption(String, String, SettingsPanel$OptionType)

method	void initListeners()
presumption	com.dmdirc.addons.ui_swing.dialogs.channelsetting. ChannelSettingsDialog:getCancelButton(...)@241 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.channelsetting. ChannelSettingsDialog:getOkButton(...)@240 != null

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:getCancelButto n()

method	void actionPerformed(ActionEvent)
pre	actionEvent != null
pre	(soft) init'ed(me)
pre	(soft) this.channelListModesPane != null
pre	(soft) this.channelListModesPane.channel != null
pre	(soft) this.channelListModesPane.existingListItems != null
pre	(soft) this.channelListModesPane.listModesArray != null
pre	(soft) this.channelListModesPane.listModesArray. length <= 2³²-1
pre	(soft) init'ed(this.channelListModesPane. listModesArray[...])
pre	(soft) this.channelListModesPane.listModesPanels != null
pre	(soft) this.channelListModesPane.toggle != null
pre	(soft) this.channelModesPane != null
pre	(soft) this.channelModesPane.channel != null
pre	(soft) this.channelModesPane.modeCheckBoxes != null
pre	(soft) this.channelModesPane.modeInputs != null
pre	(soft) this.channelSettingsPane != null
pre	(soft) this.identity != null
pre	(soft) this.tabbedPane != null
pre	(soft) this.topicModesPane != null
pre	(soft) this.topicModesPane.channel != null
pre	(soft) this.topicModesPane.topicText != null
presumption	com.dmdirc.addons.ui_swing.dialogs.channelsetting. ChannelSettingsDialog:getCancelButton(...)@253 != null
presumption	com.dmdirc.addons.ui_swing.dialogs.channelsetting. ChannelSettingsDialog:getOkButton(...)@251 != null
post	me == One-of{old me, null}
post	init'ed(me)
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getTopic
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModeSt r
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:subSequence
unanalyzed	call on java.lang.String:contains
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModePa ram
unanalyzed	call on java.util.List:get
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on java.util.Map:get
unanalyzed	call on javax.swing.JCheckBox:isSelected
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:alterMode
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ParamModePanel:getState
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ParamModePanel:getValue
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:sendModes
unanalyzed	call on com.dmdirc.Channel:setTopic
unanalyzed	call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:save
unanalyzed	call on java.util.HashMap
unanalyzed	call on javax.swing.DefaultListModel:elements
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.parser.irc.ChannelListModeItem:g etItem
unanalyzed	call on com.dmdirc.config.IdentityManager:getConfig Identity
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on javax.swing.JTabbedPane:getSelectedIndex
unanalyzed	call on java.lang.String:valueOf
test_vector	java.lang.Object:equals(...)@251: {0}, {1}
test_vector	java.lang.Object:equals(...)@253: {0}, {1}

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:getOkButton()

method not available - call not analyzed Info call on JButton com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelSettingsDialog:getCancelButto n()

method	void save()
pre	init'ed(me)
pre	this.channelListModesPane != null
pre	this.channelListModesPane.channel != null
pre	this.channelListModesPane.listModesArray != null
pre	this.channelListModesPane.listModesArray.length <= 2³²-1
pre	this.channelListModesPane.toggle != null
pre	this.channelModesPane != null
pre	this.channelModesPane.channel != null
pre	this.channelSettingsPane != null
pre	this.identity != null
pre	this.tabbedPane != null
pre	this.topicModesPane != null
pre	this.topicModesPane.channel != null
pre	this.topicModesPane.topicText != null
pre	(soft) this.channelListModesPane.existingListItems != null
pre	(soft) init'ed(this.channelListModesPane. listModesArray[...])
pre	(soft) this.channelListModesPane.listModesPanels != null
pre	(soft) this.channelModesPane.modeCheckBoxes != null
pre	(soft) this.channelModesPane.modeInputs != null
post	me == null
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getTopic
unanalyzed	call on com.dmdirc.Channel:getServer
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModeSt r
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:subSequence
unanalyzed	call on java.lang.String:contains
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getModePa ram
unanalyzed	call on java.util.List:get
unanalyzed	call on javax.swing.JList:getModel
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.addons.ui_swing.components. StandardDialog:dispose
unanalyzed	call on java.util.Map:get
unanalyzed	call on javax.swing.JCheckBox:isSelected
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:alterMode
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ParamModePanel:getState
unanalyzed	call on com.dmdirc.addons.ui_swing.components. ParamModePanel:getValue
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:sendModes
unanalyzed	call on com.dmdirc.Channel:setTopic
unanalyzed	call on java.util.HashMap
unanalyzed	call on javax.swing.DefaultListModel:elements
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.parser.irc.ChannelListModeItem:g etItem
unanalyzed	call on com.dmdirc.config.IdentityManager:getConfig Identity
unanalyzed	call on com.dmdirc.config.Identity:setOption

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:save()

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, String)

method	void dispose()
pre	init'ed(me)
post	me == null
test_vector	me: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. StandardDialog:dispose()

method not available - call not analyzed	Info	call on Server com.dmdirc.Channel:getServer()
method not available - call not analyzed	Info	call on String com.dmdirc.Server:getNetwork()
method not available - call not analyzed	Info	call on ChannelInfo com.dmdirc.Channel:getChannelIn fo()
method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. ChannelInfo:getName()
method not available - call not analyzed	Info	call on Identity com.dmdirc.config.IdentityManager: getChannelConfig(String, String)

	method not available - call not analyzed	Info	call on Container com.dmdirc.addons.ui_swing. dialogs.channelsetting.ChannelSettingsDialog:getCon tentPane()
	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.Channel:getConfigM anager()
	method not available - call not analyzed	Info	call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)