Messages

method

com.dmdirc.addons.ui_swing.components.TitlePanel__ static_init

method	void com.dmdirc.addons.ui_swing.components. TitlePanel(Border)
post	this.border == border
post	init'ed(this.border)
post	this.title == &new JLabel(TitlePanel#2)
post	new JLabel(TitlePanel#2) num objects == 1
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:getFont
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Font:deriveFont
unanalyzed	call on javax.swing.JLabel:setFont
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TitlePanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TitlePanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TitlePanel:setBackground

method	void com.dmdirc.addons.ui_swing.components. TitlePanel(String)
presumption	init'ed(java.awt.Color.BLACK)
post	init'ed(this.border)
post	this.title == &new JLabel(TitlePanel#2)
post	new JLabel(TitlePanel#2) num objects == 1
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:getFont
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Font:deriveFont
unanalyzed	call on javax.swing.JLabel:setFont
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TitlePanel:add
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TitlePanel:setBorder
unanalyzed	call on com.dmdirc.addons.ui_swing.components. TitlePanel:setBackground

method	void com.dmdirc.addons.ui_swing.components. TitlePanel(Border, String)
presumption	init'ed(java.awt.Color.WHITE)
presumption	javax.swing.JLabel:getFont(...)@81 != null
post	this.border == border
post	init'ed(this.border)
post	this.title == &new JLabel(TitlePanel#2)
post	new JLabel(TitlePanel#2) num objects == 1

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. TitlePanel:add(Component, Object)

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

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

method	void setText(String)
pre	this.title != null