UpdateConfigPanel.java


current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void actionPerformed(ActionEvent)

  • Kind Annotation Text

  • void addListeners()

  • Kind Annotation Text
    prethis.checkNow != null

  • void com.dmdirc.addons.ui_swing.dialogs.prefs.UpdateConfigPanel()

  • Kind Annotation Text
    preinit'ed(com/dmdirc/addons/ui_swing/dialogs/prefs/Sw ingPreferencesDialog.CLIENT_HEIGHT)
    postnew ArrayList(UpdateTableModel#1) num objects == 1
    postnew HashMap(UpdateTableModel#2) num objects == 1
    postnew JButton(initComponents#5) num objects == 1
    postnew JCheckBox(initComponents#1) num objects == 1
    postnew JScrollPane(initComponents#2) num objects == 1
    postnew PackingTable(initComponents#4) num objects == 1
    postnew UpdateTableModel(initComponents#3) num objects == 1
    postnew UpdateTableModel(initComponents#3).enabled == &new HashMap(UpdateTableModel#2)
    postnew UpdateTableModel(initComponents#3).updates == &new ArrayList(UpdateTableModel#1)
    postthis.checkNow == &new JButton(initComponents#5)
    postthis.enable == &new JCheckBox(initComponents#1)
    postthis.scrollPane == &new JScrollPane(initCompone nts#2)
    postthis.table == &new PackingTable(initComponents# 4)
    postthis.tableModel == &new UpdateTableModel(initCo mponents#3)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. PackingTable
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. UpdateConfigPanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.prefs. UpdateConfigPanel:setLayout
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config
    unanalyzedcall on com.dmdirc.updater.UpdateChecker:getCompone nts
    unanalyzedcall on com.dmdirc.updater.UpdateChecker:isEnabled
    unanalyzedcall on java.lang.Boolean:valueOf
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JCheckBox:setSelected
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.JScrollPane:setViewportView
    unanalyzedcall on javax.swing.table.AbstractTableModel
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • com.dmdirc.addons.ui_swing.dialogs.prefs.UpdateConfigPanel__static_init

  • Kind Annotation Text

  • void initComponents()

  • Kind Annotation Text
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@99 != null
    postnew ArrayList(UpdateTableModel#1) num objects == 1
    postnew HashMap(UpdateTableModel#2) num objects == 1
    postnew JButton(initComponents#5) num objects == 1
    postnew JCheckBox(initComponents#1) num objects == 1
    postnew JScrollPane(initComponents#2) num objects == 1
    postnew PackingTable(initComponents#4) num objects == 1
    postnew UpdateTableModel(initComponents#3) num objects == 1
    postthis.checkNow == &new JButton(initComponents#5)
    postthis.enable == &new JCheckBox(initComponents#1)
    postthis.scrollPane == &new JScrollPane(initCompone nts#2)
    postthis.table == &new PackingTable(initComponents# 4)
    postthis.tableModel == &new UpdateTableModel(initCo mponents#3)
    postthis.tableModel.enabled == &new HashMap(UpdateTableModel#2)
    postthis.tableModel.updates == &new ArrayList(UpdateTableModel#1)
    unanalyzedcall on com.dmdirc.updater.UpdateChecker:isEnabled
    unanalyzedcall on java.lang.Boolean:valueOf
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on javax.swing.table.AbstractTableModel

  • void layoutComponents()

  • Kind Annotation Text
    preinit'ed(com/dmdirc/addons/ui_swing/dialogs/prefs/Sw ingPreferencesDialog.CLIENT_HEIGHT)
    preinit'ed(this.checkNow)
    preinit'ed(this.enable)
    preinit'ed(this.scrollPane)

  • void save()

  • Kind Annotation Text
    pre(soft) this.tableModel.enabled != null
    prethis.enable != null
    prethis.tableModel != null
    prethis.tableModel.updates != null
    presumptioncom.dmdirc.config.IdentityManager:getConfigIdentity (...)@78 != null
    unanalyzedcall on com.dmdirc.updater.UpdateComponent:getFrien dlyName
    unanalyzedcall on com.dmdirc.updater.UpdateComponent:getFrien dlyVersion
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.IndexOutOfBoundsException
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.List:get
    unanalyzedcall on java.util.List:size
    unanalyzedcall on java.util.Map:get
    test_vectorjava.lang.Boolean:booleanValue(...)@87: {0}, {1}
    test_vectorjavax.swing.JCheckBox:isSelected(...)@79: {0}, {1}