public class ShowProofStatistics extends MainWindowAction
Modifier and Type | Class and Description |
---|---|
static class |
ShowProofStatistics.Window
Shows proof statistics and allows the user to save them as HTML or CSV.
|
mainWindow
CHECKBOX, LOCAL_ACCELERATOR, PATH, PRIORITY, SHORTCUT_FOCUSED_CONDITION, SHORTCUT_KEY_MASK
Constructor and Description |
---|
ShowProofStatistics(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
static java.lang.String |
getCSVStatisticsMessage(Proof proof)
Gets the CSV statistics message.
|
static java.lang.String |
getHTMLStatisticsMessage(Proof proof) |
getMediator, setAcceleratorKey, setAcceleratorLetter
getAcceleratorKey, getIcon, getMenuPath, getMnemonic, getName, getPriority, getSmallIcon, getTooltip, isSelected, lookupAcceleratorKey, lookupAcceleratorKey, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setMnemonic, setName, setPriority, setSelected, setSmallIcon, setTooltip
public ShowProofStatistics(MainWindow mainWindow)
public void actionPerformed(java.awt.event.ActionEvent e)
public static java.lang.String getCSVStatisticsMessage(Proof proof)
proof
- the proofpublic static java.lang.String getHTMLStatisticsMessage(Proof proof)
Copyright © 2003-2019 The KeY-Project.