Messages

method

com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel__static_init

method	void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel(Substitution)
pre	substition != null
presumption	java.awt.dnd.DragSource:getDefaultDragSource(... )@81 != null
post	this.dragSource != null
post	this.substition == substition
post	this.substition != null
unanalyzed	call on java.awt.dnd.DragSource:getDefaultDragSourc e
unanalyzed	call on java.awt.dnd.DragSource:createDefaultDragGe stureRecognizer
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setText
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:getFont
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Font:deriveFont
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setFont
unanalyzed	call on javax.swing.BorderFactory:createLineBorder
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on javax.swing.BorderFactory:createCompoundBor der
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setContentAreaFille d
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setMargin
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:addMouseListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:addFocusListener
unanalyzed	call on com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:addActionListener

method	void initComponents()
pre	this.substition != null
presumption	com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:getFont(...)@86 != null
presumption	init'ed(java.awt.Color.GRAY)
presumption	java.awt.dnd.DragSource:getDefaultDragSource(... )@81 != null
post	this.dragSource != null

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

method not available - call not analyzed Info call on Font com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:getFont()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setFont(Font)

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setContentAreaFille d(bool)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setMargin(Insets)

method

void addListeners()

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:addMouseListener(Mo useListener)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:addFocusListener(Fo cusListener)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:addActionListener(A ctionListener)

method

void layoutComponents()

method

void mouseClicked(MouseEvent)

method

void mousePressed(MouseEvent)

method

void mouseReleased(MouseEvent)

method

void mouseEntered(MouseEvent)

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setCursor(Cursor)

method

void mouseExited(MouseEvent)

method	void dragGestureRecognized(DragGestureEvent)
pre	this.dragSource != null
pre	this.substition != null
unanalyzed	call on java.awt.datatransfer.DataFlavor
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.ClassNotFoundException:getMessage
unanalyzed	call on com.dmdirc.logger.Logger:userError

method	void actionPerformed(ActionEvent)
pre	init'ed(this.previousComponent)
pre	(soft) this.substition != null

method	void focusGained(FocusEvent)
pre	e != null
post	init'ed(this.previousComponent)

method

void focusLost(FocusEvent)

	method not available - call not analyzed	Info	call on Font com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:getFont()
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. substitutions.SubstitutionLabel:setFont(Font)