method

com.dmdirc.addons.ui_swing.actions.CopyAction__ static_init

method	void com.dmdirc.addons.ui_swing.actions. CopyAction(JTextComponent)
post	this.comp == comp
post	init'ed(this.comp)

method	void actionPerformed(ActionEvent)
pre	this.comp != null

method	bool isEnabled()
pre	this.comp != null
post	init'ed(return_value)