public class SendFeedbackAction
extends javax.swing.AbstractAction
AbstractAction
used by ExceptionDialog
in KeY report error
button was pressed.Modifier and Type | Class and Description |
---|---|
private class |
SendFeedbackAction.FaultyFileItem |
private static class |
SendFeedbackAction.JavaSourceItem |
private static class |
SendFeedbackAction.LastLoadedProblemItem |
private class |
SendFeedbackAction.OpenGoalItem |
private class |
SendFeedbackAction.OpenProofItem |
private class |
SendFeedbackAction.SendAction |
private static class |
SendFeedbackAction.SendFeedbackFileItem |
private static class |
SendFeedbackAction.SendFeedbackItem |
private static class |
SendFeedbackAction.SettingsItem |
private class |
SendFeedbackAction.StacktraceItem |
private static class |
SendFeedbackAction.SystemPropertiesItem |
private static class |
SendFeedbackAction.VersionItem |
Modifier and Type | Field and Description |
---|---|
private static java.lang.String |
FEEDBACK_RECIPIENT |
private SendFeedbackAction.SendFeedbackItem[] |
items |
private java.awt.Window |
parent |
private java.lang.Throwable |
throwable |
Constructor and Description |
---|
SendFeedbackAction(java.awt.Window parent) |
SendFeedbackAction(java.awt.Window parent,
java.lang.Throwable exception) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent event) |
private javax.swing.JDialog |
makeDialog() |
private void |
saveMetaDataToFile(java.io.File zipFile,
java.lang.String message) |
private static java.lang.String |
serializeStackTrace(java.lang.Throwable t) |
private static final java.lang.String FEEDBACK_RECIPIENT
private final SendFeedbackAction.SendFeedbackItem[] items
private final java.lang.Throwable throwable
private final java.awt.Window parent
public SendFeedbackAction(java.awt.Window parent)
public SendFeedbackAction(java.awt.Window parent, java.lang.Throwable exception)
private static java.lang.String serializeStackTrace(java.lang.Throwable t)
private void saveMetaDataToFile(java.io.File zipFile, java.lang.String message) throws java.io.IOException
java.io.IOException
private javax.swing.JDialog makeDialog()
public void actionPerformed(java.awt.event.ActionEvent event)