| Kind |
Annotation Text |
| pre | (soft) init'ed(this.delButton) |
| pre | (soft) init'ed(this.parentWindow) |
| pre | (soft) this.cachedIgnoreList != null |
| pre | (soft) this.list != null |
| pre | (soft) this.listModel != null |
| pre | (soft) this.listModel.ignoreList != null |
| pre | (soft) this.viewToggle != null |
| pre | e != null |
| pre | init'ed(this.addButton) |
| presumption | init'ed(java.awt.Dialog$ModalityType.MODELESS) |
| post | possibly_updated(this.listModel.isSimple) |
| unanalyzed | call on com.dmdirc.IgnoreList:canConvert |
| unanalyzed | call on com.dmdirc.IgnoreList:count |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. StandardInputDialog |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListModel:fireContentsChanged |
| unanalyzed | call on javax.swing.JCheckBox:setEnabled |
| unanalyzed | call on javax.swing.JCheckBox:setSelected |
| test_vector | javax.swing.JCheckBox:isSelected(...)@177: {0}, {1} |
| test_vector | javax.swing.JList:getSelectedIndex(...)@210: {-1}, {-231..-2, 0..232-1} |
| test_vector | javax.swing.JOptionPane:showConfirmDialog(... )@210: {-231..-1, 1..232-1}, {0} |
| Kind |
Annotation Text |
| pre | server != null |
| post | init'ed(new IgnoreListModel(initComponents#2). isSimple) |
| post | init'ed(this.parentWindow) |
| post | new IgnoreList(initComponents#1) num objects == 1 |
| post | new IgnoreListModel(initComponents#2) num objects == 1 |
| post | new IgnoreListModel(initComponents#2).ignoreList == &new IgnoreList(initComponents#1) |
| post | new JButton(initComponents#5) num objects == 1 |
| post | new JButton(initComponents#6) num objects == 1 |
| post | new JCheckBox(initComponents#8) num objects == 1 |
| post | new JLabel(initComponents#7) num objects == 1 |
| post | new JList(initComponents#3) num objects == 1 |
| post | this.addButton == &new JButton(initComponents#5 ) |
| post | this.cachedIgnoreList == &new IgnoreList(initCo mponents#1) |
| post | this.delButton == &new JButton(initComponents#6 ) |
| post | this.list == &new JList(initComponents#3) |
| post | this.listModel == &new IgnoreListModel(initComp onents#2) |
| post | this.parentWindow == parentWindow |
| post | this.server != null |
| post | this.server == server |
| post | this.sizeLabel == &new JLabel(initComponents#7) |
| post | this.viewToggle == &new JCheckBox(initComponent s#8) |
| unanalyzed | call on com.dmdirc.IgnoreList |
| unanalyzed | call on com.dmdirc.IgnoreList:canConvert |
| unanalyzed | call on com.dmdirc.IgnoreList:count |
| unanalyzed | call on com.dmdirc.IgnoreList:getRegexList |
| unanalyzed | call on com.dmdirc.Server:getIgnoreList |
| unanalyzed | call on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:add |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:setLayout |
| unanalyzed | call on javax.swing.AbstractListModel |
| 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:setEnabled |
| unanalyzed | call on javax.swing.JCheckBox:setOpaque |
| unanalyzed | call on javax.swing.JCheckBox:setSelected |
| 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:getSelectedIndex |
| unanalyzed | call on javax.swing.JList:getSelectionModel |
| unanalyzed | call on javax.swing.JList:setSelectionMode |
| unanalyzed | call on javax.swing.JScrollPane |
| unanalyzed | call on javax.swing.ListSelectionModel:addListSelec tionListener |
| unanalyzed | call on net.miginfocom.swing.MigLayout |
| Kind |
Annotation Text |
| pre | this.server != null |
| presumption | com.dmdirc.Server:getIgnoreList(...)@101 != null |
| post | init'ed(this.listModel.isSimple) |
| post | new IgnoreList(initComponents#1) num objects == 1 |
| post | new IgnoreListModel(initComponents#2) num objects == 1 |
| post | new JButton(initComponents#5) num objects == 1 |
| post | new JButton(initComponents#6) num objects == 1 |
| post | new JCheckBox(initComponents#8) num objects == 1 |
| post | new JLabel(initComponents#7) num objects == 1 |
| post | new JList(initComponents#3) num objects == 1 |
| post | this.addButton == &new JButton(initComponents#5 ) |
| post | this.cachedIgnoreList == &new IgnoreList(initCo mponents#1) |
| post | this.delButton == &new JButton(initComponents#6 ) |
| post | this.list == &new JList(initComponents#3) |
| post | this.listModel == &new IgnoreListModel(initComp onents#2) |
| post | this.listModel.ignoreList == &new IgnoreList(initComponents#1) |
| post | this.sizeLabel == &new JLabel(initComponents#7) |
| post | this.viewToggle == &new JCheckBox(initComponent s#8) |
| unanalyzed | call on com.dmdirc.IgnoreList:canConvert |
| unanalyzed | call on javax.swing.AbstractListModel |