WindowStatusPanel.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.windowstatus.WindowStatusPanel()

    • Kind Annotation Text
    postnew JLabel(WindowStatusPanel#1) num objects == 1
    postthis.label == &new JLabel(WindowStatusPanel#1)

  • com.dmdirc.addons.windowstatus.WindowStatusPanel__static_init

    • Kind Annotation Text

  • void setText(String)

    • Kind Annotation Text
    prethis.label != null