ErrorPopup.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.addons.ui_swing.components.statusbar.ErrorPopup(JPanel, Window)

    • Kind Annotation Text
    postinit'ed(this.parent)
    postinit'ed(this.parentWindow)
    postthis.parent == parent
    postthis.parentWindow == parentWindow
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. StandardDialog
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. statusbar.StatusbarPopupWindow:setDefaultCloseOpera tion

  • com.dmdirc.addons.ui_swing.components.statusbar.ErrorPopup__static_init

    • Kind Annotation Text

  • void initContent(JPanel)

    • Kind Annotation Text
    prepanel != null
    presumptionarr$.length@104 <= 232-1
    presumptionarr$.length@85 <= 232-1
    presumptionarr$[i$]@104 != null
    presumptionarr$[i$]@85 != null
    presumptioncom.dmdirc.logger.ErrorLevel:values(...)@85 != null
    presumptioncom.dmdirc.logger.ErrorManager:getErrorManager(... )@67 != null
    presumptioncom.dmdirc.logger.ErrorManager:getErrors(...)@67 != null
    presumptioncom.dmdirc.logger.ErrorReportStatus:values(... )@104 != null
    presumptioncom.dmdirc.util.MapList:values(...)@106 != null
    presumptioncom.dmdirc.util.MapList:values(...)@87 != null
    presumptionjava.util.Iterator:next(...)@72 != null
    presumptionjavax.swing.JLabel:getFont(...)@101 != null
    presumptionjavax.swing.JLabel:getFont(...)@78 != null
    presumptionjavax.swing.JLabel:getFont(...)@82 != null
    presumptionjavax.swing.JLabel:getFont(...)@97 != null
    test_vectorcom.dmdirc.util.MapList:containsKey(...)@105: {0}, {1}
    test_vectorcom.dmdirc.util.MapList:containsKey(...)@86: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@72: {0}, {1}