Package net.sf.tweety.beliefdynamics.gui
Interface RevisionComparePresenter.FileHandler
-
- Enclosing class:
- RevisionComparePresenter
public static interface RevisionComparePresenter.FileHandler
This interface is used by the RevisionComparePresenter to handle the file loading. Therefore it provides a FileFilter for the open file dialog and a method which converts the given file in a collection of formulas.- Author:
- Tim Janus
-
-
Method Summary
Modifier and Type Method Description java.io.File
getCurrentDiretory()
javax.swing.filechooser.FileFilter
getFilter()
java.util.Collection<? extends Formula>
load(java.io.File file)
-
-
-
Method Detail
-
load
java.util.Collection<? extends Formula> load(java.io.File file)
-
getFilter
javax.swing.filechooser.FileFilter getFilter()
-
getCurrentDiretory
java.io.File getCurrentDiretory()
-
-