net.sf.tweety.beliefdynamics.gui

Interface RevisionComparePresenter.FileHandler

All Known Implementing Classes:

RevisionComparePresenter.DefaultFileHandler

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 and 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()