SwingRestartDialog.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
    pre(soft) this.mainFrame != null
    pree != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getOkButton(...)@103 != null
    test_vectorjava.lang.Object:equals(...)@103: {0}, {1}

  • void com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog(MainFrame, Dialog$ModalityType)

    • Kind Annotation Text
    postinit'ed(this.mainFrame)
    postnew TextLabel(initComponents#3) num objects == 1
    postthis.info == &new TextLabel(initComponents#3)
    postthis.mainFrame == mainFrame
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getCancelButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getLeftButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getOkButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getRightButton
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:orderButtons
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:setLayout
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:setResizable
    unanalyzedcall on javax.swing.JButton
    unanalyzedcall on javax.swing.JButton:addActionListener
    unanalyzedcall on javax.swing.JButton:setText
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • com.dmdirc.addons.ui_swing.dialogs.updater.SwingRestartDialog__static_init

    • Kind Annotation Text

  • void initComponents()

    • Kind Annotation Text
    presumptioncom.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getCancelButton(...)@79 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getCancelButton(...)@82 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getOkButton(...)@78 != null
    presumptioncom.dmdirc.addons.ui_swing.dialogs.updater. SwingRestartDialog:getOkButton(...)@81 != null
    postnew TextLabel(initComponents#3) num objects == 1
    postthis.info == &new TextLabel(initComponents#3)

  • void layoutComponents()

    • Kind Annotation Text
    preinit'ed(this.info)