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

  • Kind Annotation Text
    predefaultHelp != null
    presumptioninit'ed(java.awt.Color.WHITE)
    postnew HashMap(ToolTipPanel#2) num objects == 1
    postnew TextLabel(ToolTipPanel#3) num objects == 1
    postthis.defaultHelp != null
    postthis.defaultHelp == defaultHelp
    postthis.tooltip == &new TextLabel(ToolTipPanel#3)
    postthis.tooltips == &new HashMap(ToolTipPanel#2)
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setText
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setItalic
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes

  • com.dmdirc.addons.ui_swing.components.ToolTipPanel__static_init

  • Kind Annotation Text

  • void mouseClicked(MouseEvent)

  • Kind Annotation Text

  • void mouseEntered(MouseEvent)

  • Kind Annotation Text
    pre(soft) init'ed(this.tooltip)
    pre(soft) this.tooltips != null
    pree != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setText
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setItalic
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes

  • void mouseExited(MouseEvent)

  • Kind Annotation Text
    prethis.defaultHelp != null
    prethis.tooltip != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument
    unanalyzedcall on com.dmdirc.addons.ui_swing.components.text. TextLabel:setText
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on javax.swing.text.SimpleAttributeSet
    unanalyzedcall on javax.swing.text.StyleConstants:setItalic
    unanalyzedcall on javax.swing.text.StyledDocument:setParagrap hAttributes

  • void mousePressed(MouseEvent)

  • Kind Annotation Text

  • void mouseReleased(MouseEvent)

  • Kind Annotation Text

  • void registerTooltipHandler(JComponent)

  • Kind Annotation Text
    precomponent != null
    prethis.tooltips != null
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getTextField
    unanalyzedcall on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:instanceof
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on javax.swing.JComponent:addMouseListener
    unanalyzedcall on javax.swing.JTextField:addMouseListener

  • void registerTooltipHandler(JComponent, String)

  • Kind Annotation Text
    precomponent != null
    prethis.tooltips != null
    presumptioncom.dmdirc.addons.ui_swing.components.validating. ValidatingJTextField:getTextField(...)@130 != null
    test_vectorcom.dmdirc.addons.ui_swing.components.validating. ValidatingJTextField:instanceof(...)@129: {0}, {1}

  • void reset()

  • Kind Annotation Text
    prethis.defaultHelp != null
    prethis.tooltip != null
    presumptioncom.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument(...)@88 != null

  • void setText(String)

  • Kind Annotation Text
    preinit'ed(this.tooltip)
    presumptioncom.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument(...)@107 != null
    test_vectorcom.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument(...)@102: Addr_Set{null}, Inverse{null}
    test_vectortext: Inverse{null}, Addr_Set{null}
    test_vectorthis.tooltip: Inverse{null}, Addr_Set{null}