Messages

method

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

method	void com.dmdirc.addons.ui_swing.dialogs. actioneditor.StringTransferable(String)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
post	this.data == data
post	init'ed(this.data)
post	this.localStringFlavor in Addr_Set{null,&new DataFlavor(StringTransferable#1)}
post	this.serialStringFlavor == &new DataFlavor(StringTransferable#3)
post	new DataFlavor(StringTransferable#1) num objects <= 1
post	new DataFlavor(StringTransferable#3) num objects == 1

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

method	DataFlavor[] getTransferDataFlavors()
pre	init'ed(this.localStringFlavor)
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.localStringFlavor
post	init'ed(return_value[0])
post	return_value[1] == this.serialStringFlavor
post	init'ed(return_value[1])

method	bool isDataFlavorSupported(DataFlavor)
pre	this.localStringFlavor != null
pre	(soft) this.serialStringFlavor != 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}

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