private static class RevisionComparePresenter.DefaultFileHandler extends java.lang.Object implements RevisionComparePresenter.FileHandler
Modifier | Constructor and Description |
---|---|
private |
DefaultFileHandler() |
Modifier and Type | Method and Description |
---|---|
java.io.File |
getCurrentDiretory() |
javax.swing.filechooser.FileFilter |
getFilter() |
java.util.Collection<? extends Formula> |
load(java.io.File file) |
public java.util.Collection<? extends Formula> load(java.io.File file)
load
in interface RevisionComparePresenter.FileHandler
public javax.swing.filechooser.FileFilter getFilter()
getFilter
in interface RevisionComparePresenter.FileHandler
public java.io.File getCurrentDiretory()
getCurrentDiretory
in interface RevisionComparePresenter.FileHandler