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 privateDefaultFileHandler()
-
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
public java.util.Collection<? extends Formula> load(java.io.File file)
- Specified by:
loadin interfaceRevisionComparePresenter.FileHandler
-
getFilter
public javax.swing.filechooser.FileFilter getFilter()
- Specified by:
getFilterin interfaceRevisionComparePresenter.FileHandler
-
getCurrentDiretory
public java.io.File getCurrentDiretory()
- Specified by:
getCurrentDiretoryin interfaceRevisionComparePresenter.FileHandler
-
-