public class KeYFileChooser
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private static javax.swing.filechooser.FileFilter |
COMPRESSED_FILTER |
private javax.swing.JFileChooser |
fileChooser |
private static javax.swing.filechooser.FileFilter |
FILTER |
private static java.io.File |
HOME_DIR |
private static KeYFileChooser |
INSTANCE |
private java.io.File |
resetFile |
private boolean |
saveDialog |
Modifier | Constructor and Description |
---|---|
private |
KeYFileChooser(java.io.File initDir) |
Modifier and Type | Method and Description |
---|---|
java.io.File |
getCurrentDirectory() |
static KeYFileChooser |
getFileChooser(java.lang.String title)
Gets the file chooser for the prover.
|
java.io.File |
getSelectedFile() |
void |
prepare() |
void |
resetPath() |
void |
selectFile(java.io.File f) |
void |
setDialogTitle(java.lang.String title) |
private void |
setSaveDialog(boolean b) |
boolean |
showOpenDialog(java.awt.Component component) |
private int |
showOverwriteDialog(java.io.File file) |
boolean |
showSaveDialog(java.awt.Component parent) |
boolean |
showSaveDialog(java.awt.Component parent,
java.io.File selectedFile) |
boolean |
showSaveDialog(java.awt.Component parent,
java.io.File originalFile,
java.lang.String extension)
Show a file dialog for saving a file.
|
boolean |
useCompression() |
private static final java.io.File HOME_DIR
private static final javax.swing.filechooser.FileFilter FILTER
private static final javax.swing.filechooser.FileFilter COMPRESSED_FILTER
private static KeYFileChooser INSTANCE
private final javax.swing.JFileChooser fileChooser
private boolean saveDialog
private java.io.File resetFile
public boolean useCompression()
public void prepare()
public void setDialogTitle(java.lang.String title)
private void setSaveDialog(boolean b)
public boolean showSaveDialog(java.awt.Component parent)
public boolean showSaveDialog(java.awt.Component parent, java.io.File originalFile, java.lang.String extension)
parent
- the main windoworiginalFile
- the original file to be saved, if it exists and is a proof, this will be the suggestionextension
- the desired file name extension (usually ".proof")public boolean showSaveDialog(java.awt.Component parent, java.io.File selectedFile)
public void resetPath()
public java.io.File getCurrentDirectory()
public boolean showOpenDialog(java.awt.Component component)
public java.io.File getSelectedFile()
public void selectFile(java.io.File f)
private int showOverwriteDialog(java.io.File file)
public static KeYFileChooser getFileChooser(java.lang.String title)
title
- the title of the key file chooser