TitlePanel.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.installer.ui.TitlePanel(Step)

    • Kind Annotation Text
    presumptioninit'ed(java.awt.Color.WHITE)
    presumptionjavax.swing.JLabel:getFont(...)@59 != null
    postnew JLabel(TitlePanel#2) num objects == 1
    postnew JLabel(TitlePanel#3) num objects == 1
    postthis.image == &new JLabel(TitlePanel#3)
    postthis.title == &new JLabel(TitlePanel#2)
    unanalyzedcall on getIcon
    unanalyzedcall on getStepDescription
    unanalyzedcall on getStepName
    unanalyzedcall on java.awt.Toolkit:createImage
    unanalyzedcall on java.awt.Toolkit:getDefaultToolkit
    unanalyzedcall on java.lang.ClassLoader:getSystemResource
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on javax.swing.ImageIcon
    unanalyzedcall on javax.swing.JLabel:setIcon
    unanalyzedcall on javax.swing.JLabel:setText
    unanalyzedcall on javax.swing.border.EtchedBorder

  • com.dmdirc.installer.ui.TitlePanel__static_init

    • Kind Annotation Text

  • void setStep(Step)

    • Kind Annotation Text
    prethis.image != null
    prethis.title != null
    unanalyzedcall on java.awt.Toolkit:createImage
    unanalyzedcall on java.awt.Toolkit:getDefaultToolkit
    unanalyzedcall on java.lang.ClassLoader:getSystemResource
    test_vectorjava.lang.String:equals(...)@79: {0}, {1}
    test_vectorstep: Inverse{null}, Addr_Set{null}