public class SendFeedbackAction extends 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 String |
FEEDBACK_RECIPIENT |
private SendFeedbackAction.SendFeedbackItem[] |
items |
private Window |
parent |
private Throwable |
throwable |
changeSupport, enabled
ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, DISPLAYED_MNEMONIC_INDEX_KEY, LARGE_ICON_KEY, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON
Constructor and Description |
---|
SendFeedbackAction(Window parent) |
SendFeedbackAction(Window parent,
Throwable exception) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(ActionEvent event) |
private JDialog |
makeDialog() |
private void |
saveMetaDataToFile(File zipFile,
String message) |
private static String |
serializeStackTrace(Throwable t) |
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
private static final String FEEDBACK_RECIPIENT
private final SendFeedbackAction.SendFeedbackItem[] items
private final Throwable throwable
private final Window parent
public SendFeedbackAction(Window parent)
private void saveMetaDataToFile(File zipFile, String message) throws IOException
IOException
private JDialog makeDialog()
public void actionPerformed(ActionEvent event)