| Kind |
Annotation Text |
| pre | (soft) init'ed(me) |
| pre | (soft) init'ed(this.channelListModesPane. listModesArray[...]) |
| 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 <= 232-1 |
| 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 |
| pre | actionEvent != 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 | init'ed(me) |
| post | me == One-of{old me, null} |
| unanalyzed | call on com.dmdirc.Channel:getChannelInfo |
| unanalyzed | call on com.dmdirc.Channel:getServer |
| unanalyzed | call on com.dmdirc.Channel:setTopic |
| unanalyzed | call on com.dmdirc.Server:getParser |
| 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 com.dmdirc.addons.ui_swing.components. StandardDialog:dispose |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:save |
| unanalyzed | call on com.dmdirc.config.Identity:setOption |
| unanalyzed | call on com.dmdirc.config.IdentityManager:getConfig Identity |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:alterMode |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getModePa ram |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getModeSt r |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getTopic |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:sendModes |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelListModeItem:g etItem |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes |
| unanalyzed | call on com.dmdirc.util.MapList:get |
| unanalyzed | call on java.lang.Character:valueOf |
| unanalyzed | call on java.lang.String:charAt |
| unanalyzed | call on java.lang.String:contains |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on java.lang.String:subSequence |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:toCharArray |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.util.Enumeration:hasMoreElements |
| unanalyzed | call on java.util.Enumeration:nextElement |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.util.Map$Entry:getKey |
| unanalyzed | call on java.util.Map$Entry:getValue |
| unanalyzed | call on java.util.Map:containsKey |
| unanalyzed | call on java.util.Map:entrySet |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on java.util.Map:remove |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on javax.swing.DefaultListModel:elements |
| unanalyzed | call on javax.swing.JCheckBox:isSelected |
| unanalyzed | call on javax.swing.JList:getModel |
| unanalyzed | call on javax.swing.JTabbedPane:getSelectedIndex |
| test_vector | java.lang.Object:equals(...)@251: {0}, {1} |
| test_vector | java.lang.Object:equals(...)@253: {0}, {1} |
| Kind |
Annotation Text |
| 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 | init'ed(new TopicPane(initTopicTab#1). topicLengthMax) |
| post | new ArrayList(ChannelListModesPane#4) num objects == 1 |
| post | new ChannelListModesPane(initListModesTab#1) num objects == 1 |
| post | new ChannelListModesPane(initListModesTab#1). addListModeButton == &new JButton(ChannelListMo desPane#8) |
| post | new ChannelListModesPane(initListModesTab#1). channel != null |
| post | new ChannelListModesPane(initListModesTab#1). channel == this.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) num objects == 1 |
| post | new ChannelModesPane(initIrcTab#1).channel == new ChannelListModesPane(initListModesTab#1).channel |
| 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 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 ListModeCellRenderer(ChannelListModesPane#2) 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 TextLabel(initTopicsPanel#5).sas == &new SimpleAttributeSet(TextLabel#6) |
| post | new TopicPane(initTopicTab#1) num objects == 1 |
| post | new TopicPane(initTopicTab#1).channel == new ChannelListModesPane(initListModesTab#1).channel |
| post | new TopicPane(initTopicTab#1).parent != null |
| post | new TopicPane(initTopicTab#1).parent == this |
| post | new TopicPane(initTopicTab#1).topicHistory == &new JComboBox(initTopicsPanel#3) |
| post | new TopicPane(initTopicTab#1).topicLengthLabel == &new JLabel(initTopicsPanel#1) |
| post | new TopicPane(initTopicTab#1).topicText == &new TextAreaInputField(initTopicsPanel#2) |
| post | new TopicPane(initTopicTab#1).topicWho == &new TextLabel(initTopicsPanel#5) |
| 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) |
| unanalyzed | call on com.dmdirc.Channel:getChannelInfo |
| unanalyzed | call on com.dmdirc.Channel:getConfigManager |
| unanalyzed | call on com.dmdirc.Channel:getFrame |
| unanalyzed | call on com.dmdirc.Channel:getServer |
| unanalyzed | call on com.dmdirc.Channel:getTopics |
| unanalyzed | call on com.dmdirc.Server:getParser |
| unanalyzed | call on com.dmdirc.Topic:getClient |
| unanalyzed | call on com.dmdirc.Topic:getTime |
| unanalyzed | call on com.dmdirc.Topic:getTopic |
| unanalyzed | call on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager |
| unanalyzed | call on com.dmdirc.addons.ui_swing.UIUtilities:getC trlDownMask |
| unanalyzed | call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque |
| unanalyzed | call on com.dmdirc.addons.ui_swing.actions. NoNewlinesPasteAction |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. ParamModePanel |
| 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 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 |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getActionMap |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getDocument |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getInputMap |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setColumns |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setLineWrap |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setRows |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setText |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setWrapStyleWord |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. expandingsettings.SettingsPanel:addOption |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI |
| 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.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:setOpaque |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:setVisible |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane:add |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane:setLayout |
| 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 com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:add |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:removeAll |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:setLayout |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:setOpaque |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:setVisible |
| 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.logger.Logger:userError |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getListMo deParam |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getModePa ram |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getModeSt r |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getTopic |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:get005 |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getListChan Modes |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getMaxListM odes |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:isUserSetta ble |
| unanalyzed | call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser |
| unanalyzed | call on com.dmdirc.util.MapList |
| unanalyzed | call on com.dmdirc.util.MapList:add |
| unanalyzed | call on com.dmdirc.util.MapList:clear |
| unanalyzed | call on java.awt.Font:getFamily |
| unanalyzed | call on java.awt.Font:getSize |
| unanalyzed | call on java.awt.Insets |
| unanalyzed | call on java.lang.Character:valueOf |
| unanalyzed | call on java.lang.Integer:parseInt |
| unanalyzed | call on java.lang.String:charAt |
| unanalyzed | call on java.lang.String:contains |
| unanalyzed | call on java.lang.String:isEmpty |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on java.lang.String:subSequence |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:toCharArray |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.Collection:iterator |
| unanalyzed | call on java.util.Collections:reverse |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on java.util.Hashtable |
| 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 java.util.List:toArray |
| unanalyzed | call on java.util.Map:containsKey |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on java.util.Map:values |
| unanalyzed | call on javax.swing.AbstractAction |
| unanalyzed | call on javax.swing.ActionMap:put |
| unanalyzed | call on javax.swing.BorderFactory:createEmptyBorder |
| unanalyzed | call on javax.swing.BorderFactory:createTitledBorde r |
| unanalyzed | call on javax.swing.ComboBoxModel:getSize |
| unanalyzed | call on javax.swing.DefaultComboBoxModel |
| 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.InputMap:put |
| unanalyzed | call on javax.swing.JButton |
| unanalyzed | call on javax.swing.JButton:addActionListener |
| unanalyzed | call on javax.swing.JButton:setEnabled |
| unanalyzed | call on javax.swing.JCheckBox |
| unanalyzed | call on javax.swing.JCheckBox:addActionListener |
| unanalyzed | call on javax.swing.JCheckBox:setBorder |
| unanalyzed | call on javax.swing.JCheckBox:setEnabled |
| unanalyzed | call on javax.swing.JCheckBox:setMargin |
| unanalyzed | call on javax.swing.JCheckBox:setOpaque |
| unanalyzed | call on javax.swing.JCheckBox:setToolTipText |
| unanalyzed | call on javax.swing.JComboBox |
| 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:getSelectedItem |
| unanalyzed | call on javax.swing.JComboBox:setEnabled |
| unanalyzed | call on javax.swing.JComboBox:setPrototypeDisplayVa lue |
| unanalyzed | call on javax.swing.JLabel |
| unanalyzed | call on javax.swing.JLabel:setForeground |
| 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.JPanel:add |
| unanalyzed | call on javax.swing.JPanel:setBorder |
| unanalyzed | call on javax.swing.JPanel:setOpaque |
| unanalyzed | call on javax.swing.JScrollPane |
| unanalyzed | call on javax.swing.JScrollPane:getViewport |
| unanalyzed | call on javax.swing.JScrollPane:isVisible |
| unanalyzed | call on javax.swing.JScrollPane:setBorder |
| unanalyzed | call on javax.swing.JScrollPane:setHorizontalScroll BarPolicy |
| unanalyzed | call on javax.swing.JScrollPane:setOpaque |
| unanalyzed | call on javax.swing.JScrollPane:setViewportView |
| unanalyzed | call on javax.swing.JScrollPane:setVisible |
| unanalyzed | call on javax.swing.JTabbedPane:addTab |
| unanalyzed | call on javax.swing.JTextPane |
| unanalyzed | call on javax.swing.JTextPane:getDocument |
| unanalyzed | call on javax.swing.JTextPane:setText |
| unanalyzed | call on javax.swing.JViewport:setOpaque |
| unanalyzed | call on javax.swing.KeyStroke:getKeyStroke |
| unanalyzed | call on javax.swing.ListModel:getSize |
| unanalyzed | call on javax.swing.UIManager:getFont |
| unanalyzed | call on javax.swing.plaf.basic.BasicTextPaneUI |
| unanalyzed | call on javax.swing.text.DefaultStyledDocument |
| unanalyzed | call on javax.swing.text.Document:addDocumentListen er |
| unanalyzed | call on javax.swing.text.SimpleAttributeSet |
| unanalyzed | call on javax.swing.text.StyleConstants:setAlignmen t |
| unanalyzed | call on javax.swing.text.StyledDocument:setParagrap hAttributes |
| unanalyzed | call on javax.swing.text.html.HTMLDocument:getStyle Sheet |
| unanalyzed | call on javax.swing.text.html.HTMLEditorKit |
| unanalyzed | call on javax.swing.text.html.StyleSheet:addRule |
| unanalyzed | call on net.miginfocom.swing.MigLayout |
| Kind |
Annotation Text |
| pre | this.channel != null |
| pre | this.tabbedPane != null |
| presumption | javax.swing.JScrollPane:getViewport(...)@172 != null |
| 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 == &new ChannelModesPane( initIrcTab#1) |
| post | this.channelModesPane.channel != null |
| post | this.channelModesPane.channel == this.channel |
| post | this.channelModesPane.modeCheckBoxes == &new Hashtable(initModesPanel#2) |
| post | this.channelModesPane.modeInputs == &new Hashtable(initModesPanel#14) |
| 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.UIUtilities:getT abbedPaneOpaque |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. ParamModePanel |
| 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 com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane:add |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelModesPane:setLayout |
| 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 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.parser.irc.ChannelInfo:getModePa ram |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getModeSt r |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:isUserSetta ble |
| unanalyzed | call on java.awt.Insets |
| unanalyzed | call on java.lang.Character:valueOf |
| unanalyzed | call on java.lang.String:charAt |
| unanalyzed | call on java.lang.String:contains |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on java.lang.String:subSequence |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:toCharArray |
| unanalyzed | call on java.util.Collection:iterator |
| unanalyzed | call on java.util.Hashtable |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on java.util.Map:values |
| unanalyzed | call on javax.swing.BorderFactory:createTitledBorde r |
| unanalyzed | call on javax.swing.JCheckBox |
| unanalyzed | call on javax.swing.JCheckBox:setEnabled |
| unanalyzed | call on javax.swing.JCheckBox:setMargin |
| unanalyzed | call on javax.swing.JCheckBox:setOpaque |
| unanalyzed | call on javax.swing.JCheckBox:setToolTipText |
| unanalyzed | call on javax.swing.JPanel |
| unanalyzed | call on javax.swing.JPanel:add |
| unanalyzed | call on javax.swing.JPanel:setBorder |
| unanalyzed | call on javax.swing.JPanel:setOpaque |
| unanalyzed | call on net.miginfocom.swing.MigLayout |
| Kind |
Annotation Text |
| pre | this.channel != null |
| pre | this.tabbedPane != null |
| post | new ArrayList(ChannelListModesPane#4) num objects == 1 |
| post | new ChannelListModesPane(initListModesTab#1) 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.channelListModesPane == &new ChannelListModesPane(initListModesTab#1) |
| post | this.channelListModesPane.addListModeButton == &new JButton(ChannelListModesPane#8) |
| post | this.channelListModesPane.channel != null |
| post | this.channelListModesPane.channel == this.channel |
| 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) |
| 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.UIUtilities:getT abbedPaneOpaque |
| 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.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:setOpaque |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.ChannelListModesPane:setVisible |
| 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:getListChan Modes |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getMaxListM odes |
| unanalyzed | call on com.dmdirc.util.MapList |
| unanalyzed | call on com.dmdirc.util.MapList:add |
| unanalyzed | call on com.dmdirc.util.MapList:clear |
| unanalyzed | call on java.awt.Insets |
| unanalyzed | call on java.lang.Character:valueOf |
| unanalyzed | call on java.lang.String:toCharArray |
| 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.BorderFactory:createEmptyBorder |
| unanalyzed | call on javax.swing.DefaultComboBoxModel |
| 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 |
| unanalyzed | call on javax.swing.JButton:addActionListener |
| unanalyzed | call on javax.swing.JButton:setEnabled |
| unanalyzed | call on javax.swing.JCheckBox |
| unanalyzed | call on javax.swing.JCheckBox:addActionListener |
| unanalyzed | call on javax.swing.JCheckBox:setBorder |
| unanalyzed | call on javax.swing.JCheckBox:setMargin |
| unanalyzed | call on javax.swing.JCheckBox:setOpaque |
| unanalyzed | call on javax.swing.JComboBox |
| 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 |
| 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 |
| 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 |
| Kind |
Annotation Text |
| pre | this.channel != null |
| pre | this.tabbedPane != null |
| post | init'ed(this.topicModesPane.topicLengthMax) |
| 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 TextLabel(initTopicsPanel#5).sas == &new SimpleAttributeSet(TextLabel#6) |
| post | new TopicPane(initTopicTab#1) num objects == 1 |
| post | this.topicModesPane == &new TopicPane(initTopic Tab#1) |
| post | this.topicModesPane.channel != null |
| post | this.topicModesPane.channel == this.channel |
| post | this.topicModesPane.parent != null |
| post | this.topicModesPane.parent == this |
| post | this.topicModesPane.topicHistory == &new JComboBox(initTopicsPanel#3) |
| post | this.topicModesPane.topicLengthLabel == &new JLabel(initTopicsPanel#1) |
| post | this.topicModesPane.topicText == &new TextAreaInputField(initTopicsPanel#2) |
| post | this.topicModesPane.topicWho == &new TextLabel(initTopicsPanel#5) |
| unanalyzed | call on com.dmdirc.Channel:getChannelInfo |
| unanalyzed | call on com.dmdirc.Channel:getFrame |
| unanalyzed | call on com.dmdirc.Channel:getServer |
| unanalyzed | call on com.dmdirc.Channel:getTopics |
| unanalyzed | call on com.dmdirc.Server:getParser |
| unanalyzed | call on com.dmdirc.Topic:getClient |
| unanalyzed | call on com.dmdirc.Topic:getTime |
| unanalyzed | call on com.dmdirc.Topic:getTopic |
| unanalyzed | call on com.dmdirc.addons.ui_swing.UIUtilities:addU ndoManager |
| unanalyzed | call on com.dmdirc.addons.ui_swing.UIUtilities:getC trlDownMask |
| unanalyzed | call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque |
| unanalyzed | call on com.dmdirc.addons.ui_swing.actions. NoNewlinesPasteAction |
| 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 |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getActionMap |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getDocument |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getInputMap |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setColumns |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setLineWrap |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setRows |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setText |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:setWrapStyleWord |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditable |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setEditorKit |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setHighlighter |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setMargin |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setOpaque |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setUI |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:add |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:removeAll |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:setLayout |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:setOpaque |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. channelsetting.TopicPane:setVisible |
| unanalyzed | call on com.dmdirc.logger.Logger:userError |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getTopic |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:get005 |
| unanalyzed | call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser |
| unanalyzed | call on java.awt.Font:getFamily |
| unanalyzed | call on java.awt.Font:getSize |
| unanalyzed | call on java.awt.Insets |
| unanalyzed | call on java.lang.Integer:parseInt |
| unanalyzed | call on java.lang.String:isEmpty |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.util.Collections:reverse |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on java.util.List:toArray |
| unanalyzed | call on java.util.Map:containsKey |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on javax.swing.AbstractAction |
| unanalyzed | call on javax.swing.ActionMap:put |
| unanalyzed | call on javax.swing.ComboBoxModel:getSize |
| unanalyzed | call on javax.swing.DefaultComboBoxModel |
| unanalyzed | call on javax.swing.InputMap:put |
| unanalyzed | call on javax.swing.JComboBox |
| unanalyzed | call on javax.swing.JComboBox:addActionListener |
| unanalyzed | call on javax.swing.JComboBox:getModel |
| unanalyzed | call on javax.swing.JComboBox:getSelectedItem |
| unanalyzed | call on javax.swing.JComboBox:setEnabled |
| unanalyzed | call on javax.swing.JComboBox:setPrototypeDisplayVa lue |
| unanalyzed | call on javax.swing.JLabel |
| unanalyzed | call on javax.swing.JLabel:setForeground |
| unanalyzed | call on javax.swing.JLabel:setText |
| unanalyzed | call on javax.swing.JPanel |
| unanalyzed | call on javax.swing.JScrollPane |
| unanalyzed | call on javax.swing.JTextPane |
| unanalyzed | call on javax.swing.JTextPane:getDocument |
| unanalyzed | call on javax.swing.JTextPane:setText |
| unanalyzed | call on javax.swing.KeyStroke:getKeyStroke |
| unanalyzed | call on javax.swing.UIManager:getFont |
| unanalyzed | call on javax.swing.plaf.basic.BasicTextPaneUI |
| unanalyzed | call on javax.swing.text.DefaultStyledDocument |
| unanalyzed | call on javax.swing.text.Document:addDocumentListen er |
| unanalyzed | call on javax.swing.text.SimpleAttributeSet |
| unanalyzed | call on javax.swing.text.StyleConstants:setAlignmen t |
| unanalyzed | call on javax.swing.text.StyledDocument:setParagrap hAttributes |
| unanalyzed | call on javax.swing.text.html.HTMLDocument:getStyle Sheet |
| unanalyzed | call on javax.swing.text.html.HTMLEditorKit |
| unanalyzed | call on javax.swing.text.html.StyleSheet:addRule |
| unanalyzed | call on net.miginfocom.swing.MigLayout |
| Kind |
Annotation Text |
| pre | (soft) init'ed(this.channelListModesPane. listModesArray[...]) |
| pre | (soft) this.channelListModesPane.existingListItems != null |
| pre | (soft) this.channelListModesPane.listModesPanels != null |
| pre | (soft) this.channelModesPane.modeCheckBoxes != null |
| pre | (soft) this.channelModesPane.modeInputs != null |
| pre | init'ed(me) |
| pre | this.channelListModesPane != null |
| pre | this.channelListModesPane.channel != null |
| pre | this.channelListModesPane.listModesArray != null |
| pre | this.channelListModesPane.listModesArray.length <= 232-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 |
| post | me == null |
| unanalyzed | call on com.dmdirc.Channel:getChannelInfo |
| unanalyzed | call on com.dmdirc.Channel:getServer |
| unanalyzed | call on com.dmdirc.Channel:setTopic |
| unanalyzed | call on com.dmdirc.Server:getParser |
| 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 com.dmdirc.addons.ui_swing.components. StandardDialog:dispose |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. TextAreaInputField:getText |
| unanalyzed | call on com.dmdirc.config.Identity:setOption |
| unanalyzed | call on com.dmdirc.config.IdentityManager:getConfig Identity |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:alterMode |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getModePa ram |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getModeSt r |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getTopic |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:sendModes |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelListModeItem:g etItem |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes |
| unanalyzed | call on com.dmdirc.util.MapList:get |
| unanalyzed | call on java.lang.Character:valueOf |
| unanalyzed | call on java.lang.String:charAt |
| unanalyzed | call on java.lang.String:contains |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on java.lang.String:subSequence |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:toCharArray |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.util.Enumeration:hasMoreElements |
| unanalyzed | call on java.util.Enumeration:nextElement |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.util.Map$Entry:getKey |
| unanalyzed | call on java.util.Map$Entry:getValue |
| unanalyzed | call on java.util.Map:containsKey |
| unanalyzed | call on java.util.Map:entrySet |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on java.util.Map:remove |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on javax.swing.DefaultListModel:elements |
| unanalyzed | call on javax.swing.JCheckBox:isSelected |
| unanalyzed | call on javax.swing.JList:getModel |