Package net.sf.tweety.beliefdynamics.gui
Interface RevisionComparePresenter.FileHandler
-
- Enclosing class:
- RevisionComparePresenter
public static interface RevisionComparePresenter.FileHandlerThis 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.FilegetCurrentDiretory()javax.swing.filechooser.FileFiltergetFilter()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()
-
-