IgnoreListPanel.java


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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • JCheckBox access$000(IgnoreListPanel)

  • Kind Annotation Text
    preinit'ed(x0.viewToggle)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.viewToggle

  • IgnoreList access$100(IgnoreListPanel)

  • Kind Annotation Text
    preinit'ed(x0.cachedIgnoreList)
    prex0 != null
    postinit'ed(return_value)
    postreturn_value == x0.cachedIgnoreList

  • void access$200(IgnoreListPanel)

  • Kind Annotation Text
    prex0 != null
    prex0.cachedIgnoreList != null
    prex0.listModel != null
    prex0.listModel.ignoreList != null
    prex0.viewToggle != null
    unanalyzedcall on com.dmdirc.IgnoreList:canConvert
    unanalyzedcall on com.dmdirc.IgnoreList:count
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListModel:fireContentsChanged
    unanalyzedcall on javax.swing.JCheckBox:setEnabled
    unanalyzedcall on javax.swing.JCheckBox:setSelected

  • void actionPerformed(ActionEvent)

  • 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
    pree != null
    preinit'ed(this.addButton)
    presumptioninit'ed(java.awt.Dialog$ModalityType.MODELESS)
    postpossibly_updated(this.listModel.isSimple)
    unanalyzedcall on com.dmdirc.IgnoreList:canConvert
    unanalyzedcall on com.dmdirc.IgnoreList:count
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardInputDialog
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListModel:fireContentsChanged
    unanalyzedcall on javax.swing.JCheckBox:setEnabled
    unanalyzedcall on javax.swing.JCheckBox:setSelected
    test_vectorjavax.swing.JCheckBox:isSelected(...)@177: {0}, {1}
    test_vectorjavax.swing.JList:getSelectedIndex(...)@210: {-1}, {-231..-2, 0..232-1}
    test_vectorjavax.swing.JOptionPane:showConfirmDialog(... )@210: {-231..-1, 1..232-1}, {0}

  • void addListeners()

  • Kind Annotation Text
    prethis.addButton != null
    prethis.delButton != null
    prethis.list != null
    prethis.viewToggle != null
    presumptionjavax.swing.JList:getSelectionModel(...)@137 != null

  • void cancelled()

  • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.serversetting.IgnoreListPanel$1(IgnoreListPanel, Window, Dialog$ModalityType, String, String, Validator)

  • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.dialogs.serversetting.IgnoreListPanel$1__static_init

  • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.serversetting.IgnoreListPanel(Server, Window)

  • Kind Annotation Text
    preserver != null
    postinit'ed(new IgnoreListModel(initComponents#2). isSimple)
    postinit'ed(this.parentWindow)
    postnew IgnoreList(initComponents#1) num objects == 1
    postnew IgnoreListModel(initComponents#2) num objects == 1
    postnew IgnoreListModel(initComponents#2).ignoreList == &new IgnoreList(initComponents#1)
    postnew JButton(initComponents#5) num objects == 1
    postnew JButton(initComponents#6) num objects == 1
    postnew JCheckBox(initComponents#8) num objects == 1
    postnew JLabel(initComponents#7) num objects == 1
    postnew JList(initComponents#3) num objects == 1
    postthis.addButton == &new JButton(initComponents#5 )
    postthis.cachedIgnoreList == &new IgnoreList(initCo mponents#1)
    postthis.delButton == &new JButton(initComponents#6 )
    postthis.list == &new JList(initComponents#3)
    postthis.listModel == &new IgnoreListModel(initComp onents#2)
    postthis.parentWindow == parentWindow
    postthis.server != null
    postthis.server == server
    postthis.sizeLabel == &new JLabel(initComponents#7)
    postthis.viewToggle == &new JCheckBox(initComponent s#8)
    unanalyzedcall on com.dmdirc.IgnoreList
    unanalyzedcall on com.dmdirc.IgnoreList:canConvert
    unanalyzedcall on com.dmdirc.IgnoreList:count
    unanalyzedcall on com.dmdirc.IgnoreList:getRegexList
    unanalyzedcall on com.dmdirc.Server:getIgnoreList
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListPanel:setLayout
    unanalyzedcall on javax.swing.AbstractListModel
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setEnabled
    unanalyzedcall on javax.swing.JCheckBox
    unanalyzedcall on javax.swing.JCheckBox:addActionListener
    unanalyzedcall on javax.swing.JCheckBox:setEnabled
    unanalyzedcall on javax.swing.JCheckBox:setOpaque
    unanalyzedcall on javax.swing.JCheckBox:setSelected
    unanalyzedcall on javax.swing.JLabel
    unanalyzedcall on javax.swing.JLabel:setText
    unanalyzedcall on javax.swing.JList
    unanalyzedcall on javax.swing.JList:getSelectedIndex
    unanalyzedcall on javax.swing.JList:getSelectionModel
    unanalyzedcall on javax.swing.JList:setSelectionMode
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.ListSelectionModel:addListSelec tionListener
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • com.dmdirc.addons.ui_swing.dialogs.serversetting.IgnoreListPanel__static_init

  • Kind Annotation Text

  • void initComponents()

  • Kind Annotation Text
    prethis.server != null
    presumptioncom.dmdirc.Server:getIgnoreList(...)@101 != null
    postinit'ed(this.listModel.isSimple)
    postnew IgnoreList(initComponents#1) num objects == 1
    postnew IgnoreListModel(initComponents#2) num objects == 1
    postnew JButton(initComponents#5) num objects == 1
    postnew JButton(initComponents#6) num objects == 1
    postnew JCheckBox(initComponents#8) num objects == 1
    postnew JLabel(initComponents#7) num objects == 1
    postnew JList(initComponents#3) num objects == 1
    postthis.addButton == &new JButton(initComponents#5 )
    postthis.cachedIgnoreList == &new IgnoreList(initCo mponents#1)
    postthis.delButton == &new JButton(initComponents#6 )
    postthis.list == &new JList(initComponents#3)
    postthis.listModel == &new IgnoreListModel(initComp onents#2)
    postthis.listModel.ignoreList == &new IgnoreList(initComponents#1)
    postthis.sizeLabel == &new JLabel(initComponents#7)
    postthis.viewToggle == &new JCheckBox(initComponent s#8)
    unanalyzedcall on com.dmdirc.IgnoreList:canConvert
    unanalyzedcall on javax.swing.AbstractListModel

  • void populateList()

  • Kind Annotation Text
    pre(soft) this.delButton != null
    prethis.cachedIgnoreList != null
    prethis.list != null
    prethis.sizeLabel != null
    unanalyzedcall on com.dmdirc.IgnoreList:count
    unanalyzedcall on javax.swing.JLabel:setText
    test_vectorjavax.swing.JList:getSelectedIndex(...)@142: {-231..-2, 0..232-1}, {-1}

  • bool save()

  • Kind Annotation Text
    prethis.cachedIgnoreList != null
    prethis.listModel != null
    prethis.listModel.ignoreList != null
    prethis.viewToggle != null
    postreturn_value == 1
    unanalyzedcall on com.dmdirc.IgnoreList:canConvert
    unanalyzedcall on com.dmdirc.IgnoreList:count
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListModel:fireContentsChanged
    unanalyzedcall on javax.swing.JCheckBox:setEnabled
    unanalyzedcall on javax.swing.JCheckBox:setSelected
    test_vectorjavax.swing.JCheckBox:isSelected(...)@194: {0}, {1}

  • void saveList()

  • Kind Annotation Text
    prethis.cachedIgnoreList != null
    prethis.server != null
    presumptioncom.dmdirc.Server:getIgnoreList(...)@163 != null
    presumptioncom.dmdirc.Server:getIgnoreList(...)@164 != null

  • void updateList()

  • Kind Annotation Text
    prethis.cachedIgnoreList != null
    prethis.listModel != null
    prethis.listModel.ignoreList != null
    prethis.viewToggle != null
    unanalyzedcall on com.dmdirc.IgnoreList:count
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs. serversetting.IgnoreListModel:fireContentsChanged
    test_vectorcom.dmdirc.IgnoreList:canConvert(...)@153: {0}, {1}

  • void updateSizeLabel()

  • Kind Annotation Text
    prethis.cachedIgnoreList != null
    prethis.sizeLabel != null

  • void valueChanged(ListSelectionEvent)

  • Kind Annotation Text
    prethis.delButton != null
    prethis.list != null
    test_vectorjavax.swing.JList:getSelectedIndex(...)@224: {-231..-2, 0..232-1}, {-1}