InvitePopup.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.InvitePopup(JPanel, Server, Window)

    • Kind Annotation Text
    postinit'ed(this.parent)
    postinit'ed(this.parentWindow)
    postinit'ed(this.server)
    postthis.parent == parent
    postthis.parentWindow == parentWindow
    postthis.server == server
    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.InvitePopup__static_init

    • Kind Annotation Text

  • void initContent(JPanel)

    • Kind Annotation Text
    pre(soft) panel != null
    prethis.server != null
    presumptioncom.dmdirc.Invite:getSource(...).length@67 >= 1
    presumptioncom.dmdirc.Invite:getSource(...)@67 != null
    presumptioncom.dmdirc.Invite:getTimestamp(...)@68 - java.lang.System:currentTimeMillis(...)@68 in {-4_294_967_295_999..2_147_483_648_999}
    presumptioncom.dmdirc.Server:getInvites(...)@65 != null
    presumptionjava.util.Iterator:next(...)@65 != null
    test_vectorjava.util.Iterator:hasNext(...)@65: {0}, {1}