de.uka.ilkd.key.gui.actions

Class SendFeedbackAction.SendFeedbackItem

java.lang.Object

de.uka.ilkd.key.gui.actions.SendFeedbackAction.SendFeedbackItem

All Implemented Interfaces:

java.awt.event.ActionListener, java.util.EventListener

Direct Known Subclasses:

SendFeedbackAction.JavaSourceItem, SendFeedbackAction.SendFeedbackFileItem

Enclosing class:

SendFeedbackAction

private abstract static class SendFeedbackAction.SendFeedbackItem
extends java.lang.Object
implements java.awt.event.ActionListener

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.lang.String	displayName
private boolean	selected

Constructor Summary

Constructors

Constructor and Description
SendFeedbackItem(java.lang.String displayName)

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(java.awt.event.ActionEvent e)
(package private) abstract void	appendDataToZipOutputStream(java.util.zip.ZipOutputStream stream)
(package private) boolean	isEnabled()
(package private) boolean	isSelected()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

displayName

final java.lang.String displayName

selected

private boolean selected

Constructor Detail

SendFeedbackItem

SendFeedbackItem(java.lang.String displayName)

Method Detail

isEnabled

boolean isEnabled()

isSelected

boolean isSelected()

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

Specified by:

actionPerformed in interface java.awt.event.ActionListener

appendDataToZipOutputStream

abstract void appendDataToZipOutputStream(java.util.zip.ZipOutputStream stream)
                                   throws java.io.IOException

Throws:

java.io.IOException