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 and Description
File	getCurrentDiretory()
FileFilter	getFilter()
Collection<? extends net.sf.tweety.commons.Formula>	load(File file)

Method Detail

load

Collection<? extends net.sf.tweety.commons.Formula> load(File file)

getFilter

FileFilter getFilter()

getCurrentDiretory

File getCurrentDiretory()