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

    • Kind Annotation Text
    unanalyzedcall on com.dmdirc.installer.ui.TextLabel:setEditab le
    unanalyzedcall on com.dmdirc.installer.ui.TextLabel:setHighli ghter
    unanalyzedcall on com.dmdirc.installer.ui.TextLabel:setMargin
    unanalyzedcall on com.dmdirc.installer.ui.TextLabel:setOpaque
    unanalyzedcall on com.dmdirc.installer.ui.TextLabel:setText
    unanalyzedcall on java.awt.Insets
    unanalyzedcall on javax.swing.JPanel
    unanalyzedcall on javax.swing.JTextPane
    unanalyzedcall on javax.swing.text.DefaultStyledDocument

  • com.dmdirc.installer.ui.StepWelcome__static_init

    • Kind Annotation Text

  • Image getIcon()

    • Kind Annotation Text
    presumptionjava.awt.Toolkit:getDefaultToolkit(...)@69 != null
    postinit'ed(return_value)

  • String getStepDescription()

    • Kind Annotation Text
    postreturn_value == &""

  • String getStepName()

    • Kind Annotation Text
    postreturn_value == &"Welcome"