method

com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialogFocusTraversalPolicy__static_init

method	void com.dmdirc.addons.ui_swing.dialogs.paste. PasteDialogFocusTraversalPolicy(JButton, JButton, JButton)
post	this.cancelButton == cancelButton
post	init'ed(this.cancelButton)
post	this.editButton == editButton
post	init'ed(this.editButton)
post	this.sendButton == sendButton
post	init'ed(this.sendButton)

method	Component getComponentAfter(Container, Component)
pre	aComponent != null
post	return_value == One-of{this.editButton, this.sendButton, this.cancelButton}
post	init'ed(return_value)
test_vector	java.lang.Object:equals(...)@62: {0}, {1}
test_vector	java.lang.Object:equals(...)@64: {0}, {1}
test_vector	java.lang.Object:equals(...)@66: {0}, {1}

method	Component getComponentBefore(Container, Component)
pre	aComponent != null
post	return_value == One-of{this.sendButton, this.cancelButton, this.editButton}
post	init'ed(return_value)
test_vector	java.lang.Object:equals(...)@76: {0}, {1}
test_vector	java.lang.Object:equals(...)@78: {0}, {1}
test_vector	java.lang.Object:equals(...)@80: {0}, {1}

method	Component getFirstComponent(Container)
post	return_value == this.cancelButton
post	init'ed(return_value)

method	Component getLastComponent(Container)
post	return_value == this.sendButton
post	init'ed(return_value)

method	Component getDefaultComponent(Container)
post	return_value == this.sendButton
post	init'ed(return_value)