InfoPanel.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.InfoPanel$1(InfoPanel, JScrollPane)

    • Kind Annotation Text
    postinit'ed(this.val$scrollPane)
    postthis.val$scrollPane == Param_2

  • com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.ui_swing.dialogs.about.InfoPanel()

    • Kind Annotation Text
    unanalyzedcall on com.dmdirc.Main:getConfigDir
    unanalyzedcall on com.dmdirc.addons.ui_swing.SwingController: getLookAndFeel
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.about. InfoPanel:add
    unanalyzedcall on com.dmdirc.addons.ui_swing.dialogs.about. InfoPanel:setLayout
    unanalyzedcall on com.dmdirc.ui.core.util.Info:getDMDircVersi on
    unanalyzedcall on com.dmdirc.ui.core.util.Info:getJavaVersion
    unanalyzedcall on com.dmdirc.ui.core.util.Info:getOSVersion
    unanalyzedcall on java.awt.Font:getFamily
    unanalyzedcall on java.awt.Font:getSize
    unanalyzedcall on javax.swing.JEditorPane
    unanalyzedcall on javax.swing.JEditorPane:getDocument
    unanalyzedcall on javax.swing.JEditorPane:setEditable
    unanalyzedcall on javax.swing.JEditorPane:setEditorKit
    unanalyzedcall on javax.swing.JEditorPane:setText
    unanalyzedcall on javax.swing.JScrollPane
    unanalyzedcall on javax.swing.JScrollPane:setViewportView
    unanalyzedcall on javax.swing.SwingUtilities:invokeLater
    unanalyzedcall on javax.swing.UIManager:getFont
    unanalyzedcall on javax.swing.text.html.HTMLDocument:getStyle Sheet
    unanalyzedcall on javax.swing.text.html.HTMLEditorKit
    unanalyzedcall on javax.swing.text.html.StyleSheet:addRule
    unanalyzedcall on net.miginfocom.layout.LayoutUtil:getVersion
    unanalyzedcall on net.miginfocom.swing.MigLayout

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

    • Kind Annotation Text

  • void initComponents()

    • Kind Annotation Text
    presumptionjavax.swing.JEditorPane:getDocument(...)@67 != null
    presumptionjavax.swing.UIManager:getFont(...)@66 != null
    presumptionjavax.swing.text.html.HTMLDocument:getStyleSheet(.. .)@67 != null

  • void run()

    • Kind Annotation Text
    prethis.val$scrollPane != null
    presumptionjavax.swing.JScrollPane:getVerticalScrollBar(... )@87 != null