CoreUIUtils.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void centreWindow(Window)

    • Kind Annotation Text
    prewindow != null
    presumption(-(java.awt.Window:getHeight(...)@56 - gcBounds.height@50))/2 + gcBounds.y@50 in {-231..232-1}
    presumption(-(java.awt.Window:getWidth(...)@55 - gcBounds.width@50))/2 + gcBounds.x@50 in {-231..232-1}
    presumptionjava.awt.GraphicsConfiguration:getBounds(...)@50 != null
    presumptionjava.awt.GraphicsDevice:getDefaultConfiguration(... )@47 != null
    presumptionjava.awt.MouseInfo:getPointerInfo(...)@43 != null
    presumptionjava.awt.PointerInfo:getDevice(...)@45 != null

  • void com.dmdirc.ui.CoreUIUtils()

    • Kind Annotation Text

  • com.dmdirc.ui.CoreUIUtils__static_init

    • Kind Annotation Text