Messages

method

com.dmdirc.addons.ui_swing.components. reorderablelist.ArrayListTransferable__static_init

method	void com.dmdirc.addons.ui_swing.components. reorderablelist.ArrayListTransferable(ArrayList)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
post	this.data == alist
post	init'ed(this.data)
post	this.localArrayListFlavor in Addr_Set{null, &new DataFlavor(ArrayListTransferable#1)}
post	this.serialArrayListFlavor == &new DataFlavor(ArrayListTransferable#3)
post	new DataFlavor(ArrayListTransferable#1) num objects <= 1
post	new DataFlavor(ArrayListTransferable#3) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method	Object getTransferData(DataFlavor)
pre	this.localArrayListFlavor != null
pre	(soft) this.serialArrayListFlavor != null
presumption	java.awt.datatransfer.DataFlavor:equals(...)@87 != 0 \| java.awt.datatransfer.DataFlavor:equals(... )@91 != 0
post	return_value == this.data
post	init'ed(return_value)
unanalyzed	call on java.awt.datatransfer.DataFlavor:equals

method	DataFlavor[] getTransferDataFlavors()
pre	init'ed(this.localArrayListFlavor)
post	return_value == &new DataFlavor[](getTransferDa taFlavors#1)
post	new DataFlavor[](getTransferDataFlavors#1) num objects == 1
post	return_value.length == 2
post	return_value[0] == this.localArrayListFlavor
post	init'ed(return_value[0])
post	return_value[1] == this.serialArrayListFlavor
post	init'ed(return_value[1])

method	bool isDataFlavorSupported(DataFlavor)
pre	this.localArrayListFlavor != null
pre	(soft) this.serialArrayListFlavor != null
post	init'ed(return_value)
test_vector	java.awt.datatransfer.DataFlavor:equals(...)@87: {0}, {1}
test_vector	java.awt.datatransfer.DataFlavor:equals(...)@91: {0}, {1}