ArrayListTransferable.java

ArrayListTransferable.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.addons.ui_swing.components.reorderablelist.ArrayListTransferable(ArrayList)

Kind	Annotation Text
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
post	init'ed(this.data)
post	new DataFlavor(ArrayListTransferable#1) num objects <= 1
post	new DataFlavor(ArrayListTransferable#3) num objects == 1
post	this.data == alist
post	this.localArrayListFlavor in Addr_Set{null, &new DataFlavor(ArrayListTransferable#1)}
post	this.serialArrayListFlavor == &new DataFlavor(ArrayListTransferable#3)

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

Kind	Annotation Text

Object getTransferData(DataFlavor)

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

DataFlavor[] getTransferDataFlavors()

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

bool isDataFlavorSupported(DataFlavor)

Kind	Annotation Text
pre	(soft) this.serialArrayListFlavor != null
pre	this.localArrayListFlavor != 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}