Package net.sf.tweety.beliefdynamics.gui
Class RevisionComparePresenter.DefaultFileHandler
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.DefaultFileHandler
-
- All Implemented Interfaces:
RevisionComparePresenter.FileHandler
- Enclosing class:
- RevisionComparePresenter
private static class RevisionComparePresenter.DefaultFileHandler extends java.lang.Object implements RevisionComparePresenter.FileHandler
does not try to load the file but only return null
-
-
Constructor Summary
Constructors Modifier Constructor Description private
DefaultFileHandler()
-
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
public java.util.Collection<? extends Formula> load(java.io.File file)
- Specified by:
load
in interfaceRevisionComparePresenter.FileHandler
-
getFilter
public javax.swing.filechooser.FileFilter getFilter()
- Specified by:
getFilter
in interfaceRevisionComparePresenter.FileHandler
-
getCurrentDiretory
public java.io.File getCurrentDiretory()
- Specified by:
getCurrentDiretory
in interfaceRevisionComparePresenter.FileHandler
-
-