DummyFrameManager.java


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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addWindow(FrameContainer)

  • Kind Annotation Text
    presumptioncom.dmdirc.Main:getUI(...)@53 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getStatusBar( ...)@53 != null

  • void addWindow(FrameContainer, FrameContainer)

  • Kind Annotation Text
    presumptioncom.dmdirc.Main:getUI(...)@67 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getStatusBar( ...)@67 != null

  • bool canPositionHorizontally()

  • Kind Annotation Text
    postreturn_value == 1

  • bool canPositionVertically()

  • Kind Annotation Text
    postreturn_value == 1

  • void com.dmdirc.addons.ui_dummy.DummyFrameManager()

  • Kind Annotation Text

  • com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init

  • Kind Annotation Text

  • void delWindow(FrameContainer)

  • Kind Annotation Text
    presumptioncom.dmdirc.Main:getUI(...)@60 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getStatusBar( ...)@60 != null

  • void delWindow(FrameContainer, FrameContainer)

  • Kind Annotation Text
    presumptioncom.dmdirc.Main:getUI(...)@74 != null
    presumptioncom.dmdirc.ui.interfaces.UIController:getStatusBar( ...)@74 != null

  • void setParent(JComponent)

  • Kind Annotation Text
    preparent != null
    presumptioninit'ed(java.awt.Color.RED)