Messages

method

com.dmdirc.addons.ui_swing.components.renderers. AddonCellRenderer__static_init

method

void com.dmdirc.addons.ui_swing.components. renderers.AddonCellRenderer()

method	Component getListCellRendererComponent(JList, Object, int, bool, bool)
pre	list != null
pre	(soft) init'ed(value.enable)
pre	(soft) value.pi != null
pre	(soft) value.theme != null
pre	(soft) init'ed(value.toggle)
presumption	init'ed(java.awt.Color.BLACK)
presumption	init'ed(java.awt.Color.GRAY)
presumption	javax.swing.JLabel:getFont(...)@104 != null
post	return_value == this
post	return_value != null
unanalyzed	call on com.dmdirc.plugins.PluginInfo:isLoaded
test_vector	isSelected: {0}, {1}
test_vector	value.enable: {1}, {0}
test_vector	value.toggle ^ com.dmdirc.plugins.PluginInfo:isLoad ed(...)@65: {1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. renderers.AddonCellRenderer:removeAll()

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

method not available - call not analyzed Info call on void com.dmdirc.addons.ui_swing.components. renderers.AddonCellRenderer:setLayout(LayoutManager )

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

method not available - call not analyzed Info call on String com.dmdirc.plugins.PluginInfo:getNic eName()

method not available - call not analyzed Info call on String com.dmdirc.plugins.PluginInfo:getFri endlyVersion()

method not available - call not analyzed Info call on String com.dmdirc.plugins.PluginInfo:getAut hor()

method not available - call not analyzed Info call on String com.dmdirc.plugins.PluginInfo:getDes cription()

method not available - call not analyzed Info call on String com.dmdirc.ui.themes. Theme:getName()

method not available - call not analyzed Info call on String com.dmdirc.ui.themes. Theme:getVersion()

method not available - call not analyzed Info call on String com.dmdirc.ui.themes. Theme:getAuthor()

method not available - call not analyzed Info call on String com.dmdirc.ui.themes. Theme:getDescription()

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

	method not available - call not analyzed	Info	call on void net.miginfocom.swing.MigLayout(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.addons.ui_swing.components. renderers.AddonCellRenderer:setLayout(LayoutManager )