CustomFrame.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addCustomPopupItems(JPopupMenu)

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.components.frames.CustomFrame(FrameContainer, SwingController)

    • Kind Annotation Text
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:getContentPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:getSearchBar
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:getTextPane
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:pack
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. frames.CustomFrame:setTitle
    unanalyzedcall on java.awt.Container:add
    unanalyzedcall on java.awt.Container:setLayout
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • com.dmdirc.addons.ui_swing.components.frames.CustomFrame__static_init

    • Kind Annotation Text

  • PopupType getChannelPopupType()

    • Kind Annotation Text
    postreturn_value == null

  • PopupType getHyperlinkPopupType()

    • Kind Annotation Text
    postreturn_value == null

  • PopupType getNicknamePopupType()

    • Kind Annotation Text
    postreturn_value == null

  • PopupType getNormalPopupType()

    • Kind Annotation Text
    postreturn_value == null

  • void initComponents()

    • Kind Annotation Text
    presumptioncom.dmdirc.addons.ui_swing.components.frames. CustomFrame:getContentPane(...)@66 != null
    presumptioncom.dmdirc.addons.ui_swing.components.frames. CustomFrame:getContentPane(...)@67 != null
    presumptioncom.dmdirc.addons.ui_swing.components.frames. CustomFrame:getContentPane(...)@68 != null