FontPicker.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.FontPicker(String)

    • Kind Annotation Text
    presumptionarr$.length@42 <= 232-1
    presumptioncom.dmdirc.addons.ui_swing.components. FontPicker:getFont(...)@43 != null
    presumptioncom.dmdirc.addons.ui_swing.components. FontPicker:getModel(...)@45 != null
    presumptionjava.awt.GraphicsEnvironment:getAvailableFontFamily Names(...)@42 != null
    presumptionjava.awt.GraphicsEnvironment:getLocalGraphicsEnviro nment(...)@42 != null

  • com.dmdirc.addons.ui_swing.components.FontPicker__static_init

    • Kind Annotation Text