| Kind |
Annotation Text |
| pre | init'ed(com/dmdirc/addons/ui_swing/dialogs/prefs/Sw ingPreferencesDialog.CLIENT_HEIGHT) |
| post | new ArrayList(UpdateTableModel#1) num objects == 1 |
| post | new HashMap(UpdateTableModel#2) num objects == 1 |
| post | new JButton(initComponents#5) num objects == 1 |
| post | new JCheckBox(initComponents#1) num objects == 1 |
| post | new JScrollPane(initComponents#2) num objects == 1 |
| post | new PackingTable(initComponents#4) num objects == 1 |
| post | new UpdateTableModel(initComponents#3) num objects == 1 |
| post | new UpdateTableModel(initComponents#3).enabled == &new HashMap(UpdateTableModel#2) |
| post | new UpdateTableModel(initComponents#3).updates == &new ArrayList(UpdateTableModel#1) |
| post | this.checkNow == &new JButton(initComponents#5) |
| post | this.enable == &new JCheckBox(initComponents#1) |
| post | this.scrollPane == &new JScrollPane(initCompone nts#2) |
| post | this.table == &new PackingTable(initComponents# 4) |
| post | this.tableModel == &new UpdateTableModel(initCo mponents#3) |
| unanalyzed | call on com.dmdirc.addons.ui_swing.components. PackingTable |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs.prefs. UpdateConfigPanel:add |
| unanalyzed | call on com.dmdirc.addons.ui_swing.dialogs.prefs. UpdateConfigPanel:setLayout |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOptionBo ol |
| unanalyzed | call on com.dmdirc.config.IdentityManager:getGlobal Config |
| unanalyzed | call on com.dmdirc.updater.UpdateChecker:getCompone nts |
| unanalyzed | call on com.dmdirc.updater.UpdateChecker:isEnabled |
| unanalyzed | call on java.lang.Boolean:valueOf |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on javax.swing.JButton |
| unanalyzed | call on javax.swing.JButton:addActionListener |
| unanalyzed | call on javax.swing.JCheckBox |
| unanalyzed | call on javax.swing.JCheckBox:setSelected |
| unanalyzed | call on javax.swing.JLabel |
| unanalyzed | call on javax.swing.JScrollPane |
| unanalyzed | call on javax.swing.JScrollPane:setViewportView |
| unanalyzed | call on javax.swing.table.AbstractTableModel |
| unanalyzed | call on net.miginfocom.swing.MigLayout |
| Kind |
Annotation Text |
| presumption | com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@99 != null |
| post | new ArrayList(UpdateTableModel#1) num objects == 1 |
| post | new HashMap(UpdateTableModel#2) num objects == 1 |
| post | new JButton(initComponents#5) num objects == 1 |
| post | new JCheckBox(initComponents#1) num objects == 1 |
| post | new JScrollPane(initComponents#2) num objects == 1 |
| post | new PackingTable(initComponents#4) num objects == 1 |
| post | new UpdateTableModel(initComponents#3) num objects == 1 |
| post | this.checkNow == &new JButton(initComponents#5) |
| post | this.enable == &new JCheckBox(initComponents#1) |
| post | this.scrollPane == &new JScrollPane(initCompone nts#2) |
| post | this.table == &new PackingTable(initComponents# 4) |
| post | this.tableModel == &new UpdateTableModel(initCo mponents#3) |
| post | this.tableModel.enabled == &new HashMap(UpdateTableModel#2) |
| post | this.tableModel.updates == &new ArrayList(UpdateTableModel#1) |
| unanalyzed | call on com.dmdirc.updater.UpdateChecker:isEnabled |
| unanalyzed | call on java.lang.Boolean:valueOf |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on javax.swing.table.AbstractTableModel |
| Kind |
Annotation Text |
| pre | (soft) this.tableModel.enabled != null |
| pre | this.enable != null |
| pre | this.tableModel != null |
| pre | this.tableModel.updates != null |
| presumption | com.dmdirc.config.IdentityManager:getConfigIdentity (...)@78 != null |
| unanalyzed | call on com.dmdirc.updater.UpdateComponent:getFrien dlyName |
| unanalyzed | call on com.dmdirc.updater.UpdateComponent:getFrien dlyVersion |
| unanalyzed | call on java.lang.IllegalArgumentException |
| unanalyzed | call on java.lang.IndexOutOfBoundsException |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.util.List:get |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.Map:get |
| test_vector | java.lang.Boolean:booleanValue(...)@87: {0}, {1} |
| test_vector | javax.swing.JCheckBox:isSelected(...)@79: {0}, {1} |