Messages

method

com.dmdirc.addons.nickcolours.ColourRenderer__ static_init

method

void com.dmdirc.addons.nickcolours. ColourRenderer()

method not available - call not analyzed Info call on void com.dmdirc.addons.nickcolours. ColourRenderer:setOpaque(bool)

method	Component getTableCellRendererComponent(JTable, Object, bool, bool, int, int)
pre	(soft) table != null
presumption	init'ed(java.awt.Color.BLACK)
presumption	init'ed(java.awt.Color.GRAY)
post	return_value == this
post	return_value != null
test_vector	value: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:isEmpty(...)@62: {1}, {0}

method not available - call not analyzed Info call on Color com.dmdirc.ui.messages. ColourManager:parseColour(String, Color)

method not available - call not analyzed Info call on void com.dmdirc.addons.nickcolours. ColourRenderer:setHorizontalAlignment(int)

method not available - call not analyzed Info call on void com.dmdirc.addons.nickcolours. ColourRenderer:setBorder(Border)

method not available - call not analyzed Info call on void com.dmdirc.addons.nickcolours. ColourRenderer:setText(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.nickcolours. ColourRenderer:setBackground(Color)

method not available - call not analyzed Info call on void com.dmdirc.addons.nickcolours. ColourRenderer:setBorder(Border)

method not available - call not analyzed Info call on void com.dmdirc.addons.nickcolours. ColourRenderer:setText(String)

method not available - call not analyzed Info call on void com.dmdirc.addons.nickcolours. ColourRenderer:setBackground(Color)