de.uka.ilkd.key.gui.actions

Class SendFeedbackAction.SendFeedbackFileItem

java.lang.Object

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

SendFeedbackAction.FaultyFileItem, SendFeedbackAction.LastLoadedProblemItem, SendFeedbackAction.OpenGoalItem, SendFeedbackAction.OpenProofItem, SendFeedbackAction.SettingsItem, SendFeedbackAction.StacktraceItem, SendFeedbackAction.SystemPropertiesItem, SendFeedbackAction.VersionItem

Enclosing class:

SendFeedbackAction

private abstract static class SendFeedbackAction.SendFeedbackFileItem
extends SendFeedbackAction.SendFeedbackItem

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.lang.String	fileName

Fields inherited from class de.uka.ilkd.key.gui.actions.SendFeedbackAction.SendFeedbackItem

displayName

Constructor Summary

Constructors

Constructor and Description
SendFeedbackFileItem(java.lang.String displayName, java.lang.String fileName)

Method Summary

Modifier and Type	Method and Description
(package private) void	appendDataToZipOutputStream(java.util.zip.ZipOutputStream stream)
(package private) abstract byte[]	retrieveFileData()

Methods inherited from class de.uka.ilkd.key.gui.actions.SendFeedbackAction.SendFeedbackItem

actionPerformed, isEnabled, isSelected

Methods inherited from class java.lang.Object

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

Field Detail

fileName

final java.lang.String fileName

Constructor Detail

SendFeedbackFileItem

SendFeedbackFileItem(java.lang.String displayName,
                     java.lang.String fileName)

Method Detail

retrieveFileData

abstract byte[] retrieveFileData()
                          throws java.lang.Exception

Throws:

java.lang.Exception

appendDataToZipOutputStream

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

Specified by:

appendDataToZipOutputStream in class SendFeedbackAction.SendFeedbackItem

Throws:

java.io.IOException