Messages

method

com.dmdirc.addons.ui_swing.components. ToolTipPanel__static_init

method	void com.dmdirc.addons.ui_swing.components. ToolTipPanel(String)
pre	defaultHelp != null
presumption	init'ed(java.awt.Color.WHITE)
post	this.defaultHelp == defaultHelp
post	this.defaultHelp != null
post	this.tooltip == &new TextLabel(ToolTipPanel#3)
post	this.tooltips == &new HashMap(ToolTipPanel#2)
post	new HashMap(ToolTipPanel#2) num objects == 1
post	new TextLabel(ToolTipPanel#3) num objects == 1
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setText
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setItalic
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes

method not available - call not analyzed Info call on void net.miginfocom.swing.MigLayout()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ToolTipPanel:setBackground(Color)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ToolTipPanel:setBorder(Border)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.TextLabel()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. ToolTipPanel:add(Component, Object)

method	void reset()
pre	this.defaultHelp != null
pre	this.tooltip != null
presumption	com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument(...)@88 != null

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.TextLabel:setText(String)

method not available - call not analyzed Info call on StyledDocument com.dmdirc.addons.ui_swing. components.text.TextLabel:getDocument()

method	void setText(String)
pre	init'ed(this.tooltip)
presumption	com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument(...)@107 != null
test_vector	text: Inverse{null}, Addr_Set{null}
test_vector	this.tooltip: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument(...)@102: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. text.TextLabel:setText(String)

method not available - call not analyzed Info call on StyledDocument com.dmdirc.addons.ui_swing. components.text.TextLabel:getDocument()

method	void registerTooltipHandler(JComponent)
pre	component != null
pre	this.tooltips != null
unanalyzed	call on java.util.Map:put
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:instanceof
unanalyzed	call on com.dmdirc.addons.ui_swing.components. validating.ValidatingJTextField:getTextField
unanalyzed	call on javax.swing.JTextField:addMouseListener
unanalyzed	call on javax.swing.JComponent:addMouseListener

method	void registerTooltipHandler(JComponent, String)
pre	component != null
pre	this.tooltips != null
presumption	com.dmdirc.addons.ui_swing.components.validating. ValidatingJTextField:getTextField(...)@130 != null
test_vector	com.dmdirc.addons.ui_swing.components.validating. ValidatingJTextField:instanceof(...)@129: {0}, {1}

method not available - call not analyzed Info call on JTextField com.dmdirc.addons.ui_swing. components.validating.ValidatingJTextField:getTextF ield()

method

void mouseClicked(MouseEvent)

method

void mousePressed(MouseEvent)

method

void mouseReleased(MouseEvent)

method	void mouseEntered(MouseEvent)
pre	e != null
pre	(soft) init'ed(this.tooltip)
pre	(soft) this.tooltips != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setText
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setItalic
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes

method	void mouseExited(MouseEvent)
pre	this.defaultHelp != null
pre	this.tooltip != null
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:setText
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.StyleConstants:setItalic
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel:getDocument
unanalyzed	call on java.lang.String:length
unanalyzed	call on javax.swing.text.StyledDocument:setParagrap hAttributes