CreditsPanel.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.dialogs.about.CreditsPanel()

    • Kind Annotation Text
    postnew HTMLLabel(initComponents#1) num objects == 1
    postthis.about == &new HTMLLabel(initComponents#1)
    unanalyzedcall on com.dmdirc.addons.ui_swing.UIUtilities:getT abbedPaneOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:addHyperlinkListener
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:getDocument
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setFont
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setUI
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.about. CreditsPanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.about. CreditsPanel:setLayout
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on javax.swing.JEditorPane
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.JScrollPane:getViewport
    unanalyzedcall on javax.swing.JScrollPane:setOpaque
    unanalyzedcall on javax.swing.JViewport:setOpaque
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule
    unanalyzedcall on net.miginfocom.swing.MigLayout

  • com.dmdirc.addons.ui_swing.dialogs.about.CreditsPanel__static_init

    • Kind Annotation Text

  • void hyperlinkUpdate(HyperlinkEvent)

    • Kind Annotation Text
    pree != null
    presumptioncom.dmdirc.util.URLHandler:getURLHander(...)@95 != null
    presumptioninit'ed(javax.swing.event.HyperlinkEvent$EventType. ACTIVATED)

  • void initComponents()

    • Kind Annotation Text
    presumptionjavax.swing.JScrollPane:getViewport(...)@87 != null
    postnew HTMLLabel(initComponents#1) num objects == 1
    postthis.about == &new HTMLLabel(initComponents#1)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:getDocument
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setEditable
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setFont
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setHighlighter
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setOpaque
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. HTMLLabel:setUI
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on javax.swing.JEditorPane
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.plaf.basic.BasicTextPaneUI
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule

  • void showEE()

    • Kind Annotation Text
    prethis.about != null