Messages

method

com.dmdirc.addons.ui_swing.components.renderers. ReorderableJListCellRenderer__static_init

method	void com.dmdirc.addons.ui_swing.components. renderers.ReorderableJListCellRenderer(ReorderableJ List)
post	this.parent == parent
post	init'ed(this.parent)

method	Component getListCellRendererComponent(JList, Object, int, bool, bool)
pre	this.parent != null
pre	init'ed(this.parent.dropTargetCell)
pre	value != null
pre	(soft) init'ed(this.parent.belowTarget)
post	return_value == &new JPanel(getListCellRenderer Component#1)
post	new JPanel(getListCellRendererComponent#1) num objects == 1
test_vector	isSelected: {1}, {0}
test_vector	this.parent.belowTarget: {0}, {1}
test_vector	this.parent.dropTargetCell: Addr_Set{null}, Inverse{null}
test_vector	value == this.parent.dropTargetCell: {0}, {1}

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