StringTransferable.java

StringTransferable.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.dialogs.actioneditor.StringTransferable(String)

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

com.dmdirc.addons.ui_swing.dialogs.actioneditor.StringTransferable__static_init

Kind	Annotation Text

Object getTransferData(DataFlavor)

Kind	Annotation Text
pre	(soft) this.serialStringFlavor != null
pre	this.localStringFlavor != null
presumption	java.awt.datatransfer.DataFlavor:equals(...)@74 != 0 \| java.awt.datatransfer.DataFlavor:equals(... )@78 != 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.localStringFlavor)
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.localStringFlavor
post	return_value[1] == this.serialStringFlavor

bool isDataFlavorSupported(DataFlavor)

Kind	Annotation Text
pre	(soft) this.serialStringFlavor != null
pre	this.localStringFlavor != null
post	init'ed(return_value)
test_vector	java.awt.datatransfer.DataFlavor:equals(...)@74: {0}, {1}
test_vector	java.awt.datatransfer.DataFlavor:equals(...)@78: {0}, {1}